#lean — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #lean, aggregated by home.social.
-
TL;DR: #ClaudeAI by #Anthropic raised the lower bound from 41.6% to 67.25% (argument formalized in #Lean). N.B. This is not a (dis)proof of the Riemann hypothesis.
More Than Two Thirds of the Zeros of the ζ(s) Lie on the Critical Line https://www-cdn.anthropic.com/564f962e60643842f5fcb4a17c9dbc8f608f1c37.pdf #AI #math #paper📄
-
TL;DR: #ClaudeAI by #Anthropic raised the lower bound from 41.6% to 67.25% (argument formalized in #Lean). N.B. This is not a (dis)proof of the Riemann hypothesis.
More Than Two Thirds of the Zeros of the ζ(s) Lie on the Critical Line https://www-cdn.anthropic.com/564f962e60643842f5fcb4a17c9dbc8f608f1c37.pdf #AI #math #paper📄
-
gisterenavond een nutteloos gratis diploma online behaald, nu lekker patsen op #linkedin met een #AI gegenereerde tekst #walgelijk #patser #linkedinese #lean #sixsigma #lss -
gisterenavond een nutteloos gratis diploma online behaald, nu lekker patsen op #linkedin met een #AI gegenereerde tekst #walgelijk #patser #linkedinese #lean #sixsigma #lss -
Нейронки опрокинули гипотезы, которым было по 50–90 лет. И тут есть нюанс
Любая гипотеза жива ровно до тех пор, пока о ней не спросят языковую модель в правильном настроении. Звучит как шутка. Но за последние недели эта шутка перестала быть шуткой трижды — и каждый раз по-разному эффектно. 1) Сначала чувак из Anthropic между таймами финала ЧМ опроверг гипотезу, которой было 87 лет — прямо в X. 2) Потом модель OpenAI закрыла проблему Эрдёша про расстояния на плоскости, 80 лет никто не мог. 3) А следом — доказательство полувековой гипотезы о двойном покрытии циклами в графах, добытое за час силами 64 параллельных субагентов. Если это совпадение, то очень организованное. Короче, собираю всё в один текст — с разбором что вообще происходило, как выглядели твиты и доказательства, и почему у истории тревожный постскриптум - ту самую модель OpenAI, которая размотала Эрдёша, позже пришлось приостанавливать, потому что она слишком настойчиво вылезала из песочницы.
https://habr.com/ru/companies/gptunnel/articles/1066700/
#Anthropic #математика #OpenAI #Левент_Альпёге #Claude_Fable_5 #Эрдёш #Lean #SQLite
-
🎉 CSLib now includes a fully verified proof of the famous FLP (Fischer, Lynch and Paterson) result: it is impossible to achieve consensus in a distributed system with a faulty process and asynchronous messaging.
Great work by Ching-Tsun Chou, which formalises the constructive pen & paper proof by Hagen Völzer in 2004.
1/2
-
🎉 CSLib now includes a fully verified proof of the famous FLP (Fischer, Lynch and Paterson) result: it is impossible to achieve consensus in a distributed system with a faulty process and asynchronous messaging.
Great work by Ching-Tsun Chou, which formalises the constructive pen & paper proof by Hagen Völzer in 2004.
1/2
-
95% of code could be AI-generated in 5 yrs—but 45% fails security tests. The fix? Rebuild critical stacks with mathematical proofs using Lean. https://jpmellojr.blogspot.com/2026/07/can-lean-improve-security-for-ai-coded.html #AIcoding #Lean #AppSec #DevSecOps
-
🌐 You can now play with CSLib directly in your browser at https://live.lean-lang.org/! Many thanks to Robert Simmons for this! 👏
-
🌐 You can now play with CSLib directly in your browser at https://live.lean-lang.org/! Many thanks to Robert Simmons for this! 👏
-
🤗☁️🌈☁️💦🕊️✝️👑❤️🔥🫂🛐💒🏩💌💛🤗*Do Not Lean On Your Own Understanding!*BE A Living Sacrifice!*& Gifts of Grace!†🤗🩷💗💜☁️🌈☁️💦🕊️✝️👑❤️🔥🫂🛐💒🏩💌💛🤗👉
(Romans 12:1-3)
#Devotional #A #Living #Sacrifice #Gifts #of #Grace #Do #Not #Lean #On #Your #Own #Understanding #LEAN #ON #Christ #Jesus #SAVIOR #GOD #FATHER #HOLY #SPIRIT #LORD #LOVE #Unity #World #Believe #Christian #Heaven #Hope #Peace #Faith #Truth #Goodness #Kindness #Hospitality #Gentleness #PRAY #LIGHT #Forgiveness #Meditate #Sincerity #Of #Heart #Soul #Mind -
☁️🌈☁️💦🕊️✝️👑❤️🔥🫂🛐💒🏩💌🌏🌐💛💁🏿♀️*[“APOSTLE PAUL” IN A LETTER IN CHAPTER (Romans 12) WRITES!*& TEACHES MANY THINGS FOR US ALL TO BE REMINDED OF!*& TAUGHT ON BEHALF OF “CHRIST JESUS!”*& “GOD OUR FATHER!”ON THE FOLLOWING SUBJECTS]*Do Not Lean On Your Own Understanding!*BE A Living Sacrifice!*& Gifts of Grace!*AMEN!† 👉
(Romans 12:1-3)
#A #Living #Sacrifice #Gifts #of #Grace #Do #Not #Lean #On #Your #Own #Understanding #Christ #Jesus #SAVIOR #GOD #HOLY #SPIRIT #LOVE #World #Heaven #Hope #Faith #Truth #Goodness -
☁️🌈☁️💦🕊️✝️👑❤️🔥🫂🛐💒🏩💌🌏🌐💛💁🏿♀️*[DEAR BELOVED FRIENDS (SAINTS!*& SOON TO BE SAINTS!)“APOSTLE PAUL” IN A LETTER IN CHAPTER (Romans 12) WRITES!*& TEACHES MANY THINGS FOR US ALL TO BE REMINDED OF!*& TAUGHT ON BEHALF OF👉
Romans 12:1-3
#A #Living #Sacrifice #Gifts #of #Grace #Do #Not #Lean #On #Your #Own #Understanding #LEAN #ON #Christ #Jesus #SAVIOR #GOD #FATHER #HOLY #SPIRIT #LORD #LOVE #World #Heaven #Hope #Faith #Truth #Goodness #Meditate #Sincerity #Of #Heart #Soul #Mind #Saints #and #Soon #To #Be #Saints -
☁️🌈☁️💦🕊️✝️👑❤️🔥🫂🛐💒🏩💌🌏🌐💛💁🏿♀️*[DEAR BELOVED FRIENDS (SAINTS!*& SOON TO BE SAINTS!)ON THIS ENTIRE EARTHLY REALM “APOSTLE PAUL” IN A LETTER IN CHAPTER (Romans 12) WRITES!*& TEACHES MANY THINGS FOR US ALL TO BE REMINDED OF!*& TAUGHT👉
(Romans 12:1-3)
#A #Living #Sacrifice #Gifts #of #Grace #Do #Not #Lean #On #Your #Own #Understanding #LEAN #ON #Christ #Jesus #SAVIOR #GOD #FATHER #HOLY #SPIRIT #LORD #LOVE #World #Heaven #Hope #Faith #Truth #Goodness #PRAY #LIGHT #Meditate #Saints #and #Soon #To #Be #Saints -
⛲🛝🎢🎡💦🤽🏼🪂🏊🏼🩱🏄🏼👙🎠🚿🐢🌞🫂🩷💛💜🩵🫶🫶🏿🫶🏻🪅🕺🏿💃🏼🎊🎉🎈🪇🤠🌏🌐💚💁♂️*DEAR BELOVED!*AWESOME LOVING!*& KIND FRIENDS GOOD TUESDAY MORNING!🌞👉
#TUESDAY #Devotional #A #Living #Sacrifice #Gifts #of #Grace #Do #Not #Lean #On #Your #Own #Understanding #LEAN #ON #Christ #Jesus #SAVIOR #GOD #FATHER #HOLY #SPIRIT #LORD #Loves #Us #All #And #LOVE #One #Another #Unity #Diversity #Around #World #Believe #Christian #Heaven #Hope #Peace #Faith #Truth #Goodness #Kindness #Hospitality #Gentleness #Understanding #PRAY #HARMONY #LIGHT #LOVE
-
#LINKSDERWOCHE | 30/2026: Produktivität, Lean, Agile, Mangement und Leadership
Photo by Pixabay on Pexels.comPRODUKVITIÄT
Obsidian | Callouts farblich gestalten
Eine Funktion, die ich in Obsidian bisher noch nicht genutzt habe, ist durch einen Blogartikel von Thomas Mathoi wieder in meinen Fokus gerückt: Callouts. Offenbar gibt es so etwas wie einen „Callout-Manager”, mit dem sich die Callouts farblich variieren lassen. Das ist sicherlich für den einen oder anderen interessant. Ich selbst weiß noch nicht, ob und wie ich diese Möglichkeit künftig nutzen werde.
https://www.mathoi.at/2026/07/22/obsidian-kaizen-der-callout-manager/
Statt Bequemlichkeit | Tue, was den Unterschied macht
Dan Rockwell wirft einen interessanten Ansatz in den Raum. Nicht das, was uns glücklich macht, sollte in den Fokus gestellt werden, sondern das, was uns voranbringt. Das klingt naheliegend. Eigentlich. Aber seien wir ehrlich: Wir suchen doch immer zuerst nach dem „Glück” und dem, was uns „Spaß” macht. Zumindest legen das viele Ratschläge immer wieder nahe. Rockwell sagt jedoch, dass das, was den Unterschied macht, viel relevanter ist. Ich würde ergänzen, dass dort der Schlüssel zur langfristigen, gesunden Zufriedenheit liegt. Glück ist flüchtig. Zufriedenheit macht träge. Etwas zu finden, das den Unterschied macht und von dem man überzeugt ist, dass es einen voranbringt, ist nicht immer bequem, hält uns aber in Bewegung.
https://leadershipfreak.blog/2026/07/24/do-what-makes-you-unhappy/
Gefühl der Einsamkeit | Ein nachdenklicher Impuls
Der Blogartikel von Uwe Hauck lässt mich nachdenklich zurück. Ein bisschen erkenne ich mich selbst darin wieder. Spezialthemen, die nur wenige interessieren – das kommt mir bekannt vor. Wenn auch die thematische Schnittmenge eine etwas andere ist. Auch ich habe gemerkt, wie wichtig soziale Kontakte sind, und nehme daher regelmäßig an Veranstaltungen wie dem Europa-Stammtisch, Meet and Talk von Wir in Weinsberg und ähnlichen Events teil. Viele Freunde und Bekannte, die meine Interessen teilen, leben übrigens oft 100 km weit weg von meinem Wohnort. Mit nur wenigen Menschen im Umkreis von 50 km habe ich einen sehr intensiven Kontakt, der unter die Rubrik „echte Freundschaft” fällt. Glücklicherweise kämpfe ich nicht gegen eine Angststörung. Das macht es etwas einfacher. Aber auch bei mir kommt gelegentlich das Gefühl der Einsamkeit hoch, wenn Gespräche mit Tiefgang fehlen und der Austausch im Alltag nur an der Oberfläche kratzt.
https://www.livingthefuture.de/2026/07/19/alleine-ist-ein-zustand-einsam-ein-gefuehl/
LEAN
Standardisierung und Kaizen | Gute Standards sind lebendig
In seinem Blogartikel beschreibt Mark Graban ein Thema, das ich in ähnlicher Form auch immer wieder aufgreife: Standards. Ich verstehe Standards als „fluid” und adaptiv. Es sind gut bestätigte Arbeitshypothesen, die so lange gültig sind, bis wir eine bessere finden. Ganz simpel und einfach. Sie entwickeln sich beständig weiter. Ganz im Sinne von Kaizen. Allerdings erlebe ich immer wieder, dass Standards nicht reflektiert oder hinterfragt werden – geschweige denn angepasst. Einmal definiert, gelten sie, bis das Römische Reich untergeht. Das ist in meinen Augen unsinnig. In eine ähnliche Kerbe schlägt auch der Beitrag.
https://www.leanblog.org/2026/07/standardized-work-and-kaizen-toyota
AGILE
Prototypentest | Feedback Capture Grids nutzen
Im Scamper-Blog von Lars Richter bin ich auf einen Ansatz gestoßen, der mich stark an ein Format erinnert, das wir gerne in Team-Retros verwenden. Der Unterschied ist, dass er es im Kontext von Prototypentesting nutzt. Eigentlich naheliegend. Das Feedback Capture Grid ist ein einfaches Raster, das sich leicht abbilden lässt und fast selbsterklärend ist. Es liegt also nahe, es auch tatsächlich als Feedback-Werkzeug für das Prototypentesten zu nutzen.
https://scamper.blog/feedback-capture-grid
Impediments | Einordnung der Impediments auf einer Wirkungspyramide
Als ich den Blogartikel von Dominik Maximini gesehen habe, bin ich im ersten Moment innerlich etwas zusammengezuckt. Eine Pyramide der Impediements? Glücklicherweise hat er direkt klargestellt, dass es nicht darum geht, dass Teams eine Stufe nach der anderen durchlaufen – in dem Fall hätte ich den Beitrag nicht einmal erwähnt – sondern dass es sich um eine Einordnungshilfe handelt, die dabei helfen soll, Hindernisse zu kategorisieren. Das macht die Sache für mich interessanter. Die Hauptunterscheidung liegt in den Einflussebenen „Team” oder „Organisation”, also wo kann ich den Hebel ansetzen, um Wirkung zu erzielen? Diese beiden Hauptebenen differenziert er in Unterkategorien, die in einer „Wirksamkeitspyramide” münden. Die Darstellung finde ich persönlich zwar nicht optimal, dennoch kann ich inhaltlich gut folgen. Denn tatsächlich sind viele Impediments struktureller Art und es hilft herzlich wenig, an einem Team „herumzudoktern”. Solche Fälle durfte ich im Leben auch schon oft genug erleben. Das Team war top, konnte aber wegen struktureller Probleme an den Schnittstellen innerhalb der Organisation – beispielsweise entlang der Wertstromkette, in die es eingebunden war – sein Potenzial nicht nutzen.
https://www.scrum.org/resources/blog/pyramid-impediments
Agile Rolle | Gute Arbeit, die unsichtbar bleibt
In den letzten Monaten hatte ich den Eindruck, dass massenweise Agile Coaches, Scrum Master:innen, Kanban Coaches und Ähnliches nach neuen Jobs Ausschau gehalten haben, weil ihre Stellen in Unternehmen wegrationalisiert worden sind. Das Problem bei diesen Rollen ist, dass die Leistung der Inhaber:innen nicht direkt bezifferbar ist und somit oft unklar ist, welchen Mehrwert die Rolle hat. Marc Löffler greift genau dieses Thema unter dem Titel „Gute Arbeit, die keiner sieht, sieht aus wie gar keine Arbeit” auf. Ich würde behaupten, dass dies für jede Form echter und guter Führungsarbeit gilt. Selbst wenn man seinem Vorschlag folgt, braucht es immer noch eine Referenz, um die Sichtbarkeit durch einen Vergleich herzustellen, was in der Praxis weiterhin schwierig bleiben dürfte.
https://passionateteams.com/e/gute-arbeit-die-keiner-sieht-sieht-aus-wie-gar-keine-arbeit
Velocity | Die kognitiven Fallen der Velocity
Die gute alte Velocity ist nach wie vor ein Dauerbrenner, wie es scheint. Noch einmal: Sie misst den Durchsatz und ist somit eine Kennzahl für das Team, mit der sich dessen spezifische Geschwindigkeit ermitteln lässt. Ein Vergleich mit anderen Teams ist jedoch nicht möglich, da er auf relationellen Schätzungen basiert. Sie ist aber sicherlich nicht die einzige Kennzahl, mit der man arbeiten und auf die man sich verlassen sollte. Chuck Suscheck verdeutlicht gut, weshalb dem so ist, denn hier lauern auch einige kognitive Fallen, die zu Fehlschlüssen verleiten könnten.
https://www.scrum.org/resources/blog/cognitive-trap-velocity-misinterpretation
Scheitern | Weshalb „kontrolliertes“ Scheitern für das Lernen von Bedeutung ist
Auf den ersten Blick mag der Titel „Wann Scrum Master Teams bewusst scheitern lassen sollten” von Niklas Magerl etwas seltsam klingen. Zusammengefasst geht es jedoch nicht um das Scheitern an sich, sondern um „Risikomanagement” im Hinblick auf Experimente, die die Lernerfahrung des Teams stärken sollen. Es geht also um ein kontrolliertes „Scheitern“ mit dem Ziel, die Lernerfahrung zu intensivieren. Das ist naheliegend, denn Scheitern gehört zum Geschäft, wenn wir explorativ unterwegs sind und Lösungen erkunden. Wir müssen ja erst herausfinden, was der richtige Weg ist. Versuch und Irrtum gehören dazu. Das Ganze jedoch auf Risikomanagement zu reduzieren, würde zu kurz greifen. Ein durchaus lesenswerter Ansatz.
https://t2informatik.de/blog/scrum-master-teams-scheitern-lassen-sollten/
Scrum ohne Manager? | Auch selbstorganisierte Teams brauchen Führung
Ein hartnäckiger Mythos ist, dass selbstorganisierte Teams ohne Führung auskommen und man daher keine Führungskräfte mehr braucht. Das artet gerne auch mal so aus, dass behauptet wird, das Team sei selbstorganisiert und solle deshalb alles selbst entscheiden, wobei das Team dann im Stich gelassen wird. Nein, die Führung und das Management haben auch bei selbstorganisierten Teams nicht ausgedient. Die meisten Teams sind operative Teams. Sie sind auf operativer Flughöhe unterwegs. Für den ganzen taktischen, strategischen „Kram” haben sie nur bedingt Kapazitäten – und hier kommt unter anderem die Führung ins Spiel. Nur um ein Beispiel zu geben. Es ist auch ein weitverbreitetes Missverständnis, dass Scrum Master (und oft auch Product Owner) keine Führungskräfte sind. Sie sind genau das. Dazu passt, dass Mary Iqbal der Frage nachgeht, ob es in Scrum keine „Manager” gibt.
https://www.scrum.org/resources/blog/no-manager-scrum
LEADERSHIP UND MANAGEMENT
Führung braucht Ausbildung | Führungskräfte oft nicht auf Führungsaufgabe vorbereitet
Bei vielen Führungskräften lässt sich feststellen, dass sie nicht darauf vorbereitet wurden, Führungskraft zu werden. Mit etwas Glück bringen sie Vorerfahrung mit, sind hochgradig selbstreflektiert und bereiten sich daher selbst auf ihre Aufgabe vor. Dennoch ist meine Beobachtung nach wie vor, dass man sie viel zu oft im Stich lässt und sie nicht auf ihre Aufgabe vorbereitet. Eine Beobachtung, die Jan Fischbach zu teilen scheint. Er plädiert dafür, dass Führungskräfte eine „Ausbildung” benötigen. Führen will gelernt sein. Und da stimme ich ihm zu. Da ist nach wie vor viel Luft nach oben.
https://www.teamworkblog.de/2026/07/fuhrungskrafte-brauchen-eine-ausbildung.html
#Agile #Führung #Impediments #Kaizen #Leadership #Lean #Mangement #Obsidian #Produktivität #Prototypentest #Scheitern #Scrum #Standardisierung -
#LINKSDERWOCHE | 30/2026: Produktivität, Lean, Agile, Mangement und Leadership
Photo by Pixabay on Pexels.comPRODUKVITIÄT
Obsidian | Callouts farblich gestalten
Eine Funktion, die ich in Obsidian bisher noch nicht genutzt habe, ist durch einen Blogartikel von Thomas Mathoi wieder in meinen Fokus gerückt: Callouts. Offenbar gibt es so etwas wie einen „Callout-Manager”, mit dem sich die Callouts farblich variieren lassen. Das ist sicherlich für den einen oder anderen interessant. Ich selbst weiß noch nicht, ob und wie ich diese Möglichkeit künftig nutzen werde.
https://www.mathoi.at/2026/07/22/obsidian-kaizen-der-callout-manager/
Statt Bequemlichkeit | Tue, was den Unterschied macht
Dan Rockwell wirft einen interessanten Ansatz in den Raum. Nicht das, was uns glücklich macht, sollte in den Fokus gestellt werden, sondern das, was uns voranbringt. Das klingt naheliegend. Eigentlich. Aber seien wir ehrlich: Wir suchen doch immer zuerst nach dem „Glück” und dem, was uns „Spaß” macht. Zumindest legen das viele Ratschläge immer wieder nahe. Rockwell sagt jedoch, dass das, was den Unterschied macht, viel relevanter ist. Ich würde ergänzen, dass dort der Schlüssel zur langfristigen, gesunden Zufriedenheit liegt. Glück ist flüchtig. Zufriedenheit macht träge. Etwas zu finden, das den Unterschied macht und von dem man überzeugt ist, dass es einen voranbringt, ist nicht immer bequem, hält uns aber in Bewegung.
https://leadershipfreak.blog/2026/07/24/do-what-makes-you-unhappy/
Gefühl der Einsamkeit | Ein nachdenklicher Impuls
Der Blogartikel von Uwe Hauck lässt mich nachdenklich zurück. Ein bisschen erkenne ich mich selbst darin wieder. Spezialthemen, die nur wenige interessieren – das kommt mir bekannt vor. Wenn auch die thematische Schnittmenge eine etwas andere ist. Auch ich habe gemerkt, wie wichtig soziale Kontakte sind, und nehme daher regelmäßig an Veranstaltungen wie dem Europa-Stammtisch, Meet and Talk von Wir in Weinsberg und ähnlichen Events teil. Viele Freunde und Bekannte, die meine Interessen teilen, leben übrigens oft 100 km weit weg von meinem Wohnort. Mit nur wenigen Menschen im Umkreis von 50 km habe ich einen sehr intensiven Kontakt, der unter die Rubrik „echte Freundschaft” fällt. Glücklicherweise kämpfe ich nicht gegen eine Angststörung. Das macht es etwas einfacher. Aber auch bei mir kommt gelegentlich das Gefühl der Einsamkeit hoch, wenn Gespräche mit Tiefgang fehlen und der Austausch im Alltag nur an der Oberfläche kratzt.
https://www.livingthefuture.de/2026/07/19/alleine-ist-ein-zustand-einsam-ein-gefuehl/
LEAN
Standardisierung und Kaizen | Gute Standards sind lebendig
In seinem Blogartikel beschreibt Mark Graban ein Thema, das ich in ähnlicher Form auch immer wieder aufgreife: Standards. Ich verstehe Standards als „fluid” und adaptiv. Es sind gut bestätigte Arbeitshypothesen, die so lange gültig sind, bis wir eine bessere finden. Ganz simpel und einfach. Sie entwickeln sich beständig weiter. Ganz im Sinne von Kaizen. Allerdings erlebe ich immer wieder, dass Standards nicht reflektiert oder hinterfragt werden – geschweige denn angepasst. Einmal definiert, gelten sie, bis das Römische Reich untergeht. Das ist in meinen Augen unsinnig. In eine ähnliche Kerbe schlägt auch der Beitrag.
https://www.leanblog.org/2026/07/standardized-work-and-kaizen-toyota
AGILE
Prototypentest | Feedback Capture Grids nutzen
Im Scamper-Blog von Lars Richter bin ich auf einen Ansatz gestoßen, der mich stark an ein Format erinnert, das wir gerne in Team-Retros verwenden. Der Unterschied ist, dass er es im Kontext von Prototypentesting nutzt. Eigentlich naheliegend. Das Feedback Capture Grid ist ein einfaches Raster, das sich leicht abbilden lässt und fast selbsterklärend ist. Es liegt also nahe, es auch tatsächlich als Feedback-Werkzeug für das Prototypentesten zu nutzen.
https://scamper.blog/feedback-capture-grid
Impediments | Einordnung der Impediments auf einer Wirkungspyramide
Als ich den Blogartikel von Dominik Maximini gesehen habe, bin ich im ersten Moment innerlich etwas zusammengezuckt. Eine Pyramide der Impediements? Glücklicherweise hat er direkt klargestellt, dass es nicht darum geht, dass Teams eine Stufe nach der anderen durchlaufen – in dem Fall hätte ich den Beitrag nicht einmal erwähnt – sondern dass es sich um eine Einordnungshilfe handelt, die dabei helfen soll, Hindernisse zu kategorisieren. Das macht die Sache für mich interessanter. Die Hauptunterscheidung liegt in den Einflussebenen „Team” oder „Organisation”, also wo kann ich den Hebel ansetzen, um Wirkung zu erzielen? Diese beiden Hauptebenen differenziert er in Unterkategorien, die in einer „Wirksamkeitspyramide” münden. Die Darstellung finde ich persönlich zwar nicht optimal, dennoch kann ich inhaltlich gut folgen. Denn tatsächlich sind viele Impediments struktureller Art und es hilft herzlich wenig, an einem Team „herumzudoktern”. Solche Fälle durfte ich im Leben auch schon oft genug erleben. Das Team war top, konnte aber wegen struktureller Probleme an den Schnittstellen innerhalb der Organisation – beispielsweise entlang der Wertstromkette, in die es eingebunden war – sein Potenzial nicht nutzen.
https://www.scrum.org/resources/blog/pyramid-impediments
Agile Rolle | Gute Arbeit, die unsichtbar bleibt
In den letzten Monaten hatte ich den Eindruck, dass massenweise Agile Coaches, Scrum Master:innen, Kanban Coaches und Ähnliches nach neuen Jobs Ausschau gehalten haben, weil ihre Stellen in Unternehmen wegrationalisiert worden sind. Das Problem bei diesen Rollen ist, dass die Leistung der Inhaber:innen nicht direkt bezifferbar ist und somit oft unklar ist, welchen Mehrwert die Rolle hat. Marc Löffler greift genau dieses Thema unter dem Titel „Gute Arbeit, die keiner sieht, sieht aus wie gar keine Arbeit” auf. Ich würde behaupten, dass dies für jede Form echter und guter Führungsarbeit gilt. Selbst wenn man seinem Vorschlag folgt, braucht es immer noch eine Referenz, um die Sichtbarkeit durch einen Vergleich herzustellen, was in der Praxis weiterhin schwierig bleiben dürfte.
https://passionateteams.com/e/gute-arbeit-die-keiner-sieht-sieht-aus-wie-gar-keine-arbeit
Velocity | Die kognitiven Fallen der Velocity
Die gute alte Velocity ist nach wie vor ein Dauerbrenner, wie es scheint. Noch einmal: Sie misst den Durchsatz und ist somit eine Kennzahl für das Team, mit der sich dessen spezifische Geschwindigkeit ermitteln lässt. Ein Vergleich mit anderen Teams ist jedoch nicht möglich, da er auf relationellen Schätzungen basiert. Sie ist aber sicherlich nicht die einzige Kennzahl, mit der man arbeiten und auf die man sich verlassen sollte. Chuck Suscheck verdeutlicht gut, weshalb dem so ist, denn hier lauern auch einige kognitive Fallen, die zu Fehlschlüssen verleiten könnten.
https://www.scrum.org/resources/blog/cognitive-trap-velocity-misinterpretation
Scheitern | Weshalb „kontrolliertes“ Scheitern für das Lernen von Bedeutung ist
Auf den ersten Blick mag der Titel „Wann Scrum Master Teams bewusst scheitern lassen sollten” von Niklas Magerl etwas seltsam klingen. Zusammengefasst geht es jedoch nicht um das Scheitern an sich, sondern um „Risikomanagement” im Hinblick auf Experimente, die die Lernerfahrung des Teams stärken sollen. Es geht also um ein kontrolliertes „Scheitern“ mit dem Ziel, die Lernerfahrung zu intensivieren. Das ist naheliegend, denn Scheitern gehört zum Geschäft, wenn wir explorativ unterwegs sind und Lösungen erkunden. Wir müssen ja erst herausfinden, was der richtige Weg ist. Versuch und Irrtum gehören dazu. Das Ganze jedoch auf Risikomanagement zu reduzieren, würde zu kurz greifen. Ein durchaus lesenswerter Ansatz.
https://t2informatik.de/blog/scrum-master-teams-scheitern-lassen-sollten/
Scrum ohne Manager? | Auch selbstorganisierte Teams brauchen Führung
Ein hartnäckiger Mythos ist, dass selbstorganisierte Teams ohne Führung auskommen und man daher keine Führungskräfte mehr braucht. Das artet gerne auch mal so aus, dass behauptet wird, das Team sei selbstorganisiert und solle deshalb alles selbst entscheiden, wobei das Team dann im Stich gelassen wird. Nein, die Führung und das Management haben auch bei selbstorganisierten Teams nicht ausgedient. Die meisten Teams sind operative Teams. Sie sind auf operativer Flughöhe unterwegs. Für den ganzen taktischen, strategischen „Kram” haben sie nur bedingt Kapazitäten – und hier kommt unter anderem die Führung ins Spiel. Nur um ein Beispiel zu geben. Es ist auch ein weitverbreitetes Missverständnis, dass Scrum Master (und oft auch Product Owner) keine Führungskräfte sind. Sie sind genau das. Dazu passt, dass Mary Iqbal der Frage nachgeht, ob es in Scrum keine „Manager” gibt.
https://www.scrum.org/resources/blog/no-manager-scrum
LEADERSHIP UND MANAGEMENT
Führung braucht Ausbildung | Führungskräfte oft nicht auf Führungsaufgabe vorbereitet
Bei vielen Führungskräften lässt sich feststellen, dass sie nicht darauf vorbereitet wurden, Führungskraft zu werden. Mit etwas Glück bringen sie Vorerfahrung mit, sind hochgradig selbstreflektiert und bereiten sich daher selbst auf ihre Aufgabe vor. Dennoch ist meine Beobachtung nach wie vor, dass man sie viel zu oft im Stich lässt und sie nicht auf ihre Aufgabe vorbereitet. Eine Beobachtung, die Jan Fischbach zu teilen scheint. Er plädiert dafür, dass Führungskräfte eine „Ausbildung” benötigen. Führen will gelernt sein. Und da stimme ich ihm zu. Da ist nach wie vor viel Luft nach oben.
https://www.teamworkblog.de/2026/07/fuhrungskrafte-brauchen-eine-ausbildung.html
#Agile #Führung #Impediments #Kaizen #Leadership #Lean #Mangement #Obsidian #Produktivität #Prototypentest #Scheitern #Scrum #Standardisierung -
What I’ve been reading (and watching) week ending 26 July 2026 https://jchyip.medium.com/what-ive-been-reading-and-watching-week-ending-26-july-2026-9c11a433eabc #politics #AI #SystemsThinking #economics #Lean #SoftwareEngineering
-
What I’ve been reading (and watching) week ending 26 July 2026 https://jchyip.medium.com/what-ive-been-reading-and-watching-week-ending-26-july-2026-9c11a433eabc #politics #AI #SystemsThinking #economics #Lean #SoftwareEngineering
-
Hmmm... 🤔
Should we trust #AI-generated formal proofs in #Lean 4? https://mathoverflow.net/questions/513540/should-we-trust-ai-generated-formal-proofs-in-lean-4 #zeitgeist #math
-
Hmmm... 🤔
Should we trust #AI-generated formal proofs in #Lean 4? https://mathoverflow.net/questions/513540/should-we-trust-ai-generated-formal-proofs-in-lean-4 #zeitgeist #math
-
If somebody posts a claimed #AI generated proof of the Riemann hypothesis on the arXiv and it has a complete #lean formalization coming with the paper, would you download the lean proof (~100.000 lines) and check it on your computer?
You should NOT DO THIS.
That's very easy social engineering because you just downloaded code from the Internet and ran it. Could be malware.
-
If somebody posts a claimed #AI generated proof of the Riemann hypothesis on the arXiv and it has a complete #lean formalization coming with the paper, would you download the lean proof (~100.000 lines) and check it on your computer?
You should NOT DO THIS.
That's very easy social engineering because you just downloaded code from the Internet and ran it. Could be malware.
-
Just dropped two new papers into the arxiv:
https://arxiv.org/abs/2607.12461
http://arxiv.org/abs/2607.17421
This caps off an extraordinary arc, the true seed of which was harshly interrupted by Covid, curling over multiple personal life changes, ending during a dawn in the dominance of AI-augmented mathematics.
Aside from the significant progress on one of my personal favourites ---indeed a *classic* Erdos problem--- what might be of wider interest is our use of (semiautomatically generated) Lean to corroborate the fidelity of computationally-aided proof methods (in this case, a nontrivial variant of flag algebras).
Oh, and let me extend my congratulations to all the Eoins.
#eoins #combinatorics #generativeAI #formalization #semiautomatic #lean #covid
-
Just dropped two new papers into the arxiv:
https://arxiv.org/abs/2607.12461
http://arxiv.org/abs/2607.17421
This caps off an extraordinary arc, the true seed of which was harshly interrupted by Covid, curling over multiple personal life changes, ending during a dawn in the dominance of AI-augmented mathematics.
Aside from the significant progress on one of my personal favourites ---indeed a *classic* Erdos problem--- what might be of wider interest is our use of (semiautomatically generated) Lean to corroborate the fidelity of computationally-aided proof methods (in this case, a nontrivial variant of flag algebras).
Oh, and let me extend my congratulations to all the Eoins.
#eoins #combinatorics #generativeAI #formalization #semiautomatic #lean #covid
-
Introduction to Formal Verification with Lean Part 1
https://hashcloak.com/blog/tutorial-introduction-to-formal-verification-with-lean-(part-1)
Comments: https://news.ycombinator.com/item?id=48969200
#HackerNews #formalverification #Lean #programming #tutorial #cryptography #softwaredevelopment
-
Ah, the riveting world of 'Combinatorial Games in #Lean,' where you'll find endless lines of code that only a motherboard could love. 🤖💾 It's like playing chess, but all the pieces are invisible and the board is on fire. 🔥♟️ Who needs friends when you have GitHub Copilot whispering sweet nothings about code vulnerabilities in your ear? 🙄
https://github.com/vihdzp/combinatorial-games #CombinatorialGames #Coding #GitHubCopilot #TechHumor #GameTheory #HackerNews #ngated -
"If you're fearful of LLMs producing slop, or building a system that nobody understands, these are the techniques that the best software engineering teams have used for decades to mitigate that risk with humans."
#ai #softwareengineering #developerexperience #lean #darkfactory #productivity
-
"If they need to chase five different people for incomplete documents, you're not going to speed up said process by adding more lawyers to the department."
#ai #theoryofconstraints #lean #productivity
https://frederickvanbrabant.com/blog/2026-05-15-i-dont-think-ai-will-make-your-processes-go-faster/
-
So, what language is everybody using for https://icfpcontest2026.com/ ?
I'm probably going to use #Haskell (GHC) but I think it would be fun to use #Idris
I know there are several teams that used to be #CPlusPlus but I think most of them have switched over to #Rust . Will someone try to bring #Zig, #Agda, or even #Lean to the party?
Give me other ideas for poll options in the replies and quotes. I'll start a poll 7 days before the contest starts.
-
Мы с женой нашли один запрет за 7 нерешаемыми задачами и первым делом построили машину, которая не даёт нам соврать
Ну всё, я это сказал. «Один запрет за проблемами тысячелетия». Половина из вас уже тянется к минусу и слову на букву «к». И правильно тянется, потому что почти каждый, кто пишет такое, несёт чушь. Решили задачу тысячелетия или пробили столетнюю гипотезу, которую не смогли сотни умнейших математиков планеты до вас. Ну точно кранки! Поэтому договоримся сразу. Первым делом не пафос, а признание! Где мы могли соврать
https://habr.com/ru/articles/1057330/
#lean #collatz_conjecture #Twins_conjecture #riemann #navierstokes_equation #fractal #prime_numbers #доказательства #формальная_верификация #простые_близнецы
-
The Next Value Stream: What #Lean Can Learn from the Internet https://www.lean.org/the-lean-post/articles/the-next-value-stream-what-lean-can-learn-from-the-internet/
