Best of 2017

The blog posts Hacker News loved most in 2017. 2,470 posts.

Any topic
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.