News for hackers. Stuff that matters.

A comment on Verus: Verified Rust for low-level systems code. Parent comment

Re:Verus: Verified Rust for low-level systems code by impossiblefork on Tuesday April 22, 2025 @11:07AM (#43763122)
Yes, it should make sure that there are not buffer overflows, but this is the next step.
[ Parent | on HN ]

There are no comments on this comment yet.