Hacker News
- Why Don't People Use Formal Methods? – 2019 https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 7 comments
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 225 comments
Lobsters
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 32 comments formalmethods , historical
- Why Don't People Use Formal Methods? https://www.hillelwayne.com/post/why-dont-people-use-formal-methods/ 118 comments programming
Linking pages
- A Pythonista's Review of Haskell > Ying Wang https://bytes.yingw787.com/posts/2020/01/30/a_review_of_haskell/ 160 comments
- Utterly Unpersuasive: Formal Methods and Law | by Jason Morris | Medium https://roundtablelaw.medium.com/utterly-unpersuasive-formal-methods-and-law-bb8ecf048374 31 comments
- In 2021, Don't Learn a New Programming Language https://sushantsrivastava.substack.com/p/in-2021-dont-learn-a-new-programming 22 comments
- Using Formal Methods at Work • Hillel Wayne https://www.hillelwayne.com/post/using-formal-methods/#fnref:nodes 3 comments
- GitHub - tvler/prop-sets: Generate and test every possible instance of a component in React https://github.com/tvler/prop-sets 3 comments
- Hypermodeling Hyperproperties • Hillel Wayne https://www.hillelwayne.com/post/hyperproperties/ 2 comments
- How to convince engineers that formal methods is cool • Buttondown https://buttondown.com/hillelwayne/archive/how-to-convince-engineers-that-formal-methods-is/ 0 comments
Linked pages
- Home | seL4 https://sel4.systems 502 comments
- CompCert - Main page http://compcert.inria.fr/ 191 comments
- Curry–Howard correspondence - Wikipedia https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence 63 comments
- Frama-C - Framework for Modular Analysis of C programs https://frama-c.com/ 56 comments
- GitHub - hwayne/lets-prove-leftpad: Proving leftpad correct two-dozen different ways https://github.com/hwayne/lets-prove-leftpad 16 comments
- http://lamport.azurewebsites.net/tla/formal-methods-amazon.pdf 16 comments
- https://www.usenix.org/system/files/conference/osdi14/osdi14-paper-yuan.pdf 15 comments
- Hoare logic - Wikipedia https://en.wikipedia.org/wiki/Hoare_logic 14 comments
- "Type-Driven Program Synthesis" by Nadia Polikarpova - YouTube https://youtu.be/HnOix9TFy1A 12 comments
- Embedded in Academia – John Regehr, Professor of Computer Science, University of Utah, USA http://blog.regehr.org/ 8 comments
- Making Software 'Correct by Construction' - Professor Martyn Thomas CBE - YouTube https://www.youtube.com/watch?index=10&list=PLU3TaPgchJtSby7qo1KpvGOxYP9UbnvT8&v=03mUs5NlT6U 2 comments
- Leprechauns of Software⦠by Laurent Bossavit [PDF/iPad/Kindle] https://leanpub.com/leprechauns 0 comments
- https://staff.fnwi.uva.nl/p.vanemdeboas/knuthnote.pdf 0 comments
- The Surprising Security Benefits of End-to-End Formal Proofs » CCC Blog http://www.cccblog.org/2018/06/13/the-surprising-security-benefits-of-end-to-end-formal-proofs/ 0 comments
- How to Make Chord Correct http://www.pamelazave.com/chord.html 0 comments
- http://www.cypherpunks.to/~peter/04_verif_techniques.pdf 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:hillelwayne.com
Search title: Why Don't People Use Formal Methods?
See how to search.