wwilson

6 ms·

31.
Global Crossing Is Reborn(pracap.com)
2 points by wwilson 1y ago|0 comments
32.
by wwilson 1y ago
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 that can be simulated) where “time travel
33.
by wwilson 1y ago
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.
34.
by wwilson 1y ago
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. Machine” where we have attendees race o
35.
by wwilson 1y ago
You were successfully trolled. :-)
36.
by wwilson 1y ago
Haven’t tried Castlevania II, but here’s the first one: https://antithesis.com/blog/castlevania/
37.
Scaling Correctness: Marc Brooker on a Decade of Formal Methods at AWS [video](youtube.com)
2 points by wwilson 1y ago|0 comments
38.
FoundationDB: From Idea to Apple Acquisition(youtube.com)
4 points by wwilson 1y ago|0 comments
39.
Let's all write good software [video](youtube.com)
2 points by wwilson 1y ago|0 comments
40.
by wwilson 1y ago
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 means new. Somebody once told me that V
41.
by wwilson 1y ago
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 the future.
42.
by wwilson 1y ago
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) It’s way too easy to fool yourself wit
43.
by wwilson 1y ago
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 info in section 4 and section 6.2: https:&
44.
Fix the New Things First(antithesis.com)
2 points by wwilson 1y ago|0 comments
45.
Finding a way to make on-call better(antithesis.com)
2 points by wwilson 1y ago|0 comments
46.
The pragmatic magic of semi-formal methods(antithesis.com)
3 points by wwilson 1y ago|0 comments
47.
Antithesis for Founders(antithesis.com)
6 points by wwilson 1y ago|3 comments
48.
Antithesis Driven Testing(sqlsync.dev)
6 points by wwilson 1y ago|0 comments
49.
Bug Bash 2025 conference writeup(concerningquality.com)
5 points by wwilson 1y ago|1 comments
50.
Experience with semi-formal proofs [video](youtube.com)
3 points by wwilson 2y ago|0 comments
51.
BugBash 2025: Software reliability conference(bugbash.antithesis.com)
11 points by wwilson 2y ago|1 comments
52.
Rolling for our new initiative: Test Composer(antithesis.com)
5 points by wwilson 2y ago|0 comments
53.
How to debug large, distributed systems: Antithesis(newsletter.pragmaticengineer.com)
1 points by wwilson 2y ago|0 comments
54.
by wwilson 2y ago
My guess is rather that he's conflating the US with US + Western Europe.
55.
by wwilson 2y ago
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 to record anything except the inputs!
56.
by wwilson 2y ago
This makes the mapping "injective": https://antithesis.com/blog/deterministic_hypervisor/ The "onto" direction doesn't really matter.
57.
by wwilson 2y ago
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.
58.
by wwilson 2y ago
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://antithesis.com/docs&#x2F
59.
by wwilson 2y ago
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 hypervisor ( https://antithesis.com&#x2
60.
by wwilson 2y ago
Yes, unfortunately we have not figured out how to rewind time in the real world yet. When we do, there are a lot of choices I'm going to revisit...

More ›