Think in math, write in code (2019)

Three Things I Wish I Knew When I Started Designing Languages

Natural Language, Semantic Analysis, and Interactive Fiction (2006)

FAWK: LLMs can write a language interpreter

Typechecking is undecideable when 'type' is a type (1989) [pdf]

Cgp-serde: A modular serialization library for Serde powered by CGP

What if everything was "Async", but nothing needed "Await"?

The inconceivable types of Rust: How to make self-borrows safe (2024)

Gamification of Programming Languages

The worst programming language of all time