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

Quick blogpost about a nice trick I discovered yesterday in #rustlang: that Deref bound I already had? Turns out it's all you need for universal Arc/Box/T APIs. Sometimes the solution is right there! pierrezemb.fr/posts/from-a...

Apache DataFusion 50 is released. Read all about it here: datafusion.apache.org/blog/2025/09...

[ASPLOS'25] Fusion: An Analytics Object Store Optimized for Query Pushdown www.cs.princeton.edu... Tightly integrating an Iceberg catalog with an object store means that one could make file-format aware erasure coding decisions, to permit pushing down filters and aggregations.

I just published "A Practical Guide to Application Metrics: Where to Put Your Instrumentation" 📊 Learn where to instrument your apps with 5 essential metric types and real-world patterns that actually help during on-call incidents. pierrezemb.fr/posts/practi...

Want to get paid to work on open-source Rust? We asked David Wood, who leads the Rust team at Arm, how to land a "dream job" at the intersection of systems programming and core open-source contribution. His advice for up-and-comers:

The #foundationdb crate is approaching 10 million downloads (currently at 9,998,027) 📊 Thanks to all users and contributors 🦀 crates.io/crates/found... #rustlang

I just published: "Testing: prevention vs discovery" 🧪 Claude Code autonomously found and fixed bugs in my #deterministic #rustlang #simulation 🤯. The FoundationDB/TigerBeetle/Antithesis approach to #testing works, and now #LLMs can participate. pierrezemb.fr/posts/testin...

PostgreSQL Conference Europe 2025 Schedule Published www.postgresql.org/about/news/p...

Adding #[derive(From)] to Rust kobzol.github.io/rust/2025/09...

Published a new blog post: SQLite commits are not durable under default settings avi.im/blag/2025/sq...

Today is the new semester for @db.cs.cmu.edu's Intro to Database Systems! We're going harder into material than before. More challenging projects but you can use LLMs to help. We also have 10min talks each Wed from leading DB companies: 15445.courses.cs.cmu.edu/fall2025

✍️ I just published Shipped vs. Operated, or How Many Bash Scripts Does It Take? 🛠️ Some systems run themselves, others keep you up at 2 a.m. writing bash scripts. Guess which is which? 👉 pierrezemb.fr/posts/shippe...

✍️ I wrote a new blogpost about two podcast episodes I find particularly interesting — spoiler: they’re from @oxide.computer 🖥️ and @antithesis.com 🧪 🔗 pierrezemb.fr/posts/debugg...

Rust 1.89 Released With More AVX-512 Intrinsics & x86 Target Features - Phoronix www.phoronix.com/news/Rust-1....

sigh

[new blog post] Can a Client–Server Cache Tango Accelerate Disaggregated Storage? muratbuffalo.blogspot.com/2025/08/can-...

Here’s my favorite #squash match of the season: Elias vs Farag. 🔥 Perfect if you want to discover how intense and beautiful squash can be. Full match on YouTube – don’t miss it! youtu.be/yMKDa4aHMsk?...

#FoundationDB: A Distributed Database That Can't Be Killed thenewstack.io/foundationdb...

How we discovered, and recovered from, Postgres corruption on the matrix.org homeserver matrix.org/blog/2025/07...

systemd 258-rc1 Is A Massive Feature Release With New Tools, More Than 260 Changes www.phoronix.com/news/systemd...

P Verified Log 1: The Need For Verification b-hilprecht.github.io/2025/07/10/p...

Introducing swift-erlang-actor-system - "This actor system enables Swift programs to join a distributed Erlang cluster" forums.swift.org/t/introducin...

An (almost) catastrophic #OpenZFS bug and the humans that made it (and #Rustlang is here too) despairlabs.com/blog/posts/2...

Deterministic Simulation Testing in Rust: A Theater Of State Machines www.polarsignals.com/blog/posts/2...

I just published my thoughts on using #Nix and #NixOS for three years. pierrezemb.fr/posts/nixos-...

📄 Anarchy in the Database A study of extensibility across 6 DBMSs (PostgreSQL, MySQL, SQLite, Redis, DuckDB, MariaDB). 🔍 400+ PostgreSQL extensions analyzed ⚠️ 16.8% incompatible with others—can cause failures. Includes taxonomy + analysis toolkit. www.vldb.org/pvldb/vol18/...