Story
Why don't people use formal methods? (2019)
1 report
1 website
1 discussion
Latest report
Overview
Barriers to the widespread adoption of formal methods include perceived high costs and a lack of applicability to certain domains. Historical context reveals that these methods have not been effectively integrated into mainstream software development practices.
Summary from hillelwayne.com.
Reports
One report so far. Additional coverage will appear here when it is linked to this story.
hillelwayne.com
Why don't people use formal methods? (2019)
Read report →
Community reactions
Each reaction summarizes sampled comments from the linked discussion.
Hacker News · hillelwayne.com
Hacker News discussion ↗
Historical count: 5 · 5 saved in sample · Historical sample
Analysis ready
Read this discussion’s reaction
Based on 5 sampled comments from this thread. Analyzed 2026-07-31.
- Praise: Formal methods have proven invaluable in high-stakes projects like rewriting Postgres in Rust, where correctness is non-negotiable — over 1000 functions verified and even bugs discovered!
- Praise: There's a refreshing perspective that type checkers offer a taste of formal verification, suggesting there's value in enhancing our modeling capabilities rather than outright dismissal.
- Concern: The reality is that most software engineers shy away from learning anything beyond their college curriculum, which stifles innovation and adoption of formal methods.
- Concern: Creating formal specifications is a daunting task that often leads to a realization of the vast surface area for bugs, making engineers question the practicality of formal methods.
- Concern: Many industry professionals lack the respect and understanding of formal methods, leading to a culture where even informal methods are underutilized.