Martin Kleppmann's Avatar

Martin Kleppmann

@martin.kleppmann.com

Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him

33,068
Followers
440
Following
925
Posts
18.11.2022
Joined
Posts Following

Latest posts by Martin Kleppmann @martin.kleppmann.com

Preview
If AI is a weapon, why don't we regulate it like one? Thoughts on the fight between Anthropic and the Department of War.

Once governments start seeing it as a national security concern, tighter regulation seems likely www.noahpinion.blog/p/if-ai-is-a...

06.03.2026 12:49 👍 1 🔁 0 💬 0 📌 0

I see firsthand how quickly AI is getting better at working with code, and I find it plausible that this could become a self-reinforcing feedback loop. The potential effects of this on society would be pure speculation.

06.03.2026 10:44 👍 1 🔁 0 💬 1 📌 0
Preview
The Making of the Atomic Bomb Here for the first time, in rich, human, political, and…

The Making of the Atomic Bomb by Richard Rhodes seems to be well-reviewed? www.goodreads.com/book/show/16...

06.03.2026 10:01 👍 21 🔁 0 💬 7 📌 0

Does anyone have a favourite book on the history of nuclear weapons? I'm particularly interested in how the physicists grappled with the ethics of what they were unleashing on the world. I fear computer scientists might be the next to have such a reckoning.

06.03.2026 10:01 👍 43 🔁 5 💬 12 📌 0

I’m afraid I have no control over pricing, sorry. Maybe you could ask your library if they will get a copy, then you can borrow it?

06.03.2026 06:47 👍 1 🔁 0 💬 1 📌 0

There are lots of edits throughout the book, so the diff (at a textual level) would be almost as long as the book itself

05.03.2026 08:31 👍 3 🔁 0 💬 0 📌 0

Thanks! It’s an Indian Wild Boar

05.03.2026 07:04 👍 2 🔁 0 💬 0 📌 0
Preview
BahnBet — Bet on German Train Delays Predict Deutsche Bahn delays and win. Real-time prediction markets on ICE, IC & EC train delays.

Oh wow, German train delays are now so bad that someone made a website where you can bet on them (train data is real, the money is fake, but the whole thing is hilarious) bahn.bet

04.03.2026 21:34 👍 62 🔁 13 💬 5 📌 3

Glad you enjoyed it!

04.03.2026 21:30 👍 2 🔁 0 💬 0 📌 0

Sorry about that! We had announced it all over the place, so we weren't hiding the fact that the 2nd edition is coming

04.03.2026 21:30 👍 3 🔁 0 💬 1 📌 0

No, AFAIK O'Reilly never lets their authors pick the animal themselves

04.03.2026 21:29 👍 4 🔁 0 💬 1 📌 0

A while ago I used to sell signed copies, but it's a bit of hassle to do the shipping and I'm afraid I don't have the bandwidth for that at the moment. So I'm afraid you'll need to find me at a conference or something like that

04.03.2026 21:28 👍 0 🔁 0 💬 1 📌 0
A print copy of Designing Data-Intensive Applications, 2nd edition

A print copy of Designing Data-Intensive Applications, 2nd edition

Just received my author copies of the second edition of DDIA! After years of seeing it only on-screen, holding the final print book in hand is very special. @chris.blue

04.03.2026 10:20 👍 355 🔁 15 💬 14 📌 2
Supermarket shelves labelled “breakfast favourites”, and the shelves contain bottles of whisky and gin

Supermarket shelves labelled “breakfast favourites”, and the shelves contain bottles of whisky and gin

Oh, is *that* your favourite breakfast, dear Waitrose?

03.03.2026 23:13 👍 52 🔁 7 💬 3 📌 1

Ah, good! I was misled by the big “request pricing” button at the top of the SPARK web page 😆

03.03.2026 23:09 👍 0 🔁 0 💬 0 📌 0

It’s definitely too verbose. But I think it does make some reasonable points

02.03.2026 22:17 👍 3 🔁 0 💬 1 📌 0
AI Made Writing Code Easier. It Made Engineering Harder. Writing code is easier than ever. Being a software engineer is harder than ever. The paradox nobody talks about, and what engineers and leaders should do.

www.ivanturkovic.com/2026/02/25/a...

02.03.2026 20:49 👍 59 🔁 10 💬 4 📌 2

🤣

02.03.2026 16:44 👍 0 🔁 0 💬 0 📌 0

Received an email containing the literal text “[Insert specific compliment example]”.

02.03.2026 12:47 👍 115 🔁 3 💬 5 📌 0

I don't know much about it, and the blog post was not intended as a comprehensive overview of all verification tools available (there are many more besides SPARK that are unmentioned). It's a commercial tool, isn't it? I guess I naturally gravitate towards tools that are free and open source

02.03.2026 12:44 👍 0 🔁 0 💬 2 📌 0

happy birthday! 🎂

02.03.2026 08:58 👍 1 🔁 0 💬 1 📌 0

Those guys are probably running the country by now

01.03.2026 10:07 👍 2 🔁 0 💬 2 📌 0
Eton Style (Gangnam Style Parody) - (강남스타일) M/V
Eton Style (Gangnam Style Parody) - (강남스타일) M/V YouTube video by Rather Rum

Our 3-year-old has discovered Gangnam Style and keeps asking me to sing it for him. My Korean is not up to scratch though, so I’ve been singing the lyrics from the Eton Style parody version, which I somehow memorised in 2012 and still remember. Anyone else remember this gem? youtu.be/9FtZkVRkusQ?...

01.03.2026 09:02 👍 26 🔁 2 💬 5 📌 0

Discworld QOTD, from Going Postal

26.02.2026 20:52 👍 657 🔁 110 💬 10 📌 6
Preview
Permissioned Data Diary 2: Buckets The second in a series of posts building up a solution to permissioned data on atproto. We introduce buckets: a new protocol primitive for creating a shared social context.

new blog post on permissioned data in atproto! this one introduces "buckets", the protocol-level primitive for shared access control. I walk through two approaches that don't quite work and land on something that I think does

let me know your thoughts!

26.02.2026 18:12 👍 285 🔁 58 💬 19 📌 22

Yes, they’re important questions, and different projects are answering them in different ways. I suspect there’s no one-size-fits-all solution.

26.02.2026 20:22 👍 0 🔁 0 💬 0 📌 0

I'll be giving a keynote at Local-First Conf, and lots of great people will be there. Love the thematic broadening of the conference (technology in support of user agency) this year. Grab your ticket!

26.02.2026 16:29 👍 33 🔁 4 💬 2 📌 1
Preview
QCon London 2026 | Mitigating Geopolitical Risks with Local-First Software and atproto Get practical inspiration and best practices on emerging software trends directly from senior software developers at early adopter companies.

I'll be giving a keynote at QCon London next month, combining both local-first software and atproto into a common narrative of reducing risk by making it easy to switch providers without losing your data. qconlondon.com/keynote/mar2...

Pricy conference, but SPEAKER60QUK26 gives a small discount

25.02.2026 16:47 👍 36 🔁 8 💬 1 📌 0
LoFi/34 (Local-First) Meetup  -- Tuesday Feb 24, 2026
LoFi/34 (Local-First) Meetup -- Tuesday Feb 24, 2026 YouTube video by Local First (LoFi.so)

Yesterday I gave a talk at the local-first online meetup in which I explore how local-first can help support technological sovereignty in an age of geopolitical tensions youtu.be/81rQgLLxnGU?...

25.02.2026 08:47 👍 54 🔁 2 💬 1 📌 1

We should legislate identity portability for email addresses.

We have it for phone numbers, where the technical challenge was much greater. We should have it for email, too.

22.02.2026 20:01 👍 116 🔁 22 💬 11 📌 0