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'è ZCode, per chi è, 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.
30 giu 2026 in ai-coding - Claude Sonnet 5, il più recente modello di classe Sonnet di Anthropic, è ora disponibile in modo generale in GitHub Copilot. Chi vi ha accesso, in cosa è bravo per la programmazione quotidiana e agentica, e come si colloca accanto alle altre opzioni Claude.
30 giu 2026 in ai-coding - La fast mode di Claude Opus 4.8 è ora in preview in GitHub Copilot - stesso modello, output molto più veloce. Prezzo: 10 $/M di token in input e 50 $/M in output, circa 2,5x più veloce e circa 3x più economica della fast mode dei modelli precedenti. Chi vi ha accesso e quando usarla.
29 giu 2026 in ai-coding - Eseguire un grande modello linguistico in locale significa che i tuoi prompt e i tuoi dati non lasciano mai la tua macchina - a differenza di ChatGPT, Claude o Gemini, dove l'input viene inviato ai server del fornitore. Quali modelli open-weight e strumenti scegliere per la privacy, l'hardware necessario e i compromessi onesti rispetto al cloud.