What Martin Kleppmann thinks about software quality

@martin-kleppmann · 26 positions · On ppll ↗

Computer science researcher at Cambridge, author of Designing Data-Intensive Applications, after a decade in industry at his own startups and LinkedIn.

Martin Kleppmann did not write this page.

We collected these quotes from things they published elsewhere, and every quote links to where it was said. They have no account here and have not endorsed this site. Quotes are word for word; the short line under each one is our own restatement, not their wording. Their own site. Is this you? Claim it or ask us to remove it. Or tell us what is wrong here.

Filter software quality · Newest first

Topic

All 26software quality 1the cloud 4formal proof 3LLMs 2AI and jobs 1AI writing 1America 1code generation 1education 1

3 more topics

Europe 1SaaS 1writing 1

Sort

NewestOldest

Only Martin Kleppmann on software quality. See everyone on software quality

1 dated position, 2026, in their own words. Our reading of what Martin Kleppmann has said — not written or endorsed by them.

1 position so far — this page is not yet offered to search engines.

1. 22 Apr 2026

   Our readingA test checks a handful of examples; a proof settles an infinite state space, which is why formal methods can say things testing never can.

   Their wordsBut a proof can reason about potentially infinite state spaces. So, it can tell you things about like every possible thing that could possibly happen in the entire universe.

   ↗Designing Data-intensive Applications with Martin Kleppmannyoutube.com 17th of 26 in this recording