ИИ
InfoQ: ИИ делает формальные методы ближе к обычным разработчикам
10 июля 2026 InfoQ выпустил подкаст о том, как ИИ упрощает формальные методы: спецификации и model-based testing становятся ближе инженерам.
Эпоха «учись кодить» закончилась: бизнесу пора учить своих
77% работодателей в мире планируют переобучать людей под ИИ. Бизнесу уже недостаточно нанять джунов — теперь нужен системный рескиллинг.
Anthropic выпустила Reflection: Claude покажет, где ИИ уже лишний
9 июля Anthropic запустила бета-функцию Reflection в Claude: она показывает, как часто вы полагаетесь на ИИ и где без него…
Почему ИИ-тесты с 100% покрытием всё равно пропускают баги
40+ сгенерированных тестов и 100% покрытия строк не спасают от багов: разбор показывает, почему ИИ и автотесты всё ещё требуют…
Autopilot-Jobhunt: ИИ ищет вакансии и подгоняет резюме
9 июля 2026 года The Register рассказал о Autopilot-Jobhunt: Python-инструмент ищет вакансии ночью, ранжирует их и готовит резюме.
Mercor может удвоить оценку до $20 млрд на фоне бума ИИ
Mercor обсуждает раунд при оценке $20 млрд, что вдвое выше октябрьской. Для рынка ИИ это сигнал: деньги снова идут в…
Meta вывела Muse Spark 1.1 в гонку ИИ для программирования
Meta запустила Muse Spark 1.1 с ценой от $1,25 за миллион входных токенов и ставкой на агентное кодирование для бизнеса.
Каждый четвертый длинный пост в соцсетях пишет не человек
25% длинных постов в соцсетях выглядят полностью сгенерированными ИИ, а LinkedIn и X уже приблизились к порогу «половина ленты».
Academic Humanizer маскирует ИИ-тексты под живую академическую речь
8 июля MorphMind представила Academic Humanizer — инструмент, который переписывает ИИ-черновики статей так, чтобы они звучали менее машинно.
ИИ в цепочке поставок кода: почему старые меры уже не спасают
За 20 месяцев после запуска MCP ИИ вошел в сборку софта, и безопасность цепочки поставок кода пришлось пересматривать заново.