joojmachine@lemmy.ml to Linux@lemmy.mlEnglish · 2 年前Federal agency warns critical Linux vulnerability being actively exploitedarstechnica.comexternal-linkmessage-square86linkfedilinkarrow-up1302arrow-down10cross-posted to: news@lemmy.linuxuserspace.showcybersecurity@sh.itjust.works
arrow-up1302arrow-down1external-linkFederal agency warns critical Linux vulnerability being actively exploitedarstechnica.comjoojmachine@lemmy.ml to Linux@lemmy.mlEnglish · 2 年前message-square86linkfedilinkcross-posted to: news@lemmy.linuxuserspace.showcybersecurity@sh.itjust.works
minus-squareimgcat@lemmy.mllinkfedilinkarrow-up4·2 年前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!
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!