Martin Kleppmann

@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.

What Martin Kleppmann says most about

the cloud 4

Sharding across machines has faded as a concern because hardware got more powerful, not because the cloud made it easy.
Europe being locked out of US cloud services is still unlikely, but it is no longer unthinkable, and serious systems should be engineered against it.

See all 4

formal proof 3

Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.

See all 3

LLMs 2

Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.

See all 2