Warp-types: GPU shuffle UB becomes a compile error (Rust, Lean proof, zero cost)

by modelmiser | View on Hacker News