Martin Kleppmann's blog feeds.feedburner.com

Prediction: AI will make formal verification go mainstream

martin.kleppmann.com·22w·Hacker News

Pudding: user discovery for anonymity networks

martin.kleppmann.com·96w·Hacker News

2023 year in review

martin.kleppmann.com·122w

Verifying distributed systems with Isabelle/HOL

martin.kleppmann.com·187w

Book Review: The Future of Fusion Energy

martin.kleppmann.com·227w

Several podcast interviews

martin.kleppmann.com·245w

It's time to say goodbye to the GPL

martin.kleppmann.com·265w

Building the future of computing, with your help

martin.kleppmann.com·272w

Decentralised content moderation

martin.kleppmann.com·278w

Using Bloom filters to efficiently synchronise hash graphs

martin.kleppmann.com·284w

New courses on distributed systems and elliptic curve cryptography

martin.kleppmann.com·286w

Log in to enable infinite scrolling