4 ms·
The memory safety of the Rust standard library is an example of something where formal methods are bearing fruit already. So you don't necessarily have to wait
by ted_dunning 2y ago
The memory safety of the Rust standard library is an example of something where formal methods are bearing fruit already.
So you don't necessarily have to wait.