⚡️ Запись воркшопа по формальной верификации спецификаций через язык Quint

Разбираемся, как повысить надежность и безопасность кода, генерируемого нейросетями, внедрив промежуточный этап формальной верификации на языке Quint. Как перевод требований с английского языка в строгую математическую логику позволяет агентам находить слепые пятна и сайд-эффекты еще до написания самой программы. Спикер — Михаил Савченко, СЕО inite.ai.

ЧТО ВНУТРИ
- Про формальную верификацию
- Агентный конвейер как продолжение DevOps
- Проблемы промпт-инжиниринга и неоднозначность естественного языка
- Критерии надежности системы
- Много про Quint
- Пайплайн разработки: Английский -> Quint -> Верификация -> Код
- Порог входа

👉 Смотреть в Эволюции Кода

📰 ТОП-4 новости ИИ в программировании из 66го дайджеста клуба Эволюция Кода

🔸 JetBrains открыли поддержку ACP
Теперь в IDE от JetBrains можно подключать сторонние ИИ-агенты через Agent Client Protocol без подписки JetBrains AI. Среди поддерживаемых — Gemini CLI, Auggie, OpenCode, Copilot, Factory Droid, Mistral Vibe и Qwen Coder. Codex и CC пока остаются в рамках JetBrains AI.

🔸 Anthropic представили MCP Apps
В MCP появился новый эндпоинт, позволяющий выдавать интерактивный HTML-контент через MCP-UI и OpenAI Apps SDK. Теперь Claude, VS Code и ChatGPT могут работать с “приложениями” вроде Figma, Asana и Amplitude прямо в чате.

🔸 Cursor 2.4 теперь с Subagents и Skills
В стабильной ветке IDE Cursor вышла версия 2.4: появились Subagents, система Skills и встроенная генерация изображений через NanaBanana. Апдейт делает Cursor ещё ближе к полноценному агентному рабочему окружению.

🔸 Kimi K2.5 с роем агентов и пониманием изображений
Новая версия модели научилась делегировать задачи множеству своих инстансов, ускоряя выполнение до 4,5 раз. Также Kimi теперь обрабатывает изображения и показывает 76,8% на SWE-Bench Verified — выше, чем Gemini 3 Pro.

💡 Всего в дайджесте 26 новостей, в аудио, видео и текстовом форматах, так что присоединяйся к клубу 🧬

📰 ТОП-4 новости ИИ в программировании из 67го дайджеста клуба Эволюция Кода

🔸 OpenAI выпустили GPT-5.3 Codex
Модель на 25% мощнее GPT-5.2 Codex, лучше держит длинный контекст и понимает крупные проекты, при той же цене. Результаты: SWE-bench Pro — 57%, Terminal-Bench 2.0 — 77,3%. Отличный апгрейд для тех, кто уже на 5.2, но в API модель пока недоступна.

🔸 Anthropic представили Claude Opus 4.6 и Claude Sonnet 4.6
Новая топ-модель для разработки: SWE-bench Verified — 81.42%, Terminal-Bench 2.0 — 65,4%. Цена $5/$25 (как у 4.5), но появился Fast Mode — в 2.5× быстрее и в 6× дороже ($30/$150). Также вышел Claude Sonnet 4.6 — $3/$15, контекст 1M, улучшен Computer Use, доступен в API.

🔸 Z.ai выпустили open-source флагмана GLM 5
MoE-модель на 744B параметров (40B активных) с 200k контекста и DeepSeek Sparse Attention. SWE-bench Verified — 77.8%, Terminal-Bench 2.0 — 60,7% — конкурент закрытым моделям. Бесплатно протестировать можно в песочнице: https://chat.z.ai

🔸 OpenAI добавили нативную поддержку Agent Skills в Response API
Добавили эндпоинт для загрузки скиллов - /v1/skills. Т.е. скилы могут быть переиспользованы, версионированы и модель сама может решает, когда нужно дернуть тот либо иной скилл.

💡 Всего в дайджесте 40 новостей, в аудио, видео и текстовом форматах, так что присоединяйся к клубу 🧬

⚡️ Запись воркшопа по юзкейсам использования ИИ в UX

Разбираемся, как дизайнеры используют ИИ при работе с UX. Как исторически менялся UX и какие инструменты приходили на смену друг другу. На каких этапах используется ИИ и помогает ли ИИ-инструментарий работать с кодом (и нужно ли это вообще дизайнеру), как и куда ИИ пришел в Figma и многое другое. Расширяем кругозор! Спикер — Product Design Lead Алексей Акимкин.

ЧТО ВНУТРИ
- От роли дизайнера до AI-генерации
- Эволюция UI/UX за последние 20 лет
- В чем разница между UI и UX
- Три уровня зрелости дизайна в компании
- Фреймворк Double Diamond
- Эволюция инструментов: от Photoshop и Sketch к Zeplin
- Революция Figma
- Storybook и дизайн-токены
- Использование AI на этапе исследований (Discovery)
- Визуальный ресерч
- Генерация визуальных стилей
- Инструменты для прототипирования
- Может ли Product Manager заменить дизайнера с этими тулами?
- Должен ли дизайнер уметь верстать в 2026 году?
- И ещё много опыта, юзкейсов и полезных мыслей.

👉 Смотреть в Эволюции Кода

А ещё, в клубе большое обновление раздела (курса) "Модели для разработки" в Базе Знаний: обновлены модели, бенчи, лидерборды, добавлены новые железки, глава про нейроморфы и просто обновлена устаревшая инфа.

База Знаний клуба Эволюция Кода - это отдельный веб-портал (доступен и как ТГ-аппка), с тремя теоретическими разделами по разработки с в паре с ИИ. Самое крутое, что это "неустаревающий" источник знаний: база cобственноручно мною (Лёхой АйТиБородой 😁) пополняется новой инфой и актуализируется практически сразу по мере появления новых топиков.

Так что, u a welcom в Базу! 😎

⚡️ Запись воркшопа по использования ИИ в UI

Разбираемся, как дизайнеры используют ИИ для генерации изображений для приложений и прочей графики. Midjourney, ChatGPT, Figma. Спикер — дизайнер и Design Director, Святослав Фёдоров.

ЧТО ВНУТРИ
- Путь в дизайне: от MS-DOS до продуктового дизайна
- Продуктовый дизайн, метрики и консистентность бренда
- На каких этапах пайплайна включается AI
- Генерация изображений по JSON-промптам через ChatGPT
- Пример с генерацией иконок в стиле Airbnb
- Создание промптов: ручной режим или нейросети?
- Главные плюсы Midjourney и работа с рекламной графикой
- Поиск референсов и воровство промптов в веб-версии Midjourney
- Редактор Midjourney и исправление пальцев
- Почему дизайнеры выбирают Midjourney (коллекции промптов)
- Эмпатия и базовые вещи, которые не может сделать нейросеть

👉 Смотреть в Эволюции Кода

Запись созвона на тему применения Spec Driven Development на монолитах и больших кодовых базах

В этом видео участник клуба Михаил делится с Антоном опытом использования своей кросс-агентской обвязки и рассказывает про практики применения spec-driven development, которые сработали на его проекте-монолите.

Так же, Михаил приглашает поучаствовать программистов со стажем в разработку проекта из видео. В особенности, если у вас есть проекты на Python + Django.

👉 Доступ к записи созвона тут

🔥 Давненько ничего не выходило на АйТиБороде, так что держите: ИИ-пантеон, или кто правит нейросетями и миром разработки!

В этом выпуске разбираемся, кто на самом деле правит миром ИИ: OpenAI, Anthropic, Google, китайские лаборатории, европейские игроки, производители железа, роботов и инструментов для разработки. Без лишней воды пройдёмся по главным компаниям, людям и силам, которые прямо сейчас формируют рынок нейросетей, и главное — посмотрим на всё это глазами программиста: кто делает лучшие модели, кто двигает AI-разработку вперёд и что вообще важно понимать разработчику в 2026 году.

👉 https://youtu.be/EhVXmdd0dhM

📞 Запись клубного созвона №33 / 21 апреля 2026

ЧТО ВНУТРИ
- Впечатления от Claude Opus 4.7: точность против UX
- Почему разработка через API стала стоить безумных денег
- Ожидания от GPT 5.5 Pro и стоимость подписки
- Проект приложения для бега и истории: архитектура и выбор Kotlin
- Боли с геолокацией на iOS и Android: HealthKit против GPS
- Внедрение ИИ в найме против создания собственной студии
- Как продавать Time-to-Market и конкурентное преимущество с ИИ
- Мифы об ускорении разработки в 10-20 раз
- Автоматизация анализа конкурентов и риски ошибок
- Карьерный трек: работа на стыке IT и физического мира
- Вторая золотая волна стартапов и роль доменных экспертов
- Ренессанс «русской шаровары»: опыт разработки инди-игры на Kotlin
- Проблема «нейрослопа» (AI slop) в дизайне и арте
- Claude Design: первые тесты и реакция
- Демонстрация UI игры, созданного полностью через Claude Design
- Оптимальный флоу: требования — Claude Design — Claude Code
- Баттлнеки разработки: почему ревью и CI/CD замедляют доставку
- Подписка Max за $100 и лимиты токенов
- Почему PM-ы тратят больше токенов, чем разработчики
- Опасные агенты: как ИИ загнал весь диск под Git и «уронил» Mac
- Кибербезопасность и 13-летние хакеры с ChatGPT
- Как не деградировать в эпоху ИИ: шахматы и когнитивная нагрузка

👉 Доступ к записи созвона тут (видео, аудио и текст)

🔥 Запись онлайн-интервью с Глебом Моргачёвым — co-creator и главным инженером Gonka Protocol

Глеб — один из создателей Gonka наряду с братьями Либерманами и другими участниками команды.

Gonka — это децентрализованный блокчейн-протокол, задача которого — предоставлять пользователям децентрализованный инференс открытых моделей и потеснить монополистов-гиперскейлеров вроде OpenAI, Anthropic и других.

В этом интервью мы подробно разбираемся, как устроена Gonka, зачем она нужна и какую пользу может принести нам, разработчикам.

ПРО ЧТО ГОВОРИЛИ
- Что такое «протокол» в контексте децентрализованного AI
- Как происходят апгрейды сети: бинарники и голосование майнеров
- Философия AI-First: почему блокчейн здесь лишь инструмент
- Техническая реализация инференса на децентрализованных мощностях
- Обучение моделей: синхронизация градиентов и оффчейн-эксперименты
- Экономика проекта: токены GNK и Bitcoin-style реварды
- Динамическое ценообразование на инференс
- Доступные модели: Qwen, Kimi и критерии их выбора
- Proof-of-Compute: как верифицировать правильность ответа модели
- Процесс добавления новых моделей и роль DeepSeek
- Эффективность железа: конкуренция между H100 и B200
- Разделение логики: что остается On-chain, а что уходит Off-chain
- Метрики качества и общая пропускная способность сети
- Безопасность сети: защита от перехвата управления и стоимость атаки
- Разработчикам: как интегрировать Gonka в свой проект (SDK, Proxy)
- Проблема приватности и использование Trusted Execution Environments (TEE)
- Почему TEE — это не «серебряная пуля» для безопасности
- Для каких задач Gonka пока не подходит
- Внутренняя команда и внешние контрибьюторы
- Как стать контрибьютором: архитектура и DevShards
- Сессия вопросов и ответов (Q&A)
- Как реализован консенсус в связке с Cosmos SDK
- Прямые конкуренты: Bittensor, Ethereum, Ton

👉 Смотреть и слушать интервью в клубе
#evo_интервью

Обновился лендинг клуба: https://evocoders.ai

Теперь там стало гораздо больше полезной информации — можно лучше понять, подходит ли вам клуб и стоит ли в него вступать 😉

📰 ТОП-4 новости ИИ в программировании из 70го дайджеста клуба Эволюция Кода

🔸 Google представила новый флагман — Gemini 3.5 Flash
Несмотря на название, это уже не тот Flash, что был в линейке Gemini 3: модель позиционируется как новый флагман и обходит Gemini 3.1 Pro. При этом заявлена скорость до 300 токенов/с и сильные результаты на SWE-bench Pro (55,1%) и Terminal-Bench 2.1 (76,2%). Gemini 3.5 Pro обещают выпустить уже в следующем месяце.

🔸 Alibaba выпустила Qwen 3.7 Max
Первая модель семейства Qwen 3.7 показывает результаты уровня мировых лидеров: 69,7% на Terminal Bench 2.0, 60,6% на SWE-Pro и 80,4% на SWE-Verified. На фоне этих метрик Alibaba всё увереннее закрепляется среди лидеров AI-гонки, конкурируя с Anthropic и Google.

🔸 OpenAI добавила удалённое управление Codex в ChatGPT
Теперь агентом можно управлять со смартфона: приложение показывает скриншоты среды, логи терминала, результаты тестов и diff-файлы в реальном времени. Также появился Remote SSH для работы в корпоративной инфраструктуре; функция уже доступна на macOS и всех тарифах.

🔸 Йошуа Бенджио представил архитектуру GRAM
GRAM (Generative Recursive reAsoning Models) развивает идею рекурсивного рассуждения во внутренних состояниях модели без раздувания контекста. Ключевое новшество — стохастичность: модель исследует разные траектории решения и выбирает лучшую через reward-модель. На ARC-AGI система уже показывает около 52%.

💡 Всего в дайджесте 30+ новостей, в аудио, видео и текстовом форматах, так что присоединяйся к клубу 🧬

В «Эволюции Кода» стартует мини-серия из трёх воркшопов с Мишей Савченко — CEO INITE и нашим частым спикером.

Будем разбирать не просто «как сделать агента на коленке», а нормальную инженерную архитектуру для AI-систем: durable orchestration, память, время, границы, long-running workflows, provenance, Temporal, MCP/skills, SurrealDB, Dify/n8n и всё то, без чего мультиагентные системы быстро превращаются в весёлый, но плохо дебажимый хаос.

📅 29 мая в 16:00 UTC
Temporal как позвоночник мультиагентных систем

Почему agents без durable orchestration превращаются в хаос, чем Temporal сильнее очередей, почему RabbitMQ — это транспорт, а не архитектура процессов, и как строить long-running workflows для AI-систем.

📅 2 июня в 16:00 UTC
INITE Brain: память, время и границы для AI-агентов

Bitemporal facts, lifecycle, locale-pinning, retract/forget, decision log, provenance, scopes. Поговорим о том, почему «память агента» — это не RAG, а полноценная когнитивная инфраструктура.

📅 4 июня в 16:00 UTC
INITE Architecture: от AI-продуктов к субъектной операционной системе

Как INITE собирает agents, MCP/skills, Temporal, SurrealDB, Dify/n8n, вертикальные продукты и business interfaces в единую экосистему. Что уже готово, что in progress и куда всё это растёт.

Все три воркшопа пройдут внутри клуба «Эволюция Кода». Для участников они уже добавлены в календарь и клубного бота. Записи тоже будут доступны участникам клуба, так что можно будет посмотреть позже, если не получится прийти онлайн.

👉 Чтобы попасть на воркшопы, задавать вопросы заранее и получить доступ к записям — присоединяйтесь к «Эволюции Кода»: https://evocoders.ai

Будет плотно, технично и, кажется, очень полезно для всех, кто уже строит или собирается строить AI-продукты, агентов и нормальные production-ready системы вокруг них.

🔥 Митап с co-creator Gonka Protocol Глебом Моргачёвым доступен в паблике: https://youtu.be/Qh0N3MnXmSU

Глеб — один из создателей Gonka наряду с братьями Либерманами и другими участниками команды. Gonka — это децентрализованный блокчейн-протокол, задача которого — предоставлять пользователям децентрализованный инференс открытых моделей и потеснить монополистов-гиперскейлеров вроде OpenAI, Anthropic и других.

В этом интервью мы подробно разбираемся, как устроена Gonka, зачем она нужна и какую пользу может принести нам, разработчикам.

👉 Ну а за большим количеством митапов, созвонов, воркшопов и базы ИИ в разработке приходите в Эволюцию Кода https://evocoders.ai