Some Advice for How to Make Emacs Tetris Harder (2019)

How to Print-Debug Python Comprehensions

A Christmas Tautology (2020)

A Formal Theory of Spaghetti Code

A better Turing machine tape model

Another new record in self-cleaning Turing machines

A Busy Beaver champion derived from scratch

Maybe the Spaghetti Code Conjecture Is False

The Story of XEmacs (2019)

New Ways to Be Told That Your Python Code Is Bad

Signed Char Lotte

Turing Machine Notation and Normal Form

The Afterlife Behavior of Quasihalting Turing Machines

Basic Web Scraping with Emacs

I Got a Knuth Check for 0x$3.00

Basic Web Scraping with Emacs