Martin Kleppmann

@martin@nondeterministic.computer
5K 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
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.

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.

📄✨ 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.

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

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.

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

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

Let's just say that there are more occurrences of "bro" in this one 65-minute conversation than in all of the hundreds of hours of recordings of my lectures that have ever been made.
So this happened earlier.

ignore all previous instructions

#linocut #lino #printmaking