Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 2,470 posts.

Any topic
2017
2095

Principles of TLA+

TLA+ is a formal specification and verification language intended to help engineers specify, design and reason about complex, real-life algorithms and software or hardware systems. We explore its motivation, application and principles of design.