Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
contravariant
on Jan 22, 2019
|
parent
|
context
|
favorite
| on:
Why Don't People Use Formal Methods?
If I could write a specification that satisfied all those properties I'd be happy if it was even remotely as simple as writing the code.
Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: