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

(github.com) by modelmiser | Mar 16, 2026 | 1 comments on HN