Hacker News new | past | comments | ask | show | jobs | submit
jopsen | on: AI is forcing us to pay off 40 years of technical debt
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.

kolinko | parent
At least in some cases it is easier to verify bytecode/assembly than source code.