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

Six ways to make async Rust easier

Asynchronous Rust is powerful but has a reputation for being hard to learn. There have been various ideas on how to fix the trickiest aspects, though with my focus being on Tokio 1.0, I had not been able to dedicate much focus to those topics. However, Ni... (more…)

Read more »