Martin Kleppmann

When DDIA 2nd ed first came out, there were problems with print quality, leading to a bunch of negative reviews on Amazon. I believe those issues have now been fixed for months, but the negative reviews persist. Anyone want to add a review to counterbalance them? www.amazon.com/Designing-Da...

Everyone’s seen the Sketchpad demo. Few understand how it actually works. I reimplemented Sketchpad from scratch, and I’m making short videos that recreate Sutherland’s demos and explain how they work. The first 8 are up — from drawing a line to the famous rivet. Link below 👇

BTW knowledge of the existence of this vulnerability enables a well financed malware group to use AI to find it, if you run PHP anything you should be taking the service down NOW until a patch is available. And then patch before bringing the service back up.

Every woman that I know in tech has similar stories. I do, my partner does, my friends, and so on. Anecdotally, that it's so pervasive is often cited as a main reason for leaving the industry

youtube.com/watch?v=eOQf...

Developers built Google Docs and Figma so others wouldn't lose work, then ironically kept using decades-old tools that let us lose our own. Conrad Irwin explains how DeltaDB uses CRDTs to sync every keystroke so no work is lost. delta.dev/blog/future-...

The unreasonable effectiveness of stickers as a currency for rewarding 3-year-olds

My copy of this just arrived. Looking forward to digging into it!

According to the IMF, AI hardware and related tech products now account for more than 10% of global trade in goods! 🤯 thenextweb.com/news/imf-ai-...

With the capability to coordinate securely, AI agents could act reliably on our behalf, unlocking a whole range of interactions that were previously inaccessible. Meet the first teams we’re backing to build the open-source tools to make it happen: https://link.aria.org.uk/ST-Creators

Our Centre for Cryptographic Trust Infrastructure (CCTI) is among the funded projects!

We just announced a big grant we got from @aria-research.bsky.social! We're aiming to use cryptographic protocols to allow mutually untrusting parties and their agents to prove to each other that they are telling the truth martin.kleppmann.com/2026/10/07/c...

Hi protocol friends! I've been cooking up a Very Large PDS (vlpds) implementation capable of scaling up to billions of accounts and down to just one. It uses Object Storage as its only state, supports HA operation, live scaling up and down, is feature-complete with the reference PDS, and is FOSS.

Notion wrote a nice blog post on how they use CRDTs, including our Peritext algorithm for rich text! This must be one of the largest CRDT deployments out there? www.notion.com/en-gb/blog/h...

Now even featured on TV! 😍 www.youtube.com/watch?v=Ktby...

A researcher I'm working with in Cambridge, @zazbrown.com, just used AI and Lean to prove the Affine Plank Conjecture, an open problem for the last 75 years! (To be precise, he proved a special case not proven before; the general conjecture is still open.) zazbrown.com/research/pap...

I only just found this post by @joehellerstein.bsky.social from February on how waiting, ordering, and commitment in distributed systems are all ways of looking at the same underlying idea: coordination. Good post, matches with how I think about it jhellerstein.github.io/blog/three-s...

There's a new Dinky Door in Cambridge! The cyclopunt – half cargo bike, half punt – best vehicle ever! www.dinkydoors.co.uk

There's no slowing down frontier models by regulation that wouldn't lead to regulatory capture. But we could simply force all AI model companies to release their model weights openly. It's the world's data after all and nothing would slow their funding/progress more effectively and universally.

🗞️ The August 2026 edition of This Month in Automerge is out! Check out what's new in the core libraries the last days of summer, and a few projects from the community that caught our eye 👀 automerge.org/blog/2026-au...

Interactive visualisation of the Raft consensus algorithm, linked with the pseudocode from my lectures — looks amazing!

Oh this looks amazing. Instant impulse purchase

Today we're officially sharing the "Introducing Patchwork-26" video from Lab Day at this year's @localfirstconf.com We bring you the first look at Patchwork-26, the latest in our ongoing effort to realize Malleable Software, Universal Version Control, and Local-First Software.

An American interviewer asked me about my political beliefs. #VoteBinface

📅👀 The next set of community calls are posted to the Luma. Excited to see everyone there (and we'll also have This Month in Automerge in between) Register here: luma.com/automerge

My fist as pinhole camera

I've been unsettled lately when reading messages and papers. It feels like I'm dissociating. Everything seems a bit alien, even if it's completely human. I've had a realization: When our simulations finally exited the Uncanny Valley, they brought the Uncanny with them.

More details on the OpenAI/Hugging Face incident. Absolutely wild www.youtube.com/watch?v=87Dy...

Excited to have a ✨ guest post ✨ from @djwyen.bsky.social in our @inkandswitch.com Keyhive lab notes! The local-first setting is new to a lot of cryptographers; here Derek shares some of his insights working on the BeeKEM paper, cross-fork security (CFS), and fundamental protocol design tradeoffs 🐝

An optimistic post on the role of human mathematicians (and scientists in general) in the age of AI www.noahpinion.blog/p/the-end-of...

🆕 We're trying something new: here's the first ever This Month in Automerge 🗞️✨ Check out what's been happening in the core libraries, and a few projects in the ecosystem! automerge.org/blog/2026-ju...

My talk at @localfirstconf.com is up, in which I argue that local-first has a role to play in improving the resilience of democratic societies in an era of geopolitical tensions. I'm pretty happy with how this talk turned out www.youtube.com/watch?v=--Ru...

lol thank you IEEE for giving me a good laugh (CC @mweidner.bsky.social)

Hugging Face just published a highly detailed technical account of OpenAI's accidental cyberattack on their systems - it's wild how sophisticated this was: huggingface.co/blog/agent-i... Wrote up some of my own notes here: simonwillison.net/2026/Jul/28/...

Engineering management after the cost of code collapsed: “Investing in machine-checkable correctness is now among the highest-leverage infrastructure work an org can fund” karimjedda.com/engineering-...

📃🐝✨ Excited to share a preprint about BeeKEM, a decentralized / local-first variant of MLS's TreeKEM (group E2EE) that we designed at @inkandswitch.com. Huge thanks to our coauthors for the writeup and empirical analysis — even we were pleasantly surprised by the performance results 📊

ugh web is so complicated. that certificate authority looks quite centralized to me. and that CDN might end up expensive to run at scale. and do we really need another standard? just use email

What's your favourite solution for AI transcription / summarisation of video calls?

A few impressions from yesterday‘s talks 📸 @adamwiggins.com @martin.kleppmann.com @stevenruiz.bsky.social @jakelazaroff.com

So excited to be speaking at @localfirstconf.com in a few minutes!

From research, to prototype, to a real plugin you can install in the Godot Asset Store, Backstitch is a branch of our research into universal version control brought to life in the Godot game engine! You can check it out now: store.godotengine.org/asset/inkand...

Our octo pal morphed its way through Coral City in broad daylight 👻🐙👽 #octopus #cephalopodsofcoralcity #colorchange #cephalopod #coralcitycamera