# Practical TLA+ by Hillel Wayne

3 Hacker News commenters recommended Practical TLA+ by Hillel Wayne and 0 criticized it, November 2025 to November 2026. It was recommended in 3 of 13 months.

**Verdict:** People recommend it as a practical, hands-on guide for building and checking concrete TLA+ models, and one reader went through it twice.

## Why people recommend it

- Helpful for first concrete models (1 comments): "Incredibly helpful book for working through my first concrete model in practice." ([source](https://news.ycombinator.com/item?id=46642122))
- Better than alternatives for learning (1 comments): "I actually thought his Practical TLA+ book was a bit better for that though" ([source](https://news.ycombinator.com/item?id=48098078))
- Worth rereading (1 comments): "I did the your TLA+ book twice" ([source](https://news.ycombinator.com/item?id=49114805))

## Alternatives hackers recommend

- [Crafting Interpreters by Robert Nystrom](https://hackerapproved.com/p/crafting-interpreters.md): 60 recommend
- [Clean Code by Robert C. Martin](https://hackerapproved.com/p/clean-code.md): 31 recommend
- [The Pragmatic Programmer by Hunt and Thomas](https://hackerapproved.com/p/pragmatic-programmer.md): 28 recommend
- [How to Design Programs by Felleisen, Findler, Flatt and Krishnamurthi](https://hackerapproved.com/p/how-to-design-programs.md): 18 recommend
- [Mastering Emacs by Mickey Petersen](https://hackerapproved.com/p/mastering-emacs.md): 17 recommend

## Where to get it

- [See price on Amazon](https://www.amazon.com/dp/1484238281?tag=hackerapprove-20) (affiliate link)
- [Bookshop.org](https://bookshop.org/a/130825/9781484238288) (affiliate link)

## Cite as

Hacker Approved, "Practical TLA+ by Hillel Wayne", https://hackerapproved.com/p/practical-tla-plus/ (counts from 1,795,640 Hacker News comments, November 2025 to November 2026).