Создатель Extreme Programming и первый подписант Agile-манифеста Кент Бек (Kent Beck) выступил с часовым докладом «Software Engineering in the Age of AI» на конференции Prodacity 2026 в Нэшвилле, и запись доклада опубликована. Генеративные модели он сравнивает с «джинном»: правдоподобный код не равен работающему, а spec-driven development, по его мнению, рискует обернуться waterfall в новой упаковке. При этом Бек предлагает не пророчество о конце профессии, а набор рабочих принципов для команд, переводящих разработку под AI-ассистентов.

image

Что произошло

Полная запись доклада появилась на YouTube 29 сентября 2026 года: длительность 3112 секунд, то есть около 52 минут, а за первые дни ролик собрал более 85 000 просмотров. Доклад прозвучал на channel-конференции Prodacity 2026, которую в Нэшвилле организовала компания Rise8; на Hacker News вокруг записи развернулось обсуждение. В материале Бек вводит оценку стоимости фичи через «сжигаемые опции изменения»: каждое решение сегодня безвозвратно сокращает запас гибкости проекта. Самое технически насыщенное место — опыт применения формальных методов с Theorem Prover Lean: строгий верификатор мог бы выдавать доказуемый сигнал, что код действительно работает, но, по наблюдению Бека, формальная проверка пока плохо стыкуется со случайностью генерации. Завершает доклад цепочка «effort — output — outcome — mission», на которой автор показывает, как закон Гудхарта искажает преждевременные метрики: показатель, ставший целью, перестаёт измерять то, ради чего был введён.

Контекст

Вес Бека в этой дискуссии особый: Extreme Programming, тестирование через TDD и сам Agile-манифест давно встроены в то, как индустрия пишет код, поэтому его выводы звучат не как модный прогноз, а как продолжение собственной многолетней практики. Доклад выходит на фоне текущего спора о том, что лучше для работы с AI-ассистентами — «спеки вместо промптов» или итеративный процесс с быстрым фидбеком; вендоры продвигают первый путь, и Бек здесь встал на сторону итеративности. Экономический фон доклада простой: генерация правдоподобного кода дешевеет и коммодитизируется, а дефицитом становятся противоположные вещи — проверка результата и связь с бизнес-эффектом. На этом фоне обнажается и старая проблема кодогенерационных бенчмарков, где proxy-оценки правдоподобия давно расходятся с реальной пользой кода.

Почему это важно для индустрии

Для индустрии доклад — не очередное «AI всё изменит», а словарь и рамка для команд, переводящих разработку под AI-ассистентов. Дихотомия «plausible vs working» превращается в постановку задачи оценки: сгенерированному коду доверять можно только после проверки, поэтому центр тяжести смещается на тесты, ревью и evals. Критика spec-driven development описывает механизм регресса, который сейчас массово воспроизводится в AI-пайплайнах компаний, и поставщикам спек-подходов придётся доказывать итеративность, а не обещать one-shot. Меняются и слагаемые преимущества для стартапов: защитным слоем становится не скорость письма кода, а гарантия работоспособности и связь с бизнес-результатом, и на этом разрыве логично ждать новых инструментов — генераторов тестов, агент-ревьюеров, run/verify-слоёв. Цепочка «effort — output — outcome — mission» дополнительно подсказывает, как строить метрики AI-фич: измерять outcome, а не output.

Почему это важно для пользователей

Читателю, который пишет код с Claude или Copilot и спорит о «спеках вместо промптов», доклад даёт 52 минуты от человека, чьими практиками тот уже пользуется ежедневно. Практика складывается из нескольких принципов: предпочитать итеративную петлю one-shot выдаче под копипасту, то есть сгенерировать, проверить и принять по частям; заменять большие спеки ранними микропроверками; держать верификацию — тесты, ревью, evals — как главный фильтр для кода, который лишь выглядит правильным; не завязывать доверие к процессу на метрики активности вроде процента принятых правок, потому что они легко становятся самоцелью. Отдельно ценно, что Бек не выдаёт желаемое за действительное и прямо называет места, где его собственный подход пока не работает. Видео публичное и бесплатное, так что применить эти принципы можно уже сегодня.

Что пока неизвестно / ограничения

Доклад — экспертная рамка практика, а не исследовательский результат: в нём нет ни датасетов, ни протоколов, ни воспроизводимых измерений, ни данных о стоимости и латентности, ни API или бенчмарков. Процессный тезис о spec-driven development — это утверждение о процессе, которое нельзя опровергнуть бенчмарком, а подтверждений из реальных пайплайнов компаний в источниках нет; тезис противоречит вендорскому тренду, и обе стороны остаются при мнениях. Направление со Lean тоже пока наблюдение: сам Бек фиксирует нестыковку формальной верификации со случайностью генерации, но путей к решению в источниках не приводится. Наконец, отдельные трактовки — например, перенос цепочки «effort — output — outcome — mission» с метрик разработки на оценку самих AI-ассистентов — являются интерпретациями, выходящими за рамки сказанного в докладе, а рассуждения о будущей волне verify-инструментов — экстраполяциями, а не подтверждёнными трендами.

Источники

Автор

Look at AI, редакция