#lean — Public Fediverse posts

Current status #haskell #lean

»Pareto and AI: Big Deal, Something, or Nothing?« https://bobgalen.substack.com/p/pareto-and-ai-big-deal-something #Agilist.in #Agile #Change #Lean #Kanban #Scrum

This video where Georges was explaining the value of product managers in FLOSS projects is finally auto-dubbed, so it can be listened to in English, around the 2 minutes mark: https://youtu.be/aj4jxPZWky8?t=122

#GNOMECalendar #projectmanagement #productmanagement #FLOSS #OpenSource #lean #management #QA #UX

Hmmm... 🤔

Formalizing #CPython - #AI agents wrote 613,318 lines of #Lean that copy #Python's internals line by line, tested every piece against the real Python, had a computer check every proof, and turned up 418 bug reports in Python along the way https://broyojo.com/python-formalization/

#compsci