journal Some things I wrote, as I have written them. 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 2024-07-11 Life is a river