Hacker News: wwilson

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

We interfaced single-threaded C++ with multi-threaded Rust and lived

wwilson — Wed, 24 Dec 2025 03:57:34 +0000

Article URL: https://antithesis.com/blog/2025/rust_cpp/

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

Points: 1

# Comments: 0

Test ACID compliance with a ring test

wwilson — Fri, 05 Dec 2025 19:14:08 +0000

Article URL: https://antithesis.com/resources/ring_test/

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

Points: 1

# Comments: 0

New comment by wwilson in "Getting from Tested to Battle-Tested"

wwilson — Wed, 03 Dec 2025 18:31:25 +0000

Not our first customer, but one we certainly appreciate!

When your customer leads your Series A

wwilson — Wed, 03 Dec 2025 12:15:34 +0000

Article URL: https://antithesis.com/blog/2025/series_a/

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

Points: 16

# Comments: 0

Startups promise to catch bugs in AI-generated software

wwilson — Wed, 03 Dec 2025 05:21:10 +0000

Article URL: https://www.ft.com/content/613bf123-b99a-4d18-b6d8-1ab453a8f2c6

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

Points: 2

# Comments: 0

New comment by wwilson in "Ask HN: Who is hiring? (November 2025)"

wwilson — Mon, 03 Nov 2025 17:53:28 +0000

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 can bring open source or customer software under test in our platform and find fun issues in it.

Preferred locations: SF, London, DC. Remote is a possibility for this role if you're really good (though be aware that we're a very in-person company culturally speaking, so it might be annoying for you).

To apply: email 'will' at our company domain with a description of something interesting that you've worked on.

They don't even have eyes

wwilson — Fri, 31 Oct 2025 14:15:47 +0000

Article URL: https://antithesis.com/blog/2025/alchemical_intelligence/

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

Points: 5

# Comments: 0

Did you get lucky or unlucky?

wwilson — Thu, 16 Oct 2025 03:45:13 +0000

Article URL: https://antithesis.com/blog/2025/findability/

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

Points: 2

# Comments: 0

New comment by wwilson in "Software CEO to Catholic panel: AI is more mass stupidity than mass unemployment"

wwilson — Fri, 26 Sep 2025 14:53:51 +0000

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 got brought up.

Global Crossing Is Reborn

wwilson — Mon, 15 Sep 2025 11:30:06 +0000

Article URL: https://pracap.com/global-crossing-reborn/

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

Points: 2

# Comments: 0

New comment by wwilson in "Optimizing our way through Metroid"

wwilson — Mon, 25 Aug 2025 00:36:26 +0000

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” is possible, you’d have to be crazy not to use it!

New comment by wwilson in "Optimizing our way through Metroid"

wwilson — Sat, 23 Aug 2025 22:46:19 +0000

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.

New comment by wwilson in "Optimizing our way through Metroid"

wwilson — Sat, 23 Aug 2025 22:43:49 +0000

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 our fuzzer to the end of Mario level 1-1. We did this at the final year of Strange Loop, and the fuzzer was winning handily until not one, not two, but three different professional speedrunners walked by and destroyed us.

New comment by wwilson in "Optimizing our way through Metroid"

wwilson — Sat, 23 Aug 2025 22:33:55 +0000

You were successfully trolled. :-)