Martin Kleppmann's blog feeds.feedburner.com

Prediction: AI will make formal verification go mainstream

martin.kleppmann.com·9w·

Discuss: Hacker News

Pudding: user discovery for anonymity networks

martin.kleppmann.com·84w

2023 year in review

martin.kleppmann.com·110w

Verifying distributed systems with Isabelle/HOL

martin.kleppmann.com·174w

Book Review: The Future of Fusion Energy

martin.kleppmann.com·214w

Several podcast interviews

martin.kleppmann.com·232w

It's time to say goodbye to the GPL

martin.kleppmann.com·252w

Building the future of computing, with your help

martin.kleppmann.com·259w

Decentralised content moderation

martin.kleppmann.com·265w

Using Bloom filters to efficiently synchronise hash graphs

martin.kleppmann.com·271w

New courses on distributed systems and elliptic curve cryptography

martin.kleppmann.com·273w