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.
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.
Their wordsOften people in industry I feel like sort of have short circuit reasoning. Like don't maybe don't quite reason something through from first principles but just like oh I heard this from a conference talk I'm just going to go with that
Their wordsBut, somebody still has to build those lower-level abstractions and from lower-level components. Somebody's got to implement the cloud services.
Their wordsBut, somebody still has to build those lower-level abstractions and from lower-level components. Somebody's got to implement the cloud services.
Their wordssoftware as a service businesses, for example the whole reason why they can charge a subscription is because they are able to essentially hold a gun to the customer's head and say, "Pay us at your subscription, otherwise we will delete all your data."
Their wordsit's very easy to assume that your clocks are correct and most of the times the clocks are pretty correct but we just can't rely on it because actually they're just not precise enough uh on the whole.
Their wordsMaybe as AI writes more and more code of our code, it's less about like the details of how you express logic in a particular programming language and much more about those kinds of high-level trade-offs.