Martin Kleppmann’s Blog
Subscribe
Sign in
Home
Archive
About
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
New
Top
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
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
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
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
Notes
Other
Martin Kleppmann’s Blog
Distributed systems, databases, and information security
Over 2,000 subscribers
Subscribe
No thanks
By registering you agree to Substack's
Terms of Service
, our
Privacy Policy
, and our
Information Collection Notice
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts