Subj : [$] A discussion of Rust safety documentation
To   : All
From : LWN.net
Date : Tue Sep 17 2024 19:45:04

[$] A discussion of Rust safety documentation

Date:
Tue, 17 Sep 2024 18:34:33 +0000

Description:
Kangrejos 2024 started off with a talk from Benno Lossin about his recent 
work 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.

======================================================================
Link to news story:
https://lwn.net/Articles/990273/


--- Mystic BBS v1.12 A47 (Linux/64)
 * Origin: tqwNet UK HUB @ hub.uk.erb.pw (1337:1/100)

.