joojmachine@lemmy.ml to Linux@lemmy.mlEnglish · 6 months agoFederal agency warns critical Linux vulnerability being actively exploitedarstechnica.comexternal-linkmessage-square80fedilinkarrow-up1295cross-posted to: news@lemmy.linuxuserspace.showcybersecurity@sh.itjust.works
arrow-up1295external-linkFederal agency warns critical Linux vulnerability being actively exploitedarstechnica.comjoojmachine@lemmy.ml to Linux@lemmy.mlEnglish · 6 months agomessage-square80fedilinkcross-posted to: news@lemmy.linuxuserspace.showcybersecurity@sh.itjust.works
minus-squareantonlinkfedilinkarrow-up14·6 months ago Aviation, Health, Space and Car industry have only 3 certified languages that they use. Ada, C and C++. Rust is automotive certified since over half a year. https://ferrous-systems.com/blog/officially-qualified-ferrocene
minus-squarecaseyweederman@lemmy.calinkfedilinkarrow-up4·6 months agoCould you explain the “no need to review” part? I do keep hearing good things about Rust.
minus-squarecaseyweederman@lemmy.calinkfedilinkarrow-up1·6 months agoIs it not possible to build that functionality into C/++ compilers?
minus-squareimgcat@lemmy.mllinkfedilinkarrow-up4·6 months agoAda SPARK is not dying at all, it’s growing. It is used where formal proof is required like and Rust is nowhere near that!
Removed by mod
Rust is automotive certified since over half a year. https://ferrous-systems.com/blog/officially-qualified-ferrocene
Could you explain the “no need to review” part? I do keep hearing good things about Rust.
Removed by mod
Is it not possible to build that functionality into C/++ compilers?
Removed by mod
Ada SPARK is not dying at all, it’s growing. It is used where formal proof is required like and Rust is nowhere near that!