Martin Kleppmann’s Blog
Subscribe
Sign in
Home
Archive
About
Pudding: user discovery for anonymity networks
New paper!
Jul 5, 2024
•
Martin Kleppmann
February 2024
Bluesky and the AT Protocol: Usable Decentralized Social Media
New paper!
Feb 7, 2024
•
Martin Kleppmann
January 2024
My year 2023 in review
New blog post!
Jan 4, 2024
•
Martin Kleppmann
October 2022
Verifying distributed systems with Isabelle/HOL
Hi there!
Oct 12, 2022
•
Martin Kleppmann
January 2022
Book Review: The Future of Fusion Energy
Happy new year!
Jan 3, 2022
•
Martin Kleppmann
November 2021
Peritext: A CRDT for Rich-Text Collaboration
Our new paper just landed!
Nov 24, 2021
•
Martin Kleppmann
September 2021
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
July 2021
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
April 2021
It’s time to say goodbye to the GPL
In my latest blog post I reflect on the FSF’s role in today’s software ecosystem, in particular as the steward of the GNU General Public License (GPL…
Apr 19, 2021
•
Martin Kleppmann
February 2021
Building the future of computing, with your help
Hi everyone!
Feb 23, 2021
•
Martin Kleppmann
January 2021
Notification when I write a new blog post at martin.kleppmann.com
Welcome to Martin Kleppmann’s blog.
Jan 14, 2021
•
Martin Kleppmann
Share
Copy link
Facebook
Email
Notes
More
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
