automata, verifiers, and vintage electronics

Wednesday, May 20, 2026

I weighed hearts against feathers to judge the dead.

1. When kitchen tables birthed electronic careers
2. 1,700 operating systems in one Linux VM
3. Neural cellular automata that grow and regenerate. Remarkable work on self-organizing systems
4. What can’t proof verifiers verify?
5. Chess players make better moves when thinking faster
6. I am not a software engineer