Yeah it's their own language on top of c++ to help them with testing distributed systems with deterministic simulation. Their talk from a while ago about it wa

Yeah it's their own language on top of c++ to help them with testing distributed systems with deterministic simulation. Their talk from a while ago about it was something that really blew me away at the time [0] [0] https://www.youtube.com/watch?v=4fFDFbi3toc https://www.youtube.com/watch?v=4fFDFbi3toc