Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
wombatpm
4 months ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
Isn’t this where the Eiffel design by contract people speak up about code reuse?
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:
