Martin Kleppmann

@[email protected]
5.1K Followers
212 Following
256 Posts
Author of “Designing Data-Intensive Applications”, researcher at TU Munich, formerly University of Cambridge. Distributed systems, security protocols, databases. he/him.
Patreonhttps://patreon.com/martinkl
Twitterhttps://twitter.com/martinkl
Show threadMartin KleppmannJan 13
@lindsey Very delayed reply, sorry. For the 2nd edition of the book I exchanged emails with Theo Härder (one of the two authors of that paper), and he disputes that "C" was "tossed in". To him, it was always about the DBMS enforcing invariants that have been explicitly declared as part of the database schema. I've therefore revised this bit in the 2nd edition
Martin KleppmannNov 22
Tom ForsythNov 21
Recent discussion about the perils of doors in gamedev reminded me of a bug caused by a door in a game you may have heard of called "Half Life 2". Are you sitting comfortably? Then I shall begin.
Martin KleppmannOct 22
Christine Lemmer-WebberOct 17

I can't understate how good of a job the Ink and Switch folks did at this Automerge website. Wow, holy shit https://automerge.org/

And the fact that you can *interact* with the visual demo at the top?

This is the new high bar for a technical website. Holy moly.

Automerge

Automerge is a library for building collaborative, local-first applications.

Martin KleppmannJul 30, 2025
📄✨ New paper! Emilie Ma (https://kewbi.sh/) and I looked at the problem of users of end-to-end encrypted apps recovering their private keys if their device is lost, broken, or stolen. We found a cryptographic approach that is usable, decentralised, and resilient against social engineering https://arxiv.org/abs/2507.21122
I'm Emilie Ma // Kewbish.

Hi, I'm Emilie Ma (Kewbish), a student, software engineer, and researcher interested in distributed systems and how we can make the Internet a better place.

Martin KleppmannJul 27, 2025
Ivan ReeseJul 24, 2025

Ink & Switch is hiring someone to

* help engineer and maintain the Automerge TypeScript library, and
* build experiments that get people excited about Automerge!

It's a great group of creative people pushing computers to be fundamentally better. We'd love to have you.

https://www.inkandswitch.com/jobs/automerge-typescript-maintainer/

Automerge TypeScript Maintainer

Industrial research lab working on digital tools for creativity and productivity

Martin KleppmannDec 30, 2024
Girl on the NetDec 29, 2024

Would you like to see something astonishing?

Recently, a friend gave me a gift that she had been working on for almost a year. It was initially a gift for my 40th, but it took longer to make than she anticipated (BIG UNDERSTATEMENT).

It is - I cannot stress this enough - the coolest and most incredible thing I have ever owned, and I am moved beyond words that someone would put the time in to create something this awesome. For me (!!!).

Here is the London Underground Map... in cross stitch.

Show threadMartin KleppmannDec 29, 2024
@andrew There are some progress reports here: https://www.inkandswitch.com/beehive/notebook/ — code is not open source yet, but we’re working towards it
Beehive lab notebook: Local-first access control

Local-first access control

Show threadMartin KleppmannDec 29, 2024
@chrisamaphone @j12t @natematias @andresmh @evan Sorry, only just saw this. We recently published a paper https://martin.kleppmann.com/2024/12/09/bluesky-at-protocol.html and it references a few things on the fediverse. I co-organised a summer school last summer that discussed decentralised social media. Some others:
https://dsmw.cs.princeton.edu and https://workshop-proceedings.icwsm.org/index.php — Otherwise I’m not aware of much, but I’m not really plugged in to this research scene.
Bluesky and the AT Protocol: Usable Decentralized Social Media — Martin Kleppmann’s publications

Martin KleppmannDec 8, 2024
Natasha  🇪🇺Dec 7, 2024

Tiny Lego Computers  

James Brown, a WETA Workshop engineer, created some itty-bitty LEGO computer displays that actually display stuff. What it takes to build a tiny Lego computer...

He has a  account btw
https://mastodon.social/@ancientjames

https://www.theverge.com/2022/8/20/23308217/lego-brick-computer-james-brown

#lego #tech

Please, Lego, let this engineer bring your computer brick to life

James Brown has brilliantly brought classic Lego computer bricks to life by outfitting them with a tiny OLED screen, processor, battery contacts and more.

The Verge
Martin KleppmannNov 6, 2024
Andrew HelwerOct 31, 2024

Leslie Lamport's new book "A Science of Concurrent Programs" has been sent to the publisher and the final draft is available for free as a PDF!

https://lamport.azurewebsites.net/tla/science-book.html

#tlaplus

A Science of Concurrent Programs