Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

Rust’s guarantees have little to nothing to do with malloc.

Ferrocene isn’t DO-178C certified… yet. But it has similar certifications in other industries.



And it never will be. In aviation we certify three things: aircraft, engines and propellers. Everything else is at best certifiable, i.e. can be integrated into a product to be certified assuming all deviations, restrictions, caveats etc are considered when doing so.

Also, tools follows DO-330 and are qualified. It's their output that should comply with DO-178.


Sure, yes, I always end up saying “certified” instead of “qualified” for some reason. Thanks.




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: