Hacker News new | ask | show | jobs
Klint: Compile-Time Detection of Atomic Context Violations for Kernel Rust Code (memorysafety.org)
3 points by SGran 1203 days ago