Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
learningstud
on Jan 13, 2023
|
parent
|
context
|
favorite
| on:
A corrupt file led to the FAA ground stoppage – al...
Or, you can have complex systems with PROOFS like CompCert and Sel4. With formal methods, you can move as fast or as slow as you like.
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:
