Martin Kleppmann’s Blog
Subscribe
Sign in
Home
Archive
About
Bluesky and the AT Protocol: Usable Decentralized Social Media
New paper!
Feb 7
•
Martin Kleppmann
New
Top
My year 2023 in review
New blog post!
Jan 4
•
Martin Kleppmann
Verifying distributed systems with Isabelle/HOL
Hi there! Not posted for a while. In case you’re wondering, you’re getting this email because you subscribed to my blog posts at martin.kleppmann.com…
Oct 12, 2022
•
Martin Kleppmann
Book Review: The Future of Fusion Energy
Happy new year! Today’s blog post is a short review of a popular science book on fusion energy (The Future of Fusion Energy by Jason Parisi and Justin…
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
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
See all
Martin Kleppmann’s Blog
Distributed systems, databases, and information security
Subscribe
Martin Kleppmann’s Blog
Subscribe
About
Archive
Sitemap
Share this publication
Martin Kleppmann’s Blog
martinkl.substack.com
Copy link
Facebook
Email
Note
Other
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts