#Google #DeepMind just put out a #Lean 4 repo containing collection of formalized statements of conjectures. Contributors needed. https://github.com/google-deepmind/formal-conjectures #math #GitHub

Interesting news and discussion from @teorth.bsky.social about #Google using #Lean to formalize #Mathematics conjectures. #Science #MathSky 🧪🧮

Terence Tao (@tao@mathstodon.x...

»Scrum works—If you let people think (Collective Intelligence part II)« https://www.scrum.org/resources/blog/scrum-works-if-you-let-people-think-collective-intelligence-part-ii #Agilist.in #Agile #Change #Lean #Kanban #Scrum

@zobi8225
les meetups sont organisés de la manière suivante :

* une présentation d'~1h
* pause miam
* une discussion avec toutes les personnes présentes avec le format #Fishbowl

le premier meetup était sur XP

le second sur pourquoi le #management casse l'agilité et c'est systémique et presque inévitable

le troisième sur le Dark #Lean : le Lean management c'est chouette mais comme tout outil 🔨, mal utilisé, il peut etre très néfaste 🔩🔨 🆚 🤯🔨

»Scaffolding in your Agile Coaching« https://bobgalen.substack.com/p/scaffolding-in-your-agile-coaching #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»When to Cancel the Sprint« https://www.scrum.org/resources/blog/when-cancel-sprint #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Leanpub book LAUNCH 🚀 The Software Developers’ Guidebook: A Collection of Modern Engineering Practices by Dave Farley https://youtu.be/C0OL14tVx2c #books #ebooks #newreleases #booklaunch #programming #softwareengineering #DevOps #Agile #Lean #softwaretesting #TDD

Agile Coaching Collection https://leanpub.com/b/agilecoachingcollection by Robert Galen is the featured bundle of ebooks 📚 on the Leanpub homepage! https://leanpub.com #Agile #AgileBusinessLeadership #Lean #Teamwork #books #ebooks

“It’s Not Because They’re Japanese”: What #Lean in #Japan Really Teaches Us https://www.leanblog.org/2025/05/its-not-because-theyre-japanese-what-lean-in-japan-really-teaches-us/

»Making Strategic Tradeoffs with Clarity« https://www.scrum.org/resources/blog/making-strategic-tradeoffs-clarity #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Definition of Done - Objective vs Subjective« https://www.scrum.org/resources/blog/definition-done-objective-vs-subjective #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Velocity. It’s Not What You Think It Is« https://www.scrum.org/resources/blog/velocity-its-not-what-you-think-it #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»How To Break Process Theater Using Outcome Orientation« https://www.scrum.org/resources/blog/how-break-process-theater-using-outcome-orientation #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Another blog post about #Lean: https://unnamed.website/posts/doing-math-with-lean/

This time I proved

$\sum_{n=2}^{\infty} \sum_{p=2}^{\infty} \frac{1}{n^p} = 1$

»10 Uncomfortable Truths about Coaching« https://bobgalen.substack.com/p/10-uncomfortable-truths-about-coaching #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»The End of “Good Enough Agile”: AI and Product Models Are Your Wake-Up Call« https://www.scrum.org/resources/blog/end-good-enough-agile-ai-and-product-models-are-your-wake-call #Agilist.in #Agile #Change #Lean #Kanban #Scrum

📈 #Procesverbeteren #Lean #Recensie -
De #AlignmentPuzzel (2e editie): Sámen de bedrijfsmissie vervullen!
https://www.procesverbeteren.nl/selectie_methodes/De_Alignment_Puzzel_2025.php

Ah yes, let's all get excited about yet another list of #math #theorems being checked off in #Lean, because who wouldn't want to spend their weekend editing a #YAML file on GitHub? 🤓📝 Apparently, nothing screams cutting-edge #innovation like turning math into a scavenger hunt for theorem provers. 🎉🔍
https://leanprover-community.github.io/100.html #GitHub #theoremprovers #HackerNews #ngated

100 theorems in Lean

https://leanprover-community.github.io/100.html

#HackerNews #100theorems #Lean #TheoremProver #Mathematics #Proofs

Wir von @zusammen_mehr_elefant sind auf der #workflowanalytica in Berlin unterwegs und haben Merch dabei!

Dieses Jahr sind wir auf verschiedenen Konferenzen unterwegs und ihr dürft uns finden!

Überall wo an oder mit Prozessen gearbeitet wird, ist dieser Satz schon mindestens einmal gefallen.

Wie geht ihr damit um, wenn euch dieser Satz entgegen kommt?

#Scrum #ZusammenMehrElefant #Lean #Kaizen