What Hillel Wayne thinks about design
Writer and consultant on formal methods, testing and software correctness, author of Logic for Programmers and Practical TLA+. He ran the Crossover Project, interviewing seventeen people who worked as traditional engineers before becoming software developers, to settle by evidence whether software engineering is engineering.
Hillel Wayne did not write this page.
We collected these quotes from things they published elsewhere, and every quote links to where it was said. They have no account here and have not endorsed this site. Quotes are word for word; the short line under each one is our own restatement, not their wording. Their own site. Is this you? Claim it or ask us to remove it. Or tell us what is wrong here.
Filter design · Newest first
Only Hillel Wayne on design. See everyone on design
1 dated position, 2026, in their own words. Our reading of what Hillel Wayne has said — not written or endorsed by them.
-
Their wordsAnd often I found with my clients I have to tell them like it's doing a good job at generating the actual design, but in actually expressing what the design is supposed to do, it cannot do that yet. You have to do that part yourself.
↗Formal methods with Hillel Wayneyoutube.com 18th of 24 in this recording