Twitter | Pretraživanje | |
snupe
The Rust programming language has significant potential to be impactful with respect to software security, particularly as the formal verification tools for the language mature.
Reply Retweet Označi sa "sviđa mi se" More
Aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa 14. pro
Odgovor korisniku/ci @alphasnupe
What formal verification tools are there so far?
Reply Retweet Označi sa "sviđa mi se"
snupe 14. pro
Odgovor korisniku/ci @Aaaaaaa93564923 @aatxe
Oxide from is interesting. See his paper and the related works section.
Reply Retweet Označi sa "sviđa mi se"
✨Elina 🧙‍♀️ Pixel Mage 🦀🎮 10. lis
Odgovor korisniku/ci @alphasnupe
I can definitely see it as the future of systems programming.
Reply Retweet Označi sa "sviđa mi se"
Norrick McGee 🦀 10. lis
Odgovor korisniku/ci @alphasnupe
Looking forward to seeing how Rust makes it's impact
Reply Retweet Označi sa "sviđa mi se"
Not an editor command: Q 29. pro
Odgovor korisniku/ci @alphasnupe
I found this project especially interesting wrt formal verification:
Reply Retweet Označi sa "sviđa mi se"
Will Richards, II 26. stu
Odgovor korisniku/ci @alphasnupe
Any thoughts on OCAML and the build target WASM from Rust or OCAML or f-star?
Reply Retweet Označi sa "sviđa mi se"