Moment at 27:16 in Sguaba: Type-safe spatial math in Rust by Jon Gjengset.
Redefining Unsafe For Type Safety
Saved by Arn D.