Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
GTP
12 hours ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
With the added issue that now the expert is working with code they didn't write, and that could be in general be harder to understand than human-written code. So they could find it easier to just throw it away and start from scratch.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: