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!

Antithesis@antithesis.com · last mo.

Long weekend, long read. One developer. One fuzzer. Squillions of blocks. An odyssey. Поехали!

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

Matthew Knight@mattnite.bsky.social · last mo.

Is it a Death Metal album or a Systems Talk on property-based testing? You’re going to have to come experience it for yourself when @f0a.org presents “Hermetically Sealed Box of Pain”! softwareyoucanlove.ca/talks/hermet...

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!

Josh W. Comeau@joshwcomeau.com · 3mo ago

✨ I just released a new (free!) tool for creating custom Bézier curves! courses.joshwcomeau.com/tools/bezier It has one special feature that I haven’t seen anywhere else, and it allows us to do something pretty 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

BugBash 2026

A conference on extracting reliable software from the slop factory

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

Antithesis skills for agents

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

antithesis.com

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

Antithesis@antithesis.com · 4mo ago

Hegel is an open source property-based testing library for every language, based on, and brought to you by @drmaciver.bsky.social some of the other folks behind Hypothesis. Hegel-rust is on github today, more coming soon.

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

Will Wilson on "Swarm Testing" · Luma

Main: Will Wilson on "Swarm Testing" Abstract: Swarm testing is a novel and inexpensive way to improve the diversity of test cases generated during random…

luma.com

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!

Antithesis@antithesis.com · 6mo ago

Type-safe, type-unsafe, single-thread, multi-thread, getting Rust and C++ to work together on this project was like using crabs as gears. Michael Gibson and Shuxian Wang brought down the house at #RustUnconf this year with this story, and here it is on our blog. Link below.

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

Carl Sverre (SQLSync) - Why Physical Replication Still Matters

YouTube video by Local-First Conf

youtu.be

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!

Sync Conf@syncconf.bsky.social · 12mo ago

Announcing Sync Conf 2025. Join us in SF on Nov 12th.

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

2025.04.24

📰 News & Discussions Making React Fun Again with Sync – Aaron Boodman, React Miami 2025 (talk video) "Aaron Boodman from Rocicorp discussing sync engines. April 18, 2025, React Miami." Building a serverless database replica with Carl Sverre (interview) "In this episode, Carl Sverre and I discuss why syncing everything is a bad

localfirstnews.com

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

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

sqlsync.dev

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

Carl Sverre on "Storing small things in big places"

YouTube video by vancouver systems

youtube.com

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

2025.04.03

📰 News & Discussions The Hard Things About Sync "Should you build or buy, or do you even need a sync engine at all? While there's no universal answer, I want to share my learnings from building a sync engine at Figma to help make sense of this technology, highlight some technical

localfirstnews.com

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

Joy Gao@joygao.bsky.social · last yr.

Excited to share this blogpost with y'all! expertofobsolescence.substack.com/p/the-hard-t...

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

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

sqlsync.dev

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

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