Lean Software Development in Practice: Finding Muda in Four PHP Projects
Lean has one word that I like because it is brutally simple: Muda . Waste. In a factory, waste is often visible. Extra movement. Waiting. Too much i…
Последние новости
⚑ Сообщить о проблемеTech news from the best sources
Все темы
AI
Gear
News
Tech
agents
ai
api
architecture
automation
beginners
career
database
devchallenge
devops
discuss
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
security
showdev
testing
tutorial
typescript
webdev
Lean and how it relate to IT
Lean is a way of thinking: deliver value to the customer with less waste, by improving the system on purpose. That matters to us because software wo…
From Lean 4 to ClickHouse: Architecting Verifiable AI Infrastructure with Formal Methods and Real-Time Analytics
Originally published on tamiz.pro . In the current landscape of Artificial Intelligence, two distinct engineering challenges dominate the discourse:…
Paper 164 v0.1 — infinity-cosmoi Skeleton + Tetradic Completion of rhymeOrTheorem: 4-Step Continuation of Paper 163
This article is a re-publication of Rei-AIOS Paper 164 for the dev.to community. The canonical version with full reference list is in the permanent…
When Lean Proved My Durability Definition Too Easily
TL;DR I tried to formalize a small ACID-like model in Lean 4. Consistency became invariant preservation. Isolation became a deliberately strong comm…