[$] 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)