Lmst

#Lean

@rueschen @DerGuteAlteHerrSchwarz @Tapir @Piieni @can_g @julia

welcome to the @acccgn 🥳with @micheal and @alexkylburg

thanks to @haufegroup #accCGN26 #AgileParty #lean #scrum #agile

»Great Questions for Agile Leaders to Ask« https://www.scrum.org/resources/blog/great-questions-agile-leaders-ask #Agilist.in #Agile #Change #Lean #Kanban #Scrum

@leanprover Does anyone knows if there is #Lean formalization of proofs of Kernel Density Estimation theorems?
Like convergence rates (see image, Thm 1.1 , Tsybakov' book 2008), etc?

Where could I look for such results?

@Jose_A_Alonso @xenaproject

$Theorem 1.1: Assume that condition (2.5) holds and the assumptions of Proposition 1.2 are satisfied. Fix alpha > 0 and take h = alpha n^{-1/(2 beta + 1)}. Then for n>=1 the kernel estimator p_n hat satisfy: sup sup E_p[(p_n hat(x_0) - p(x_0))^2] <= C n^{-2 beta / (2 beta + 1)} , where C>0 is a constant depending only on beta, L, alpha, and on the kernel K.$

»Your Stakeholders Don't Trust Your Process. Here's How to Fix That.« https://www.scrum.org/resources/blog/your-stakeholders-dont-trust-your-process-heres-how-fix #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Méétbaar #Lean in #ziekenhuis AZ Oudenaarde

Eenvoudige #Lean-tools zoals 5S dragen nauwelijks bij aan efficiëntere zorg. Er blijkt veel meer te winnen met betere afstemming, en met het terugdringen van onnodige variatie (#SixSigma)

https://www.procesverbeteren.nl/LEAN/AZ_Oudenaarde_Lean_zorgwaarde.php

»Die am häufigsten übersehene Aufgabe eines Product-Owners:« https://www.scrum.org/resources/blog/die-am-haufigsten-ubersehene-aufgabe-eines-product-owners #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Value, (Un)Proven: How Evidence-Based Management Can Redefine Value in Government« https://www.scrum.org/resources/blog/value-unproven-how-evidence-based-management-can-redefine-value-government #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Beyond Velocity Metrics: How to Measure AI-Agile Synchronization« https://www.scrum.org/resources/blog/beyond-velocity-metrics-how-measure-ai-agile-synchronization #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Lean Theorem Prover Mathlib

https://github.com/leanprover-community/mathlib4

#HackerNews #Lean #Theorem #Prover #Mathlib #mathlib4 #LeanProver #theoremProving #functionalProgramming

"But even now, after 11 of these 90-minute sessions, the participants still feel lost when it comes to major details of the proof. "

I wonder if proof formalisation in a proof assistant like #Lean would have brought some clarity?

https://www.quantamagazine.org/string-theory-inspires-a-brilliant-baffling-new-math-proof-20251212/

»Operating-Model Hygiene: The Hard Work Behind Real Agility« https://www.scrum.org/resources/blog/operating-model-hygiene-hard-work-behind-real-agility #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Aligning Money and Strategy « https://www.scrum.org/resources/blog/aligning-money-and-strategy #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Formal: Why Scrum needs "official" spaces to Inspect and Adapt« https://www.scrum.org/resources/blog/formal-why-scrum-needs-official-spaces-inspect-and-adapt #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»AI in Product Development: How AI is Revolutionizing the Development Process« https://scaledagile.com/blog/ai-in-product-development/ #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Quelques extraits de ce qui se vit chez @NoParking : du #Lean bien sûr et beaucoup de problèmes qui se transforment en apprentissage... https://www.planet-lean.com/articles/no-parking-lean-lessons-in-a-small-software-firm

»Revolutionizing Recruitment with SuperHired featuring Josh Hill« http://drunkenpm.blogspot.com/2025/12/revolutionizing-recruitment-with.html #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Product Leadership in Government: The Missing Middle« https://www.scrum.org/resources/blog/product-leadership-government-missing-middle #Agilist.in #Agile #Change #Lean #Kanban #Scrum

CO-CREATING VALUE IN A GLOBAL WORLD.

More #IMPACT. More #INTERACTION. More #EXCELLENCE.

Transformations are inevitable and a #cosmopolitan & #global matter. *)

This is why @acccgn is the place to be for international professionals.

Curious enough?
Become part of an awesome crowd at #accCGN26.

@acccgn 30.04.-02.05.2026

https://pretix.eu/riskonomic/ACCCGN20260430/

#impartofaccCGN26 #lean #agile #scrum #kanban

@alexkylburg, @micheal @stereo @haufegroup

»You're the Product Owner - But I Don't Know What That Means.« https://www.scrum.org/resources/blog/youre-product-owner-i-dont-know-what-means #Agilist.in #Agile #Change #Lean #Kanban #Scrum

»Rowing in Different Directions: Don’t Let Your Legacy Portfolios Prevent Future Success« https://scaledagile.com/blog/organizing-portfolios-for-strategy/ #Agilist.in #Agile #Change #Lean #Kanban #Scrum

Client Info

Server: https://mastodon.social

Version: 2025.07

Repository: https://github.com/cyevgeniy/lmst