And they went on to build Antithesis to deliver the same capabilities to other systems, pretty cool stuff!

[1]: https://antithesis.com/company/backstory/

Pretty cool. For it to scale they are building their own deterministic hypervisor too [0], but also a new distributed database to support their workloads more efficiently [1].

[0] https://antithesis.com/blog/deterministic_hypervisor

[1] https://antithesis.com/blog/2025/testing_pangolin