News for hackers. Stuff that matters.

A comment on Writing a Linux-compatible kernel in Rust. Parent comment

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.
[ Parent | on HN ]

There are no comments on this comment yet.