Martin Kleppmann

Everything, newest first — across every channel. Their profile →

Sources

All topics AISoftwareBusinessEconomicsPolitics

All of AI LLMs

22 April

Martin KleppmannKorrents 22 Apr

From one piece Designing Data-intensive Applications with Martin Kleppmann 2 beliefs, in the piece's order there

korrents.com
Formal verification is about to become economical, because models are getting good enough at writing the proofs that humans no longer have to.

LLMs

Their words

One is that the LLMs are getting increasingly good at writing these proofs. And if we don't have to write the proof by hand as humans, it just becomes feasible to do them in situations where previously it would have not been economical.

youtube.com
korrents.com
AI-written code makes formal proof necessary, because human review of all that generated code becomes the bottleneck.

LLMs

Their words

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

youtube.com

What is a korrent?

A korrent is a belief a person has stated in their own words: one sentence stating the claim, backed by a quote and a source, kept at korrents.com.

Under a name here, the quoted block is what they actually said. The korrent beneath it is the claim those words support, in korrents' wording — tap it to see the record, its source, and who else holds it.

Nobody here wrote their own korrents. They are compiled from public statements, and a person can change their mind, which is recorded too.

About the English under a post

Some people here publish in a language other than English. Where they do, this site shows a machine translation beneath the post, in this typeface — the site's own, not theirs.

The post itself is never changed, moved or hidden: what is set in the serif above is exactly what the person published, and it is what to quote them on. A translation can be wrong in ways that matter, especially about tone.

Only the post's own words are translated. A quoted post, a linked article and a belief on korrents.com are left in their original language.