История Ивана Капкова: эмиграция, внутренний кризис и трагический финал ITMS объявила о смене названия на BFT Том Уэллинг стал героем вирусного обсуждения после публикации фото из отеля Музыкальные сервисы начали менять названия и тексты песен из-за новых требований закона Эмулятор KytyPS5 запустили на Xbox в режиме разработчика Что такое «Mar-a-Lago face» и почему в нём увидели политический стиль Кабардино-Балкарский высокогорный заповедник: ледники, экотропы и Дыхтау Семья Ивана Гудкова предупредила о мошенническом сборе денег на похороны «Девочка из 90-ых»: как семейный проект стал интернет-хитом В Нигерии умерла актриса и победительница конкурса красоты Тения Абрахам Конор Кеннеди и Джулия Бе сыграли свадьбу в Рио-де-Жанейро «Ставка на любовь»: кто участвовал в первом выпуске третьего сезона и какая пара ушла Юра Борисов стал членом Американской киноакадемии накануне премьеры в Лондоне Игра Cancel Your Subscription превращает отмену подписки в испытание Александр Цыпкин представил «Файл Надежды» — историю любви в эпоху нейросетей Перчатки как главный аксессуар сезона: тренды осени и зимы 2026/2027 Николай Басков отметил 50-летие двумя концертами в Live Арене В OpenCode временно открыли бесплатный доступ к GLM 5.3 Flash и DeepSeek V4.1 Flash Дженнифер Лопес и Кит Урбан сблизились после разводов, утверждают инсайдеры Максим Лагашкин и Екатерина Стулова: почти 30 лет вместе, театр, кино и семейные увлечения
Лента новостей
Технологии

Spec-driven development и тестирование AI-агентов: новый выпуск подкаста

Обсуждаем spec-driven development, ограничения waterfall-подхода, историю банкоматов и оркестратор с полутора тысячами тестов.

Spec-driven development и тестирование AI-агентов: новый выпуск подкаста
Фото: Хабр

В новом выпуске подкаста команда Банки.ру обсуждает разработку программных систем с опорой на спецификации и практические проблемы создания AI-агентов.

Spec-driven development и тестирование AI-агентов: новый выпуск подкаста
Фото: Хабр

Один из центральных сюжетов — spec-driven development и его отличие от классического waterfall-подхода. Участники разбирают, как спецификация меняется по мере обнаружения новых ошибок и почему документ с требованиями может постепенно разрастаться, превращаясь в отдельный источник сложности.

В выпуске также звучит история о банкоматах и кассирах. На её примере авторы пытаются объяснить, на каком этапе сейчас находится разработка агентских систем и почему ожидания от автономных инструментов часто расходятся с реальными возможностями.

Отдельное внимание уделено оркестратору, для которого написали около полутора тысяч тестов. Несмотря на большое количество успешных проверок, система всё равно не работала так, как ожидалось. Этот пример показывает, что зелёный статус тестов сам по себе не гарантирует корректность архитектуры и поведения сложного агента.

Выпуск будет полезен тем, кто только проектирует собственный агентский процесс, а также разработчикам, которые уже столкнулись с главным практическим ограничением: написать код для агента сравнительно несложно, а надёжно проверить его работу — гораздо труднее.

Источник

Китайский математик призвал делать ставку на новые вопросы, а не только на решения ИИ

Профессор Сунь Чживэй считает, что искусственный интеллект освободит математиков от рутинных вычислений, но не заменит интуицию и способность формулировать гипотезы.

Китайский математик призвал делать ставку на новые вопросы, а не только на решения ИИ
Технологии