Song of the day - Bill Withers “Lean On Me” #phil_d_music #songoftheday #billwithers #soul #lean
youtube.com/shorts/0Mrvi...

The goal is to distribute responsibility while preserving CSLib's collaborative and consensus-oriented nature.

Decision making: github.com/leanprover/c...
Governance: github.com/leanprover/c...

#CSLib #Lean #FormalMethods

3/3

GENER8ION feat. #Yung #Lean Perform "STORM" | 2026 VMAs #VMA #MTV

youtu.be/kPnN4IE_a98

Hepatopatía esteatósica asoc a disf metab magra fenotipo c enf histológica más leve y variables clínicas similares a asoc a sobrepeso/obesidad, gravedad de fibrosis asoc c/pronóstico, medición de rigidez hepática es confiable en magros #MASLD #lean jamanetwork.com/journals/jam...

freut sich, morgen nach #stuttgart zu fahren, um dann einen kurs von @NadjaBoehlmann zu besuchen 🎉

#kaizen #lean #agile #scrum

Workflow optimization has a shortlist worth starting from. Lean names seven kinds of waste, and all seven turn up inside the top three workflows of most small businesses.
https://cxo.la/workflow-optimization
#workflow #lean #SBM #VWCG #WCG

What I’ve been reading (and watching) week ending 4 October 2026 medium.com/@jchyip/what... #AI #LeanStartup #Lean #Geopolitics #Cooking

Next up on the list is Isolde!

Donning the villainess persona of Madame IQ, she wipes the memories of her victims until they're walking husks!

#pokemon #oc #furry #art #artwork #anthro #commission #adoptable #malamar #megaevolution #megamalamar #sfw #lean #skinny #villain #supervillain

5 questions pour résoudre N'IMPORTE QUEL problème commercial
La technique des 5 Pourquoi (Toyota Production System).

→ Cause racine identifiée = Solution pérenne
👇 Prompt vivreaveclia.blogspot.com/2026/10/le-p...

#IntelligenceArtificielle #Lean #Consulting #Prompt #RésolutionDeProblèmes

FORALL-LEAN-AGENT is a frontend-agnostic framework for auditable reasoning in Lean, combining isolated workspaces, axiom audits, and independent proof checking to make acceptance of candidate proofs traceable. On the…

#Lean #FormalVerification #AIResearch #DevTools
https://arxiv.org/abs/2610.00885

Thomas Michl hat ein Backlog aufgeräumt wie ein Lager: mit ABC- und XYZ-Analyse.

Ein Ticket, das seit Monaten rumliegt, ist kein Plan. Es ist Lagerbestand.

no-bullshit-agile.de/nba26-im-ges...

#Coding #Lean

If you thought autoformalization efforts were already terrible, wait until you find out the kind of bullshit a part of the #algorithms community is coming up with in #lean

https://laxarchive.org/about.html

Note that their absolutely genius idea is to… introduce axioms for unproved theorems and […]

#lean

6502 Opcodes in Lean!

I continue porting my NES emulator from #Haskell to #Lean. In this edited (and much shorter) version of the 4-hour livestream, I muse about syntax and my philosophy of programming.

The thumbnail painting is Gisele (1908) by Kees Van Dongen

www.youtube.com/watch?v=EuYn...

formal - a property checker for code, backed by Lean 4 and Mathlib. Your agent writes the properties and the proofs; formal checks them.

github.com/yamafaktory/...

#lean #mathlib #rust #dev #llm #code

Functional Programming in Lean, a free book on using Lean as a programming language lean-lang.org/functional_p... #lean #functional #programming #book #online

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.

overreacted.io/a-lean-synta...

De 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...

29 September, 09:00–10:30 — DIAS Auditorium, Odense

#HybridThreats #Europe #FormalMethods #DIAS #Lean #FORM #CSLib

7/7

This might just be my ignorance talking, but why do people consider computer-checked proofs to be infallible?

I get why’d someone think that they were more secure than a human proof. But, like, Lean has bugs you know. It’s certainly isn’t perfect…

#MathSky #Lean #Logic