News for hackers. Stuff that matters.

A comment on What Is Rust's Unsafe? (2019). Parent comment

Re:What Is Rust's Unsafe? (2019) by pjmlp on Monday April 11, 2022 @12:48AM (#30984774)
Nope, Ada/SPARK and Frama-C, both with plenty of experience in high integrity systems deployments into production than Rust, currently.
[ Parent | on HN ]

There are no comments on this comment yet.