← Back to context Comment by kube-system 6 days ago If you can’t validate the code, you can’t tell if it’s correct. 1 comment kube-system Reply 3836293648 6 days ago No?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.
3836293648 6 days ago No?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.
No?
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.