modelmiser 1 karma 7d on HN HN profile →
Coverage
We've seen 1 of ~2 submissions
Full eval: 0 Lite-only: 0 Unevaluated: 1
1 stories
1. Warp-types: GPU shuffle UB becomes a compile error (Rust, Lean proof, zero cost) (github.com)
1 points by modelmiser 7 days ago | 1 comments | skipped