Twitter Feed
@djco ("Dirkjan Ochtman (@djc@hachyderm.io)") retweeted:
@ProssimoISRG ("Prossimo") wrote:
We have a new update about our work with Rust in the Linux kernel, courtesy of Gary Guo! Read about his experience working with klint, a tool that is able to detect coding errors related to atomic contexts in Rust. Gary's work is funded by Futurewei. https://www.memorysafety.org/blog/gary-guo-klint-rust-tools/