I'm glad to see that the #Quanta Podcast has covered Formal Methods (and the proof assistant Lean). Formal Methods has been a newer interest of mine, and I'm really happy to see that it's starting to gain more interest to make a whole podcast episode about it. Listen here: https://www.quantamagazine.org/in-math-rigor-is-vital-but-are-digitized-proofs-taking-it-too-far-20260325/

And don't forget about the #Lean game!
https://adam.math.hhu.de/

In Math, Rigor Is Vital. But Are Digitized Proofs Taking It Too Far? | Quanta Magazine

The quest to make mathematics rigorous has a long and spotty history — one mathematicians can learn from as they push to formalize everything in the computer program Lean.

Quanta Magazine
An Analogy To Understand The Sprint Goal

It is said that Developers are committed to the Sprint Goal and flexible about the scope of the Sprint. But what does it mean?!

Scrum.org

#TimeTravelingGhost EP 9: Post 91: 1912 Titanic 2 of 2

#Wss366 Lean #TimeTravelAuthors 04/11. Point

[Continued from previous post]

I put down the first letter, picked up the second, and began reading it.

Today, I visited Dr. Faust to clarify some #points about time-travel.

I’m glad I don’t live in the Middle Ages. It was smelly and uncomfortable-looking. I wouldn’t eat anything there.

The doctor appeared only mildly surprised by my visit and proposed a question exchange, which I agreed to.

  • Who or what are the ICE-Nine rabbits? He responded, “I don’t know what ICE-Nine is, but the rabbits are God’s guardians of time.” He seemed serious, though I doubted his answer. It’s more likely that they’re demonic agents. For heaven’s sake, according to that newspaper, they tortured and assassinated me.

  • Have you ever tried to change history? He answered, “Unsuccessfully. I’ve tried saving my lover, Marguerite, several times, but to no avail. It takes something big to alter history.”

  • Legend has it you sold your soul to Satan. What really happened? He laughed. “The devil, God—are they not the same? I have torn my soul loose from the world, but I have not sold it. I have sworn allegiance to the Illuminated Ones, and they have promised me knowledge beyond my wildest dreams. No matter what history says, I am not wrong. You should do the same before God’s wrath falls upon you.”

I stopped again. “I’m Glad we didn’t visit Faust. It sounds like he’s one of the bad guys.”

Emily waved her hand for me to continue.

There was a knock at the door just then, and my host said, “There they are now. You should leave or be prepared to swear an oath to them. God’s emissaries will show you mercy.”

I did the former. No good could come of dealing with the Illuminated Ones.

“That’s it,” I said, putting the letters down. “I guess we’ll never know how or why they murdered me.”

“Not the details, but I think you got into the soup visiting Faust. Let’s not make the same mistake.”

That was one major option out, so I suggested an alternative. “Given what has worked, I bet it’s possible to visit an opponent of the rabbits.”

“And end up meeting one of those prehistoric monsters we saw in the mural. Bad idea.”

“I wonder if saying ‘meet an ally’ would work better?”

“Might. I #lean in favor of that. But before we decide our next move, let’s get dressed and explore the ship.”

#TootFic #MicroFiction #NMFic #TimeTravel #HistoricalFantasy #UrbanFantasy #Mythpunk #Serial #Slowburn #Yuri

The Wandering Shop Stories #prompt for today, Sat-11-Apr, is #lean. Feel like writing something short and sweet that has the word "lean" in it? Check out the definitions of the word at: https://www.merriam-webster.com/dictionary/lean Join in and tag it with #wss366! #writing #WritingLife #microfiction h/t @tobadzistsini
Definition of LEAN

Definition of 'lean' by Merriam-Webster

Bureaucracy Is Not A Scaffold, It Is A Cage — by David Sabine

Too many people throw around terms like 10x developer or 100x team. I want to talk with you about the -100x team.

Scrum.org
Rethinking the Five Whys: Introducing the 'Many Whys' Approach in Lean Problem-Solving for Lean and Lean Startup

The Five Whys isn’t about asking “why” exactly five times. This post explains a better Lean problem-solving mindset focused on learning, systems, and actionable countermeasures.

Lean Blog
Your Daily Scrum is not the problem. Your Transparency is.

Many teams blame the Daily Scrum when it starts feeling repetitive, pointless, or performative. But the meeting is usually not the real issue. The real issue is weak transparency: the team cannot clearly see what is true, what threatens the Sprint Goal, and what should change today.

Scrum.org
Scrum ROI: How Scrum Reduces Costs and Drives Revenue Growth

Most teams “do Scrum.” Few see real ROI. Here’s how Scrum drives growth by cutting costs, accelerating delivery, and aligning work with customer value, plus practical tactics you can apply immediately by PST Robb Pieper.

Scrum.org
Occam’s Razor and Lean Thinking | Gemba Academy

Occam’s Razor is a principle that dates back to the 14th century and is attributed to the English Franciscan friar and philosopher William of Ockham. It simply says: When multiple explanations exist, start with the simplest one. Not because it’s always right, but because it’s the best place to begin. Continue Reading

Gemba Academy
Caring vs. Performance

Choose one?

Agile Moose