login sign up

Why Don't People Use Formal Methods?

hillelwayne.com · first added by @afreshcup
saved by
1 person
discussions · 3
Why Don't People Use Formal Methods? 420 pts · 225 comments · Jan 2019 420 pts · 225 comments · Jan 2019
0 people saved or upvoted this
Why don't people use formal methods? (2019) 128 pts · 117 comments · Jul 2026 128 pts · 117 comments · Jul 2026
0 people saved or upvoted this
Why Don't People Use Formal Methods? – 2019 18 pts · 7 comments · Jun 2021 18 pts · 7 comments · Jun 2021
0 people saved or upvoted this
from the discussion · 5
https://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf lamport.azurewebsites.net lamport.azurewebsites.net
0 people saved or upvoted this
Formal methods and the future of programming blog.janestreet.com blog.janestreet.com
0 people saved or upvoted this
https://m-cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext m-cacm.acm.org m-cacm.acm.org
0 people saved or upvoted this
https://mitpress.mit.edu/books/software-abstractions-revised-edition mitpress.mit.edu mitpress.mit.edu
0 people saved or upvoted this
Hillel Wayne - Everything about distributed systems is terrible | Code Mesh LDN 18 youtu.be youtu.be
0 people saved or upvoted this
related HN threads · 1
User Guide to Model Checking for Industrial Programmers with TLA+ 1 pt · 1 comment · May 2026 1 pt · 1 comment · May 2026
0 people saved or upvoted this