3 ms·
Could the first also imply towards that all code is buggy, absence of proof doesn't equal proof of absence. As in, if you don't find bugs yet, it doesn't mean t
by zxcdw 12y ago
Could the first also imply towards that all code is buggy, absence of proof doesn't equal proof of absence. As in, if you don't find bugs yet, it doesn't mean they don't exist.
- colanderman 12y agoAu contraire – the evidence of absence of bugs is that the code works. (i.e., to some degree, programs find their own bugs simply by being used.) Code that has been humming along issue-free is likely either simple, or well-written, and harbors few, if any, bugs. Otherwise, they would have evinced themselves by now.
- blueblob 12y agoI believe openSSL has been humming along issue free for quite a while before a somewhat famous bug popped up for some anecdotal evidence at a refutation.