Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
lysace
37 days ago
|
parent
|
context
|
favorite
| on:
The Case Against Formal Verification, 50 Years Lat...
Yes.
No Silver Bullet
(1986) said that 40 years ago.
jm4rc05
37 days ago
[–]
I’ll add that all the glorious specs we wrote last week is can and will be useless tomorrow. No spec survive real life vanity
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: