3 ms·
Perhaps off-topic, but: "Testing doesn't show the absence of errors, it shows the presence of errors" Willison says we need to submit code we have proven to wor
by acrophiliac 10mo ago
Perhaps off-topic, but: "Testing doesn't show the absence of errors, it shows the presence of errors"
Willison says we need to submit code we have proven to work but then argues for empirical testing, not actual correctness proofs.
- simonw 10mo agoIf you can formally prove correctness then brilliant, go for it! That's not something I've seen or been able to achieve in most of my professional work.