Rust Verification Workshop 2021

Recorded talks from the 1st Rust Verification Workshop, held online on Apr 7, 9 and 12, 2021 See: https://sites.google.com/view/rustverify2021/home… Read more

Similar

Two ways of interpreting visibility in Rust

Last year, while I was browsing through Rust compiler pull requests, I noticed #126013, which added the unreachable_pub lint to several crates of the compiler. This piqued my interest, because I did not know that lint at the time. But when I examined its ... (more…)

Read more »