Interview Red Flags for the Scrum Master

After more than 20 years coaching Scrum teams, I’ve learned the interview isn’t just about them judging me: I’m judging them right back. I’m looking for clues about whether this is a place where I can actually help teams improve, or if it's just not a good fit for me.

Scrum.org
Why You Can Still Get Lost With A Stakeholder Map

In this blog, David Spinks discusses the importance of true stakeholder collaboration, and why using tools like a stakeholder map may not be enough to achieve it.

Scrum.org

Изучение использования рабочего времени — ход проекта

В первой статье я описал основные методики, применяемые для изучения использования рабочего времени. В ряде комментариев к статье авторы искали аргументы в поддержку недостаточно загруженных работников – они устают, им нужно больше отдыхать, такая работа похожа на рабство. Именно благодаря таким аргументам и сложилась ситуация, что производительность труда в России в 2-3 раза ниже производительности труда в Европе. Причем в Европе при этом никто не перерабатывает, вопрос скорее в более оптимальной работе, отсутствии потерь и простоев. Моя работа и состоит в обнаружении потерь, простоев, недостаточной или неэффективной загрузки оборудования и работников. Признание проблемы уже позволяет решить ее на 10-20%. Тем более, что производительность труда имеет статус национального проекта, который должен обеспечить 5% ежегодный прирост производительности труда на средних и крупных предприятиях несырьевых отраслей экономики. Но настало время прейти к делу и рассмотреть подготовку и реализацию проекта на предприятии, а также подготовку и согласование рекомендаций. Самое главное замечание – изучать следует полностью все рабочие места. Исключить можно отдел информационных технологий и службу безопасности.

https://habr.com/ru/articles/1023222/

#повышение_производительности #сокращение_штата #сокращение_расходов #бережливое_производство #lean #оптимизация_трудозатрат #оптимизация_рабочего_времени #оптимизация_производительности #оптимизация_процессов #оптимизация_производства

Изучение использования рабочего времени — ход проекта

В первой статье я описал основные методики, применяемые для изучения использования рабочего времени.  В ряде комментариев к статье авторы искали аргументы в поддержку недостаточно загруженных...

Хабр
Como descomponer bien épicas en historias de usuario

En este artículo el PST Alex Ballarin explica como descomponer bien las épicas en historias de usuario. Además recuerda el origen y verdadera utilidad de este formato de paquete de trabajo, e incluye ejemplos prácticos de como escribir buenas épicas, features e historias de usuario.

Scrum.org
🌗 Lean 證明瞭此程式正確無誤,但我仍揪出了漏洞
➤ 當形式驗證遇上現實世界的執行漏洞
https://kirancodes.me/posts/log-who-watches-the-watchers.html
本文探討了形式驗證(Formal Verification)的極限。儘管一個名為 lean-zip 的 zlib 實作已透過 Lean 證明瞭其邏輯正確性,作者卻透過 AI 代理人結合模糊測試工具,在短短一個週末內發現了嚴重的漏洞。令人意外的是,核心的驗證代碼確實無誤,但問題出在 Lean 的 C++ 執行期環境(Runtime)以及未經驗證的解析組件中。這項研究提醒我們,即便程式碼在數學上被證明「正確」,系統的安全性仍取決於底層基礎設施與驗證範圍的完整性。
+ 這再次證明瞭「信任計算基座」(TCB)有多麼關鍵,即便頂層代碼完美,底層的 C++ 運行時若出錯,一切努力都是白費。
+ AI 結合傳統安全工具(如 AFL++)展現出的漏洞挖掘效率令人驚嘆,這預示著未來軟體安全面臨的新挑戰。
#形式驗證 #軟體安全 #模糊測試 #Lean 4 #人工智慧
Lean proved this program was correct; then I found a bug.

Formal verification of software is powerful, but this is a good reminder that "verified" never means "nothing can go wrong." In this case, a #Claude agent using AFL++ and other testing tools found a buffer overflow in the #Lean runtime itself even though the application logic is correctly verified with Lean.

https://kirancodes.me/posts/log-who-watches-the-watchers.html

#FormalVerification #SoftwareEngineering #Security #AI

Lean proved this program was correct; then I found a bug.

🚨 Oh look, #Lean "proved" the program correct, but surprise! 🎉 There's a bug, but fret not, AI's got us covered by finding #bugs faster than Lean can say "oops". 🤖🔍 And apparently, we should be quaking in our boots because #Anthropic won't unleash their #AI due to its terrifying effectiveness—what a shocker! 💥
https://kirancodes.me/posts/log-who-watches-the-watchers.html #Innovation #Technology #HackerNews #ngated
Lean proved this program was correct; then I found a bug.

Lean proved this program was correct; then I found a bug.

How to Run the Sprint Retrospective When Half of your Team is AI Agents

The landscape of software development has permanently changed. You should also adapt to the AI era and refine your events to induct AI agents in your Scrum team

Scrum.org

Psychological Safety for Lean Leaders: Make It Safe to Speak Up, So Improvement Can Actually Happen (Lean Practice Guide) by Mark Graban is the featured book on Leanpub!

Link: https://leanpub.com/lean-practice-psychological-safety

#BusinessAndManagement #Lean #Leadership #QualityManagement

Psychological Safety for Lean Leaders

A practical guide connecting psychological safety to Lean and continuous improvement. Learn the leadership behaviors that make it safe to speak up, so problems surface and improvement actually happens.