Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 4,838 posts.

Any topic
2019
671

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…