David R. MacIverJan 27

I keep forgetting to mention this in public, but I work at https://antithesis.com/ now. Joined back in November. It's been going great so far.

It's very funny, and really remarkable how often it turns out to be the case that Antithesis and Hypothesis are opposite (but complementary) to each other, e.g. on a power vs convenience curve. I'm hopefully there to help bridge some of the gap between the two.

Antithesis: autonomous software testing

Try the Antithesis autonomous testing platform and find bugs in your software with perfect reproducibility

Show threadDavid R. MacIver

Anyway I partly mention this because work asked me to let you know that the second BugBash, our conference on software reliability, is coming up. https://bugbash2026.antithesis.com/

I figure enough of you know a thing or two about computers that this might be interesting. I didn't make it to (/know about at the time) the first one last year, but I've watched some of the talks and they're great. https://www.youtube.com/playlist?list=PLh4UhOpNuTJM5A_Ztsaz6OHQccdYowufH

Bug Bash 2026

A conference on software reliability, and some other things. Join us, April 23-24 at the Eaton Hotel in Washington, DC.

Bug Bash 2026
Jan 27 at 4:21pmWeb
Show threadCF Bolz-TereickJan 27
@DRMacIver congrats! That sounds like a pretty good fit?
Show threadDavid R. MacIverJan 27
@cfbolz Almost suspiciously good tbh. I keep waiting for the big reveal that it was all an elaborate joke, but if it is it's a remarkable degree of commitment to the bit.