Forwarded from Pure & constructive mathematics in theory and use (Cassy)
Humus is a pure actor-based programming language that provides a foundation for software developers to build reliable concurrent computer systems
http://www.dalnefre.com/wp/humus/
http://www.dalnefre.com/wp/humus/
EPR.pdf
305 KB
Can Quantum-Mechanical Denoscription of Physical Reality be Considered Complete?
Forwarded from Hacker News
Forwarded from Pure & constructive mathematics in theory and use (Univalence [USE GUIX, LEARN HASKELL, READ HOTT, FUCK LEM])
If you are able and would like to contribute any free (and equivalently licensed) educational material, please do so at https://github.com/vojes-enterprises/FOEP, a project about gathering such with the final goal of having a source for anything to learn about!
GitHub
GitHub - vojes-enterprises/PreFOEP: Pre - Free and Open Education Project
Pre - Free and Open Education Project. Contribute to vojes-enterprises/PreFOEP development by creating an account on GitHub.