The company is called Antithesis and they are building a time-traveling, deterministic debugger / fuzz-testing system. Something very difficult to do:

Source: x.com/GergelyOrosz/status/1856381561601425821