1 views collected around this technical thread.
Tao Zhe Xuan’s new YouTube channel demonstrates how an AI‑driven workflow using GitHub Copilot and the Lean proof assistant produced a 33‑minute “blind” proof of a Magma equation, highlighting the potential of semi‑automated theorem proving while preserving human readability.
The 2022 China Enterprise Agile Practice Whitepaper, based on a survey of 644 companies across 43 cities and 16 industries, uncovers how agile adoption has surged, highlights dominant frameworks like Scrum of Scrums, identifies key engineering practices, and pinpoints organizational culture as the biggest hurdle for Chinese firms navigating digital transformation.
Continuous delivery is a structured, scientific approach to software development that emphasizes rapid, high‑quality releases through small experiments, version control, automated testing, and short cycle times, enabling teams to deliver valuable software to users quickly and reliably.
This article presents a curated collection of 54 reference books covering DevOps, Agile, continuous delivery, lean, microservices, and related management topics, explaining a two‑step reading approach—first extracting key concepts, then deepening understanding—to help readers build a comprehensive knowledge framework.
The article explains software engineering’s first‑principle laws—software is a virtual product that can only be created once—critiques waterfall, advocates agile and DevOps, and emphasizes granularity and decoupling (including Infrastructure as Code) as essential practices for modern development.
The article examines the challenges of moving large, multi‑team software organizations from waterfall to lean‑agile practices, offering concrete tactics for product planning, cross‑team coordination, integration, testing, and release, and concludes with a note on an upcoming DevOps hackathon.
This article traces the evolution of DevOps from its roots in Toyota’s Production System and early manufacturing practices through the emergence of Kanban, Waterfall, Scrum, Agile, Lean, and modern extensions like ChatOps, GitOps, FinOps and AiOps, highlighting key milestones and concepts.
The article explains how lean value‑stream analysis uses meaningful metrics such as lead time, process time and percent complete & accurate, outlines a step‑by‑step workflow for mapping and evaluating value streams, and demonstrates the approach with a department‑level case study and radar‑chart analysis.
The article explains how external results, cost‑only measurement before user adoption, and four principles—Build Quality In, Eliminate Waiting, Eliminate Trivial Work, and Monitor Everything—combine to speed up the verification loop and enable rapid, high‑quality software delivery.
This article explains the confusing terminology of "敏态" (agile) and "稳态" (stable) in digital transformation, maps them to Gartner's Bimodal IT, shows ThoughtWorks' adapted development system with agile product and lean project modes, discusses criticisms, and outlines the future direction toward full‑scale agile practices.
The article explains how adopting Just‑In‑Time (JIT) thinking and lean‑startup validation can help product teams filter out 80% of low‑value requests, accelerate delivery, reduce overtime, and align development effort with the most valuable business outcomes.
At the 16th GOPS Global Operations Conference, JKStack CTO Ge Dingjia detailed how the convergence of ITIL and DevOps, grounded in lean‑thinking value‑stream concepts, drives digital transformation by aligning IT operations with business value through workflow integration, value‑stream mapping, and continuous improvement.
This article explains the origins of Lean and Agile methodologies, outlines their fundamental principles, compares six key differences in approach, team structure, and goals, and highlights the commonalities that make both frameworks valuable for modern software development.
The article explores why enterprises must continuously innovate, outlines the challenges of cross‑industry disruption, digital transformation, and VUCA environments, and presents JD.com’s lean innovation process, S‑curve growth model, three‑horizon strategy, and concrete internal innovation cases to drive sustainable growth.
This article traces the historical shift in software development practices, comparing the linear Waterfall model with Agile, Kanban, Scrum, and Lean approaches, highlighting how each methodology improves flexibility, transparency, and efficiency by borrowing principles from automotive production systems.
This article presents a comprehensive overview of the Lean knowledge system, detailing its four layers—thought, methodology, solution patterns, and tools—while outlining key historical figures, core concepts such as value and waste, and practical techniques like A3 reporting, 5S, and visual management for continuous improvement in R&D.
This article examines the concepts of design thinking, lean, agile, and DevOps, explains their shared focus on delivering customer value, and proposes a combined, value‑oriented workflow that integrates these methodologies through value definition, value‑stream mapping, quadrant analysis, and automation within an end‑to‑end platform.
This article examines the concepts of design thinking, lean, agile, and DevOps, explains their shared user‑centric goals, and proposes a combined, value‑driven framework that maps, analyzes, and automates the end‑to‑end delivery process through integrated platforms and tooling.
This article outlines a practical four‑step roadmap for banks to achieve scalable agile transformation, emphasizing a zero‑based mindset, business‑first approach, thin‑slice implementation, expansion, and impact anchoring, while detailing timelines, organizational capabilities, and the role of agile centers.
This article provides a comprehensive, section‑by‑section comparison of the 2020 Scrum Guide with the 2017 version, highlighting shifts in terminology, added emphasis on value creation, self‑management, lean thinking, and the removal of prescriptive language, accompanied by the author’s personal interpretations.