Hillelogram

Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q4 2025) Newsletter: buttondown.email/hillelwayne/
Joined May 2023
An unhandled error has occurred. Reload 🗙