- Software can literally be perfect (discusses the core ideas of dependently typed languages and Coq for a practicing engineer audience, and how we could build a bare metal and fully verified theorem prover inspired by Coq) https://www.youtube.com/watch?v=Lf7ML_ErWvQ 3 comments coq
- Software can literally be perfect (talks about some important logical ideas that make the Rust ownership system work, and how we could build a provably correct Rust compiler) https://www.youtube.com/watch?v=Lf7ML_ErWvQ 20 comments rust
Linking pages
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/magmide/magmide 220 comments
- GitHub - magmide/magmide: A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers. https://github.com/blainehansen/magma 18 comments
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:www.youtube.com
Search title: Provably correct software is possible and necessary - YouTube
See how to search.