Hacker News Reader

Pretty much no software, even when run deterministically, is bijective. There are almost always cases where two different states map to the same state.

How does this tooling deal with that?

View on HN

This makes the mapping "injective": https://antithesis.com/blog/deterministic_hypervisor/

The "onto" direction doesn't really matter.

How can it reverse time? Does it record a stack of every decision point?

You don’t need to reverse time if you can deterministically reproduce everything that led up to the point of interest. (In practice we save a snapshot of your system at some intermediate point and replay from there.)

Reply on news.ycombinator.com