Forwarded from Programmer Humor
Forwarded from Russou MacLeod
Please read the following statement and consider donating to charity for the Research and Cure of Alzheimer's.
GoFundMe ➡️ https://bit.ly/2VGVtDr
Youtube Channel ➡️ https://bit.ly/2W02SCNr
GoFundMe ➡️ https://bit.ly/2VGVtDr
Youtube Channel ➡️ https://bit.ly/2W02SCNr
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!