Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
MattHeard
7 months ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
it can tell you if your spec is bad, but it can't tell you if your spec is good
Consider applying for YC's Fall 2026 batch!
Applications
are open till July 27.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
