Rust, but Verify - Compile-Time Authorization - Nathanial Lattimer - EuroRust 2023 - YouTube

https://youtu.be/QcS9UNsVhp8?feature=shared

https://twitter.com/home/status/1725214636830835163

https://twitter.com/home/status/1725215580645421350

https://twitter.com/home/status/1725255651604250662

https://twitter.com/home/status/1725258967931383921