To find out when I write something new, sign up to receive an email notification , follow me on Bluesky or Mastodon , or subscribe to the RSS feed .
Visit martin.kleppmann.com → RSS feedOn Hacker News Dec 2010 – Dec 2025
Software Engineering 9Databases & Data 6Systems & Performance 5Career & Management 2AI & Machine Learning 2Web & Frontend 1
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 engineering mainstream.
Every educated person really ought to have a basic understanding of accounting. Just like maths, science, programming, music, literature, history, etc., it’s one of those things which helps you make sense of the world. Although dealing with money is not much fun, it’s an unavoidable part of life, so you might as well…
A talk at Hydra distributed computing conference , online (originally planned to be in Moscow, Russia), 06 Jul 2020
Update (July 2015): This post is now rather outdated, and the procedure for modifying your private key files is no longer recommended. A better solution is to use ssh-keygen -o .
As part of the research for my book , I came across an algorithm called Redlock on the Redis website. The algorithm claims to implement fault-tolerant distributed locks (or rather, leases [1]) on top of Redis, and the page asks for feedback from people who are into distributed systems. The algorithm instinctively set…
This blog post uses MathJax to render mathematics. You need JavaScript enabled for MathJax to work.
Keynote at 15th ACM International Conference on Distributed and Event-based Systems (DEBS) , Online (originally planned to be in Milan, Italy), July 2021.
Paul Graham has written a bunch of good essays on entrepreneurship, laying down much of the philosophy behind Y Combinator . If you’ve not read any of them yet, you should go and read them now – they contain lots of wisdom.
tl;dr: I have created a test suite for comparing the transaction isolation levels in different databases. I did this as background research for my book . This post explains why.