Our readingWhat is a korrent?
Drawn from what Martin Kleppmann said
formal proof Machine-checked mathematics: proof assistants such as Lean, and what changes when correctness is certified rather than refereed.
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.
Where this was said
Watch from 0:58:54 plays here↗Designing Data-intensive Applications with Martin Kleppmannyoutube.com
All 26 korrents from this recordingthis one is 18th
Added to korrents 7 Sept 2026 · How quotes work · Something wrong? Tell us
Do you hold this korrent?Do you also believe this?
I hold this tooShared subject first, then similar wording. They may agree or disagree.