Recent searches
Search options
#lean
Agilist.in 
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"
Actionable Agile Metrics For Predictability: Tenth Anniversary Edition https://leanpub.com/aamfp-10th by Daniel S. Vacanti is the featured book on the Leanpub homepage! https://leanpub.com #BusinessAndManagement #Agile #LeadershipAgile #AgileBusinessLeadership #Lean #Leadership #books #ebooks
Actionable Agile Metrics for Predictability is a comprehensive guide on how to use flow metrics and analytics to get the predictability your customers crave.
Until now.
Find it on Leanpub!
"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!
Lean Agile Predictability Bundle https://leanpub.com/b/leanagilepredictabilitybundle by Daniel S. Vacanti is the featured bundle of ebooks 
on the Leanpub homepage! https://leanpub.com #BusinessAndManagement #Agile #LeadershipAgile #AgileBusinessLeadership #Lean #Leadership #books #ebooks
#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/
I'm reading, "This is Lean: resolving the efficiency paradox" https://read.amazon.co.uk/kp/kshare?asin=B00JZZS7Q0&id=amjvkujeyzeoxpmlp2f5nskz7i by Niklas Modig and Pär Åhlström, published November 2012.
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.
Wer ist hier eigentlich verantwortlich?
Wen können wir dafür verantwortlich machen, wenn in einem Konzern nicht auf allen Ebenen performt wird?
https://pod.librescrum.org/@zusammen_mehr_elefant/episodes/036-wer-ist-denn-hier-verantwortlich
| wörk 
und
Heute ist ALK ( #Agile #Lean #Karlsruhe ) im Büro und ich darf schauen, ob ich für meinen Talk auf dem parallel dazu stattfindenen #devday (der rein gar nix mit dem ALK zu tun hat!) überhauot noch Zuhörer finde… 
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
Actionable Agile Metrics Volume II: Advanced Topics in Predictability https://leanpub.com/actionableagilemetricsii by Daniel S. Vacanti is the featured book on the Leanpub homepage! https://leanpub.com #Agile #LeadershipAgile #Leadership #AgileBusinessLeadership #Lean #ProductManagement #books #ebooks
The second volume in a series on how to use flow metrics and analytics to get the predictability your customers crave.
Find it on Leanpub!
As part of our (@sarantja@mastodon.social and yt) research on the usability of interactive theorem provers, we are conducting a study on the usage and state of tools and languages for type-driven development. We are interested in tools that encourage and facilitate type-driven development, especially in cases when they can help us reason about complex problems.
We are hoping to use your responses to identify the characteristic language features and tool interactions that enable type-driven development, with the eventual goals of enhancing them and bringing their benefits to a wider range of programmers.
Please fill in our anonymous, 10-minute survey here: https://tudelft.fra1.qualtrics.com/jfe/form/SV_bIsMxYTKUJkhVuS
You are welcome to participate if you have experience with any type-driven development tool, including dependently-typed languages (e.g., Coq, Lean, Agda), refinement types (e.g., Liquid Haskell), or even other static type systems (e.g., in Rust or Haskell).
P.S. In case you remember signing up for an interview with us in a previous survey and are now wondering whether that study will still go on, the answer is: yes! We’ve had to revise our schedule, but we are still excited to talk to you and will start inviting people for an interview soon.
Join us TUE Mar 11th for "LEAN - Interactive LLMs" hosted by @jaredc First we'll explore using LLMs for proofs in Lean. Then, we'll work together to tackle math theorems together. Don’t miss this hands-on session!
#lean #FunctionalProgramming #formalmethods @leanprover #chstech
https://www.charlestonlc.org/classes/charleston-lean-proof-assistant-meetup/
