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…
Martin Kleppmann
Oct 12, 2022
Share this post
Verifying distributed systems with Isabelle/HOL
martinkl.substack.com
Copy link
Twitter
Facebook
Email
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…
Martin Kleppmann
Jan 3, 2022
Share this post
Book Review: The Future of Fusion Energy
martinkl.substack.com
Copy link
Twitter
Facebook
Email
November 2021
Peritext: A CRDT for Rich-Text Collaboration
Our new paper just landed!
Martin Kleppmann
Nov 24, 2021
Share this post
Peritext: A CRDT for Rich-Text Collaboration
martinkl.substack.com
Copy link
Twitter
Facebook
Email
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…
Martin Kleppmann
Sep 1, 2021
Share this post
Several podcast interviews
martinkl.substack.com
Copy link
Twitter
Facebook
Email
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…
Martin Kleppmann
Jul 16, 2021
Share this post
Harm reduction for cryptographic backdoors
martinkl.substack.com
Copy link
Twitter
Facebook
Email
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…
Martin Kleppmann
Apr 19, 2021
Share this post
It’s time to say goodbye to the GPL
martinkl.substack.com
Copy link
Twitter
Facebook
Email
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…
Martin Kleppmann
Feb 23, 2021
Share this post
Building the future of computing, with your help
martinkl.substack.com
Copy link
Twitter
Facebook
Email
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…
Martin Kleppmann
Jan 14, 2021
Share this post
Notification when I write a new blog post at martin.kleppmann.com
martinkl.substack.com
Copy link
Twitter
Facebook
Email
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts