Carl

@[email protected]
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
Show threadCarlApr 18, 2025
@markus Thanks! Yea Antithesis and FoundationDB are freaking awesome pieces of tech.
CarlApr 18, 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. 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.

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

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

Carl Sverre on "Storing small things in big places"

YouTube
Show threadCarlMar 31, 2025
@kravemir Precisely. The application needs to implement a solution to rebase offline mutations on top of the latest authorative state. SQLSync is one such approach which I plan on integrating with Graft, but you could also use a CRDT based data model on top of Graft to permit automatic conflict resolution for example.
Show threadCarlMar 31, 2025

@kravemir thank you! Graft supports multiple writers to the same Volume, although it uses optimistic concurrency. So if you have a high number of writes from multiple users to the same database it may not be the right fit. However, Graft can easily handle a Volume per user, which can work well when your data can be sharded. Think of Graft like a building block which you can use to build distributed systems.

Business logic wise, Graft embeds directly in your application just like SQLite!

Hope that helps :)

CarlMar 31, 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
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.

CarlJan 2, 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.
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
CarlFeb 7, 2024
Nikolai VazquezOct 5, 2023
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
CarlJan 27, 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).
https://carlsverre.com/writing/gamifying-github/
Gamifying Github contributions

Add a Github contributions graph to your Polybar

CarlJan 17, 2024
sammy gwilymJan 17, 2024

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.