Stanford's deterministic CUDA kernel verifier

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

Code is fully open-sourced and written in rust!

https://github.com/willtunnels/volta