Hacker News: wwilson

Ways Research Teams Fail

wwilson — Thu, 20 Aug 2026 15:10:55 +0000

Article URL: https://antithesis.com/blog/2026/ways-research-teams-fail/

Comments URL: https://news.ycombinator.com/item?id=49375775

Points: 3

# Comments: 0

New comment by wwilson in "Tracking down the 16-year-old WAL-reset SQLite bug"

wwilson — Thu, 13 Aug 2026 01:50:49 +0000

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 of reporting these upstream).

New comment by wwilson in "Breaking the WAL"

wwilson — Wed, 12 Aug 2026 22:37:14 +0000

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.

New comment by wwilson in "Tracking down the 16-year-old WAL-reset SQLite bug"

wwilson — Wed, 12 Aug 2026 21:27:21 +0000

Discussion here: https://news.ycombinator.com/item?id=49277799

New comment by wwilson in "Breaking the WAL"

wwilson — Wed, 12 Aug 2026 20:49:23 +0000

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!

New comment by wwilson in "Tracking down the 16-year-old WAL-reset SQLite bug"

wwilson — Wed, 12 Aug 2026 20:48:11 +0000

We are working on getting self-serve signups to you ASAP. For now, just email us. We don’t bite.

New comment by wwilson in "Breaking the WAL"

wwilson — Wed, 12 Aug 2026 20:42:42 +0000

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!

Breaking the WAL

wwilson — Wed, 12 Aug 2026 20:00:16 +0000

Article URL: https://antithesis.com/blog/2026/wal-reset-bug/

Comments URL: https://news.ycombinator.com/item?id=49277799

Points: 162

# Comments: 52

New comment by wwilson in "Tracking down the 16-year-old WAL-reset SQLite bug"

wwilson — Wed, 12 Aug 2026 19:59:52 +0000

RECEIPTS: https://antithesis.com/blog/2026/wal-reset-bug/

New comment by wwilson in "Tracking down the 16-year-old WAL-reset SQLite bug"

wwilson — Wed, 12 Aug 2026 19:29:54 +0000

Stay tuned!

New comment by wwilson in "Tracking down the 16-year-old WAL-reset SQLite bug"

wwilson — Wed, 12 Aug 2026 19:14:31 +0000

Was curious so we checked and yep, Antithesis finds this bug in about 15 minutes. Will post a repro/writeup here soon.

New comment by wwilson in "OpenWrt One – Open Hardware Router"

wwilson — Mon, 06 Jul 2026 22:20:12 +0000

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!

My quest to see all of Tetris

wwilson — Thu, 02 Jul 2026 19:09:35 +0000

Article URL: https://antithesis.com/blog/2026/tetris-quest/

Comments URL: https://news.ycombinator.com/item?id=48765999

Points: 73

# Comments: 17

New comment by wwilson in "What are skiplists good for?"

wwilson — Sun, 19 Apr 2026 11:40:25 +0000

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.

New comment by wwilson in "Battle for Wesnoth: open-source, turn-based strategy game"

wwilson — Mon, 06 Apr 2026 19:11:45 +0000

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.

New comment by wwilson in "Hypothesis, Antithesis, synthesis"

wwilson — Tue, 24 Mar 2026 23:25:31 +0000

[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 hard to hack together basic coverage guidance outside Antithesis. That works well for large classes of programs, just not a majority of them.

New comment by wwilson in "Hypothesis, Antithesis, synthesis"

wwilson — Tue, 24 Mar 2026 16:12:08 +0000

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 developers is to ensure your post contains one small inaccuracy so somebody gets nerdsniped... not that I have ever done that.

New comment by wwilson in "Bombadil: Property-based testing for web UIs"

wwilson — Mon, 23 Mar 2026 16:58:02 +0000

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.

A Fighting Retreat

wwilson — Sat, 07 Mar 2026 12:49:24 +0000

Article URL: https://antithesis.com/blog/2026/carcinization/

Comments URL: https://news.ycombinator.com/item?id=47287203

Points: 1

# Comments: 0

Formal Methods for Rust Unsafe

wwilson — Thu, 26 Feb 2026 15:53:10 +0000

Article URL: https://antithesis.com/blog/2026/rust_formal_methods/

Comments URL: https://news.ycombinator.com/item?id=47167729

Points: 4

# Comments: 0