5 juil. 2026 dans ai-coding - Sysdig a documenté JadePuffer, ce qu'elle qualifie de premier rançongiciel agentique - un agent IA qui a mené seul toute une attaque d'extorsion, de l'intrusion au chiffrement. Ce qu'il a fait, pourquoi le terme 'agentique' compte, et comment se défendre.
4 juil. 2026 dans ai-coding - Mistral a sorti Leanstral 1.5, un modèle gratuit sous licence Apache-2.0 pour Lean 4 qui prouve formellement que les maths et le code sont corrects. Ce qu'est la vérification formelle, les chiffres de benchmark annoncés par Mistral, et où ce modèle trouve vraiment sa place pour les développeurs.
4 juil. 2026 dans ai-coding - Une vidéo divulguée a révélé Project Aion, un prototype interne de Microsoft où Copilot remplace le shell Windows (plus de menu Démarrer, de barre des tâches ni de bureau). Il tourne sur une base de code web nommée Win3 dans Edge. La vidéo daterait d'environ deux ans, donc le projet est très probablement abandonné, et Microsoft n'a pas commenté.
3 juil. 2026 dans ai-coding - Cato AI Labs a divulgué deux failles critiques de Cursor surnommées DuneSlide (CVE-2026-50548 et CVE-2026-50549, CVSS 9.8). Elles permettent une exécution de code à distance zero-click via une indirect prompt injection. Comment elles fonctionnent et pourquoi elles sont déjà corrigées dans Cursor 3.0.
3 juil. 2026 dans ai-coding - Anthropic a redéployé Claude Fable 5 avec de nouveaux garde-fous cybersécurité et détaillé un framework de sévérité des jailbreaks. Ce qui revient, les safety classifiers livrés avec, les quatre critères de sévérité et les engagements d'Anthropic.
2 juil. 2026 dans ai-coding - Z.ai a lancé ZCode, un outil de codage agentique gratuit propulsé par GLM-5.2 dont le plan sous-cote Cursor et Claude Code. Ce qu'est ZCode, pour qui, comment il se compare, et comment fonctionne la tarification du GLM Coding Plan.
2 juil. 2026 dans ai-coding - Kimi K2.7 Code est désormais disponible de façon générale dans GitHub Copilot, et c'est le premier modèle open-weight que l'on peut choisir dans le sélecteur de modèles de Copilot. Qui y a accès, pourquoi l'angle open-weight et moindre coût compte, et comment fonctionnent la facturation et l'activation.
30 juin 2026 dans ai-coding - Claude Sonnet 5, le tout dernier modèle de classe Sonnet d'Anthropic, est désormais disponible de façon générale dans GitHub Copilot. Qui y a accès, ce pour quoi il est doué (codage quotidien et agentique) et comment il se situe face aux autres options Claude.
30 juin 2026 dans ai-coding - Le fast mode de Claude Opus 4.8 est désormais en preview dans GitHub Copilot - même modèle, sortie bien plus rapide. Tarif : 10 $/M de tokens en entrée et 50 $/M en sortie, environ 2,5× plus rapide et ~3× moins cher que le fast mode des modèles précédents. Qui y a accès et quand l'utiliser.
29 juin 2026 dans ai-coding - Faire tourner un LLM en local, c'est garder vos prompts et vos données sur votre machine - contrairement à ChatGPT, Claude ou Gemini, où l'entrée part sur les serveurs du fournisseur. Quels modèles open-weight et quels outils choisir pour la confidentialité, le matériel nécessaire, et les compromis honnêtes face au cloud.