modelmiser/warp-types

Linear typestate for GPU warp divergence: compile-time prevention of shuffle-from-inactive-lane bugs

1 best points · 1 comments · 1 Hacker News post · 0 GitHub stars · View on GitHub

Hacker News discussions

• Warp-types: GPU shuffle UB becomes a compile error (Rust, Lean proof, zero cost) (1 points, 1 comments, by modelmiser, 2026-03-16)