Иллюзия порядка: 5S
Иллюзия порядка: почему 5S — это «пыль в глаза» и ловушка для новичков в бережливом производстве. Когда руководители или консультанты, которые тольк…
Latest News
⚑ Report a ProblemTech news from the best sources
All topics
- игры
AI
News
Tech
agents
ai
api
architecture
automation
backend
beginners
career
devchallenge
devops
javascript
llm
machinelearning
mcp
opensource
performance
productivity
programming
python
react
security
showdev
testing
tutorial
typescript
webdev
Навье — Стокс, упаковка сфер и Lean: как ИИ пришёл в большую математику
OpenAI пишет, что их модель решила задачу тысячелетия, но не всё так однозначно: доказательство ещё предстоит проверить, а вокруг авторства разгорел…
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:…
[Перевод] Проект Lean: Можно ли формализовать всю математику на компьютере – и нужно ли?
Несмотря на все усилия Бурбаки, Коши и Вейерштрасса, подлинно формальные доказательства всегда оставались предметом теории, а не практики. Некоторые…
Автоматизация хаоса: почему IT‑проекты на производстве не дают результата, даже когда сданы в срок
Производственник, который пришёл в IT. О том, почему до кода надо идти в цех. Несколько лет назад наблюдал проект на одном производственном предприя…
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…