News for hackers. Stuff that matters.

A comment on Do we need a “Rust Standard”?. Parent comment

Re:Do we need a “Rust Standard”? by trimistermota on Wednesday October 26, 2022 @05:12PM (#33349525)
Very few of those languages are used in certified code.
[ Parent | on HN ]
Re:Do we need a “Rust Standard”? by steveklabnik on Wednesday October 26, 2022 @08:42PM (#33351561)
And yet, a version of rustc is well on its way to being certified. Standardization is not required for certification.
[ Parent | on HN ]