The short version
Leslie Lamport's TLA+ book for learning state-machine specifications and system modeling.
From the HackerLinks archive
Specifying Systems
Leslie Lamport's TLA+ book for learning state-machine specifications and system modeling.
At a glance:
First seen:2026-11-01
Last seen:2026-11-01
Times seen:1
Website:lamport.azurewebsites.net
Why it caught our attention
An explicit book recommendation answers a reader asking how to learn formal modeling.
Where it surfaced on Hacker News
2026-11-01
“Lamport’s book and or Hillel Wayne’s are both good. State machines as a specification language has always been pretty approachable and also relatively deep.”
johnbender · recommendation
Direct HN comment
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
Also surfaced in this discussion
Software Foundations
AI, Lean, and the Future of Formal Verification, with Lean Creator Leo de Moura
2026-11-01