How Agents Quietly Break Architecture

LambdaX.1

German dude meandering about how AI agents can quietly break software architecture, why passing tests is not always enough, and how formal models in Lean can help keep the intended meaning of a system close to the implementation. 00:00 Introduction 02:34 Example Project 03:59 High-Level Architectur