Stanford's deterministic CUDA kernel verifier

2 comments

• deadcatfound 37 minutes ago

  Determinism changes the economics of verification. Proving kernel equivalence in CI is far more useful than another benchmark saying the output looks right.

• ggboimoney an hour ago

  Code is fully open-sourced and written in rust!

  https://github.com/willtunnels/volta