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 Membership in ACM includes a subscription to Communications of the ACM (CACM), the computing industry's most trusted source for staying connected to the world of advanced computing.

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

Why Fakes Beat Mocks and Testcontainers Trait-based fakes test partial failures that mocks and Testcontainers fundamentally cannot simulate. They are also the on-ramp to simulation-driven development.

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

Diving Into Coverage-Guided Fuzzing How a 600-line Rust fuzzer discovers a 3-byte crash sequence in 9,000 iterations instead of 16 million

👀 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 Google engineers have been spending the past number of months developing Sashiko as an agentic AI code review system for the Linux kernel

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

Jepsen: MariaDB Galera Cluster 12.1.2 MariaDB Galera Cluster is a replicated version of MariaDB, a popular SQL database. While MariaDB claims Galera ensures “no lost transactions”, it loses transactions in at least two scenarios. First,…

"Even in healthy clusters, MariaDB Galera Cluster exhibited Lost Update and Stale Read"

Jepsen: MariaDB Galera Cluster 12.1.2 jepsen.io/analyses/mar...

jakelazaroff.com Just a programmer trying to make a home for myself on the WWW.

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

Building Index-Backed Query Plans in DataFusion What I learned about manually constructing physical query plans for secondary index queries, and the library that came out of it.

📝 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

Book cover of "Designing Data-Intensive Applications, 2nd edition". It has a similar wild boar on the cover as the first edition, but it uses O'Reilly's new cover design, and the boar is now slightly colourised.

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!)

committers.top - Most active GitHub users in France A list of most active GitHub users in France.

👀 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

Simulating Leader Election on top of FoundationDB Can LLM-generated code be trusted for distributed systems? Only if you have the right feedback loop.

✍️ 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

FoundationDB's Transaction Model for Layer Engineers How optimistic concurrency control works in FoundationDB, and how to design data structures that stop fighting it

💡 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 🥵

Right. To me, it truly feels like iterating and chatting with someone other a committed file. Like a colleague, or the good old rubber duck debugging

I haven’t tried Kiro yet. What’s your opinion about it?

GitHub - github/spec-kit: 💫 Toolkit to help you get started with Spec-Driven Development 💫 Toolkit to help you get started with Spec-Driven Development - github/spec-kit

Have you tried github.com/github/spec-...?
It is pretty useful to get the sense of spec-driven development?

What I Tell Colleagues About Using LLMs for Engineering LLMs amplify expertise, they don't replace it. Here's what works: planning, context, feedback loops, and building systems that let AI discover bugs.

✍️ 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

Reflection MVP by oli-obk · Pull Request #146923 · rust-lang/rust I am opening this PR for discussion about the general design we should start out with, as there are various options (that are not too hard to transition between each other, so we should totally jus...

RUST REFLECTION MVP HAS LANDED https://github.com/rust-lang/rust/pull/146923

THIS IS NOT A DRILL

2025: A Year in Review Reflections on returning to engineering, discovering simulation as a superpower, learning to work with LLMs, and the compounding value of years of distributed systems work.

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

Specs Are Back, But We're Missing the Tools LLMs revived specifications. Model checkers like Fizzbee work for algorithms. But for APIs and business logic? The tooling doesn't exist yet.

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

Designing Rust FDB Workloads That Actually Find Bugs Patterns and principles for writing Rust simulation workloads that catch bugs before production does.

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

Grown-up ZFS Data Corruption Bug Épisode de l’émission · Oxide and Friends · 26/11/2025 · 1 h 21 min

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