Practical TLA+
Practical TLA+ by Hillel Wayneby Hillel Wayne
Shares rank 71 of 115 programming books by recommenders
People recommend it as a practical, hands-on guide for building and checking concrete TLA+ models, and one reader went through it twice.
People recommend it as a practical, hands-on guide for building and checking concrete TLA+ models, and one reader went through it twice.
3 people gave an opinion
- recommend it
- 3
- criticize it
- 0
- approval share
- 100%
Recommended in 3 of 13 months
- November 2025: not recommended
- December 2025: not recommended
- January 2026: recommended
- February 2026: not recommended
- March 2026: not recommended
- April 2026: not recommended
- May 2026: recommended
- June 2026: not recommended
- July 2026: recommended
- August 2026: not recommended
- September 2026: not recommended
- October 2026: not recommended
- November 2026: not recommended (month in progress)
Why it doesn’t carry the badge
- 3 people recommend itNeeds 10 or more, not met.
- Nobody criticizes itNeeds 2 to 1 or better, met.
- Recommended in 3 of 13 monthsNeeds 4 or more, not met.
The same three rules apply to every product, and the badge can’t be bought. How the badge works
What people say about it
The reasons people give, with the number of comments that give each one. Open a reason to read what they said.
Why people recommend it
Each mark is one comment
Helpful for first concrete models
“Incredibly helpful book for working through my first concrete model in practice.”
Comment from 16 Jan 2026 in “My Gripes with Prolog” Better than alternatives for learning
“I actually thought his Practical TLA+ book was a bit better for that though”
Comment from 11 May 2026 in “Ask HN: What Are You Working On? (May 2026)” Worth rereading
“I did the your TLA+ book twice”
Comment from 30 Jul 2026 in “Logic for Programmers by Hillel Wayne”
Other programming books people recommend
The four most recommended other programming books, with the same counts for each, so you can compare like for like. The tick on each bar marks the 2 to 1 line the badge needs.
| Product | Recommend | Criticize | Approval | Months | Owned | Badge |
|---|---|---|---|---|---|---|
| Crafting Interpretersby Robert Nystrom | 60 | 4 | 94% | 10 | — | Approved |
| Clean Codeby Robert C. Martin | 31 | 87 | 26% | 9 | — | — |
| The Pragmatic Programmerby Hunt and Thomas | 28 | 1 | 97% | 7 | — | Approved |
| How to Design Programsby Felleisen, Findler, Flatt and Krishnamurthi | 18 | 2 | 90% | 7 | — | Approved |
| Practical TLA+by Hillel WayneThis page | 3 | 0 | 100% | 3 | — | — |
What people said
All 3 comments that mention it, newest first. Each links to the original comment.
“I did the your TLA+ book twice”
“I actually thought his Practical TLA+ book was a bit better for that though”
“Incredibly helpful book for working through my first concrete model in practice.”
Counts come from 1,795,640 Hacker News comments, November 2025 to November 2026. How we count. Report a mistake.