Hacker Next
Stanford's deterministic CUDA kernel verifier2026.splashcon.org
5 points by ggboimoney 1 days ago | 1 comment