DevOps

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…

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…