Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
deterministic
on April 14, 2023
|
parent
|
context
|
favorite
| on:
What I've Learned About Formal Methods in Half a Y...
CompCert is a proven correct C compiler proven correct by a very small team in a few years. Used by Airbus for avionics software. GCC after 25 years of work still has bugs.
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
