Aman Goel — Writing

Essays on formal verification, LLMs and the history of checking. Learning in public; views my own.

Jul 2026
The checksum, the audit, the acceptance test, the signed certificate — none of them is a twentieth-century idea, and the oldest of them predates writing itself. Seven museum objects, from a sealed clay case at Kültepe to the counts in the margin of the Aleppo Codex.