Will Lotherington
Writing
Projects
About
#ai
Sep 13, 2026
Formalish Verification: How software changes
Aug 20, 2026
N of 1 Software