Как агенты незаметно разрушают архитектуру системы

Немецкий парень рассуждает о том, как ИИ-агенты могут незаметно нарушать архитектуру программного обеспечения, почему прохождение тестов не всегда достаточно и как формальные модели в Lean могут помочь сохранить предполагаемый смысл системы близко к реализации. 00:00 Введение 02:34 Пример проекта 03:59 Высокоуровневая архитектура 05:21 Почему «зеленые тесты» могут лгать 10:26 Введение в LEAN 13:10 Что сделал агент 13:55 Реализация на Rust 17:47 Разработка, управляемая спецификациями Использованная музыка: https://pixabay.com/music/classical-p... #разработкапрограммногообеспечения #искусственныйинженер #агентноепрограммирование #формальныеметоды #leanlang #программирование #качествокода #инженерноеискусствоискусства