News for hackers. Stuff that matters.

A comment on AI is forcing us to pay off 40 years of technical debt. Parent comment

Re:AI is forcing us to pay off 40 years of technical debt by jopsen on Wednesday November 04, 2026 @05:59PM (#50372644)
Play a bit with it, I started feeling like verification is just a slightly more aggressive fuzzer.

There will also be compiler bugs, etc.

The point is fewer bugs.

[ Parent | on HN ]
Re:AI is forcing us to pay off 40 years of technical debt by kolinko on Thursday November 05, 2026 @03:54AM (#50376840)
At least in some cases it is easier to verify bytecode/assembly than source code.
[ Parent | on HN ]