3 ms·
I will object to P1: assumes facts not in evidence. And anyway there are two logical problems: 1. Not all people write code. 2. Code can be written without bu
by tmtvl 4y ago
I will object to P1: assumes facts not in evidence. And anyway there are two logical problems:
1. Not all people write code.
2. Code can be written without bugs.
It may be provable that a statistically significant amount of code written by people is buggy, by linking to any overview of CVEs.
- ineedasername 4y ago#1 is a specificity issue, though I think the meaning was clear, but "All people [who code] write buggy code" would be fine instead. Fixed #2 Code can be written without bugs, but it isn't. As for facts not in evidence, given the empirical nature of the proposition we're basically running up against the same problems that Hume has with inductive reasoning. Which is why I did not state P1 axiomatically and merely footnoted it to say I wouldn't trust the judgement of someone who believed otherwise.