Joe Klemmer@lemmy.myserv.one to Linux@lemmy.ml · 1 year agoNew 'Looney Tunables' Linux bug gives root on major distroswww.bleepingcomputer.comexternal-linkmessage-square66fedilinkarrow-up1287arrow-down13file-textcross-posted to: [email protected]
arrow-up1284arrow-down1external-linkNew 'Looney Tunables' Linux bug gives root on major distroswww.bleepingcomputer.comJoe Klemmer@lemmy.myserv.one to Linux@lemmy.ml · 1 year agomessage-square66fedilinkfile-textcross-posted to: [email protected]
minus-squareAggressivelyPassive@feddit.delinkfedilinkarrow-up52arrow-down2·1 year agoBut it’s harder and easier to spot. You’ll never be 100% safe, but a proper lock is better than a “plz no steal” note.
minus-squarebaseless_discourse@mander.xyzlinkfedilinkarrow-up8arrow-down1·edit-21 year agoYes, it was just discovered on this year’s POPL that rust’s type system is not sound with respect to deadlock freedom. https://dl.acm.org/doi/abs/10.1145/3571229 (of course this is not arguing that everyone should stay on C or CPP, just confirming the point that Rust will allow stupid things.
minus-squarelloram239@feddit.delinkfedilinkarrow-up6arrow-down1·edit-210 months agodeleted by creator
deleted by creator
But it’s harder and easier to spot.
You’ll never be 100% safe, but a proper lock is better than a “plz no steal” note.
Yes, it was just discovered on this year’s POPL that rust’s type system is not sound with respect to deadlock freedom.
https://dl.acm.org/doi/abs/10.1145/3571229
(of course this is not arguing that everyone should stay on C or CPP, just confirming the point that Rust will allow stupid things.
deleted by creator