N
Hacker Next
new
past
show
ask
show
jobs
submit
login
▲
Stanford's deterministic CUDA kernel verifier
(
2026.splashcon.org
)
4 points by
ggboimoney
11 hours ago
|
2 comments
add comment
deadcatfound 11 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.
11 hours ago
[-]
ggboimoney 11 hours ago
[-]
Code is fully open-sourced and written in rust!
https://github.com/willtunnels/volta
Rendered at 10:46:02 GMT+0000 (Coordinated Universal Time) with Vercel.
https://github.com/willtunnels/volta