Carl Sverre

On Monday at 2:00pm, @f0a.org presents "Hermetically Sealed Box of Pain," starting with classic property testing and scaling all the way up to deterministic simulation. Come for the property testing, stay for the pain. softwareyoucanlove.ca/talks/hermet... Tickets: softwareyoucanlove.ca/tickets/

I had a ton of fun in this interview! Thanks for having me on the show @seanfalconer.bsky.social

On 2024-02-22 I reached out to @antithesis.com fanboying and wanting to use it for @tailscale.com. They were expensive & I couldn’t get people on board w/ buying their service. Instead, more time + money went to: tailscale.com/blog/sqlite-... Nerd sniped them and: antithesis.com/blog/2026/wa... 😅

You 👏 should 👏 use 👏 property 👏 based 👏 tests! This is a masterclass in how to do it. After you watch the video, install hegel.dev and get started today!

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.

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!

I’m so stoked for this!! SYCL is a sweet conference that you should go to!!

Genuinely tickled by how weirdly satisfying it is to see my #SpaceSelfie. Get yours here: www.spaceselfie.com

Remember that bug that cost you three days? Or was it a week? What if we could just tell you why it was happening?

Another banger of a tutorial from Josh. So cool!

Surelock by @expede.wtf is a really fascinating and impressive use of the Rust type system to prevent deadlocks at compile time. I will 100% be using this for future Rust projects. notes.brooklynzelenka.com/Blog/Surelock

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: bugbash.antithesis.com

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 @antithesis.com automatically test the software. It’s still early, but already showing promise! antithesis.com/blog/2026/ag...

I use Hegel to help test Splinter github.com/orbitinghail... 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: github.com/hegeldev/heg...

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. luma.com/fih9jbot?tk=...

they keep referring to my creation as This. i don't know what it is either. it changes every time i look at it, squirming, writhing like a lamb caught in many mouths, the abalone surface of a bubble. it quivers with uneasy kinetic energy like the face of a child on the verge of tears

"It's about 25 minutes out of date, so it's missing nearly half the features." vibe coding is pretty nuts yall

"the best software for an agent is whatever is best for a programmer" - @crawshaw.io crawshaw.io/blog/eight-m...

If you’re trying to interface rust and c++ this blog post might give you some neat ideas!

Check out my talk on physical replication and Graft that I delivered at the recent @syncconf.bsky.social in SF. youtu.be/QoKzDyH2MEA?...

I just wrote an article on my experience playing the collaborative storytelling game Microscope: Chronicle. It's written by @lamemage.com and is in playtesting now! drosmir.com/blog/microsc...

Full lineup and schedule for @syncconf.bsky.social in SF on Nov 12. Link in the 🧵 below 👇

If you're interested in #TTRPG games, I wrote an article on Grimwild. This innovative game combines some of my favorite Blades in the Dark systems with cinematic heroic fantasy. Check it out here: drosmir.com/blog/thought...

Carl Sverre @f0a.org of SQLSync is speaking at Sync Conf 2025 on partial replication. He takes a slightly contrarian view: no CRDTs, but instead block-level replication. Hear all about it on Nov 12.3

Honored to be speaking at SyncConf this November! The line up is stacked!

2025.04.24 edition is out 💐 www.localfirstnews.com/2025-04-24/

What if your test system could find bugs you didn’t anticipate? Meet Antithesis: deterministic simulation testing for the rest of us. It changed how I test—and build—Graft. This post covers DST’s origins, how Antithesis works, and what it taught me. sqlsync.dev/posts/antith...

Is anyone planning on going to @rustconf this year? I'm considering A. attending and B. submitting a talk about one of my open source rust projects (Culprit? Precept? Splinter? Graft? SQLSync? ...vote now!)

My vancouver.systems talk is up! It's a deep dive on Graft—a transactional storage engine providing lazy, partial and strongly consistent edge replication. Thanks to Cameron Morgan and Kir Shatrov for hosting and @tavis.damnsimple.com for video! www.youtube.com/watch?v=eRsD...

2025.04.04 edition is out 🐿️ www.localfirstnews.com/2025-04-03/

Fantastic post detailing Figma's sync engine. IMO one of the biggest success stories for real time sync in an application. So cool!

What if your app could combine the simplicity of physical replication with the efficiency of logical replication? Meet Graft: lazy, partial, strongly consistent edge replication. #OpenSource #EdgeComputing #Replication sqlsync.dev/posts/stop-s...

To celebrate the beginning of 2025 I implemented a error handling pattern that's been living rent free in my brain for too long. It's far from complete but if you get weirdly excited about error handling and Rust like me consider taking a look and sending me your thoughts. github.com/carlsverre/c...

New blog post! I wrote about how I use GitHub contributions as another source of motivation when working on solo projects. Specifically I added a mini GitHub contribution graph to my Polybar (system taskbar). carlsverre.com/writing/gami...

Meet SQLSync: Application development is a lot easier when you're building on top of a frontend-optimized database stack. Say goodbye to accidental database programming! sqlsync.dev/posts/stop-b...

This is a fantastic post on a simple idea that I also think should be more widely spread!

Excited to finally be on Bluesky! If you're interested to see what I'm building check out SQLSync here: sqlsync.dev