Martin Kleppmann’s Blog

Home
Archive
About
Pudding: user discovery for anonymity networks
New paper!
Jul 5, 2024 • 
Martin Kleppmann
Bluesky and the AT Protocol: Usable Decentralized Social Media
New paper!
Feb 7, 2024 • 
Martin Kleppmann
My year 2023 in review
New blog post!
Jan 4, 2024 • 
Martin Kleppmann
Verifying distributed systems with Isabelle/HOL
Hi there!
Oct 12, 2022 • 
Martin Kleppmann
Book Review: The Future of Fusion Energy
Happy new year!
Jan 3, 2022 • 
Martin Kleppmann
Peritext: A CRDT for Rich-Text Collaboration
Our new paper just landed!
Nov 24, 2021 • 
Martin Kleppmann
Several podcast interviews
I have given a bunch of interviews for podcasts lately — three interviews just this summer, and about a dozen over the last couple of years, covering a…
Sep 1, 2021 • 
Martin Kleppmann
Harm reduction for cryptographic backdoors
We keep hearing from law enforcement and politicians that end-to-end encryption creates safe spaces for child abusers and other terrible people, and…
Jul 16, 2021 • 
Martin Kleppmann
Martin Kleppmann’s Blog
Distributed systems, databases, and information security

Martin Kleppmann’s Blog

AboutArchiveSitemap

Share this publication

User's avatar
martinkl
Martin Kleppmann’s Blog
© 2025 Martin Kleppmann
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share