Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
amw-zero
10 months ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
Let's say a new feature. Do you just type random letters, or do you have some kind of plan ahead of time?
signa11
10 months ago
[–]
new feature implies design document to gather the thoughts, followed by an intense review etc.
amw-zero
10 months ago
|
parent
[–]
So... a specification.
signa11
10 months ago
|
root
|
parent
[–]
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
10 months ago
|
root
|
parent
[–]
So... a specification.
signa11
10 months ago
|
root
|
parent
[–]
hang on ...
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:
