Martin Kleppmann's blog

Today I am happy to announce a very exciting new research project that I’ve been working towards for years!

Much has been said about the effects that AI will have on software development, but there is an angle I haven’t seen talked about: I believe that AI will bring formal verification, which for decades has been a bit of a fringe pursuit, into the software en…

I’d like to introduce an exciting new research paper I worked on!

A lot has happened in the last year, so I thought it would be good to write up a review.

This post also appears on Larry Paulson’s blog.

I give a five-star ⭐️⭐️⭐️⭐️⭐️ rating to the following book: Jason Parisi and Justin Ball.

I regularly get asked to give interviews on the topics that I work on, especially for podcasts.

The trigger for this post is the reinstating of Richard Stallman, a very problematic character, to the board of the Free Software Foundation (FSF).

For the last five or six years, since I bid goodbye to the startup scene and Silicon Valley, I have been increasingly working in public.

Who is doing interesting work on decentralised content moderation?

This blog post uses MathJax to render mathematics.