9 lug 2026 in ai-coding - Wiz ha rivelato GhostApproval, una falla di confine di fiducia in almeno sei assistenti di codice IA: un repository malevolo può indurre l'agente a scrivere fuori dal tuo progetto tramite un link simbolico, a volte prima della tua approvazione. Cos'è, quali strumenti sono stati colpiti e come proteggerti.
9 lug 2026 in browser-privacy - Check Point ha mostrato che il modello di IA DeepSeek può generare ransomware che gira interamente in un browser Chromium, senza app da installare. È una prova di concetto, non un'epidemia, e serve il tuo clic. Cos'è, come funziona e come proteggerti.
8 lug 2026 in ai-coding - La societa di sicurezza Noma ha svelato GitLost, una falla di prompt injection in GitHub Agentic Workflows. Un issue pubblico manipolato ha fatto trapelare dati di repo privati dall'agente IA. Come funziona l'attacco e cosa insegna.
8 lug 2026 in ai-coding - L'autorita cyber cinese segnala una backdoor in Claude Code di Anthropic, e Alibaba l'ha vietato. Anthropic parla di un esperimento anti-abuso. I fatti, le due versioni, le versioni interessate e la soluzione pratica.
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.