Hillel Wayne
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
Making Software: What Really Works, and Why We Believe It by Andy Oram, Greg Wilson (eds.)
But no blog post has influenced me as profoundly as Data and Reality or Making Software. There is no blog or talk about debugging as good as the Debugging book.
on buttondown.com · 6 Aug 2025
Data and Reality by William Kent
It's heady and mindbending and delightful and completely changed how I think about software. I love it and recommend it to everybody I meet.
on buttondown.com · 14 Oct 2019
Everything Hillel Wayne recommends — not just books — on rcmnd →