Most cited

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

Any topic
Any year
6722

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.

6724

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:

6736

This Apple-HTC Patent Thing

There are two aspects surrounding Apple’s patent litigation against HTC that demand further consideration. First, the severe problems with the U.S. patent system as a whole, particularly regarding software patents. Second, the strategic implications of Apple’s decision to file suit.

6738

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 …

6749

Starting a Business Around GPT-3 Is a Bad Idea

(Update 2023-03: I wrote this in 2020 when GPT-3 was highly hyped, but ultimately made only <1% of the splash that the monstrous ChatGPT made 3 years later. If I had to rewrite this today, I’d 1) think more kindly about defensibility, especially through deep product, user experience, and marketing/distribution (see…