Viewing profile — wwilson

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 determinist…

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 lo…

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.

[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 …

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 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…

Not our first customer, but one we certainly appreciate!

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 som…

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 e…

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 dom…

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 …

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…

You were successfully trolled. :-)