New blog post on torn writes and how to defend against them, from WALs and copy-on-write to atomic multi-block updates: transactional.blog/blog/2025-torn…

If you’ve been following the latest in Apache Kafka, you might’ve seen our recent proposal: KIP-1150 – Diskless Topics. But KIP-1150 isn’t just a single proposal—it’s a whole series of KIPs, each tackling a different aspect of the feature. 1/2

Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods dl.acm.org/doi/10.1145/37…

The most effective health & longevity protocol= the levers that make 90% of the difference: sleep, cardio & weight training, light in am/day, dim/dark at night, stress control, eating unprocessed quality foods & real connection should be done 90%* of your remaining days.

Today, we’re announcing the preview release of ty, an extremely fast type checker and language server for Python, written in Rust. In early testing, it's 10x, 50x, even 100x faster than existing type checkers. (We've seen >600x speed-ups over Mypy in some real-world projects.)

Heading to Austin tomorrow to do the podcast with Lex Fridman. Any topics we for sure have to hit?

I designed Dropbox's storage system and modeled its durability. Durability numbers (11 9's etc) are meaningless because competent providers don't lose data because of disk failures, they lose data because of bugs and operator error. Yes S3 has lost data. No it wasn't because

I wrote about how spaced repetition systems have gotten way better over the last couple of years, thanks to the magic of ✨ machine learning ✨.domenic.me/fsrs/

I spoke on another podcast about KIP-1150 (diskless topics in Kafka). Thanks Stanislav Kozlovski and Greg Harris !

A fascinating article on mitochondria. "That night, a graduate student alone in a dark laboratory in Newcastle upon Tyne in England, I became a mitochondriac: hooked on mitochondria." scientificamerican.com/article/why-mi…

The gym bros were right

A big problem with debugging bugs is that the more interesting ones are hard to reproduce. That's why people build deterministic simulators to test their software or use tools like Antithesis. But why are interesting bugs so hard to trigger? 1/

Windows 98 Plus: Mystery

See Mitchell Hashimoto's AI coding workflow in action! Tomorrow at 3pm EST, we're exploring his recent PRs and discussing where agentic engineering is headed—the wins, the gaps, and the messy middle. Live Q&A included! Sign up or add the event directly to your calendar: