Most cited

Posts that commenters keep linking to, ranked by how many different people have cited them in Hacker News comments. 45 posts.

Math & Algorithms
2017
45

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.