Hacker News
new
top
best
ask
show
job
Stanford's deterministic CUDA kernel verifier
(
2026.splashcon.org
)
3 points
by
ggboimoney
4 hours ago
3 comments
deadcatfound
3 hours ago
Determinism changes the economics of verification. Proving kernel equivalence in CI is far more useful than another benchmark saying the output looks right.
4 hours ago
undefined
ggboimoney
4 hours ago
Code is fully open-sourced and written in rust!
https://github.com/willtunnels/volta