Martin Kleppmann’s Blog

Home
Archive
About
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. There’s a new post on my blog: “Verifying distributed systems with Isabelle/HOL”. In this post, I share we’ve learnt about…
Martin Kleppmann
NewTop
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
Our new paper just landed!
Martin Kleppmann
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
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
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
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
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
See all

Martin Kleppmann’s Blog

AboutArchiveSitemap
© 2023 Martin Kleppmann
Privacy ∙ Terms ∙ Collection notice
Start WritingGet the app
Substack is the home for great writing