Hillel Wayne
Person on 4 sites
Writer and consultant on formal methods and software correctness; author of Practical TLA+ and Logic for Programmers.
-
3 facts on wiqqi (opens wiqqi.app)
Who people, organisations and podcasts are, and how they connect, with sources.
Updated 2026-10-31 -
3 channels on ppll (opens ppll.app)
Where public figures publish, and what they are on record saying.
Updated 2026-10-22 -
48 beliefs on korrents (opens korrents.com)
-
Expressing properties in formal logic is less ambiguous than expressing them in informal English. (opens korrents.com)
“Expressing properties with formal logic is less ambiguous than with informal English.”
-
The more a language, format or tool is able to do, the fewer things it guarantees. (opens korrents.com)
“This is the ability-guarantee tradeoff: the more things a language or format or tool is able to do, the fewer things it guarantees us.”
-
Every branch of engineering hates waterfall, not just software. (opens korrents.com)
“If I had to summarize what I found in general, I'd put it like this. Everybody hates waterfall.”
-
Expressing properties in formal logic is less ambiguous than expressing them in informal English. (opens korrents.com)
-
2 recommendations on rcmnd (opens rcmnd.app)
-
Making Software: What Really Works, and Why We Believe It (opens rcmnd.app)
“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.”
-
Data and Reality (opens rcmnd.app)
“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.”
-
Making Software: What Really Works, and Why We Believe It (opens rcmnd.app)