Topics · Domain
Programming languages
Languages, type systems, compilers, and how executable intent gets written down.
- Within
- Linguistics
- Includes
- Abstraction, Compilers, Elixir, Formal methods, Haskell, Rust, Type systems, TypeScript
- Pages
- 6
On the map 6 pages and the topics around it
2026
-
articleThe Proof You Only Have to Write Once
Generation is cheap, so verification is the bottleneck — and we throw the verification away every time. What if a proof, once written, could be named, shared, and vouched for? A content-addressed commons for verified Haskell, and the move I left for after the semantic-artifact trilogy.
13 min read · 7 chapters
-
articleThe Field Exists Now
Alasdair Allan's agentlanguages.dev catalogue turns AI-oriented programming languages from a loose set of experiments into a field with camps, disagreements, and testable claims.
7 min read · 6 chapters
-
articleWhat Comes After the Last Programming Language
If AI generates machine code directly, why are we still running operating systems designed for humans? The answer might be an inference-native OS.
23 min read · 9 chapters
-
articleWhy We Built a Haskell Package Manager in Rust
hx is a fast, opinionated Haskell toolchain built in Rust, following the playbook astral.sh used to modernize Python.
19 min read · 8 chapters
-
articleThe Last Programming Language Might Not Be for HumansEN中한
Three futures for programming languages as AI becomes the primary author of code, and why I bet on Haskell.
26 min read · 5 chapters
2023
-
articleAll beginning is Haskell
How Haskell shaped the way I think about building systems, and why I am still building Haskell tooling years after writing my first monad.
10 min read · 7 chapters
