iiinova — where your digital self keeps evolving

Carl Sverre @f0a.org · 06/09/2026

The rest of us need AI to keep up with you Winter!

Reposted by Carl Sverre

Brad Fitzpatrick @bradfitz.com · 13/08/2026

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... 😅

antithesis.com

Breaking the WAL | Antithesis

I did this from a lawn chair on the Sunshine Coast.

4537

Carl Sverre @f0a.org · 13/08/2026

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!

040

Carl Sverre @f0a.org · 13/08/2026

Thank Jim! Glad you enjoyed it :)

010

Carl Sverre @f0a.org · 12/08/2026

You can read the full story in my blog post, but ultimately, it’s just a shell around years of work on the Antithesis fuzzer. If you’re fighting a race condition from hell and waiting for it to repro one more time, reach out. antithesis.com/blog/2026/wa...

antithesis.com

Breaking the WAL | Antithesis

I did this from a lawn chair on the Sunshine Coast.

080

Carl Sverre @f0a.org · 12/08/2026

After a Claude session on my phone and 15 mins on Antithesis, I was looking at a repro of the same bug that took the Tailscale and SQLite team six months to find. I only wish I had done it sooner... tailscale.com/blog/sqlite-...

tailscale.com

How Tailscale helped find the SQLite WAL-Reset bug

Tailscale and SQLite developers traced maddening corruption incidents to find the WAL-Reset data race, then uncovered a second stale expression index bug.

140

Carl Sverre @f0a.org · 12/08/2026

Back in July, while on a road trip with my partner, I saw news about the SQLite WAL-Reset bug. This nerd-sniped me. I've spent years using SQLite, and I immediately wondered whether Antithesis could find it trivially. After all, it was just a race condition. www.sqlite.org/wal.html#wal...

sqlite.org

Write-Ahead Logging

1242

Reposted by Carl Sverre

Antithesis @antithesis.com · 27/07/2026

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.

2203

Carl Sverre @f0a.org · 02/07/2026

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!

010

Carl Sverre @f0a.org · 01/07/2026

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

030

Carl Sverre @f0a.org · 17/05/2026

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

010

Reposted by Carl Sverre

Antithesis @antithesis.com · 12/05/2026

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

162

Carl Sverre @f0a.org · 01/05/2026

Another banger of a tutorial from Josh. So cool!

191

Carl Sverre @f0a.org · 12/04/2026

Looks like lock_tree, which was listed as prior art, was also based on the Fuchsia lock-ordering design. Hence, it seems lock-ordering (indirectly) was declared as prior art after all :)

110

Carl Sverre @f0a.org · 12/04/2026

Seems like surelock should handle runtime locks? Or do you mean the lock-ordering crate? I think @expede.wtf wasn't trying to list all prior art, just the ones that influenced the design.

210

Carl Sverre @f0a.org · 11/04/2026

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

notes.brooklynzelenka.com

Surelock

NOTE Hello r/rust! Thank you for the interest in this work and for the delightful conversation ❤️ I hate deadlocks. Maybe you do too.

2113

Carl Sverre @f0a.org · 30/03/2026

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

bugbash.antithesis.com

BugBash 2026

A conference on extracting reliable software from the slop factory

000

Carl Sverre @f0a.org · 26/03/2026

Thanks! It’s been a dream come true to be honest!

010

Carl Sverre @f0a.org · 26/03/2026

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

antithesis.com

Antithesis skills for agents

Love Antithesis, hate the setup process? What if your good friend Claude could do it for you?

120

Carl Sverre @f0a.org · 24/03/2026

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

github.com

GitHub - orbitinghail/splinter-rs: A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying.

A compressed bitmap format optimized for small, sparse sets of u32s with zero-copy querying. - orbitinghail/splinter-rs

021

Reposted by Carl Sverre

henry ✷ @strange.website · 12/03/2026

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

0153

Carl Sverre @f0a.org · 24/02/2026

This is so good! Really fantastic read. Valeria has my vote for best debut blog in the bloggies! Def going to be trying out daggerheart this year I think. I really love their approach to classes and the hope fear mechanic is neat. Probably will still yolo encounters tho :)

010

Carl Sverre @f0a.org · 21/02/2026

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

030

Carl Sverre @f0a.org · 07/02/2026

It's such a good quote! But nw, that's what reposts are for :) Thanks for the awesome article!

020

Carl Sverre @f0a.org · 07/02/2026

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

crawshaw.io

crawshaw - 2026-02-08

1123

Carl Sverre @f0a.org · 29/01/2026

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

000

Carl Sverre @f0a.org · 09/12/2025

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

youtu.be

Carl Sverre (SQLSync) - Why Physical Replication Still Matters

YouTube video by Local-First Conf

053

Carl Sverre @f0a.org · 12/11/2025

Thanks!! Are you at SyncConf? Come say hi!

110

Carl Sverre @f0a.org · 26/10/2025

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

drosmir.com

Drosmir: Microscope: Chronicle

Thoughts on the story game Microscope: Chronicle

060

Reposted by Carl Sverre

Sync Conf @syncconf.bsky.social · 24/10/2025

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

22711

Carl Sverre @f0a.org · 10/10/2025

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

drosmir.com

Thoughts on Grimwild

A review of the Grimwild TTRPG

010

Reposted by Carl Sverre

Sync Conf @syncconf.bsky.social · 22/09/2025

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

042

Carl Sverre @f0a.org · 19/08/2025

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

050

Carl Sverre @f0a.org · 07/08/2025

Sorry for the delay! NATS Jetstream is a cool solution, however only solves part of the problem. The Graft architecture depends on a versioned pagestore layer which is independent from the log. Also I'd like the Graft core to only take a dependency on object storage for simplicity and robustness.

000

Carl Sverre @f0a.org · 08/05/2025

Haha, yup! It’s my latest baby :)

010

Carl Sverre @f0a.org · 18/04/2025

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

sqlsync.dev

Antithesis driven testing

Discover how using Antithesis, a deterministic simulation testing platform, reshaped how Graft—a distributed storage engine—was tested and built. This post explores fault injection, property-based fuz...

0166

Carl Sverre @f0a.org · 07/04/2025

Splinter would be a cool talk. Will give me a reason to SIMD accelerate it :)

000

Carl Sverre @f0a.org · 05/04/2025

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!)

120

Carl Sverre @f0a.org · 04/04/2025

Let me know what you think! Enjoy :)

000

Carl Sverre @f0a.org · 04/04/2025

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

youtube.com

Carl Sverre on "Storing small things in big places"

YouTube video by vancouver systems

063

Carl Sverre @f0a.org · 02/04/2025

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

030

Carl Sverre @f0a.org · 01/04/2025

I have! They are certainly innovating, however the implementation has a lot of limits and doesn’t support the replication side of the story. But still very cool! Graft is very much aligned with that idea! Btw we should chat :) so much alignment between s2 and graft. I’ll dm

010

Carl Sverre @f0a.org · 31/03/2025

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

sqlsync.dev

Stop syncing everything

Discover Graft, an open-source transactional storage engine built to solve the challenges of syncing data at the edge. Inspired by lessons from SQLSync, Graft enables lazy, partial, and strongly consi...

14022

Carl Sverre @f0a.org · 02/01/2025

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

github.com

GitHub - carlsverre/culprit: A Rust error crate with the goal of identifying precisely where and in which context an error occurs.

A Rust error crate with the goal of identifying precisely where and in which context an error occurs. - carlsverre/culprit

050

Carl Sverre @f0a.org · 02/01/2025

Thanks @b5.bsky.social! I actually started with the "Code" term but changed to Fingerprint later which felt a bit better to me. But it's still very up in the air. Appreciate the feedback!

030

Carl Sverre @f0a.org · 27/01/2024

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

carlsverre.com

Gamifying Github contributions

Add a Github contributions graph to your Polybar

040