Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
avmich
63 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
I think the interesting progress in programs can generally be achieved for many programs, which take input and produce output and then terminate. For servers, which wait for requests, the situation seem to be different.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: