joojmachine@lemmy.ml to Linux@lemmy.mlEnglish · 2 years agoFederal agency warns critical Linux vulnerability being actively exploitedarstechnica.comexternal-linkmessage-square78fedilinkarrow-up143arrow-down11
arrow-up142arrow-down1external-linkFederal agency warns critical Linux vulnerability being actively exploitedarstechnica.comjoojmachine@lemmy.ml to Linux@lemmy.mlEnglish · 2 years agomessage-square78fedilink
minus-squareimgcat@lemmy.mllinkfedilinkarrow-up1arrow-down1·2 years 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!
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!