deadcatfound
10 hours ago
Determinism changes the economics of verification. Proving kernel equivalence in CI is far more useful than another benchmark saying the output looks right.
10 hours ago
Determinism changes the economics of verification. Proving kernel equivalence in CI is far more useful than another benchmark saying the output looks right.
10 hours ago
10 hours ago
Code is fully open-sourced and written in rust!