Software Development

Product Management

Continuous Improvement

Lean

Explore recommended reads, summarized by AI

Lean and Agile Practice

Writing about applying Lean and Agile principles to product development, software engineering, and organizational work.

Lean and Agile Methodologies

Workflow Optimization and Improvement

Popular this week

Monika Singhal

Dive into Dependently Typed Magic: Building a Lean 4-Inspired Prover with Rust (A Step-by-Step…

Roman Pichler

Product Operating Model: The Crucial Enabler for AI Success

Carmen Guerra Jurado

Japan made me realise what good systems feel like

Ashraff Hathibelagal

Why I think Learning Lean is a Good Idea

In

Level Up Coding

by

Dmitrii Eliuseev

Making a “Hello World” in Lean

Selected by Medium

In

Level Up Coding

by

Dmitrii Eliuseev

Making a “Hello World” in Lean

Latest stories

Sagars Waters

Mathematical Formalization

Monika Singhal

Dive into Dependently Typed Magic: Building a Lean 4-Inspired Prover with Rust (A Step-by-Step…

Carmen Guerra Jurado

Japan made me realise what good systems feel like

Sudhendu Rai

When Automation Makes Things Worse: The Small Buffer That Fixes It

Igor Vigasin

TypeScript Checks Your Shapes. Lean Checks Your Rules.

See more stories

Who to follow

Popular this week

Monika Singhal

Dive into Dependently Typed Magic: Building a Lean 4-Inspired Prover with Rust (A Step-by-Step…

Roman Pichler

Product Operating Model: The Crucial Enabler for AI Success

Carmen Guerra Jurado

Japan made me realise what good systems feel like

Ashraff Hathibelagal

Why I think Learning Lean is a Good Idea

In

Level Up Coding

by

Dmitrii Eliuseev

Making a “Hello World” in Lean

Selected by Medium

In

Level Up Coding

by

Dmitrii Eliuseev

Making a “Hello World” in Lean

Latest stories

Sagars Waters

Mathematical Formalization

Monika Singhal

Dive into Dependently Typed Magic: Building a Lean 4-Inspired Prover with Rust (A Step-by-Step…

Carmen Guerra Jurado

Japan made me realise what good systems feel like

Sudhendu Rai

When Automation Makes Things Worse: The Small Buffer That Fixes It

Igor Vigasin

TypeScript Checks Your Shapes. Lean Checks Your Rules.

See more stories

Who to follow