drss
Menu
Home
Sources
Lists
Users
About
Login
Home
Sources
Lists
Users
About
Martin Kleppmann's blog
Visit Source Website
•
Last updated: Dec 8, 2025
npub
drss.io/IiSJ
RSS
Prediction: AI will make formal verification go mainstream
Martin Kleppmann's blog
•
Dec 8, 2025
Pudding: user discovery for anonymity networks
Martin Kleppmann's blog
•
Jul 5, 2024
2023 year in review
Martin Kleppmann's blog
•
Jan 4, 2024
Verifying distributed systems with Isabelle/HOL
Martin Kleppmann's blog
•
Oct 12, 2022
Book Review: The Future of Fusion Energy
Martin Kleppmann's blog
•
Jan 3, 2022
Several podcast interviews
Martin Kleppmann's blog
•
Sep 1, 2021
It's time to say goodbye to the GPL
Martin Kleppmann's blog
•
Apr 14, 2021
Building the future of computing, with your help
Martin Kleppmann's blog
•
Feb 23, 2021
Decentralised content moderation
Martin Kleppmann's blog
•
Jan 13, 2021
Using Bloom filters to efficiently synchronise hash graphs
Martin Kleppmann's blog
•
Dec 2, 2020
