Oddbean new post about | logout
 [$] A discussion of Rust safety documentation


<a href="https://kangrejos.com/" rel="nofollow">
Kangrejos 2024</a> started off with a talk from Benno Lossin about his
https://lwn.net/Articles/982868/

to establish a standard for safety documentation in Rust kernel code. Lossin
began his talk by giving a brief review of what safety documentation is, and
why it's needed, before moving on to the current status of his work. Safety
documentation is easier to read and write when there's a shared vocabulary for
discussing common requirements; Lossin wants to establish that shared vocabulary
for Rust code in the Linux kernel.


https://lwn.net/Articles/990273/