Joe Klemmer@lemmy.myserv.one to Linux@lemmy.ml · 11 months agoNew 'Looney Tunables' Linux bug gives root on major distroswww.bleepingcomputer.comexternal-linkmessage-square45fedilinkarrow-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 · 11 months agomessage-square45fedilinkfile-text
minus-squarebaseless_discourse@mander.xyzlinkfedilinkarrow-up8arrow-down1·edit-211 months 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.