3 ms·
Same problem. Sure, it would be great if the primitives we use were proven correct. But I've got stuff to write today, and it doesn't look like the proven-cor
by AnimalMuppet 2y ago
Same problem. Sure, it would be great if the primitives we use were proven correct. But I've got stuff to write today, and it doesn't look like the proven-correct primitives are going to arrive any time soon. If I wait for them, I'm going to be waiting a long time, with my software not getting written.
- ted_dunning 2y agoThe 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.