Most cited

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

Software Engineering
Any year
3317

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.

3319

Norvig's Law (2002)

In July 1999, there was a news article stating that PC usage had doubled yet again, reaching penetration of 50% of homes. People were hailing this as yet another sign of the inevitable climb of technology, but I saw it as a warning sign that the glass was half empty, and coined the following:

3324

Programming with Nothing

I love Ruby! I’ve used it every day for years and I’m not sick of it yet. It’s an easy language to love: it’s expressive, flexible and syntactically beautiful ; it has a unique combination of useful features like mixins , metaclasses and blocks ; it comes with a useful core library and comprehensive standard library …