Blog · corpus.blog/blogs/martin.kleppmann.com
Martin Kleppmann’s website
martin.kleppmann.com · Personal developer blogs · English
- Posts on record
- 10
- First published
- 2 December 2020
- Last published
- 8 December 2025
- Feed
- feeds.feedburner.com/martinkl?format=xml
- Language
- English
- Category
- Personal developer blogs
Is this your blog?
Claim it to see who cites you, get citation alerts, send webmentions for the people you link to, and download your archive as markdown.
111blogs citing
163 links from citing blogs
Most cited pages
Page
Blogs
17blogs
Prediction: AI will make formal verification go mainstream
/2025/12/08/ai-formal-verification.html
13blogs
Blogs citing this one
Blog
Links
Posts
Links and posts differ when one blog links here several times from a single post: that is counted once as a citing blog either way.
Similar blogs
Blog
Linked in common
lawrencecpaulson.github.io
Machine Logic
6sites
philipzucker.com
Hey There Buddo! | Hot Leaves in a Cold Worlds.
6sites
6sites
rosano.ca
Blog
6sites
brooker.co.za
Marc Brooker
6sites
inkandswitch.com
Ink and Switch
6sites
muratbuffalo.blogspot.com
Murat Demirbas
6sites
6sites
Blogs that link to the same sites as martin.kleppmann.com. Sites only a few blogs link to count for more than ones everybody links to.
Recent posts
4 Jan 2024
1 Sept 2021
13 Jan 2021
All 10 posts, by year
A source page reaches every post it holds, not only the newest fifteen.