41554 blogs · [ { "id": "01a087a0-f091-72c8-ac1d-1ec956690090", "title": "Prediction: AI will make formal verification go mainstream", "url": "http://martin.kleppmann.com/2025/12/08/ai-formal-verification.html", "published_at": "2025-12-08T00:00:00+00:00" }, { "id": "01a087a0-f091-72c8-ac1d-1ec9572b9eae", "title": "Pudding: user discovery for anonymity networks", "url": "http://martin.kleppmann.com/2024/07/05/pudding-user-discovery-anonymity-networks.html", "published_at": "2024-07-05T00:00:00+00:00" }, { "id": "01a087a0-f091-72c8-ac1d-1ec9577010fe", "title": "2023 year in review", "url": "http://martin.kleppmann.com/2024/01/04/year-in-review.html", "published_at": "2024-01-04T00:00:00+00:00" }, { "id": "01a087a0-f091-72c8-ac1d-1ec957b72287", "title": "Verifying distributed systems with Isabelle/HOL", "url": "http://martin.kleppmann.com/2022/10/12/verifying-distributed-systems-isabelle.html", "published_at": "2022-10-12T00:00:00+00:00" }, { "id": "01a087a0-f091-72c8-ac1d-1ec958a4e41f", "title": "Book Review: The Future of Fusion Energy", "url": "http://martin.kleppmann.com/2022/01/03/future-of-fusion-energy.html", "published_at": "2022-01-03T00:00:00+00:00" }, { "id": "01a087a0-f091-72c8-ac1d-1ec959982081", "title": "Several podcast interviews", "url": "http://martin.kleppmann.com/2021/09/01/podcast-interviews.html", "published_at": "2021-09-01T00:00:00+00:00" }, { "id": "01a087a0-f091-72c8-ac1d-1ec95a1b34c0", "title": "It's time to say goodbye to the GPL", "url": "http://martin.kleppmann.com/2021/04/14/goodbye-gpl.html", "published_at": "2021-04-14T00:00:00+00:00" }, { "id": "01a087a0-f091-72c8-ac1d-1ec95a8b1bee", "title": "Building the future of computing, with your help", "url": "http://martin.kleppmann.com/2021/02/23/patreon.html", "published_at": "2021-02-23T00:00:00+00:00" }, { "id": "01a087a0-f091-72c8-ac1d-1ec95ae6a63e", "title": "Decentralised content moderation", "url": "http://martin.kleppmann.com/2021/01/13/decentralised-content-moderation.html", "published_at": "2021-01-13T00:00:00+00:00" }, { "id": "01a087a0-f091-72c8-ac1d-1ec95ba2a8da", "title": "Using Bloom filters to efficiently synchronise hash graphs", "url": "http://martin.kleppmann.com/2020/12/02/bloom-filter-hash-graph-sync.html", "published_at": "2020-12-02T00:00:00+00:00" } ] posts Claim your blog

Blog · corpus.blog/blogs/martin.kleppmann.com/posts