Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

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.)




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: