Andrew Lilley Brinker on Mythryl: “New from me: "Rust's Culture of Semantic Precision" Discussing how…”

New from me: "Rust's Culture of Semantic Precision" Discussing how Rust devs like to disentangle distinct guarantees and requirements into distinct APIs, and how that's playing out in the Linux kernel.

alilleybrinker.comRust's Culture of Semantic Precision — Andrew Lilley BrinkerI work on software security at MITRE, including serving as amember of the OmniBOR Working Group, where I lead development of the Rustimplementation, and as the project manager for Hipcheck, a tool for...

16/1/26, 9:33 pm7 reposts19 likes

Post