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