| ▲ | Stanford's deterministic CUDA kernel verifier(2026.splashcon.org) | |
| 5 points by ggboimoney 21 hours ago | 3 comments | ||
| ▲ | deadcatfound 20 hours ago | parent | next [-] | |
Determinism changes the economics of verification. Proving kernel equivalence in CI is far more useful than another benchmark saying the output looks right. | ||
| ▲ | 21 hours ago | parent | prev | next [-] | |
| [deleted] | ||
| ▲ | ggboimoney 21 hours ago | parent | prev [-] | |
Code is fully open-sourced and written in rust! | ||