Just in case #Lean turns out to be the next big thing, this syntax introduction is worth a look. ๐ก
You will immediately feel at home if you know Scala and a bit of Haskell.
@matejcerny.bsky.social
@matejcerny.bsky.socialJust in case #Lean turns out to be the next big thing, this syntax introduction is worth a look. ๐ก
You will immediately feel at home if you know Scala and a bit of Haskell.
@procesverbeteren.bsky.socialDe klanten van verlichtingsleverancier #Signify willen steeds meer maatwerk, snelle leveringen, en hun bestelpatroon wordt steeds onvoorspelbaarder!
Blijft voorraad-arme (#Lean) productie dan mogelijk?
www.procesverbeteren.nl/LEAN/Signify...
@fmontesi.bsky.social29 September, 09:00โ10:30 โ DIAS Auditorium, Odense
#HybridThreats #Europe #FormalMethods #DIAS #Lean #FORM #CSLib
7/7
@sun-jester.bsky.social
@zygoframe.bsky.social
@imperativepr.bsky.socialLots happening for gothic metal / post-DSBM duo, Lรฉan - new label. new album, new single! Find out more at Tempiduri...
#tempiduri #lean #apocalypticwitchcraft #meristeme #hindmost #postdsbm
@davy.quest
@mcsolutions.bsky.socialEngage teams in Kaizen to spot waste and improve processes. Track OEE and first-pass yield to measure impact.
@gasmholic.bsky.socialโจ [GasmHolic] ์ ๊ตญ ๋ง์ง ์ฌ์ฅ๋๋ค์ด ์ ํํ ์์์ฌ๋งํธ ์์์ฌ๋งํธ ๊ฐ์ฆํ๋ฆญ ๋จ๋ ์ ์
"์ด๋ฅธ ์๋ฒฝ์ ๋ฐ๋ก๋ฐ๋ฉฐ ๋ํ์๊ณผ ํจ๊ป ํ๋ #Lean #Start-up ๋ค์ฉ๋ ํฅ์ ๋ฃ ๊ทธ๋ฆฌ๊ณ ์๋ง์ ๋น ์ง์ง ์๋ #ํ๊ฐ #ํ๊ฐํฅ"
๐ฌ ํ๊ธฐ: ์บ ํ ๊ฐ์ ๋จน์๋๋ฐ ์ง์ธ๋ค์ด ์ด๋์ ์๋๊ณ ๋๋ฆฌ๋ค์. ๊ฐ๋ ฅ ์ถ์ฒํฉ๋๋ค!
๐ฅ ํน๊ฐ: 96% (37,490์ -> 1,490์)
๐ ๊ตฌ๊ฒฝ๊ฐ๊ธฐ: smartstore.naver.com/gasmholic/pr...
@mcsolutions.bsky.socialLean basics: map your value streams, adopt just-in-time, and standardise work to cut waste and raise quality.
Learn more: www.mcsolutions.co.uk/key-principl...
@procesverbeteren.bsky.social#Incorruptable: How to Safeguard a (#Lean) Company #Mission !
@dragonfitfreak.bsky.social9/16/26 Workout: ๐ง๐ผ๐๐ฎ๐น-๐๐ผ๐ฑ๐
โNon-stop 4-move circuit: upper-body, cardio, core & explosive legs. Sprawls, speed skaters & elevator push-ups!
โSTRICTLY BODYWEIGHT. ๐ฅ
โ๐ญ๐ช๐ฝ๐๐๐๐๐๐ ๐๐๐๐๐๐ช๐ฝ๐ญ
#VeganAthlete #VeganFitOver50 #TinyTank #FitPetite #Lean
@fmontesi.bsky.socialA tour through Eurotheory and formal methods to Lean, Mathlib, CSLib, AI-assisted formalisation, and the question of what we should actually choose to verify.
www.fabriziomontesi.com/bliki/Europr...
2/2
@truenorthlink.bsky.socialEvery stalled Lean rollout I've seen had a working method and a broken relationship.
Optimising a process is the easy half. Earning the people who run it is the actual work.
The method was never the bottleneck.
@procesverbeteren.bsky.social๐ #Nieuwsbrief #Procesverbeteren
โฆ niet geรฏnspireerd door AI, maar door bedrijven!
โญGefocust Verbeteren
โญ#Incorruptable: Je (#Lean) bedrijfsmissie bรณrgen
โญProcesverbetering Sint Maartenskliniek met #SixSigma!
โญ#Robotisering: Autonome productie
@leanconstructionm.bsky.socialNo solo tomes un curso, vive la experiencia ๐ก
๐ En Lean Construction Mรฉxicoยฎ transformamos la formaciรณn en aprendizaje aplicado que
genera resultados.
#ViveLaExperiencia #Lean #Construcciรณn #Innovaciรณn
@kevmoo.comCool to see the #dartlang language team adopting #lean github.com/dart-lang/l...
@tonyotwitch.bsky.socialHorn-Dawgz Know No Mortality
#twitch #gaming #youtube #pc #personalcomputer #7daystodie #zombie #horror #crafting #survival #openworld #basebuilding #fps #woman #horny #pose #lean #disappear
@waynerad.bsky.socialA solution to a longstanding math problem relating to the Navier-Stokes equations has been found by AI. The Navier-Stokes equations are equations for taking Newton's laws of motion and making them continuous, so they apply to fluids.
openai.com/index/navier...