joojmachine@lemmy.ml to Linux@lemmy.mlEnglish · 4 个月前Federal agency warns critical Linux vulnerability being actively exploitedarstechnica.comexternal-linkmessage-square111fedilinkarrow-up1310arrow-down15cross-posted to: [email protected][email protected]
arrow-up1305arrow-down1external-linkFederal agency warns critical Linux vulnerability being actively exploitedarstechnica.comjoojmachine@lemmy.ml to Linux@lemmy.mlEnglish · 4 个月前message-square111fedilinkcross-posted to: [email protected][email protected]
minus-squareimgcat@lemmy.mllinkfedilinkarrow-up4arrow-down5·4 个月前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!