joojmachine@lemmy.ml to Linux@lemmy.mlEnglish · 9 个月前Federal 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 · 9 个月前message-square80fedilinkcross-posted to: news@lemmy.linuxuserspace.showcybersecurity@sh.itjust.works
minus-squareantonlinkfedilinkarrow-up14·9 个月前 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·9 个月前Could you explain the “no need to review” part? I do keep hearing good things about Rust.
minus-squarecaseyweederman@lemmy.calinkfedilinkarrow-up1·9 个月前Is it not possible to build that functionality into C/++ compilers?
minus-squareimgcat@lemmy.mllinkfedilinkarrow-up4·9 个月前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!
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!