28 ms·
> With developments such as the Ferrocene-qualified compiler, Rust can now meet all the analysis requirements under DO-178C, one of the most stringent safety-cr
by monocasa 10mo ago
> With developments such as the Ferrocene-qualified compiler, Rust can now meet all the analysis requirements under DO-178C, one of the most stringent safety-critical standards worldwide.
- irishcoffee 10mo ago“Can meet” vs “has met” is the entire difference. Clearly C “can meet” and “has met” DO-178. So, I posit that more languages than C “can meet” this standard. Proving it is the very hard, very expensive part. Oh, and whatever version of the rust compiler that gets certified will be locked down as the only certified toolchain. No more compiler updates every 6 weeks. Unless you go though the whole process again.
- steveklabnik 10mo agoFerrocene has qualified Rust 1.68.2, 1.76.0, 1.79.0, 1.81.0, 1.83.0, 1.86.0, 1.87.0, 1.89.0, with 1.91.0 in the upcoming release. It's not every six weeks, but it's far faster than once every three years.