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

Digital edition of my fourth book, Crafting Engineering Strategy, is up for purchase! (Print copy should start shipping in next 2-3 weeks.) Tried to apply "Staff Engineer" formula to eng strategy topic, with a lot more editing 😂 www.amazon.com/Crafting-Eng...

At long last, @chris.blue and I have submitted the final manuscript of Designing Data-Intensive Applications, second edition, to the publisher. There is always more that could be improved but at some point we just have to call it done. Now it goes into production; probably shipping in ~4 months.

Flink Watermarks…WTF? flink-watermarks.wtf

pqr.sql: Generate QR Codes with Pure SQL in #PostgreSQL - Tanel Poder Consulting tanelpoder.com/posts/genera...

One Year of Hacking Workshops rhaas.blogspot.com/2025/07/one-...

Modernizing GNOME www.youtube.com/watch?v=uCAl...