back
user profile

wwilson

4,415karma·222submissions·May 20, 2013
about
Building something cool. Email me at: will.wilson@antithesis.com
recent activity (222 total)
comment
Nope, it's a generic PBT harness. The human who built it knew about the bug, but the workload was specifically designed not to specifically target this particular bug, and may have found severa…
3d ago·view thread
comment
Brutally honest answer: it only recently became easy to get random systems under test with Antithesis without a bunch of manual/expert effort. Expect us to be reporting a lot of bugs against open…
3d ago·view thread
comment
Discussion here: https://news.ycombinator.com/item?id=49277799
4d ago·view thread
comment
As the post (and linked repo) pretty clearly indicate, zero info about the existence of the bug went into this work. Oh btw, we also found some other ones… Stay tuned!
4d ago·view thread
comment
We are working on getting self-serve signups to you ASAP. For now, just email us. We don’t bite.
4d ago·view thread
comment
We wanted to publish this ASAP since people are talking about this bug today. In a follow-up, we will show how our automated causality analysis could have saved Tailscale and SQLite from 6 months of r…
4d ago·view thread
comment
RECEIPTS: https://antithesis.com/blog/2026/wal-reset-bug/
4d ago·view thread
comment
Stay tuned!
4d ago·view thread
comment
Was curious so we checked and yep, Antithesis finds this bug in about 15 minutes. Will post a repro/writeup here soon.
4d ago·view thread
comment
I’ve been running one for a while and love it. Have also built a Nix -> OpenWRT config language transpiler so that I can keep my router state in Nix files and have nice deterministic rollbacks etc.…
1mo ago·view thread
comment
Author here. That’s right — the challenge was representing a tree in an existing SQL database that we’d chosen for its pricing model. I think encoding a B-tree in SQL would be a lot less fun even than…
3mo ago·view thread
comment
Thanks,our company is in the DC area so I just reached out with an offer to chat. Wesnoth is an incredible project, I can't believe he doesn't have a programming job.
4mo ago·view thread
comment
[Disclaimer: Started Antithesis] If you run your Hegel tests in Antithesis, you get this for free (along with various sorts of “non-local” assertions, perfect reproducibility even for concurrent or di…
4mo ago·view thread
comment
If I had been wearing my fiendish CEO hat at the time, I might have even said something like: "somebody pointing this out will be a great way to jumpstart discussion in the comments." One of…
4mo ago·view thread
comment
Glad you enjoyed the talk! Making Bombadil able to take advantage of the intelligence in the Antithesis platform is definitely a goal, but we wanted to get a great open source tool into peoples’ hands…
4mo ago·view thread
comment
Not our first customer, but one we certainly appreciate!
8mo ago·view thread
comment
Antithesis | Distributed Systems Breaker Extraordinaire | Full-time | SF or London or DC --- Have you always wanted to channel your inner Kyle Kingsbury? We are looking to hire somebody with a deep un…
9mo ago·view thread
comment
I am one of the people who was on the panel. As always, it's a very lossy process when a journalist is summarizing another journalist summarizing a 90 minute discussion. Happy to expand in the co…
10mo ago·view thread