Martin Kleppmann’s Blog
Martin KleppmannDistributed systems, databases, and information security
| Platform |  | Pricing | Only free issues | Publishes | Infrequently |
|---|---|---|---|---|---|
| Issues | 12 | Founded | 6 years ago | Last Issue | 8 months ago |
| Active | |||||
Read this Newsletter
martinkl.substack.comLatest Issues
AI will make formal verification go mainstream
Hi! You’re getting this email because you subscribed to my blog posts at martin.kleppmann.com.
I just published a short post in which I argue that AI will make formal verification go mainstream. There are three reasons why I think this:...
Pudding: user discovery for anonymity networks
Hi! You’re getting this email because you subscribed to my blog posts at martin.kleppmann.com.
I’d like to introduce an exciting new research paper I worked on! It’s about a system called Pudding, and it was presented by Ceren at the IEEE...
Bluesky and the AT Protocol: Usable Decentralized Social Media
Hi! You’re getting this email because you subscribed to my blog posts at martin.kleppmann.com.
Yesterday (sorry for not sending the announcement sooner) the Bluesky team and I published a paper that’s a bit like a long blog post in PDF for...
My year 2023 in review
Hi! You’re getting this email because you subscribed to my blog posts at martin.kleppmann.com. It’s been a long time since my last post.
I just posted a review of my year 2023 on my blog: https://martin.kleppmann.com/2024/01/04/year-in-rev...
Verifying distributed systems with Isabelle/HOL
Hi there! Not posted for a while. In case you’re wondering, you’re getting this email because you subscribed to my blog posts at martin.kleppmann.com.
There’s a new post on my blog: “Verifying distributed systems with Isabelle/HOL”. In thi...
Key Facts
Audience Metrics
Subscribers, engagement, traffic and sponsorship for Martin Kleppmann’s Blog.
| Subscribers | Monthly Web Visits | Accepts Sponsors | |||
|---|---|---|---|---|---|
| Estimated Cost per Ad | |||||
Explore More
Authors
The writers behind this newsletter.
Associate Professor at the University of Cambridge. Decentralisation, local-first software, distributed systems security. Author of Designing Data-Intensive Applications.
Social
Frequently Asked Questions
How can I access the email archive for Martin Kleppmann’s Blog?
You can find recent issues that have been published by Martin Kleppmann’s Blog on Reletter by scrolling up to where it says Latest Issues. Tap on the link for any of the most recent emails or hit More Issues to see older ones.
How many subscribers does Martin Kleppmann’s Blog have?
To see how many people subscribe to Martin Kleppmann’s Blog, simply upgrade your Reletter account. We provide readership numbers and lots of other stats for this newsletter so you can decide if it's worth reaching out to.
How can I advertise in Martin Kleppmann’s Blog?
Newsletter advertising can be extremely effective when it's done right. Before you pitch Martin Kleppmann’s Blog as a potential sponsor or partner, make sure that you've done your research and checked its newsletter stats with Reletter.
Then, personalize one of our winning pitching templates and send it to the right person using the contact info provided.
How much does it cost to sponsor a publication like Martin Kleppmann’s Blog?
Newsletter ad rates (or CPM) vary depending on many factors, including industry, number of subscribers, open rate, ad placement and more.
To find out how much an ad will cost, contact Martin Kleppmann’s Blog using the contact information provided and ask for a copy of their media kit.
How can I find newsletters related to Martin Kleppmann’s Blog?
Scroll up to where it says Related Newsletters to see other publications like Martin Kleppmann’s Blog. You can also search our email newsletter directory to discover other newsletters that cover the topics you're interested in.
How do I contact Martin Kleppmann’s Blog?
Reletter provides this newsletter's website URL above, where you will often find their contact information. We also provide links to associated social media accounts and pitching templates so you can reach out fast.