Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
raw_anon_1111
30 days ago
|
parent
|
context
|
favorite
| on:
Some uncomfortable truths about AI coding agents
If you are writing the correct tests that mirror the requirements, why wouldn’t passing tests mean the code is correct?
catgary
28 days ago
|
next
[–]
Because it doesn’t? Thats why the field of formal methods exists.
raw_anon_1111
28 days ago
|
parent
|
next
[–]
Then that sounds like you aren’t writing good tests…
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
