4 points | by ggboimoney 9 hours ago ago
3 comments
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
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