@typesanitizer's blog
A programmer's field guide to assertions
How should we learn from bugs?
Deeper theories of program design
A meta-analysis of three different notions of software complexity
The ability to learn how to judge outcomes is probably a core skill
An epic treatise on error models for systems programming languages
Our optimizers need a rethink
On leaving my last job
My first and last Strange Loop
TFW UBSan flags a dynamic type error inside Clang
Zig-style generics are not well-suited for most languages
Experience Report: 6 months of Go
A compiler's users (part 1)
Not Rocket Science (Meeting Edition)
Scope Sets as a Piñata for Name Resolution
Are tagged unions overrated?
Don't Snark
An opinionated beginner's guide to Haskell in mid-2019
Principled Ad-Hoc Polymorphism
10 Commandments: Compiler in Haskell Edition
Language Zoo
Many Numbers
Alice's Adventures with Project Euler