Martin Kleppmann’s Blog
Subscribe
Sign in
Home
Archive
About
New
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
January 2022
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
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! First of all, if you have been subscribed to my blog posts for a while, you will notice that this email looks different from usual. That’s…
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. I’m a researcher in distributed systems at the University of Cambridge, and author of Designing Data-Intensive…
Jan 14, 2021
•
Martin Kleppmann
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
