News for hackers. Stuff that matters.

A comment on Linux Rust Support. Parent comment

Re:Linux Rust Support by kaba0 on Tuesday July 06, 2021 @09:12AM (#27748043)
Formal verification is even harder. And even more (very) expensive.
[ Parent | on HN ]

There are no comments on this comment yet.