3 ms·
For basic infrastructure such as compilers and standard libraries (at least of data structures and algorithms), not providing proofs of correctness is outright
by catnaroek 9y ago
For basic infrastructure such as compilers and standard libraries (at least of data structures and algorithms), not providing proofs of correctness is outright criminal.
- blain_the_train 9y agoIt's not though is it... You know, because there aren't actual laws about it. Let's try not to make inflammatory statements.