Hacker News
- The future of programming with certified program synthesis https://gopiandcode.uk/logs/log-certified-synthesis.html 92 comments
- Goodbye C developers: The future of programming with certified program synthesis https://gopiandcode.uk/logs/log-certified-synthesis.html 2 comments
Lobsters
- Goodbye C developers: The future of programming with certified program synthesis https://gopiandcode.uk/logs/log-certified-synthesis.html 32 comments formalmethods , programming
Linked pages
- Heartbleed Bug http://heartbleed.com/ 1644 comments
- half of curl’s vulnerabilities are C mistakes | daniel.haxx.se https://daniel.haxx.se/blog/2021/03/09/half-of-curls-vulnerabilities-are-c-mistakes/ 832 comments
- CompCert - Main page http://compcert.inria.fr/ 191 comments
- Welcome! | The Coq Proof Assistant https://coq.inria.fr/ 125 comments
- CompCert - Main page https://compcert.org/ 1 comment
- Verified Software Toolchain https://vst.cs.princeton.edu/ 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.
Related searches:
Search whole site: site:gopiandcode.uk
Search title: Gopiandcode > logs > Goodbye C developers: The future of programming with certified program synthesis
See how to search.