Login

Recent searches

No recent searches

Search options

Only available when logged in.
fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

10K
active users

fosstodon.org: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.6

#lean

6 posts6 participants1 post today
Pierre Pezziardi<p>Suspense insoutenable !</p><p>Rendez-vous les 1er et 2 avril 2025 à Paris (Beffroi de Montrouge)</p><p>🗞️ Programme complet de la conférence : <a href="https://lnkd.in/eRmf8Rki" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lnkd.in/eRmf8Rki</span><span class="invisible"></span></a></p><p>🎟️ Toutes les infos sont disponibles sur le site : <a href="https://lnkd.in/e6Xh8evJ" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">lnkd.in/e6Xh8evJ</span><span class="invisible"></span></a></p><p><a href="https://amicale.net/tags/agile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>agile</span></a> <a href="https://amicale.net/tags/lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean</span></a> <a href="https://amicale.net/tags/toc" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>toc</span></a> <a href="https://amicale.net/tags/intelligencecollective" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>intelligencecollective</span></a><br><span class="h-card" translate="no"><a href="https://social.numerique.gouv.fr/@numerique_gouv" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>numerique_gouv</span></a></span></p>
Leanpub<p>Actionable Agile Metrics Volume II: Advanced Topics in Predictability <a href="https://leanpub.com/actionableagilemetricsii" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">leanpub.com/actionableagilemet</span><span class="invisible">ricsii</span></a> by Daniel S. Vacanti is the featured book on the Leanpub homepage! <a href="https://leanpub.com" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">leanpub.com</span><span class="invisible"></span></a> <a href="https://mastodon.social/tags/Agile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agile</span></a> <a href="https://mastodon.social/tags/LeadershipAgile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LeadershipAgile</span></a> <a href="https://mastodon.social/tags/Leadership" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Leadership</span></a> <a href="https://mastodon.social/tags/AgileBusinessLeadership" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AgileBusinessLeadership</span></a> <a href="https://mastodon.social/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> <a href="https://mastodon.social/tags/ProductManagement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ProductManagement</span></a> <a href="https://mastodon.social/tags/books" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>books</span></a> <a href="https://mastodon.social/tags/ebooks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ebooks</span></a></p><p>The second volume in a series on how to use flow metrics and analytics to get the predictability your customers crave. </p><p>Find it on Leanpub!</p>
Jesper Agdakx 🔸<p>As part of our (@sarantja@mastodon.social and yt) research on <strong>the usability of interactive theorem provers</strong>, we are conducting a study on the usage and state of tools and languages for type-driven development. We are interested in <strong>tools that encourage and facilitate type-driven development</strong>, especially in cases when they can help us reason about complex problems.</p><p>We are hoping to use your responses to identify the characteristic language features and tool interactions that enable type-driven development, with the eventual goals of enhancing them and bringing their benefits to a wider range of programmers.</p><p>Please fill in our <em>anonymous</em>, 10-minute survey here: <a href="https://tudelft.fra1.qualtrics.com/jfe/form/SV_bIsMxYTKUJkhVuS" rel="nofollow noopener noreferrer" target="_blank">https://tudelft.fra1.qualtrics.com/jfe/form/SV_bIsMxYTKUJkhVuS</a></p><p>You are welcome to participate if you have experience with <em>any</em> type-driven development tool, including dependently-typed languages (e.g., Coq, Lean, Agda), refinement types (e.g., Liquid Haskell), or even other static type systems (e.g., in Rust or Haskell).</p><p>P.S. In case you remember signing up for an interview with us in a previous survey and are now wondering whether that study will still go on, the answer is: yes! We’ve had to revise our schedule, but we are still excited to talk to you and will start inviting people for an interview soon.</p><p><a class="hashtag" href="https://agda.club/tag/agda" rel="nofollow noopener noreferrer" target="_blank">#Agda</a> <a class="hashtag" href="https://agda.club/tag/coq" rel="nofollow noopener noreferrer" target="_blank">#Coq</a> <a class="hashtag" href="https://agda.club/tag/rocq" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a> <a class="hashtag" href="https://agda.club/tag/lean" rel="nofollow noopener noreferrer" target="_blank">#Lean</a> <a class="hashtag" href="https://agda.club/tag/liquidhaskell" rel="nofollow noopener noreferrer" target="_blank">#LiquidHaskell</a> <a class="hashtag" href="https://agda.club/tag/rust" rel="nofollow noopener noreferrer" target="_blank">#Rust</a> <a class="hashtag" href="https://agda.club/tag/haskell" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a class="hashtag" href="https://agda.club/tag/typedrivendevelopment" rel="nofollow noopener noreferrer" target="_blank">#TypeDrivenDevelopment</a> <a class="hashtag" href="https://agda.club/tag/tyde" rel="nofollow noopener noreferrer" target="_blank">#TyDe</a> <a class="hashtag" href="https://agda.club/tag/dependenttypes" rel="nofollow noopener noreferrer" target="_blank">#DependentTypes</a> <a class="hashtag" href="https://agda.club/tag/liquidtypes" rel="nofollow noopener noreferrer" target="_blank">#LiquidTypes</a> <a class="hashtag" href="https://agda.club/tag/refinementtypes" rel="nofollow noopener noreferrer" target="_blank">#RefinementTypes</a> <a class="hashtag" href="https://agda.club/tag/proofassistants" rel="nofollow noopener noreferrer" target="_blank">#ProofAssistants</a> <a class="hashtag" href="https://agda.club/tag/survey" rel="nofollow noopener noreferrer" target="_blank">#Survey</a></p>
Functional SC<p>Join us TUE Mar 11th for "LEAN - Interactive LLMs" hosted by <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@jaredc" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>jaredc</span></a></span> First we'll explore using LLMs for proofs in Lean. Then, we'll work together to tackle math theorems together. Don’t miss this hands-on session!</p><p><a href="https://functional.cafe/tags/lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean</span></a> <a href="https://functional.cafe/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://functional.cafe/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a> <span class="h-card" translate="no"><a href="https://functional.cafe/@leanprover" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>leanprover</span></a></span> <a href="https://functional.cafe/tags/chstech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>chstech</span></a><br><a href="https://www.charlestonlc.org/classes/charleston-lean-proof-assistant-meetup/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">charlestonlc.org/classes/charl</span><span class="invisible">eston-lean-proof-assistant-meetup/</span></a></p>
ralf warümme tauscher<p>oh, its really getting closer 🎉</p><p><span class="h-card" translate="no"><a href="https://friends.librescrum.org/@karen" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>karen</span></a></span> <span class="h-card" translate="no"><a href="https://friends.librescrum.org/@Lady_J" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Lady_J</span></a></span> <span class="h-card" translate="no"><a href="https://social.cologne/@micheal" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>micheal</span></a></span> <span class="h-card" translate="no"><a href="https://friends.librescrum.org/@alexkylburg" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>alexkylburg</span></a></span> <span class="h-card" translate="no"><a href="https://friends.librescrum.org/@Alisa" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Alisa</span></a></span> <span class="h-card" translate="no"><a href="https://freiburg.social/@Peter" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Peter</span></a></span> <span class="h-card" translate="no"><a href="https://friends.librescrum.org/@DerGuteAlteHerrSchwarz" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>DerGuteAlteHerrSchwarz</span></a></span> <br><a href="https://friends.librescrum.org/tags/AgileParty" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>AgileParty</span></a> <a href="https://friends.librescrum.org/tags/scrum" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>scrum</span></a> <a href="https://friends.librescrum.org/tags/lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean</span></a> </p><p><span class="h-card" translate="no"><a href="https://freiburg.social/@haufegroup" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>haufegroup</span></a></span> <br><span class="h-card" translate="no"><a href="https://gnubox.org/@acccgn_countdown" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>acccgn_countdown</span></a></span> <span class="h-card" translate="no"><a href="https://social.cologne/@acccgn" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>acccgn</span></a></span> <span class="h-card" translate="no"><a href="https://a.gup.pe/u/librescrum" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>librescrum</span></a></span></p>
Agile ♻️ Agilist.in<p>»How To Handle "Urgent Request" in Scrum« <a href="https://www.scrum.org/resources/blog/how-handle-urgent-request-scrum" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">scrum.org/resources/blog/how-h</span><span class="invisible">andle-urgent-request-scrum</span></a> <a href="https://mastodon.online/tags/Agilist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agilist</span></a>.in <a href="https://mastodon.online/tags/Agile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agile</span></a> <a href="https://mastodon.online/tags/Change" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Change</span></a> <a href="https://mastodon.online/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> <a href="https://mastodon.online/tags/Kanban" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Kanban</span></a> <a href="https://mastodon.online/tags/Scrum" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scrum</span></a></p>
jlebleu<p>Formalisé sans paralyser c'est pourtant nécessaire, les fameux standards du <a href="https://framapiaf.org/tags/lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean</span></a>. Il faut bien entendu les co-construire </p><p>"poser un cadre clair qui donne de la liberté aux individus, tout en garantissant que l’énergie est orientée vers ce qui compte vraiment et que les lignes rouges sont bien protégées."<br><a href="https://www.duperrin.com/2025/01/22/formalisation-agilite-levier-performance-operations/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">duperrin.com/2025/01/22/formal</span><span class="invisible">isation-agilite-levier-performance-operations/</span></a> par <a href="https://framapiaf.org/tags/bertrandduperrin" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>bertrandduperrin</span></a></p>
tobadzistsini<p>Upstairs in his room, Joey began packing for the expedition. He remembered Gilman's advice, having survived The <a href="https://bonequest.net/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> Times back in the late twenties, to travel light and only carry necessities.<br>His lydia flickered at the corner of his eye.<br>Raptor hide jacket.<br>"Yeah?"<br>Compass. 1/x<br><a href="https://bonequest.net/tags/wss366" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>wss366</span></a></p>
tobadzistsini<p>Will post my <a href="https://bonequest.net/tags/lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean</span></a> story tonight.</p><p>Word of warning: It's dinosaurs and Joseph, not the parallel Joseph of the author's world per recent <a href="https://bonequest.net/tags/wss366" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>wss366</span></a> submissions.</p>
Wandering Shop Stories<p>Today's Wandering Shop Stories <a href="https://wandering.shop/tags/prompt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>prompt</span></a> is <a href="https://wandering.shop/tags/lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean</span></a>. Feel like writing something short and sweet that has the word "lean" in it? Check out the definitions of the word at: <a href="https://www.merriam-webster.com/dictionary/lean" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">merriam-webster.com/dictionary</span><span class="invisible">/lean</span></a> Join in and tag it with <a href="https://wandering.shop/tags/wss366" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>wss366</span></a>! <a href="https://wandering.shop/tags/writing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>writing</span></a> <a href="https://wandering.shop/tags/WritingLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>WritingLife</span></a> <a href="https://wandering.shop/tags/microfiction" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>microfiction</span></a> h/t <span class="h-card" translate="no"><a href="https://bonequest.net/@tobadzistsini" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>tobadzistsini</span></a></span></p>
ralf tauscher :FreiburgSocial:<p><span class="h-card" translate="no"><a href="https://pod.librescrum.org/@zusammen_mehr_elefant" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>zusammen_mehr_elefant</span></a></span> und wie is das dienstags? <span class="h-card" translate="no"><a href="https://friends.librescrum.org/@NadjaBoehlmann" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>NadjaBoehlmann</span></a></span> <span class="h-card" translate="no"><a href="https://friends.librescrum.org/@Alisa" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>Alisa</span></a></span></p><p><a href="https://freiburg.social/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> <a href="https://freiburg.social/tags/Agile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agile</span></a> <a href="https://freiburg.social/tags/Scrum" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scrum</span></a> <a href="https://freiburg.social/tags/Kaizen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Kaizen</span></a></p>
Tariq<p>After months of working daily, today at 5.02pm approx I completed the course</p><p>" Mechanics of Proof "</p><p>That's means I completed every exercise - (except 3)</p><p>When I started I wanted to learn cover the basis of not just algebra, but also sets and functions - and the course does that. The only area it doesn't cover that I wanted was real analysis - eg convergence of sequences etc</p><p>phew !</p><p><a href="https://hrmacbeth.github.io/math2001/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">hrmacbeth.github.io/math2001/i</span><span class="invisible">ndex.html</span></a></p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean</span></a> <a href="https://mastodon.social/tags/lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean4</span></a></p>
InfoQ<p><a href="https://techhub.social/tags/Agile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agile</span></a> answers the question "Where should the product go?"</p><p><a href="https://techhub.social/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> asks the question "What’s the fastest &amp; most efficient way to build the product?"</p><p>What does this mean for <a href="https://techhub.social/tags/SoftwareArchitecture" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>SoftwareArchitecture</span></a>? Should you adopt Agile or Lean?</p><p>The answer is…. "It depends": <a href="https://bit.ly/3Db8AbZ" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">bit.ly/3Db8AbZ</span><span class="invisible"></span></a> </p><p><a href="https://techhub.social/tags/InfoQ" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>InfoQ</span></a> <a href="https://techhub.social/tags/ICYMI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ICYMI</span></a></p>
Tariq<p>"I love it when a plan comes together"</p><p>- John "Hannibal" Smith, The A-Team</p><p><a href="https://mastodon.social/tags/maths" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>maths</span></a> <a href="https://mastodon.social/tags/lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lean</span></a></p>
Agile ♻️ Agilist.in<p>»AI in Agile Product Teams« <a href="https://www.scrum.org/resources/blog/ai-agile-product-teams" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">scrum.org/resources/blog/ai-ag</span><span class="invisible">ile-product-teams</span></a> <a href="https://mastodon.online/tags/Agilist" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agilist</span></a>.in <a href="https://mastodon.online/tags/Agile" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Agile</span></a> <a href="https://mastodon.online/tags/Change" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Change</span></a> <a href="https://mastodon.online/tags/Lean" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Lean</span></a> <a href="https://mastodon.online/tags/Kanban" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Kanban</span></a> <a href="https://mastodon.online/tags/Scrum" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Scrum</span></a></p>
Public *
Tariq

1. Given a set A with "at least 2 elements"

2. and a set B with "at least 2 elements"

3. and an intersection of A and B with not "at least 2 elements"

Show that A union B has "at least 3 elements"

I'm currently struggling to write a proof and then formalise it in Lean+mathlib.

Being intuitively true actually makes it harder for me.

#maths#lean
ExploreLive feeds
About