Tests can never verify the correctness of code, they only spot-check for incorre... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		layer8 5 months ago \| parent \| context \| favorite \| on: Generative AI coding tools and agents do not work ... Tests can never verify the correctness of code, they only spot-check for incorrectness.

genewitch 5 months ago [–]

"hey claude, does this function terminate?"

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact