News for hackers. Stuff that matters.

A comment on Linux Rust Support. Parent comment

Re:Linux Rust Support by hulitu on Tuesday July 06, 2021 @08:06AM (#27747319)
Testing is hard. And (very) expensive.
[ Parent | on HN ]
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 ]