Carl Sverre

Fascinated by the building blocks of great software. Extremely curious. High energy. Solving testing @AntithesisHQ

Built Ex. SingleStore

[Antithesis @AntithesisHQ]

We've been testing Raft implementations, and have found bugs in every implementation we've tested. Here's an in-depth report on one set of issues.

[Carl Sverre @carlsverre]

It’s like one of those coffee popups. But it’s me. I’m the coffee.

[Carl Sverre @carlsverre]

I’ll be in SF for roughly the next 48 hours. If you’re antithesis or property-based testing curious and just wish you had someone to nerd out about it, I’m available for some meetings. DM me. :)

[Carl Sverre @carlsverre]

I remember seeing an early version of this post right after I joined Antithesis at the beginning of 2026. I'm so stoked it's finally out so you can all see how epic of an accomplishment this is. Kudos to Bill for seeing it through!

[Antithesis @AntithesisHQ]

Long weekend, long read. One developer. One fuzzer. Squillions of blocks. An odyssey. Поехали!

[Carl Sverre @carlsverre]

Sometimes you need a bit of death metal to find all the bugs. Come to my talk at SYCL vancouver! It’s gonna be fun!

[Matt Knight ⚡️ @embedded_boi]

Is it a Death Metal album or a Systems Talk on property-based testing? You’re going to have to come experience it for yourself when @carlsverre presents “Hermetically Sealed Box of Pain”!

https://t.co/vXk39bL0vn

[Matt Knight ⚡️ @embedded_boi]

Is it a Death Metal album or a Systems Talk on property-based testing? You’re going to have to come experience it for yourself when @carlsverre presents “Hermetically Sealed Box of Pain”!

https://t.co/vXk39bL0vn

[Carl Sverre @carlsverre]

Genuinely tickled by how weirdly satisfying it is to see my #SpaceSelfie. Get yours here: https://t.co/GLZoHWFcTD

[Carl Sverre @carlsverre]

Gonna be geeking out at BugBash this year, running a session on what the world might look like without traditional code review👀

It’s a small, deeply technical conference on software reliability in DC. If that’s your kind of thing, come hang: https://t.co/rmm3IXEJOS

[Carl Sverre @carlsverre]

LLMs can write code, but their tests tend to self-affirm the patterns they created. My current research is to teach agents to think in properties and let @AntithesisHQ automatically test the software. It’s still early, but already showing promise! https://t.co/HGr71hEmMj

[Carl Sverre @carlsverre]

I use Hegel to help test Splinter https://t.co/9b8kSqZPcz

Getting all that Hypothesis goodness via a rust shaped PBT library is amazing. And if you want to get started quickly they even have an AI skill that I used: https://t.co/4ehtmV2ryF

[Antithesis @AntithesisHQ]

Hegel is an open source property-based testing library for every language, based on, and brought to you by @DRMacIver and some of the other folks behind Hypothesis -- the most widely-used, and arguably the best, property-based testing tool in the world today.

Hegel-rust is on github today, more coming soon.

[Carl Sverre @carlsverre]

@namespacelabs @cirrus_labs Ooo, that's cool! Hmmm our use case is to validate that the docker and podman usage of the Snouty CLI is valid when our users run it on their MacBooks. My concern with remote docker is that it may not work exactly the same as a user running docker on their laptop... thoughts?

[Carl Sverre @carlsverre]

Do any continuous integration providers (ideally github actions compat) support running docker on macos arm runners? As far as I can tell no one does due to lack of nested virtualization...

[Carl Sverre @carlsverre]

@computesdk I dont understand why you have a pricing page. Do you run your own sandboxes?

[Carl Sverre @carlsverre]

@bnjorogedev @computesdk This is awesome, thank you!

[Carl Sverre @carlsverre]

Does anyone have a deep dive analysis comparing modal, langsmith, daytona, and runloop? Looking for something that isn't AI generated or sponsored.

[Carl Sverre @carlsverre]

@paulgb I am! let's chat

[Carl Sverre @carlsverre]

I'll be in SF this week if you want to hang out! Or just come and see me at PWL! It's gonna be a sweet talk.
https://t.co/nd5csRXWUP

[Local-First Conf @localfirstconf]

Local-First Conf 2026 tickets are now on sale.

July 12–14 · Berlin · 350 people · single track

This year's theme: user empowerment in an age of fluid software. We're going beyond CRDTs to explore malleable software, peer-to-peer, self-sovereign identity, open-weight models, ATproto, and much more.

If you're building for user agency, this is your conference. CFP is open. We want YOUR talk. 👇https://t.co/Lwu3LVMznj

[Carl Sverre @carlsverre]

@swyx @odysseus0z @muratcan :p