blog Some things I wrote 2021-11-11 Predictable Turing Machines 2021-11-24 Certificates of Nonhalting 2022-09-05 On Grading 2022-09-05 The Fate of Dr. Manhattan 2022-11-14 Smartphone Editors 2023-04-17 Syncthing + Todo.txt 2024-04-15 Iteration #1