Forwarded from GNU Propaganda (Archived)
Real lovers of mathematics, type theory, verification by proof, software freedom, and logic will join https://news.1rj.ru/str/typetheoryinprogramming!
Telegram
Pure & constructive mathematics in theory and use
Just resources about fundamental mathematics, type theory, their use in programming mostly.
Contact: @megamanisepic
Becoming an admin isn't difficult as long as you have a slight idea of the topic and preserve the style.
Contact: @megamanisepic
Becoming an admin isn't difficult as long as you have a slight idea of the topic and preserve the style.
Deputy Sheriff The Viking Programmer
Would love to be exaggerating or joking, but please do boycott everything related to Epic games. The company as a whole and CEO deserve nothing but the company burning to the ground.
Quote from an enlightened gentleman:
"Why do they burn down anime companies but these cunts live just fine"
"Why do they burn down anime companies but these cunts live just fine"
Deputy Sheriff The Viking Programmer
Would love to be exaggerating or joking, but please do boycott everything related to Epic games. The company as a whole and CEO deserve nothing but the company burning to the ground.
https://www.easy.ac/en-us/support/dbd/guides/os/
Thankfully, this isn't entirely the case. The update cycles likely will be changed, but who knows. Epic still should not have bought EAC regardless.
Thankfully, this isn't entirely the case. The update cycles likely will be changed, but who knows. Epic still should not have bought EAC regardless.
Forwarded from ShaderX Studios LLC News
Week of Magic Dev Log:
http://forum.symnet.moe/viewtopic.php?f=43&t=47&sid=807309d445452b29e1977f7d8d1973a6
http://forum.symnet.moe/viewtopic.php?f=43&t=47&sid=807309d445452b29e1977f7d8d1973a6
Forwarded from Hacker News
Tell HN: Docker just ate 19GB of production data
Article, Comments
Article, Comments
Forwarded from Brett G.