Writing a book about Lean

Stream: new members

[Kevin Hartnett]

Hi all, I wanted to introduce myself. I am currently working on a book about the history of Lean, to be published in 2026 under the imprint Quanta Books, which is a new joint initiative between the Simons Foundation and a major trade press (exact details to be released soon). I'm a long-time journalist with Quanta Magazine and I've written about Lean in the past, including the 2020 story, "Building the Mathematical Library of the Future":

https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/

I'm planning to spend some time observing the activity here and reaching out to people as I have questions. Please don't hesitate to get in touch if there's anything in particular you'd like to chat about.

[Rémy Degenne]

That 2020 article is how I learned about Lean. Thanks for writing it, and good luck for the book!

[rzeta0]

I think the need to further develop beginner-friendly pathways for newcomers is worth exploring.

That's fairly vague but happy to have a 1-2-1 chat if you're interested.

I'm a beginner re Lean but have 25 years experience constantly learning other technologies, teaching beginners, some small experience making other tech more easily accessible to beginners, ... so perhaps can offer a comparative perspective.

[Johan Commelin]

@rzeta0 It's a book about the history of Lean. Your suggestion sounds like it belongs to tutorials, or other types of books. Or maybe I misunderstood you.

[Arthur Paulino]

"Lean is making history" is going to become as literal as it can get. I'm eager to read the book!

[rzeta0]

@Johan Commelin yes, you misunderstood.

... and perfectly illustrated my point :)

[Arthur Paulino]

I think @rzeta0's point is that the Lean's entrance bar being high has consequences and is part of its history.