Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
avmich
8 days ago
|
parent
|
context
|
favorite
| on:
AI will make formal verification go mainstream
It's a bad reason. A lot of best practices are temporary blindnesses, comparable, in some sense, with supposed love to BASIC before or despite Dijkstra. So, yes, it's possible there is no good reason. Though I don't think it's the case here.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: