Martin Kleppmann
@martin.kleppmann.com
Associate Professor at @cst.cam.ac.uk, researching decentralised systems and security protocols. Advisor to the Bluesky team. Wrote “Designing Data-Intensive Applications” (O’Reilly). he/him
Reposted by Martin Kleppmann
This is amazing. Claude 4.6 finding 0days in mature open-source codebases. red.anthropic.com/2026/zero-da...
0-Days \ red.anthropic.com
red.anthropic.com
February 7, 2026 at 7:11 AM
This is amazing. Claude 4.6 finding 0days in mature open-source codebases. red.anthropic.com/2026/zero-da...
Recorded an interview with @gergely.pragmaticengineer.com for the Pragmatic Engineer podcast today. Lots of good questions and discussion
February 7, 2026 at 11:36 PM
Recorded an interview with @gergely.pragmaticengineer.com for the Pragmatic Engineer podcast today. Lots of good questions and discussion
Reposted by Martin Kleppmann
The cost of turning written business logic into code has dropped to zero. At best, near-zero.
The cost of integrating services and libraries, the plumbing of the code world, has dropped to zero. At best, near-zero.
What does that mean for the future?
New blog post: brooker.co.za/blog/2026/02...
The cost of integrating services and libraries, the plumbing of the code world, has dropped to zero. At best, near-zero.
What does that mean for the future?
New blog post: brooker.co.za/blog/2026/02...
You Are Here - Marc's Blog
brooker.co.za
February 7, 2026 at 6:36 PM
The cost of turning written business logic into code has dropped to zero. At best, near-zero.
The cost of integrating services and libraries, the plumbing of the code world, has dropped to zero. At best, near-zero.
What does that mean for the future?
New blog post: brooker.co.za/blog/2026/02...
The cost of integrating services and libraries, the plumbing of the code world, has dropped to zero. At best, near-zero.
What does that mean for the future?
New blog post: brooker.co.za/blog/2026/02...
Reposted by Martin Kleppmann
felt the need. i feel vastly under qualified to write something like this, but i also feel its especially important that we think about the way we use language
Is the Detachment in the Room? - Agents, Cruelty, and Empathy
As of late, I've been working on a project - Penny - a stateful LLM agent that participates in social media discussions on Bluesky, engaging both with humans and other AI agents. Initially, there were...
hailey.at
February 7, 2026 at 6:11 AM
felt the need. i feel vastly under qualified to write something like this, but i also feel its especially important that we think about the way we use language
Starting now! www.oreilly.com/live/in-conv...
In Conversation: Martin Kleppmann and Chris Riccomini on Designing Data-Intensive Applications 2E - O'Reilly Media
Learn the principles of building reliable, scalable, and maintainable data systems.
www.oreilly.com
February 5, 2026 at 4:00 PM
Starting now! www.oreilly.com/live/in-conv...
I finally got to visit UC Berkeley for the first time today! Gave a talk and had good discussions about distributed systems with @joehellerstein.bsky.social & others from his group
February 5, 2026 at 4:56 AM
I finally got to visit UC Berkeley for the first time today! Gave a talk and had good discussions about distributed systems with @joehellerstein.bsky.social & others from his group
Just caught myself trying to zoom in to a paper notebook by doing the pinch gesture
February 5, 2026 at 3:23 AM
Just caught myself trying to zoom in to a paper notebook by doing the pinch gesture
Spent the last few days at a retreat on the future of software development, convened by @thoughtworks.com and @martinfowler.com. Excellent conversations and plenty of food for thought
www.thoughtworks.com/en-us/about-...
www.thoughtworks.com/en-us/about-...
placeholder
placeholder
www.thoughtworks.com
February 3, 2026 at 8:44 PM
Spent the last few days at a retreat on the future of software development, convened by @thoughtworks.com and @martinfowler.com. Excellent conversations and plenty of food for thought
www.thoughtworks.com/en-us/about-...
www.thoughtworks.com/en-us/about-...
Exciting news for the local-first community!
1. Local-first Conf Berlin is back on 12–14 July: www.localfirstconf.com
2. The nice folks at @cultrepo.bsky.social have made a documentary about the movement: www.youtube.com/watch?v=10d8...
1. Local-first Conf Berlin is back on 12–14 July: www.localfirstconf.com
2. The nice folks at @cultrepo.bsky.social have made a documentary about the movement: www.youtube.com/watch?v=10d8...
Local-First Conf 2026
Join us for the third edition of Local-First Conf. Connect with a rapidly-growing community in an intimate setting. Berlin 12-14th July 2026.
www.localfirstconf.com
February 1, 2026 at 12:41 AM
Exciting news for the local-first community!
1. Local-first Conf Berlin is back on 12–14 July: www.localfirstconf.com
2. The nice folks at @cultrepo.bsky.social have made a documentary about the movement: www.youtube.com/watch?v=10d8...
1. Local-first Conf Berlin is back on 12–14 July: www.localfirstconf.com
2. The nice folks at @cultrepo.bsky.social have made a documentary about the movement: www.youtube.com/watch?v=10d8...
Reposted by Martin Kleppmann
look mum I’m in a documentary about the next big thing in software www.youtube.com/watch?v=10d8...
(thx @cultrepo.bsky.social and @localfirstconf.com !)
(thx @cultrepo.bsky.social and @localfirstconf.com !)
Local-First Software: Taking Back Control of Our Data | a mini-doc
YouTube video by CultRepo
www.youtube.com
January 30, 2026 at 2:00 PM
look mum I’m in a documentary about the next big thing in software www.youtube.com/watch?v=10d8...
(thx @cultrepo.bsky.social and @localfirstconf.com !)
(thx @cultrepo.bsky.social and @localfirstconf.com !)
Reposted by Martin Kleppmann
January 30, 2026 at 1:27 PM
Reposted by Martin Kleppmann
An investigation into conditions that fostered the work produced by Turing Award recipients, with an examination of research data by Claude Code. cacm.acm.org/blogcacm/the...
cacm.acm.org
January 28, 2026 at 12:06 PM
An investigation into conditions that fostered the work produced by Turing Award recipients, with an examination of research data by Claude Code. cacm.acm.org/blogcacm/the...
A discussion of law enforcement access to end-to-end encrypted communications, by my colleague Mort. One of the best articulations of the nuances and trade-offs I've seen. mort.io/blog/cosi-la...
Some Remarks on the Risks of Lawful Access | mort’s mythopœia
Given to an informal EU COSI meeting, 9 July 2025
mort.io
January 28, 2026 at 12:57 PM
A discussion of law enforcement access to end-to-end encrypted communications, by my colleague Mort. One of the best articulations of the nuances and trade-offs I've seen. mort.io/blog/cosi-la...
PV solar panels produce about 20x more usable energy per hectare of land than growing biofuels ourworldindata.org/biofuel-land...
Putting solar panels on land used for biofuels would produce enough electricity for all cars and trucks to go electric
The world dedicates a Poland-sized area of land to liquid biofuels. Is there a more efficient way to generate energy?
ourworldindata.org
January 27, 2026 at 8:24 AM
PV solar panels produce about 20x more usable energy per hectare of land than growing biofuels ourworldindata.org/biofuel-land...
I'm doing an online event with @chris.blue and Tzach Livyatan (ScyllaDB) in two weeks. We'll talk about the upcoming 2nd edition of Designing Data-Intensive Applications and data systems in general www.oreilly.com/live/in-conv...
In Conversation: Martin Kleppmann and Chris Riccomini on Designing Data-Intensive Applications 2E - O'Reilly Media
Learn the principles of building reliable, scalable, and maintainable data systems.
www.oreilly.com
January 20, 2026 at 10:12 PM
I'm doing an online event with @chris.blue and Tzach Livyatan (ScyllaDB) in two weeks. We'll talk about the upcoming 2nd edition of Designing Data-Intensive Applications and data systems in general www.oreilly.com/live/in-conv...
ARIA just announced that our group is a part of this programme, aiming to use cryptography (such as zk-SNARKs) to prove facts about the supply chains of physical products, ranging from quality control to sustainability data (e.g. embodied carbon emissions) www.aria.org.uk/trust-everyt...
Programme development | Trust Everything, Everywhere
We are in the process of building a multi-year R&D programme within this space. Our programmes are designed to advance complex, large-scale ideas that require coordinated investment and management acr...
www.aria.org.uk
January 15, 2026 at 8:45 PM
ARIA just announced that our group is a part of this programme, aiming to use cryptography (such as zk-SNARKs) to prove facts about the supply chains of physical products, ranging from quality control to sustainability data (e.g. embodied carbon emissions) www.aria.org.uk/trust-everyt...
I just came across this paper arxiv.org/abs/2509.22908 which coins the term "vericoding" for using LLMs to generate formally verified code, and presents benchmark results for several languages
January 15, 2026 at 9:52 AM
I just came across this paper arxiv.org/abs/2509.22908 which coins the term "vericoding" for using LLMs to generate formally verified code, and presents benchmark results for several languages
Reposted by Martin Kleppmann
prototyping co-drawing with Gemini Flash 3 at Google
in these demos "thinking" is disabled, which makes the model return tokens very quickly (all videos are realtime), and I find these rapid responses pretty good for the use-cases I'm experimenting with, like:
executing simple diagrams ...
in these demos "thinking" is disabled, which makes the model return tokens very quickly (all videos are realtime), and I find these rapid responses pretty good for the use-cases I'm experimenting with, like:
executing simple diagrams ...
January 12, 2026 at 1:04 PM
prototyping co-drawing with Gemini Flash 3 at Google
in these demos "thinking" is disabled, which makes the model return tokens very quickly (all videos are realtime), and I find these rapid responses pretty good for the use-cases I'm experimenting with, like:
executing simple diagrams ...
in these demos "thinking" is disabled, which makes the model return tokens very quickly (all videos are realtime), and I find these rapid responses pretty good for the use-cases I'm experimenting with, like:
executing simple diagrams ...
Reposted by Martin Kleppmann
Hello #Local-First enthusiasts, We have great news to share with you! @fosdem.org'26 wil be hosting a full devroom dedicated entirely to local first software. We have gathered the best lineup ever, all major open source projects will be presenting! Come and join us, it is free! openlocalfirst.org
Open Local First
For the first time this year, the FOSDEM conference will host a devroom for Local First, CRDTs and sync protocols and sync engines. FOSDEM is the biggest Free and Open Source conference in Europe. Thi...
openlocalfirst.org
December 24, 2025 at 1:43 PM
Hello #Local-First enthusiasts, We have great news to share with you! @fosdem.org'26 wil be hosting a full devroom dedicated entirely to local first software. We have gathered the best lineup ever, all major open source projects will be presenting! Come and join us, it is free! openlocalfirst.org
What if using American cloud services becomes untenable for Europe due to deteriorating geopolitics? It's hypothetical for now, but no longer unthinkable. By @quentinsf.com: statusq.org/archives/202...
Local-first software to the rescue?
Local-first software to the rescue?
Living without America | Status-Q
Quentin Stafford-Fraser's blog
statusq.org
January 8, 2026 at 9:45 AM
What if using American cloud services becomes untenable for Europe due to deteriorating geopolitics? It's hypothetical for now, but no longer unthinkable. By @quentinsf.com: statusq.org/archives/202...
Local-first software to the rescue?
Local-first software to the rescue?
Reposted by Martin Kleppmann
New on my blog: "Why Study CS? Thoughts on LLM-assisted software engineering" kmicinski.com/claude-code-...
Why Study CS? Thoughts on LLM-assisted software engineering
Dear students of Computer Science,
kmicinski.com
January 7, 2026 at 3:15 AM
New on my blog: "Why Study CS? Thoughts on LLM-assisted software engineering" kmicinski.com/claude-code-...
Reposted by Martin Kleppmann
Sorry, but triumphant claims about autonomous vehicle safety are wildly exaggerated.
It's an open question whether today’s self-driving cars are any safer than those driven by humans.
And if reducing crashes is the goal, that isn’t even the right question.
My deep dive, in Bloomberg 🧵
It's an open question whether today’s self-driving cars are any safer than those driven by humans.
And if reducing crashes is the goal, that isn’t even the right question.
My deep dive, in Bloomberg 🧵
We Still Don’t Know if Robotaxis Are Safer Than Human Drivers
And even if self-driving technology proves to be less dangerous, there are many better ways to improve traffic safety and prevent fatal crashes.
www.bloomberg.com
January 6, 2026 at 2:54 PM
Sorry, but triumphant claims about autonomous vehicle safety are wildly exaggerated.
It's an open question whether today’s self-driving cars are any safer than those driven by humans.
And if reducing crashes is the goal, that isn’t even the right question.
My deep dive, in Bloomberg 🧵
It's an open question whether today’s self-driving cars are any safer than those driven by humans.
And if reducing crashes is the goal, that isn’t even the right question.
My deep dive, in Bloomberg 🧵
The rise and fall of Stack Overflow. Graph shows number of questions posted per month.
Discussion: news.ycombinator.com/item?id=4648...
Discussion: news.ycombinator.com/item?id=4648...
January 6, 2026 at 9:48 PM
The rise and fall of Stack Overflow. Graph shows number of questions posted per month.
Discussion: news.ycombinator.com/item?id=4648...
Discussion: news.ycombinator.com/item?id=4648...
Reposted by Martin Kleppmann
New blog post! A close look at Tahoe menu icons https://tonsky.me/blog/tahoe-icons/
It’s hard to justify Tahoe icons
Looking at the first principles of icon design—and how Apple failed to apply all of them in macOS Tahoe
tonsky.me
January 5, 2026 at 11:10 AM
New blog post! A close look at Tahoe menu icons https://tonsky.me/blog/tahoe-icons/