Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
petesergeant
10 months ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
Peak HN gnomism. While the set of possible errors may be infinite, their distribution is not uniform.
Consider applying for YC's Winter 2027 batch!
Applications
are open till November 2.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
