AI will make formal verification go mainstream
New blog post
Martin Kleppmann’s Blog
Distributed systems, databases, and information security
Subscribe:.rss.atom.json.md.m3u.pls
Live Last read · last published · next check
Latest episodes
Pudding: user discovery for anonymity networks
New paper!
Bluesky and the AT Protocol: Usable Decentralized Social Media
New paper!
My year 2023 in review
New blog post!
Verifying distributed systems with Isabelle/HOL
Hi there!
Book Review: The Future of Fusion Energy
Happy new year!
Peritext: A CRDT for Rich-Text Collaboration
Our new paper just landed!
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 range of topics.
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 counterarguments from information security people that it would be unacceptable to weaken the security of these systems.
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), the software license used e.g.