8 de jul. de 2026 em ai-coding - Um estudo do KAIST mediu que um agente de IA pode usar ate 136,5x mais eletricidade que um chatbot por consulta. O que o numero significa mesmo - e um pico, nao uma media - e porque o verdadeiro problema sao as GPU inativas.
6 de jul. de 2026 em ai-coding - A Databricks tornou o Omnigent open-source, um meta-harness que orquestra agentes de programação de IA como Claude Code, Codex e Cursor. O que é um meta-harness, as suas três capacidades e onde encaixa para os programadores.
6 de jul. de 2026 em ai-coding - Investigadores demonstraram que skills maliciosas de agentes de IA conseguem esconder-se de scanners estáticos usando uma técnica chamada SkillCloak, e skills realmente maliciosas já apareceram em marketplaces de agentes. O que são as skills, como funciona a evasão e como manter-se seguro.
5 de jul. de 2026 em ai-coding - A Sysdig documentou o JadePuffer, aquilo que classifica como o primeiro ransomware agentico - um agente de IA que conduziu um ataque de extorsao inteiro sozinho, da invasao ate a encriptacao. O que fez, porque 'agentico' importa e como se defender.
4 de jul. de 2026 em ai-coding - A Mistral lançou o Leanstral 1.5, um modelo gratuito Apache-2.0 para Lean 4 que prova formalmente a correção de matemática e código. O que é a verificação formal, os números de benchmark que a Mistral afirma e onde o modelo realmente encaixa para programadores.
4 de jul. de 2026 em ai-coding - Um vídeo vazado revelou o Project Aion, um protótipo interno da Microsoft em que o Copilot substitui o shell do Windows (sem menu Iniciar, barra de tarefas ou ambiente de trabalho). Corre numa base de código web chamada Win3 dentro do Edge. O vídeo teria cerca de dois anos, por isso o projeto está muito provavelmente abandonado, e a Microsoft não comentou.
3 de jul. de 2026 em ai-coding - A Cato AI Labs divulgou duas falhas críticas do Cursor apelidadas de DuneSlide (CVE-2026-50548 e CVE-2026-50549, CVSS 9.8). Permitem execução remota de código zero-click via indirect prompt injection. Como funcionam e porque já estão corrigidas no Cursor 3.0.
3 de jul. de 2026 em ai-coding - A Anthropic voltou a implementar o Claude Fable 5 com novas salvaguardas de cibersegurança e detalhou um framework de severidade de jailbreaks. O que regressa, os safety classifiers que o acompanham, os quatro critérios de severidade e os compromissos da Anthropic.
2 de jul. de 2026 em ai-coding - A Z.ai lancou o ZCode, uma ferramenta de programacao agentica gratuita movida a GLM-5.2 cujo plano fica abaixo de Cursor e Claude Code no preco. O que e o ZCode, para quem e, como se compara e como funciona o preco do GLM Coding Plan.
2 de jul. de 2026 em ai-coding - Kimi K2.7 Code já está disponível de forma geral no GitHub Copilot e é o primeiro modelo open-weight que se pode escolher no seletor de modelos do Copilot. Quem o tem, porque importa o ângulo open-weight e de menor custo, e como funcionam a faturação e a ativação.