@joojmachine@lemmy.ml to Linux@lemmy.mlEnglish • 1 month agoFederal agency warns critical Linux vulnerability being actively exploitedarstechnica.comexternal-linkmessage-square82fedilinkarrow-up1295cross-posted to: news@lemmy.linuxuserspace.showcybersecurity@sh.itjust.works
arrow-up1295external-linkFederal agency warns critical Linux vulnerability being actively exploitedarstechnica.com@joojmachine@lemmy.ml to Linux@lemmy.mlEnglish • 1 month agomessage-square82fedilinkcross-posted to: news@lemmy.linuxuserspace.showcybersecurity@sh.itjust.works
minus-square@antonlink14•30 days 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-square@caseyweederman@lemmy.calinkfedilink4•1 month agoCould you explain the “no need to review” part? I do keep hearing good things about Rust.
minus-square@caseyweederman@lemmy.calinkfedilink1•29 days agoIs it not possible to build that functionality into C/++ compilers?
minus-square@imgcat@lemmy.mllinkfedilink4•1 month 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!