leanpub, 11 days ago to random

The Zero Hype Bundle https://leanpub.com/b/zero-hype by Isaak Tsalicoglou is the featured bundle on the Leanpub homepage! https://leanpub.com #ebooks #FictionBusiness #BusinessAndManagement #HumorAndSatire #Agile #DigitalTransformation #Lean

itsjoshbruce, 12 days ago to random

This audiobook is (was?) kicking my butt.

Then I applied the book.

1. Work through it on repeat.
2. What parts are joy (low friction), and what parts are pain (high friction).
3. Can I reduce the friction?
4. Repeat.

Here’s the rub, avoid reducing friction for the joyful. Not everything can or should be automated to achieve getting it over with.

Also, if “everything” causes friction, you’re probably in the wrong place doing the wrong things for you.

#Agile
#Lean
#MasteringTheMundane

leanpub, 18 days ago to random

The Zero Hype Bundle https://leanpub.com/b/zero-hype by Isaak Tsalicoglou is the featured bundle on the Leanpub homepage! https://leanpub.com #FictionBusiness #BusinessAndManagement #HumorAndSatire #Agile #DigitalTransformation #Lean

agile, 23 days ago to random

»Toyota Kata Coaching for Agile Teams« https://www.scrum.org/resources/blog/toyota-kata-coaching-agile-teams #Agilist.in #Agile #Change #Lean #Kanban #Scrum

nomeata, 25 days ago to random

I've implemented functional induction theorems in Lean, shipping with the upcoming version 4.8.0, and wrote a tutorial-style blog post about it:
https://lean-lang.org/blog/2024-5-17-functional-induction/
(h't to David Christiansen for the tooling behind the hover features.)
#lean #leanlang

leanpub, 28 days ago to random

The Zero Hype Bundle https://leanpub.com/b/zero-hype by Isaak Tsalicoglou is the featured #ebook 📖 bundle on the Leanpub homepage! https://leanpub.com #FictionBusiness #BusinessAndManagement #HumorAndSatire #Agile #DigitalTransformation #Lean