3 ms·
If you can’t validate the code, you can’t tell if it’s correct.
by kube-system 7mo ago
If you can’t validate the code, you can’t tell if it’s correct.
- 3836293648 7mo agoNo? That's literally the thing they suggested to move away from. That is just an issue when using tools designed for us. Make them write in formal verification languages and we only have to understand the types. To be clear, I don't think this is a good idea, at least not yet, but we do not have to always understand the code.