Why Lean?
13 points by hongminhee
13 points by hongminhee
Smells AI-written
It's a sad reflection of our time that someone's first instict is to flag a piece in this way. I don't think that's the case here.
If it isn't written by AI, then we should be very very concerned for Leo's mental health.
Pretty sure spending 20+ years as a Senior Principal XYZ in a big corporate environment does that to people.
He was at Microsoft Research, not corporate Microsoft. As recently as 2018 he was co-authoring lucid papers which I was able to implement. This is a recent decline. Edit: the linked paper is from 2008, not 2018, and I misread the date. My apologies.
I think you're nonetheless right that it's a recent decline. Leo's always been a prickly character, but nobody suffering from severe cognitive decline could have created Lean, which Leo did do. Lean is an immense achievement. On the other hand, nobody not suffering severe cognitive decline could have written this blog post.
Smells AI written, but the blog post is authored by one of the primary creators of Lean, who built it long before AI ubiquity. I think that subtly changes the equation, at least in my mind.
As I said elsewhere, Claude Dementia is real. Please check on your family and friends and offer support when needed. It's very sad to see this happen to a scientist of such stature and contribution.