Hacker News
- CakeML – A Verified Implementation of ML https://cakeml.org/ 24 comments
- CakeML – A Verified Implementation of ML https://cakeml.org/ 37 comments
Lobsters
- CakeML https://cakeml.org/ 3 comments compilers , formalmethods , ml
- CakeML - A bootstrapping verified ML compiler https://cakeml.org/ 3 comments compilers , programming
Linking pages
- Is deep learning a new kind of programming? Operationalistic look at programming - Tomas Petricek http://tomasp.net/blog/2020/learning-and-programming/ 60 comments
- Cranelift, Part 3: Correctness in Register Allocation https://cfallin.org/blog/2021/03/15/cranelift-isel-3/ 39 comments
- Let's Prove Leftpad https://www.hillelwayne.com/post/lpl/ 30 comments
- GitHub - CakeML/cakeml: CakeML: A Verified Implementation of ML https://github.com/CakeML/cakeml 20 comments
- Jesper Cockx - Agda Core: The Dream and the Reality https://jesper.cx/posts/agda-core.html 10 comments
- What even is compiler correctness? https://www.williamjbowman.com/blog/2017/03/24/what-even-is-compiler-correctness/ 0 comments
- tool_lists/verification_synthesis.md at main · johnyf/tool_lists · GitHub https://github.com/johnyf/tool_lists/blob/master/verification_synthesis.md 0 comments
- GitHub - rems-project/lem: Lem semantic definition language https://github.com/rems-project/lem 0 comments
Would you like to stay up to date with Computer science? Checkout Computer science
Weekly.