☀ "Et si on faisait du simulation-driven development ?" par @pierrezemb.fr Découvrez le Deterministic Simulation Testing (DST) pour simuler et diagnostiquer les scénarios et pannes de systèmes complexes de manière totalement déterministe. #SunnyTech

📍 @sunnytech.bsky.social — 02 & 03/07, Montpellier Retrouvez Julia Buchner, Pierre Zemb, @LostInBrittany, Alexandre Burgoni et Aurélien Hébert sur notre stand. @pierrezemb.fr y donnera aussi sa conférence : « Et si on faisait du simulation-driven development ? ». sunny-tech.io

Honored to be featured by @eatonphil.bsky.social in The Consensus 🙏 We talked about the data services we are building at @clever.cloud, all API-compatible with Redis, PostgreSQL and etcd on top of FoundationDB. Give it a read 👇

I spoke with Pierre Zemb from French neo-compute company Clever Cloud. They're building data services API-compatible with popular systems like Redis, PostgreSQL, and etcd on top of FoundationDB and Pierre is leading the work. There is no paywall, give it a read. theconsensus.dev/p/2026/06/18...

Me, denied by FoundationDB's simulation because my PoC wasn't reboot-proof 🤯

I just published 'Designing Fakes That Prove Correctness' ✍️ The blog also has a new theme, and it hides a quorum easter-egg: flip to single-replica reads and see what it was protecting you from 👀 pierrezemb.fr/posts/design...

Building an AsyncIO executor for the 3DS blog.cat-girl.gay/3ds-async-pa...

[𝗖𝗞𝗘] Quand @zwindler.fr attend notre Kubernetes managé depuis des années, puis ouvre le capot dès la bêta publique, forcément on lit attentivement 👀 Merci Denis pour ce retour et vivement la partie 2 !

La session de mai du FinistDevs, c’est mardi 12 mai à 18h30 chez Zenika Brest. Au programme • Xavier Rollet: “Un environnement de dev sur mesure avec NixOS” • Benoît Morin / Ifremer: “Centre Datarmor”, HPC, IA, big data et infrastructures scientifiques Inscription : www.meetup.com/finistdevs/e...

I gave a lightning talk at #BugBash 2026, sharing the stage with people whose work shaped how I think about distributed systems. Still processing that. Wrote up why the correctness decade has started, and why you trust the simulator, not Claude 👀 pierrezemb.fr/posts/bugbas...

Et hop, je mets la touche finale à mes slides alors que le train arrive à Montparnasse. C'est bon, je suis prêt pour @devoxx.fr demain matin ! Si vous voulez savoir comment marche un moteur de requête, c'est demain à 10h30 ! m.devoxx.com/events/devox...

On my way to #BugBash 2026 🤩 First Paris, then Washington DC ✈️ I will be presenting a lightning talk about how we borrowed #foundationdb simulation framework in #rustlang

DataFusion 53 came out last week. I took a look at the individuals and companies who committed the most. (paywall has expired) theconsensus.dev/p/2026/04/03...

How #NASA Built #Artemis II’s Fault-Tolerant Computer – Communications of the ACM cacm.acm.org/news/how-nas...

I just published a post on why I think fakes are more powerful than both mocks and Testcontainers. A fake that is worse than production: dropping writes, returning stale data... It catches the bugs that containers faithfully hide. pierrezemb.fr/posts/why-fa...

I just gave a talk "Testing: prevention vs discovery" at the #FinistAI x #FinistDevs crossover meetup 🧪 DST is the ultimate feedback loop for LLMs. It lets them discover what they don't know. No recording, but slides are available: pierrezemb.fr/slides/2026-... #deterministic #simulation #LLMs

👀 How does a #fuzzer find a 3-byte crash sequence in 9,000 iterations instead of 16 million? 🛠 Coverage turns a multiplicative problem into an additive one. I built a minimal #rustlang fuzzer from scratch to understand how it works: pierrezemb.fr/posts/diving...

🎉 I will be speaking at #SunnyTech 2026 about simulation-driven development! #SeaTechAndSun

Rob Pike's 5 Rules of Programming "write stupid code that uses smart objects" is my favorite one! www.cs.unc.edu/~stotts/COMP...

Google Engineers Launch "Sashiko" For Agentic AI Code Review Of The Linux Kernel - Phoronix www.phoronix.com/news/Sashiko...

"Even in healthy clusters, MariaDB Galera Cluster exhibited Lost Update and Stale Read" Jepsen: MariaDB Galera Cluster 12.1.2 jepsen.io/analyses/mar...

An Interactive Intro to CRDTs | jakelazaroff.com jakelazaroff.com/words/an-int...

📝 The datafusion-index-provider PoC from last year is now a real library in datafusion-contrib, running in production. 🔧 New post on building secondary index queries with standard DataFusion operators pierrezemb.fr/posts/datafu... #Rust #DataFusion

TLA+ By Example tlabyexample.com

The second edition of Designing Data-Intensive Applications, by myself and @chris.blue, is finished and sent off to the printers! Ebooks should be available in the next week, and print books in 3–4 weeks. Sigh of relief. 😅 (BTW, this is a good opportunity to support your favourite local bookshop!)

👀 Turns out I'm #163 on the most active GitHub committers list in France A non-trivial amount of credit goes to #ClaudeCode, my favorite coding partner these days! committers.top/france

✍️ I just published "Simulating Leader Election on top of FoundationDB" 🧪 Can LLM-generated code be trusted for distributed systems? Only if you have the right feedback loop. pierrezemb.fr/posts/simula... #FoundationDB #rustlang #simulation

💡 In #FoundationDB, your reads determine whether YOU conflict. Your writes determine what OTHERS conflict with. ✍️ Wrote about OCC patterns for layer engineers: phantom conflicts, snapshot reads, atomic ops, and versionstamps. pierrezemb.fr/posts/fdb-tr...

I recently had an intense #squash match this morning, lasting an hour and ending with a 3-2 victory ✌️ Throughout the entire game, I maintained a heart rate consistently above 190 beats per minute 🥵

✍️ I keep having the same conversation with colleagues about using LLMs for code. Finally wrote it down. Planning, context, feedback loops, and why simulation + LLMs is a powerful combo. pierrezemb.fr/posts/llms-f... #llm #rustlang #testing

RUST REFLECTION MVP HAS LANDED https://github.com/rust-lang/rust/pull/146923 THIS IS NOT A DRILL

🎄 Before heading to holidays, I wrote my 2025 year in review. ✍️ Back to engineering after 2 years of management. Built moonpool, a #FoundationDB simulation framework in #rustlang. Published 20 posts. Learned to work with LLMs. A year of going deeper. pierrezemb.fr/posts/2025-y...

🔧 I just published a blogpost about specs in the #LLM era. Model checkers like #Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet. pierrezemb.fr/posts/specs-...

What Does a Database for SSDs Look Like? - Marc's Blog brooker.co.za/blog/2025/12...

🧪 How do you test #rustlang code that runs on top of #FoundationDB? ✍️ I wrote about designing simulation workloads: the patterns that find real bugs, the rules you can't break, and the pitfalls pierrezemb.fr/posts/writin...

This is an awesome podcast episode about debugging a Grown-up #ZFS Data Corruption Bug podcasts.apple.com/fr/podcast/o...

Currently having a lot of fun modeling some internal spec in #fizzbee!

How to (badly) start a week #squash

I think I finally have a problem where I'd genuinely feel safer writing a TLA+ spec before even touching simulation code. Time to actually learn it. #tlaplus lamport.azurewebsites.net/video/videos...

DataFusion 51.0.0 release blog: datafusion.apache.org/blog/2025/11...

Hey hey! We recently tripped over a ZFS data corruption bug–introduced over 18 years ago! @bcantrill.bsky.social and I discuss with members of the Oxide team as well as Matt Ahrens, the co-inventor of ZFS.

New books to finish the year!

This meme is getting out of hand, but it's actually not far from reality 🤣

A 'small' vanilla Kubernetes install on NixOS stephank.nl/p/2025-11-17...

D'autres meetups ont des soucis de no-show, nous on a la chance d'avoir de l'over-show ! 26 inscrits, 37 présents pour le super talk de @snicoll.be sur #spring 4. Parce que oui, nous somme toujours un JUG, FinistJUG forever ☕️ #java #spring Merci encore à #Zenika #Brest pour l'accueil !

🤔 Have you ever wondered how #kubernetes caches #etcd? ✍️ I just published a new deep-dive into K8s watch cache: per-resource Cachers, waitUntilFreshAndBlock(), and progress notifications for quiet resources. pierrezemb.fr/posts/diving...

TLA+ Modeling of AWS outage DNS race condition muratbuffalo.blogspot.com/2025/11/tla-...

Async QUIC and HTTP/3 made easy: tokio-quiche is now open-source blog.cloudflare.com/async-quic-a...

Did you know #FoundationDB's simulator randomly swaps disks between machines on reboot? 75% of the time. On purpose. I wrote how this works: interface swapping, BUGGIFY chaos injection, and how we use it at @clever-cloud.com to build Materia. pierrezemb.fr/posts/diving...