News for hackers. Stuff that matters.
Re:Hobby x86 kernel written with Zig by nickpsecurity on Monday January 06, 2020 @02:17PM (#21972147)
Unsafe blocks don't mean it's unsafe: just that the language's safety scheme can't prove anything about that particular block. You prove each safe externally with Rust's safety handling everything else (i.e. majority of the code).

You can also go further like I did here:

https://news.ycombinator.com/item?id=21840431

You're still worrying about a smaller portion of your code.

There are no comments on this comment yet.