iiinova — where your digital self keeps evolving

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

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

"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 · 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 · 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 · 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

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

Carl Sverre @f0a.org · 30/11/2023

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

sqlsync.dev

SQLSync - Stop building databases

Join me as we take a look at common application data patterns, and how they relate to the inner-workings of databases. In this post, we discuss data caching, indexing, optimistic mutations, and recurs...

020

Carl Sverre @f0a.org · 14/11/2023

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

010

Carl Sverre @f0a.org · 13/11/2023

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

030