Mastodawn

»Organizational Complexity Is Accumulated Decision Debt. And It Compounds.« https://www.scrum.org/resources/blog/organizational-complexity-accumulated-decision-debt-and-it-compounds #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Organizational Complexity Is Accumulated Decision Debt. And It Compounds.

Organizations don't become complex by accident. Complexity is accumulated decision debt from thousands of reasonable local decisions that create an unreasonable system. Simplification requires the same rigor as creation.

Scrum.org

1d ago

New technical #Lean blog post: https://unnamed.website/posts/infinite-lists-lean/

Infinite Lists in Lean

How to implement infinite lists in Lean, no unsafe or partial necessary!

Agile ♻️ Agilist.in 2d ago

»[Nano Video] What Is Agile?! Simply« https://www.scrum.org/resources/blog/nano-video-what-agile-simply #Agilist.in #Agile #Change #Lean #Kanban #Scrum

[Nano Video] What Is Agile?! Simply

Imagine someone asks you to explain what Agile is. What would you say?!

Scrum.org

Agile ♻️ Agilist.in 2d ago

»The Meta-Cast« https://bobgalen.substack.com/p/the-meta-cast #Agilist.in #Agile #Change #Lean #Kanban #Scrum

The Meta-Cast

It struck me that some of my subscribers might not be aware of this, dare I say it, phenomenal resource.

Agile Moose

Agile ♻️ Agilist.in 2d ago

»Your board is visible. Your work isn’t.« https://www.scrum.org/resources/blog/your-board-visible-your-work-isnt #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Your board is visible. Your work isn’t.

The work means the result: stop doing status, start showing reality

Scrum.org

Achim D. Brucker 3d ago

Want to learn more about the latest developments on using AI and (interactive) theorem proving in Mathematics? Wait no longer!

We have a great line-up of speakers at our online Workshop on AI and Theorem Provers in Mathematics. The workshop will be held online from 8th to 10th of April and attendance is free (registration required). For more details, visit the workshop website: https://aitpm.github.io/

#math #itp #theoremProving #isabelleHOL #lean #llm #ai #formal_mehods #agda #hol #mathematics