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 pjmlp on Tuesday October 26, 2021 @06:25AM (#28998563)
Nope, Rust still cannot provide formal proofs Ada/SPARK style, and using String, Vec, Rc, Arc, RefCell imposes just runtime checks as other type safe systems languages.
[ Parent | on HN ]

There are no comments on this comment yet.