Related posts
Grant Sanderson Bluesky
@quantabooks.org just released their first book, on the story of Lean by @kevinhartnett.bsky.social. It's a great story, about a pretty significant part of what's happening in math right now.
The the words it uses that this site has seen least often elsewhere. Posts are matched on those words alone — nothing here is a summary of this one.
Top people
Showing Profile →
Hiding
Hiding
17 September
15 September
10 September
7 September
4 September
19 August
16 August
-
Lovedrcmnd.app
The Lean StartupTheir words
Of course, you can’t not read The Lean Startup if you… actually, in any case! Do read it!
-
Lovedrcmnd.app
Running Lean: Iterate from Plan A to a Plan That WorksTheir words
I prefer and recommend this over the canonical "Lean Startup"
31 July
From one piece Patrick Collison: Is AI Breaking the Lean Startup Playbook? 2 beliefs, in the piece's order there
-
Their words
So, I um yeah, I think maybe maybe a better way of saying it is 20 20 years ago that whole lean startup thing was uh was almost the only thing to do because of capital available and you didn't have AI that made, I don't know, spinning up an organization with many different potentialities and capabilities so much easier, whereas now I think you can start these much more aggressive and ambitious things up front.
-
korrents.com
Many of the most successful companies of the last decade were built against the lean startup playbook, not with it.Their words
many of the companies that were most successful over the last 10 years, so many of them are are very anti-lean startup, right? Uh whether it's, you know, the labs themselves or Anduril or um yeah, you you you you can go down the list. A lot of them have this characteristic.
21 July
30 June
-
Their words
And so I think you are right that lean is maybe overrated on the side of the importance of it being used as a VR environment for any kind of like just progress in math generally. But I I I definitely wouldn't write it out of the story.
20 April
-
Recommendsrcmnd.app
IncorruptibleTheir words
The Lean Startup helps you build a valuable company. Incorruptible is about how and why to protect it, keeping a company mission-driven over the long term instead of letting it rot from the inside.
20 March
-
Their words
Um but now it's quite possible at the high school level or or whatever that that you could get involved in math project and actually make a real contribution because of all these AI tools and and and Lean and everything else.
7 January
-
Recommendsaffiliate linkrcmnd.app
The Lean Product PlaybookTheir words
, with lots of tactical advice and techniques for putting lean methodologies into practice.
31 October 2025
-
Their words
The never right outcome is, “Oh, you’ve said the wrong thing. You should be removed now.” That should never ever be a thing we should lean towards.
16 October 2025
-
Their words
And there is something about judgment in there too. you know, uh, implied in taste is that some things are good and some things are bad. So, I think you have to be willing to lean into that yourself in terms of uh, being high judgment.
5 October 2025
-
Their words
So as opposed to going against I guess human intuition and trying to get them to share stuff that they otherwise wouldn't on the margins want to share like lean into it more actually like grab the moments where users are already organically screenshotting and make those much much much better and you can kind of 5x or 10x and and drive a lot of growth that way too.
21 August 2025
-
Their words, before
I suspect that if you decided to be open-minded, then the Being would probably be extremely persuasive. But I don’t think it’s very common to do that.
Their words now
I take it back. Instead of being unsure, I now lean strongly towards the idea that the Being would in fact be very good at convincing people of stuff, and far better than any human.
14 June 2025
From one piece Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472 3 beliefs, in the piece's order there
-
korrents.com
Formalising a proof in Lean currently takes about ten times the effort of writing it out: doable, but annoying.Their words
So right now I estimate that the time and effort taken to formalize it, proof is about 10 times the amount taken to write it out. So it's doable, but it's annoying.
-
Their words
I think the platform that Lean and other software tools, so GitHub and things like that will allow experimental mathematics to scale up to a much greater degree than we can do now.
-
Their words
And that's a phase shift, because suddenly it makes sense when you write a paper to write it in Lean first, or through a conversation with AI, which is generally on the fly with you, and it becomes natural for journals to accept.
31 May 2025
Nothing matches.
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.