This is the newsletter version of my website. I post all website updates here. I also post regular content just for the newsletter, on topics like
Formal Methods and applications of math to programming
Software History and Culture
Fringetech and exotic tooling, and deep dives into niche topics
The philosophy and theory of software engineering
You can see the archive of all public essays here.
If you can't wait, you can read the latest edition:
#266 — The best model checker is your head.
You can also browse the full archives of
If you'd prefer, you can also subscribe via RSS.