What Martin Kleppmann thinks about code generation

@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 code generation · Newest first

Topic

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

3 more topics

SaaS 1software quality 1writing 1

Sort

NewestOldest

Only Martin Kleppmann on code generation. See everyone on code generation

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 readingAI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.

   LLMsformal proofAI writing

   Their wordsBut also LLMs increase the need for these formal proofs because, you know, we're live coding a bunch of stuff. If we have to manually review all of that code, then that will become the bottleneck.

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