Rust Verification Workshop 2021

Recorded talks from the 1st Rust Verification Workshop, held online on Apr 7, 9 and 12, 2021 See:… Read more


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 »