HN
New
Show
Ask
Jobs
Built with elm-pages
Stanford's deterministic CUDA kernel verifier
(2026.splashcon.org)
5 points | by
ggboimoney
a day ago ago
3 comments
3 comments