Formal verification and dependent types ?

[planetoryd]

https://github.com/verus-lang/verus

https://github.com/magmide/magmide

fancy new stuff like this which actually matters. (no one needs another golang or js)

and annoying things unresolved in rust like cross function partial borrows. how do you handle it.