Celrunia_QT · @Celrunia_QT
142 followers · 293 posts · Server net4sw.com
· @perrick
31 followers · 178 posts · Server mamot.fr

Nicolas Colin revient au blog avec un billet inspiré des prédictions financiario-démographiques de Peter Zeihan : europeanstraits.substack.com/p Fin du capital pas cher, fin des grosses cohortes de jeunes, fin de la mode des startups. Je croise les doigts pour que d’autres découvrent le : la planète en aura besoin…

#lean

Last updated 1 year ago

📈 || bij Brink Climate Systems: Kwaliteit nóg belangrijker dan

Of: Hoe je ventilatiesystemen💨 als product net zo efficiënt en goed ‘bakt’ als pizza’s🍪!
procesverbeteren.nl/LEAN/Brink

#flow #lean #procesverbeteren

Last updated 1 year ago

Benjamin Han · @BenjaminHan
475 followers · 1305 posts · Server sigmoid.social

@dhinojosa Me too (via this video)! Very intriguing! leanprover.github.io

#lean

Last updated 1 year ago

Moritz Firsching · @MoritzFirsching
29 followers · 68 posts · Server mathstodon.xyz

twitter.com/fermatslibrary/sta

In your can prove this by calling a tactic called "trivial"...

import Mathlib.Algebra.BigOperators.Basic
import Mathlib.Data.Nat.Interval

open BigOperators Finset

theorem twentyfour_sum_of_squares : (∑ k in Ico 1 25, k^2) = 70^2 := by
trivial

#lean

Last updated 1 year ago

Alexander Krause · @agileChanges
102 followers · 180 posts · Server berlin.social

Starting travels in 🇸🇪 to go to Vilnius 🇱🇹 for the unconference! 🇪🇺
Who else is going?

#agile #lean #europe #ale #alesome23

Last updated 1 year ago

Luca Minudel · @lukadotnet
127 followers · 350 posts · Server mstdn.social

I will co-facilitate the Generative Scaling Game with Matt Philip
at @LeanAgileScot 2023:
- leanagile.scot/programme/gener

An interactive workshop, based on generative principles by @gasproni & me, that will explore ways of accommodating scaling concerns in a generative way.

If you want to interact with many great practitioners at this great conf, DM me for a discount code.

#conference #workshop #lean #agile #leanagilescotland #lascot

Last updated 1 year ago

Joey deVilla 🪗 · @AccordionGuy
964 followers · 987 posts · Server mastodon.cloud

Tonight, in-person, and in Tampa: Lean Beer for All Things Agile, happening at Cigar City Brewery! Networking starts at 6:30; “formal” Lean Beer discussion from 7 - 8; and some hanging out afterward!

meetup.com/tampa-bay-agile/eve

#tampa #tampabay #meetups #lean #agile #leancoffee #leanbeer #beer #brewery #brewpub

Last updated 1 year ago

František Vaculík · @Frantem
86 followers · 1254 posts · Server mastodonczech.cz

novinky.cz/clanek/krimi-na-ber s tímhle nepočítá... tohle bude likvidační průšvih kdoví kolika firem naráz... navíc tam podle typů boxů hoří docela hnusné druhy "nehořlavých" plastů... achjo... Když jsem viděl jak se chovají ti řidiči VZV, tak bych se lidské chybě nedivil... blbci rovnou na kameru 😆

#lean

Last updated 1 year ago

Alexander Gerber · @agerber
61 followers · 945 posts · Server troet.cafe

Die "Idee" ist an sich nicht neu, ist jedoch nicht jedem bekannt.

Wie schon während des 2. Weltkriegs in den USA entstand, um den Bedarf an Arbeitskraft in industriellen Prozessen der Kriegswirtschaft zu decken ...

Und später wurde es dann Bestandteil des - production-Ansatzes als Grundlage des ("Toyota Production System).

Und so kommt es, dass in seinen Grundzügen bereits viel älter ist, als viele denken.
agile-verwaltung.org/2021/08/1

#scrum #tps #lean #twi

Last updated 1 year ago

📈 || Een laagdrempelig digitaal verbetersysteem voor teams, waarmee medewerkers zélf verbeterideeën genereren, prioriteren en afhandelen! Willem Nooij, CEO van vertelt erover
procesverbeteren.nl/profielen/

#coimbee #lean #ad #procesverbeteren

Last updated 1 year ago

Thomas Michl · @thomas_michl
781 followers · 2491 posts · Server scrum.town

| Der Ruf nach , ist wir vor zwei Dekaden in Sachen , oft nur für Schauseite der Organisation gedacht. Wirklich formelle/informelle Strukturen angehen, dafür fehlt den meisten Organisation der "Mut".

#bosergedankeamfreitag #agilitat #lean

Last updated 1 year ago

amen zwa, esq. · @AmenZwa
121 followers · 1295 posts · Server mathstodon.xyz

There is no business and technical justification for small companies to spend enormous sums on developing web apps that are internal-use-only business management software with the total number of users hover in the tens and all the users are "experts" in the business operations.

Most American businesses are small. Yet, many of them aspire to develop and maintain their very own web apps with Angular or React and are deployed in the cloud. Without aforethought and understanding, these mom-and-pop outfits are trying following the giant tech firms' footsteps, but without the resources to match.

In-the-cloud or on-the-premises, for the end users and for the admin users are the only sensible choices for small, in-house business software. There are tonnes of easy-to-use, simple-to-develop UI libraries for the console.

A smart, small business would exploit TUIs as a , business strategy, at the same time improving the mental health of the in-house team.

#development #agile #lean #cli #tui #gui

Last updated 1 year ago

Jons Mostovojs · @jonn
409 followers · 6185 posts · Server social.doma.dev

Wow, I went off social networks for two weeks? And loved it.

Today I dreamt of snow.

Last week I went to Barcelona and, on a different occassion got really close to Ashdown forest.

I keep supporting and its army.

I would love to get a medium-large contract for 1-2 people in , or . Or maybe just consulting?

Apparently, I'm pretty good at making tech teams, managing and scaling them!

Also, my product's automation is ready and I'm confident enough in it that I can offer y'all a better way to rank your tech candidates quickly and with more fidelity in the signal you're getting from the test tasks.

If you want to talk to me about any of this: savvycal.com/manpages

#lean #rust #elixir #ukraine

Last updated 1 year ago

Bill Seitz · @billseitz
328 followers · 8282 posts · Server toolsforthought.rocks

This piece on merging and systems change is pretty dang cool.
steveblank.com/2023/07/25/lean

#steveblank #lean #wicked

Last updated 1 year ago

Anand Rao · @art
22 followers · 101 posts · Server mathstodon.xyz

- a tool to automatically generate and render slides from comments in the editor: github.com/0art0/lean-slides/

#Lean4 #leanprover #lean #markdown #revealjs #leanslides

Last updated 1 year ago

LAST Conference & LAST Club · @lastconf
70 followers · 13 posts · Server mastodon.au

Brisbane, Early Bird registrations for LAST Conference close 14th of August and Submissions close July 31. Click/tap here: lnkd.in/gDtJz-62
Looking forward to seeing you there

#lastconf #lean #agile #systemsthinking

Last updated 1 year ago

John Hunter · @curiouscat
20 followers · 203 posts · Server fosstodon.org

Flexible Multi-Model Assembly Line at Toyota

allaboutlean.com/toyota-flexib

from the All About Lean blog by Christoph Roser. It is an excellent blog to add to your RSS imo.

"...Such a flexibility gives Toyota the ability to produce different models in almost any sequence. These lines were already common at Toyota around 1990..."

#management #toyota #toyota_production_system #lean_thinking #lean

Last updated 1 year ago

Thomas Michl · @thomas_michl
764 followers · 1637 posts · Server scrum.town

Das Akronym SOFI (Stories, Outcomes, Flight Items) in den @flightlevelsac gefällt mir. Erinnert mich schwer an die Zielauflösung (im -Kontext). Nur viel plakativer auf den Punkt gebracht.

#lean

Last updated 1 year ago