A korrentour readingWhat is a korrent?
Drawn from what Jamie Brandon said
mathematics Doing mathematics: proof, conjecture, and what mathematicians want that other fields do not.
Word for word, with the source under each one. They did not write this page.
Programmer based in Vancouver who writes at…
I expect AI to increase productivity of top mathematicians much more than that of top writers, because formalization is a kind of translation task, it doesn't require much judgement, and as long as it compiles noone needs to read the result.
Where this was said
↗0058: borrow-checking surprises, books, linksscattered-thoughts.net
All 3 korrents from this piecethis one is 3rd
Added to korrents 7 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.