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.

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.

Sentient: a high-level, declarative programming language
Article, Comments

bare minimum requirements to have a gf

All Hands On Deck: In two hours of leaked audio, Zuckerberg rallies Facebook
Article, Comments

Apple Removes Hong Kong Protest App. Tim Cook Buckled Under Chinese Pressure
Article, Comments

Todd Howard senpai uwu*~