wwilson

It’s not quite a fair comparison, since an RL agent is trying to learn a policy that wins fair and square, while a fuzzer is able to take back moves. But if you’re working in a domain (like anything t…

The longer you run it, the cleaner the run gets. But Metroid is a very compute-intensive game to fuzz, and we were already nearing the limits of what BigQuery could do for us with that run.

Yes, this is a really fun idea and something that we want to do. Though these days we’re setting our sights higher than Nintendo… A funny story though: a regular conference gimmick we have is “Man vs.…

You were successfully trolled. :-)

Haven’t tried Castlevania II, but here’s the first one: https://antithesis.com/blog/castlevania/ …

Corensic was impressive tech. I actually debriefed with one of their founders years ago. IIRC, their product was focused on finding single-process concurrency bugs. Deterministic hypervisors are by no…

Hi Marc, thank you for the correction! We started doing it around 2010, and were not aware of any prior art. But I am not surprised to hear that others had the idea before us. I will give Al credit in…

There have historically been two giant adoption challenges for DST. (1) Previously, you had to build your entire system around one of the simulation frameworks (and then not take any dependencies). (2…

DST was i̶n̶v̶e̶n̶t̶e̶d̶ popularized at FoundationDB a little over a decade ago, and has been quietly gathering steam ever since. If you’re interested in the technique, the FDB paper has some good inf…

My guess is rather that he's conflating the US with US + Western Europe.

No, we don’t require any paravirtualization at all, and nothing needs to be manually rewritten. I’m not sure where you got that impression. It also is not in any sense a replay engine. We don’t need t…

This makes the mapping "injective": https://antithesis.com/blog/deterministic_hypervisor/ The "onto" direction doesn't really matter.…

Yes! See Alex's talk here: https://www.youtube.com/watch?v=0E6GBg13P60 In fact, we just made a radical upgrade to this functionality. Expect a blog post about that soon.…

Any third party service does need to be mocked or stubbed out. We have a partnership with Localstack that lets us provide very polished AWS mocks that require zero configuration on your part ( https:&…

You're right that if you tried to do something like this using record/replay, you would pay an enormous cost. Antithesis does not use record/replay, but rather a deterministic hyperviso…