Re: #TheoryOfConstraints being better than #Lean

"TPS does not allow a bottleneck to set the pace of the value stream." https://blog.gembaacademy.com/2007/04/19/toc-bottleneck-versus-lean-pacemaker_19/

From Principles of Product Development Flow by Don Reinertsen (https://amzn.to/43MW3X0)

"The 100-fold improvement ... was not achieved by finding bottlenecks and adding capacity to the bottlenecks. It was achieved by reducing batch size."

"...the bottlenecks of product development are stochastic bottlenecks, not deterministic ones"

Am 24. April steigt die nächste Ausgabe meines Online-Kompaktevents "Die Zukunft der Lean-Transformation": Zwei Stunden mit erstaunlich viel Impuls und reichlich Gelegenheit zum Diskurs zu #Lean und #Veränderungsarbeit mit Sinn! Nur EUR 25,00. Jetzt anmelden - nur über Lean Knowledge Base: https://leanbase.de/events/event/hp8q3-lean-transformation-mit-niels-pflaging

"How do you test?"

.. was an interesting question at last night's #pydata Exeter where 2 of the 3 talks were on proof assistants - mine on Lean, another on Isabelle.

The answer is surprising to newcomers.

The only error you can make is in incorrectly specifying the thing you want to prove. You don't make mistakes in the proof itself.

Pretty cool!

Really enjoyed #pydata #exeter earlier.

The best part of the conversations around the talks.

I was also pleased my own intro talk to #maths proofs with #lean generated questions.

#HoshinKanri as a Foundational Piece of a #Lean Management System https://www.lean.org/the-lean-post/articles/hoshin-kanri-as-a-foundational-piece-of-a-lean-management-system/

[blog] Meetup Lean Tech à Paris, le 3 avril 2025 https://onpk.net/index.php/2025/03/28/903-meetup-lean-tech-nc-paris-le-3-avril-2025

Un retour d'expérience où je parlerai de notre démarche #Lean entamé depuis 2017...

I'm only just starting to learn #haskell

I've today come across "type inference" where it works out the type of a thing by how you use it.

I saw it in #Lean too with #implicit types".

Anyway - my brain is worrying that this is not a foolproof system and the languages should never have allowed it.

Am I wrong to worry?

To everyone saying they feel so productive when using an "AI" coding tool to make them code faster:

Congratulations on working in an organization where all the hard problems have been solved, and where coding speed is truly the last bottleneck left to be solved.

After the joys and luxuries of

* Lean's infoview - a continuous evaluation and feedback system for Lean programs

* interactive lisp development with emacs slime-repl

I feel like I'm going back a few centuries with Haskell's edit and then manually compile in a terminal workflow.

I'll be doing a short beginner-friendly intro and live-demo of the Lean + Mathlib maths proof system

at the next #pydata #exeter meetup in early April

https://www.meetup.com/pydata-exeter/events/306511193/

Move over #Deming cycle, here's a new problem solving method!

Suspense insoutenable !

Rendez-vous les 1er et 2 avril 2025 à Paris (Beffroi de Montrouge)

Programme complet de la conférence : https://lnkd.in/eRmf8Rki

Toutes les infos sont disponibles sur le site : https://lnkd.in/e6Xh8evJ

#agile #lean #toc #intelligencecollective
@numerique_gouv

Formalisé sans paralyser c'est pourtant nécessaire, les fameux standards du #lean. Il faut bien entendu les co-construire

"poser un cadre clair qui donne de la liberté aux individus, tout en garantissant que l’énergie est orientée vers ce qui compte vraiment et que les lignes rouges sont bien protégées."
https://www.duperrin.com/2025/01/22/formalisation-agilite-levier-performance-operations/ par #bertrandduperrin

After months of working daily, today at 5.02pm approx I completed the course

" Mechanics of Proof "

That's means I completed every exercise - (except 3)

When I started I wanted to learn cover the basis of not just algebra, but also sets and functions - and the course does that. The only area it doesn't cover that I wanted was real analysis - eg convergence of sequences etc

phew !

https://hrmacbeth.github.io/math2001/index.html

"I love it when a plan comes together"

- John "Hannibal" Smith, The A-Team

If you think writing maths proofs in code is only for PhDs...

... this course was created for you!

* small bite-size examples
* concepts first, code second
* minimal jargon
* one simple exercise per chapter - designed to build confidence - not destroy it !

https://www.amazon.com/dp/B0DWHS1RDJ

1. Given a set A with "at least 2 elements"

2. and a set B with "at least 2 elements"

3. and an intersection of A and B with not "at least 2 elements"

Show that A union B has "at least 3 elements"

I'm currently struggling to write a proof and then formalise it in Lean+mathlib.

Being intuitively true actually makes it harder for me.