8 lug 2026 in ai-coding - Uno studio del KAIST ha misurato che un agente IA puo consumare fino a 136,5x piu elettricita di un chatbot per query. Cosa significa davvero il numero - e un picco, non una media - e perche il vero problema sono le GPU inattive.
6 lug 2026 in ai-coding - Databricks ha rilasciato in open source Omnigent, un meta-harness che orchestra agenti di coding AI come Claude Code, Codex e Cursor. Cos'è un meta-harness, le sue tre capacità e a chi serve tra gli sviluppatori.
6 lug 2026 in ai-coding - Una ricerca ha dimostrato che le skill malevole degli agenti IA possono nascondersi dagli scanner statici usando una tecnica chiamata SkillCloak, e vere skill malevole sono comparse sui marketplace di agenti. Cosa sono le skill, come funziona l'evasione e come restare al sicuro.
5 lug 2026 in ai-coding - Sysdig ha documentato JadePuffer, quello che definisce il primo ransomware agentico - un agente IA che ha condotto da solo un intero attacco di estorsione, dall'intrusione alla cifratura. Cosa ha fatto, perché 'agentico' conta e come difendersi.
4 lug 2026 in ai-coding - Mistral ha rilasciato Leanstral 1.5, un modello gratuito Apache-2.0 per Lean 4 che dimostra formalmente la correttezza di matematica e codice. Cos'è la verifica formale, i numeri dei benchmark dichiarati da Mistral e dove il modello si colloca davvero per gli sviluppatori.
4 lug 2026 in ai-coding - Un video trapelato ha rivelato Project Aion, un prototipo interno di Microsoft in cui Copilot sostituisce lo shell di Windows (niente menu Start, barra delle applicazioni o desktop). Gira su una base di codice web chiamata Win3 dentro Edge. Il video avrebbe circa due anni, quindi il progetto è molto probabilmente abbandonato, e Microsoft non ha commentato.
3 lug 2026 in ai-coding - Cato AI Labs ha divulgato due falle critiche di Cursor soprannominate DuneSlide (CVE-2026-50548 e CVE-2026-50549, CVSS 9.8). Permettono l'esecuzione di codice da remoto zero-click tramite indirect prompt injection. Come funzionano e perché sono già corrette in Cursor 3.0.
3 lug 2026 in ai-coding - Anthropic ha ridistribuito Claude Fable 5 con nuove salvaguardie di cybersicurezza e ha dettagliato un framework di severità dei jailbreak. Cosa torna, i safety classifiers che lo accompagnano, i quattro criteri di severità e gli impegni di Anthropic.
2 lug 2026 in ai-coding - Z.ai ha lanciato ZCode, uno strumento di coding agentico gratuito basato su GLM-5.2 il cui piano taglia i prezzi di Cursor e Claude Code. Cos'e ZCode, per chi e, come si confronta e come funziona il prezzo del GLM Coding Plan.
2 lug 2026 in ai-coding - Kimi K2.7 Code è ora disponibile in generale in GitHub Copilot ed è il primo modello open-weight che puoi scegliere nel selettore di modelli di Copilot. Chi lo ottiene, perché conta l'angolo open-weight e a costo inferiore, e come funzionano fatturazione e attivazione.