← Back to context Comment by andai 1 day ago They're getting really good at proofs and theorems, right? 1 comment andai Reply IshKebab 1 day ago Proofs/theorems and memory safety vulnerabilities are a special case because there's an easy way to verify whether the model is bullshitting or not.That's not true for coding in general. The best you can do is having unreasonably good test coverage, but the vast majority of code doesn't have that.
IshKebab 1 day ago Proofs/theorems and memory safety vulnerabilities are a special case because there's an easy way to verify whether the model is bullshitting or not.That's not true for coding in general. The best you can do is having unreasonably good test coverage, but the vast majority of code doesn't have that.
Proofs/theorems and memory safety vulnerabilities are a special case because there's an easy way to verify whether the model is bullshitting or not.
That's not true for coding in general. The best you can do is having unreasonably good test coverage, but the vast majority of code doesn't have that.