wwilson

9 ms·

1.
Hegel-Rust OSS bug-finding(github.com)
1 points by wwilson 12d ago|0 comments
2.
Ways Research Teams Fail(antithesis.com)
3 points by wwilson 28d ago|0 comments
3.
by wwilson 1mo ago
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 several others as well (we are in the process
4.
by wwilson 1mo ago
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 source projects in the near future.
5.
by wwilson 1mo ago
Discussion here: https://news.ycombinator.com/item?id=49277799
6.
by wwilson 1mo ago
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!
7.
by wwilson 1mo ago
We are working on getting self-serve signups to you ASAP. For now, just email us. We don’t bite.
8.
by wwilson 1mo ago
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 root cause analysis. Stay tuned!
9.
Breaking the WAL(antithesis.com)
162 points by wwilson 1mo ago|52 comments
10.
by wwilson 1mo ago
RECEIPTS: https://antithesis.com/blog/2026/wal-reset-bug/
11.
by wwilson 1mo ago
Stay tuned!
12.
by wwilson 1mo ago
Was curious so we checked and yep, Antithesis finds this bug in about 15 minutes. Will post a repro/writeup here soon.
13.
by wwilson 2mo ago
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. It’s been great!
14.
My quest to see all of Tetris(antithesis.com)
73 points by wwilson 3mo ago|17 comments
15.
by wwilson 5mo ago
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 what we did.
16.
by wwilson 5mo ago
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.
17.
by wwilson 6mo ago
[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 distributed code, etc.). But yeah, not har
18.
by wwilson 6mo ago
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 the evilest tricks in marketing to deve
19.
by wwilson 6mo ago
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 ASAP first.
20.
A Fighting Retreat(antithesis.com)
1 points by wwilson 6mo ago|0 comments
21.
Formal Methods for Rust Unsafe(antithesis.com)
4 points by wwilson 7mo ago|0 comments
22.
We interfaced single-threaded C++ with multi-threaded Rust and lived(antithesis.com)
1 points by wwilson 9mo ago|0 comments
23.
Test ACID compliance with a ring test(antithesis.com)
1 points by wwilson 10mo ago|0 comments
24.
by wwilson 10mo ago
Not our first customer, but one we certainly appreciate!
25.
When your customer leads your Series A(antithesis.com)
16 points by wwilson 10mo ago|0 comments
26.
Startups promise to catch bugs in AI-generated software(ft.com)
2 points by wwilson 10mo ago|0 comments
27.
by wwilson 11mo ago
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 understanding of distributed systems who c
28.
They don't even have eyes(antithesis.com)
5 points by wwilson 11mo ago|0 comments
29.
Did you get lucky or unlucky?(antithesis.com)
2 points by wwilson 11mo ago|0 comments
30.
by wwilson 1y ago
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 comments here on any of the issues that go

More ›