At last year’s EuroRust, Horacio Lisdero Scaffino presented a way to prove Rust programs are free of deadlocks. With a live demo, this talk is a practical and approachable way to reason about concurrency, and a glimpse into stronger compile-time guarantees for Rust. Tune in! 📺✨
👉 https://youtu.be/6VbRgAa_si0
#EuroRust #RustLang