News for hackers. Stuff that matters.

A comment on Smart pointers for the kernel. Parent comment

Re:Smart pointers for the kernel by Measter on Friday October 18, 2024 @07:44AM (#41878455)
There was a paper a few years ago[0] was related to proving soundness. That could be what they meant.

[0] https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf

[ Parent | on HN ]

There are no comments on this comment yet.