Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
amw-zero
64 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
So... a specification.
signa11
64 days ago
[β]
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
63 days ago
|
parent
[β]
So... a specification.
signa11
63 days ago
|
root
|
parent
[β]
hang on ...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: