Authors

Subscribe:.rss.atom.json.md

Publishes 1 feed

• Martin Kleppmann’s Blog

  Distributed systems, databases, and information security

  10 posts · theirs

Lately

• AI will make formal verification go mainstream

  Martin Kleppmann’s Blog · 2025-12-08

• Pudding: user discovery for anonymity networks

  Martin Kleppmann’s Blog · 2024-07-05

• Bluesky and the AT Protocol: Usable Decentralized Social Media

  Martin Kleppmann’s Blog · 2024-02-07

• My year 2023 in review

  Martin Kleppmann’s Blog · 2024-01-04

• Verifying distributed systems with Isabelle/HOL

  Martin Kleppmann’s Blog · 2022-10-12

• Book Review: The Future of Fusion Energy

  Martin Kleppmann’s Blog · 2022-01-03

• Peritext: A CRDT for Rich-Text Collaboration

  Martin Kleppmann’s Blog · 2021-11-24

• Several podcast interviews

  Martin Kleppmann’s Blog · 2021-09-01

• Harm reduction for cryptographic backdoors

  Martin Kleppmann’s Blog · 2021-07-16

• It’s time to say goodbye to the GPL

  Martin Kleppmann’s Blog · 2021-04-19

Everything on this page was read from markup Martin Kleppmann published — a rel="me" link, an h-card, or the feed’s own author element. Nothing was inferred from anywhere else. To correct or remove it, get in touch. Machine-readable: JSON