Hillel Wayne

buttondown.com

Formal methods advocate. Writing about TLA+, software correctness, and the history of computing.

Screenshot of Hillel Wayne Visit buttondown.com →
Categories Blogs
Added January 31, 2026