Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
signa11
12 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
no ! a _design_ document. how this new thing will fit together with other things that are already existing in the system. what it’s interactions are going to look like, what are the assumptions, what are the limitations etc etc.
amw-zero
12 days ago
[–]
So... a specification.
reply
signa11
12 days ago
|
parent
[–]
hang on ...
reply
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: