David R. MacIver

@DRMacIver
1.1K Followers
217 Following
418 Posts
I guess I toot now.
Lots of plans for the future of these libraries. This is very much just the start. But I'm pretty pleased with where we are as a start.

More soberly: In a week or two, Go. Then some other languages.

And of course a whole bunch of engineering and UX work as people use this thing and inevitably find that it is perfect and wonderful and has no flaws and we just have to spend all our time fielding praise for how great we are.

(And maybe fix a few bugs)

So like I mentioned I joined Antithesis a little while back. When I did, I pitched them on a crazy idea. Antithesis... Hypothesis... Hegel!

A remarkably short number of months later, Hegel. Hegel is a property-based testing protocol and family of client libraries which makes it easy to do Hypothesis-grade PBT everywhere.

Today: Rust. Tomorrow: The world! (Muahaha)

https://antithesis.com/blog/2026/hegel/

Hypothesis, Antithesis, synthesis

Introducing Hegel, our new family of property-based testing libraries.

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

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

Maybe someone needs to tell Google how to add DKIM records so that Gmail doesn't spuriously filter their emails as spam.
If you ever find yourself in a room filled with programmers and an awkward silence, please be aware of this 100% effective ice breaking conversation starter to get everyone lively and animatedly conversing: Mention literally anything to do with timezones.

The answer is so counter-intuitive to me that I have independently discovered it twice, about a year apart, and posted outraged comments about it in discord both times, and the second time had to be reminded that this was not the first time I'd discovered the behaviour.

It's possible it's also not the first time I've posted it on mastodon.

While we're talking about weird Python edge cases, what do you think this does?

```
class Foo:
def __getitem__(self, i):
return i

def __len__(self):
return 5

print(list(Foo()))
```