🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Interested in how we test our systems at Amazon? In Communications of the ACM, Ankush Desai and I write about the evolution of systems correctness and testing practices at AWS. We cover a mix of classic approaches, formal approaches, and new techniques like deterministic simulation.

Joran Dirk Greef Many of the biggest breakthroughs I've seen have come from testing something you expect to be linear up to a certain point (e.g., throughput, resource use, latency, etc.) and then digging into why when it doesn't end up being linear.

New blog post, about some of my favorite papers from this year's HotOS program. Love Little's law? Hate fork? Think static analysis of shell programs sounds fun? Had enough of the f threshold model? Check it out for some papers to read: brooker.co.za/blog/2025/06/0…

The combination of Strands and uv is making me start enjoying writing Python again.

Indexing and searching text based on what it means is pretty cool and useful.

We've been studying the cognitive science of *diagrams*, and have recently put out a new (very) lightweight programming language and tool for diagramming models in formal methods. Check it out here! blog.brownplt.org/2025/06/09/cop…