Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
signa11
42 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
> When you go to write a line of code, how do you decide what to write?
depends ofcourse, what am i writing for ? a feature, a bugfix, refactor ... ?
amw-zero
41 days ago
[–]
Let's say a new feature. Do you just type random letters, or do you have some kind of plan ahead of time?
signa11
41 days ago
|
parent
[–]
new feature implies design document to gather the thoughts, followed by an intense review etc.
amw-zero
41 days ago
|
root
|
parent
[–]
So... a specification.
signa11
41 days 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
41 days ago
|
root
|
parent
[–]
So... a specification.
signa11
40 days ago
|
root
|
parent
[–]
hang on ...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
depends ofcourse, what am i writing for ? a feature, a bugfix, refactor ... ?