News for hackers. Stuff that matters.
Re:Writing a Linux-compatible kernel in Rust by nivenkos on Tuesday October 26, 2021 @06:47AM (#28998690)
> now that unsafe memory management has been unambiguously shown to be the major factor in vulnerabilities, how safe memory management is still not recognized as the highest priority

It is a shame it isn't taken more seriously, especially when you consider the recent Pegasus discoveries - https://digitalviolence.org/

A memory management error can literally be a matter of life and death for some.

Re:Writing a Linux-compatible kernel in Rust by pjmlp on Tuesday October 26, 2021 @08:05AM (#28999333)
Therac-25.
Re:Writing a Linux-compatible kernel in Rust by bregma on Tuesday October 26, 2021 @08:10AM (#28999380)
The Therac-25 tragedy was not a memory-management issue. If its had been written in Rust the state machine error would still have cooked a lot of people.
Re:Writing a Linux-compatible kernel in Rust by mratsim on Tuesday October 26, 2021 @10:25AM (#29000792)
Indeed, if we wanted to prevent it we would use ADA/Spark or a language with formal verification support say Frama-C.