Most cited

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

Tech Industry & Business
Any year
1870

Why Don't People Use Formal Methods?

I saw this question on the Software Engineering Stack Exchange: What are the barriers that prevent widespread adoption of formal methods? The question was closed as opinion-based, and most of the answers were things like “its too expensive!!!” or “website isn’t airplane!!!” These are sorta kinda true but don’t explain…

1872

The next generation of Instapaper

When I launched Instapaper in 2008, it was a very basic web app. It quickly expanded to define the pillars of the read-later market: a one-click “read later” bookmarklet, a web sync service, an adjustable text view optimized for reading, and an iPhone app with offline saving. I did almost everything myself, which…

1874

Startups Are Hard

Contrary to popular belief, there are no clouds of money that float around Silicon Valley and rain on anyone that utters the phrase, "I'm a founder!" Unfortunately, starting a company and raising money is just as hard as ever; it's just that the investors don't have as much leverage as they used to, but they still…

1886

I am not a supplier

For the past few years, we have seen a lot of discussions around the concept of the Software Supply Chain. These discussions started around the time of LeftPad and escalated with multiple incidents in the past few years. The problem of all the work in this domain is that it forgets a fundamental point.