News for hackers. Stuff that matters.

A comment on The problem is not generating code. It is trusting the change.

Re:The problem is not generating code. It is trusting the ch... by rgambee on Wednesday March 18, 2026 @12:54PM (#47428157)
I'm curious what the verification and proof stages offer beyond automated PR checks. The verification example looks rather standard.

To me, the biggest bottleneck is the fact that automated checks don't catch everything. I still need to read through the code myself before I trust it.

[ Parent | on HN ]
Re:The problem is not generating code. It is trusting the ch... by PaulHoule on Wednesday March 18, 2026 @12:55PM (#47428178)
e.g. understanding the code probably takes 30-200% of the effort of writing it!

It does seem to do something though about the situation where, occasionally, an AI just goes and vandalizes 3000 lines of code across your whole code base.

[ Parent | on HN ]