• Lean Lang by @adolfoneto.elixiremfoco.com · 38 likes Posts about Lean, an open-source functional programming language and interactive theorem prover: https://lean-lang.org/
• Moderne Arbeitswelten by @dprokscha.bsky.social · 25 likes Posts über Agilität, Methoden, Prozesse und Organisationsentwicklung, die New Work Buzzwords wie agile, scrum, lean, kanban, okr, systemtheorie, usw. oder den Hashtag #modernearbeitswelten enthalten.
• France Lean Left Media by @angrymbecile.bsky.social · 1 likes Média français progressistes, mise à jour au fur et à mesure des arrivées sur bluesky - par @angrymbecile
• L Lean Six Sigma by @nextlevellss.bsky.social · 0 likes Welcome to the Lean Six Sigma feed. You can publish projects, project stories, articles and insights not under NDA.
• Scourge Fans by @umbren-shadow.bsky.social · 2 likes A feed for everything Scourge! Wanna see more posts of the lean mean green machine? Then follow this feed and tag your posts with #ScourgeTheHedgehog so they are seen!!
• F Formal Methods (TLA+, Le by @zicklag.dev · 1 likes A feed about formal methods including TLA+, Lean, Coq, Isabelle, Alloy, model checking, theorem proving, and formal verification of software and mathematics.
• T Type Theory by @nandi.uk · 0 likes Posts about type theory, dependent types, proof assistants, and programming language theory — Lean, Agda, Idris, Coq, Haskell, category theory, and related research.
• Baddass Women Streamers by @justjihye.justjihye.com · 0 likes Exactly what it says on the tin, Female streamers who lean away from 'Cute" Find out more at https://jihyeandkorea.com/streamer-directory/
• F FemboyLife&Style by @tayohki.bsky.social · 0 likes a feed for femboys that aims to lean more towards fashion and stuff