Forwarded from GNU Propaganda (Archived)
The Science of Deep Specification is an intradisciplinary subject combining the foundational methods of computer mathematics and schemas, with the progressive implementation of formalized and proof-driven verification of software and hardware systems. We are calling out to all functional programmers, HoTT-enthusiasts, ZFC/CAT theorists, and Martin-Löf Dependent Typers to consider joining us at @DeepSpec. We have a growing digital library of extensive literature, and a group comprised of people using Coq/Agda/Haskell/SMT-solvers in professional and academic fields. Beginners are welcome to join, but please note that this group is driven by those willing to self-learn. Hope to see you there!
Forwarded from Yoshi still has broken notifications
This fucking thing just bounced off my bed and onto my brand new floor
Forwarded from Nik
This media is not supported in your browser
VIEW IN TELEGRAM
The new Ubuntu server installer really is as awesome as everybody said
Forwarded from Hacker News
Forwarded from trev
you cant have poorly typed languages if you only have one type™️