I really like antithesis' approach: it's non-intrusive as all the changes are on a VM so one can run deterministic simulation without changing their code. It's

I really like antithesis' approach: it's non-intrusive as all the changes are on a VM so one can run deterministic simulation without changing their code. It's also technically challenging, as making a VM suitable for deterministic simulation is not an easy feat. On a side, I was wondering how this approach compares to Meta's Hermit(https://github.com/facebookexperimental/hermit https://github.com/facebookexperimental/hermit), which is a deterministic Linux instead of a VM.