3 ms·
> The point being that unsafe code had to be marked as such to be compilable and that tainted the binary, which was only allowed to execute after given permissi
by catnaroek 9y ago
> The point being that unsafe code had to be marked as such to be compilable and that tainted the binary, which was only allowed to execute after given permission.
And my point is that this is useless in the absence of someone or something capable of reliably determining whether the code is safe to run.
> Formal proofs can also contain logic errors.
So you have competent people write them.
- pjmlp 9y agoRegarding formal proof systems, not only can they contain logic errors, they are still very far from being usable for the common programmer to do regular programming. As for competent programmer, we all know how many corporations search who they hire.