News for hackers. Stuff that matters.

A comment on The day I taught AI to read code like a Senior Developer. Parent comment

Re:The day I taught AI to read code like a Senior Developer by Yoric on Sunday January 05, 2025 @06:39PM (#42606035)
Except LLMs are usually really bad at checking.

Perhaps if they're some day augmented by formal methods, that might change.

[ Parent | on HN ]
Re:The day I taught AI to read code like a Senior Developer by QuadmasterXLII on Monday January 06, 2025 @10:47AM (#42611522)
Sorry, I was unclear- my statement was supposed to be proof that LLMs are bad at checking, because the approach I listed is well known to not work
[ Parent | on HN ]
Re:The day I taught AI to read code like a Senior Developer by Yoric on Tuesday January 07, 2025 @03:41AM (#42620557)
Got it, now it makes sense :)

I may accidentally have been inspired from your message when I wrote the following piece, yesterday: https://yoric.github.io/post/formal-ai/

[ Parent | on HN ]