News for hackers. Stuff that matters.

A comment on Rust in Linux kernel is just a beginning. Parent comment

Re:Rust in Linux kernel is just a beginning by pjmlp on Tuesday October 25, 2022 @09:24AM (#33330152)
Rust safety with runtime dependencies, Vec bounds checking, Arc and Rc datatypes.

Ada with SPARK 2014 formal proofs, for your other part of the remark.

[ Parent | on HN ]

There are no comments on this comment yet.