Because it doesn’t? Thats why the field of formal methods exists. | Hacker News

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

		catgary 17 days ago \| parent \| context \| favorite \| on: Some uncomfortable truths about AI coding agents Because it doesn’t? Thats why the field of formal methods exists.

raw_anon_1111 17 days ago [–]

Then that sounds like you aren’t writing good tests…

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