News for hackers. Stuff that matters.
Re:Cargo-style dependency management for C, C++ and other la... by terafo on Wednesday October 21, 2020 @05:32AM (#24846146)
Critical software for planes is written in Ada. C is not safe enough.
Re:Cargo-style dependency management for C, C++ and other la... by coldtea on Wednesday October 21, 2020 @06:09AM (#24846306)
That was the idea back in the 80s. Didn't turn out that way, planes, rockets, NASA, still use C just fine, and Ada was not that widely adopted in the end.
Re:Cargo-style dependency management for C, C++ and other la... by platinumrad on Wednesday October 21, 2020 @05:57AM (#24846254)
And yet C++ was (in)famously used in the JSF... A less notorious example is Airbus's use of Frama-C.