3 ms·
P¹ All people write buggy code. [1] P² AI assistants are trained on code written by people ∴ People using AI assistants will write buggy code [1] Some might
by ineedasername 4y ago
P¹ All people write buggy code. [1]
P² AI assistants are trained on code written by people
∴ People using AI assistants will write buggy code
[1] Some might object to this, either in their own case or that of some of their professional associates. I would not trust the judgement of these people.
- tmtvl 4y agoI 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.