93 Followers
149 Following
39 Posts
Exploring technology from first principles. Building SQLSync, real-time collaborative SQLite in the browser.
bskyhttps://bsky.app/profile/f0a.org
Xhttps://twitter.com/carlsverre
SQLSynchttps://sqlsync.dev
orbitinghailhttps://orbitinghail.dev

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. https://sqlsync.dev/posts/antithesis-driven-testing/

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 fuzzing, and how Antithesis guides the discovery of subtle bugs that traditional tests miss.

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 Rudd for video!

https://www.youtube.com/watch?v=eRsD8uSAi0s

Carl Sverre on "Storing small things in big places"

YouTube
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
https://sqlsync.dev/posts/stop-syncing-everything/
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 consistent replication—allowing edge applications to sync only the data they need, exactly when they need it.

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.
https://github.com/carlsverre/culprit
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

GitHub
Announcing Divan: a fast and simple benchmarking library for #rustlang https://nikolaivazquez.com/blog/divan/
Divan: Fast and Simple Benchmarking for Rust

Nikolai Vazquez is a software engineer, designer, and musician.

Nikolai Vazquez
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).
https://carlsverre.com/writing/gamifying-github/
Gamifying Github contributions

Add a Github contributions graph to your Polybar

More than ever, we need networking protocols which are resilient, privacy preserving, bandwidth conserving, able to run on low-spec hardware, and not quite as preoccupied with being the global network for everyone ever.

We’re delighted to present Willow, a new family of peer-to-peer protocols that cater to just that niche. https://willowprotocol.org is a guide to those protocols, with full specifications, ~50 hand-drawn diagrams, illustrations, and comics, and much more besides.

Our thanks to @NGIZero for supporting this project!

Willow - Home

Peer-to-peer protocols which scale up, down, and sideways. Sychronisable data storage, fine-grained access control, private and efficient synchronisation, and secure data delivery by any means possible.

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! #sqlite #offlinefirst #localfirst #FrontEnd #SoftwareEngineering
https://sqlsync.dev/posts/stop-building-databases/
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 recursive cache invalidation. We will see how life might be easier if we could just use a frontend optimized database like SQLSync instead.

Disassembling Impostor Syndrome, my talk from Handmade Seattle, is out!

https://vimeo.com/888147720/f0182acf4e

Loris Cro - Disassembling Impostor Syndrome

Vimeo
Finally, I highlight a number of fantastic talks during the conference. Shoutouts to @laplab, @bvisness, @kristoff and the rest of the speakers for such a great show!
https://carlsverre.com/writing/handmade-seattle-2023/#recommended-talks
Handmade Seattle 2023

A review of Handmade Seattle 2023