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
5513

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…