Lmst

»[Nano Tip] What Is Empiricism?« https://www.scrum.org/resources/blog/nano-tip-what-empiricism #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Your Scrum pillars are pool noodles« https://www.scrum.org/resources/blog/your-scrum-pillars-are-pool-noodles #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Here's a variant of Girard's paradox formalized in #Lean:

def girard (α : Type) (bad : (β : Type) × β ↪ α) : False :=
and_not_self ⟨fun _ _ hab ↦ eq_of_heq (Sigma.mk.inj (bad.injective hab)).2, (bad ⟨Set α, ·⟩).cantor_injective⟩

But is this also true?

def girard' (bad : Type 1 ↪ Type) : False :=
sorry

»AI-Enhanced Scrum Events (Complete Guide)« https://www.scrum.org/resources/blog/ai-enhanced-scrum-events-complete-guide #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Antimuster der KI-Transformation (und wie man sie diagnostiziert) 🇩🇪« https://www.scrum.org/resources/blog/antimuster-der-ki-transformation-und-wie-man-sie-diagnostiziert #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»From Order Taker to Decision Maker: How Teams Can Unlock Product Leadership.« https://www.scrum.org/resources/blog/order-taker-decision-maker-how-teams-can-unlock-product-leadership #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»The expertise trap: Why knowing the domain doesn’t make you a product leader« https://agilealliance.org/the-expertise-trap-why-knowing-the-domain-doesnt-make-you-a-product-leader/ #Agilist.in #Agile #Change #Lean #Kanban #Scrum

habe gerade eine folge @wasdenkstdudenn gehoert. "Kollegialität und Demokratie".

haengengeblieben ist mir das sozialexperiment (ab min 44:00)
da ging es um autokratische vs. demokratische. bisschen wie in

https://pod.librescrum.org/@zusammen_mehr_elefant/episodes/043-die-netten-jahre-sind-vorbei

jedenfalls, dass die strukturen hin zu autokratischeren flotter einschnappen, als die autokraten mit der selbstorganisation klarkommen. irgendwie bekannt, und dennoch erklaerts vieles.

@agile #scrum #agile #lean

cc @NadjaBoehlmann @Alisa

»The Key« https://bobgalen.substack.com/p/the-key #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»AI-Enhanced Sprint Retrospective (Part 4 of 4)« https://www.scrum.org/resources/blog/ai-enhanced-sprint-retrospective-part-4-4 #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Ciclo de Valor no seu Product Operating Model com IA: A Engenharia para Simplificar sua operação de produto« https://www.scrum.org/resources/blog/ciclo-de-valor-no-seu-product-operating-model-com-ia-engenharia-para-simplificar-sua-operacao-de-produto #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»The Hidden Cost of Poor Negotiations in Product Management« https://www.scrum.org/resources/blog/hidden-cost-poor-negotiations-product-management #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Limiting Work in Progress is a Superpower« https://www.scrum.org/resources/blog/limiting-work-progress-superpower #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»The Hidden Cost of Poor Negotiations in Product Management« https://www.scrum.org/resources/blog/hidden-cost-poor-negotiations-product-management #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Beyond frameworks: Four shifts« https://agilealliance.org/beyond-frameworks-four-shifts/ #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Pair-programming remains as relevant as before, just because you write natural language instead of code, doesn't change the principle of collaboration. #lean #agile