Most of the articles presented here are targeted at a niche audience, although some can be enjoyed by a wider audience.
- Banter — a short story
- The Insomniac — a short story
- Xi — a short story
- 𒊑𒀀 / 𒊑𒅀
- What machines can and can't do
- An opinionated history of programming languages
- 2043 — a short story
- Predicativity in Coq
- Equality in Mechanized Mathematics
- An inquiry into the Foundations of Mathematics
- ZFC and propositional logic
- Lean versus Coq: The cultural chasm