"Safety in an Unsafe World" by Joshua Liebow-Feeser at #rustconf24 blew my mind!
You can statically prevent deadlocks in Rust, by making them a compile error?! Sign me up!
https://www.youtube.com/watch?v=Ba7fajt4l1M&list=PL2b0df3jKKiTWZeF7cip6ZUsaVXxWioRi&index=28&pp=iAQB