Top posts

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

Math & Algorithms
2017
177

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.