Joe Klemmer@lemmy.myserv.one to Linux@lemmy.ml · 1 year agoNew 'Looney Tunables' Linux bug gives root on major distroswww.bleepingcomputer.comexternal-linkmessage-square67fedilinkarrow-up1287arrow-down13file-text
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-square67fedilinkfile-text
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.
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.