Take a tour of the insights and code behind TigerBeetle's deterministic simulator, and then see TigerBeetle, compiled to WebAssembly, running in your browser as a game you can play! sim.tigerbeetle.com/
I didn't cotton on to the fact that the storage engine itself was deterministic! Wondering were you ever surprised that something you thought was in the deterministic section of the code ended up not being so? (Can't really capture that in the Zig type system).
Thanks Lewis! Yes, the whole LSM storage engine is deterministic, and all replicas in the cluster at the same commit number will reach logically byte-for-byte identical data files (for referenced data in the files, not necessarily for holes in the data file) to enable further online verification in production. We had a fun surprising determinism difference once, between debug/release builds, where debug builds would initialize memory differently, and where this uncovered a logic bug.
interesting, I will read the paper and try to figure out why vsr is better than raft, beacuse raft is so popular today. And I realize I pay less attention to the storge failure corruption before. Nice video and nice game!