About
Hillel Wayne is a software consultant, formal methods educator, and technical historian based in Chicago, Illinois.
He is widely regarded as one of the foremost advocates for formal specification in industry, authoring the seminal books Practical TLA+ and Logic for Programmers. His consulting work helps engineering teams design resilient distributed systems using formal tools such as TLA+ and Alloy. He is also known for his extensive research into the historical intersections between traditional engineering disciplines and software development.
On his popular technical blog hillelwayne.com, he writes accessible, rigorous essays covering formal methods, property-based testing, software engineering history, type systems, and the sociological dynamics of programming culture.
You can also find Hillel Wayne on:
- Website: https://www.hillelwayne.com
- GitHub: hwayne
- Email: [email protected]
Articles
- A Crash Course in Predicate Logic
- Logic for Programmers is Now Available
- Chicago vs New York Pizza is the Wrong Argument
- Some Silly Z3 Scripts I Wrote
- A Very Early History of Algebraic Data Types
- Gamer Games for Non-Gamers
- A Perplexing Javascript Parsing Puzzle
- The Hierarchy of Controls (or how to stop devs from dropping prod)
- Hiatus
- Toolbox languages
- Composing TLA+ Specifications with State Machines
- What We Know We Don't Know: Empirical Software Engineering
- Comment Section: Software Friction
- Software Friction
- Don't let Alloy facts make your specs a fiction
- How old is the name 'Daniel'?
- Comment Section: The Hunt For The Missing Data Type
- The Hunt for the Missing Data Type