Forwarded from Hacker News
Forwarded from GNU Meme (Archived)
When you enroll in University-level computer science courses expecting to learn some great theory. Formal methods, category theory, operational semantics, formal definitions, the history of how theorem provers led to ML-family languages and the creation of typed lambda calculus from prototypical LISPs. But instead you end up spending 3 class periods on iterating for-loops in Python.
Forwarded from GNU Meme (Archived)
Functional Programming, Free Software, Distributed Systems, Type Theory, Strict Type Systems, Separation Logic, LISP, Functional Package Management, File-system Hygiene, Determinacy, Low-level verification, End-to-end verification, The fact that Chipset speculation is not a necessity.
Forwarded from Hacker News