Joe Klemmer@lemmy.myserv.one to Linux@lemmy.ml · 2 years agoNew 'Looney Tunables' Linux bug gives root on major distroswww.bleepingcomputer.comexternal-linkmessage-square45fedilinkarrow-up1288arrow-down13file-text
arrow-up1285arrow-down1external-linkNew 'Looney Tunables' Linux bug gives root on major distroswww.bleepingcomputer.comJoe Klemmer@lemmy.myserv.one to Linux@lemmy.ml · 2 years agomessage-square45fedilinkfile-text
minus-squarebaseless_discourse@mander.xyzlinkfedilinkarrow-up8arrow-down1·edit-22 years 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.