Microsoft supply-chain атака: GitHub, Miasma и AI coding tools
Microsoft временно удалила часть GitHub-репозиториев после Miasma-инцидента. Разбираем риск для Claude Code, Gemini CLI, Cursor и VS Code.
разработка
Разработка с использованием ИИ: интеграция API, создание AI-приложений, автоматизация workflows.
Lean4Agent: как Lean 4 проверяет workflow AI-агентов
Lean4Agent переносит формальную проверку Lean 4 на workflow AI-агентов. Что проверяет FormalAgentLib, зачем нужен LeanEvolve и где границы результата.
Source map Claude Code: что видно в архитектуре CLI
Habr разобрал source map Claude Code v2.1.88. Мы отделяем мифы от инженерных выводов: agent loop, context compression, tool use, permissions и субагенты.
Google покупает код у Play-разработчиков: гонка за данными
Google предлагает некоторым Play-разработчикам деньги за доступ к production-коду. Разбираем, зачем ИИ-инструментам нужны реальные Android-проекты.
SIA self-improving AI: агент, который меняет код и веса
Разбор SIA от Hexo Labs: как self-improving AI меняет harness и веса агента, где здесь риски и почему рядом Anthropic и mKernel.
Prompt injection в jqwik: stdout как риск для AI coding agents
jqwik 1.10.0 добавил prompt injection в stdout тестового движка. Разбираем, почему проблема не в одной строке, а в том, что AI coding agents читают логи как рабочий контекст.
Cognition Devin: $1 млрд инвестиций и оценка $26 млрд
Cognition объявила о раунде $1 млрд+ при $26 млрд post-money. Разбираем, почему TechCrunch пишет $25 млрд pre-money и что это значит для Devin.