Warp-types: GPU shuffle UB becomes a compile error (Rust, Lean proof, zero cost)github.com/modelmiser1 pointmodelmiser3 months ago