A korrentour 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.
Word for word, with the source under each one. They did not write this page.
Computer science researcher at Cambridge
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 22 Apr 2026 · How quotes work · Something wrong? Tell us
Our reading — they may agree, disagree or merely touch the same thing. Closest first: a shared subject counts for most, then how near the wording is.