Salut les devs ! J’ai décidé de lancer “Dev Watch”, mon premier podcast qui vous permettra de rester à la pointe de l’actualité tech. Comment ça se présente ? La Sélec’ de repo Github du moment Le JT de l’IA Le Pro Tips de la semaine (généralement avec un cadeau) Cette semaine, épisode 20 : l’IA fait le travail de l’expert, de la preuve mathématique à l’intrusion en une nuit. Et la surface qui compte devient tout ce qu’on a branché autour. * Deux IA réfutent l’Exponential Time Hypothesis le même jour : OpenAI publie « The Exponential Time Hypothesis is False », et quelques heures plus tard Anthropic publie sa propre preuve, signée « Claude, Anthropic » (14 millions de tokens, aucun humain dans la découverte). La preuve Lean compte plus de 1 050 modules, mais elle a été écrite par des IA et relue par d’autres instances des mêmes modèles : aucun humain ne l’avait vérifiée à la publication. Aucun effet pratique, et ça ne règle pas P vs NP. Le vrai sujet, c’est l’IA qui produit plus vite qu’on ne relit. * Reddit passe en mode connecté : en octobre, Reddit a perdu en moyenne plus d’un million de visites de recherche par semaine, captées par les réponses IA de Google. Annoncé aux résultats du T3 : une expérience « principalement connectée », testée d’abord hors des États-Unis, pour freiner le scraping et soutenir les licences de données. Le CA, lui, progresse de 53 %. Le web ouvert se referme ; être cité par l’IA devient aussi important qu’être bien classé. * Des agents IA entrent chez Anthropic en moins de 12 heures : pendant un test de sécurité autorisé, les agents de la startup Cathedral échouent plusieurs jours contre les systèmes d’Anthropic, puis passent par des logiciels tiers d’administration et de vente. Résultat : salaires, offres d’embauche, transcriptions de réunions et messages Slack accessibles. Ni conversations clients, ni code, ni poids de modèles. Anthropic a coupé l’accès le jour même et conteste la gravité (rapport provisoire, via le Washington Post). * cloudflare/security-audit-skill (53k ⭐) : un skill qui transforme votre agent de code en auditeur de sécurité en six phases, chaque faille étant contre-vérifiée par un agent neuf. À lancer avant d’ouvrir un side-project, ou à chaque release d’un repo client. * AgriciDaniel/claude-seo (24k ⭐) : 19 agents Claude Code qui auditent un site en un quart d’heure, y compris le GEO (être cité par ChatGPT, Perplexity, AI Overviews). Gratuit, sous licence MIT ; le repo pousse aussi une communauté payante. * pingdotgg/t3code (32k ⭐) : l’app open source de Theo pour piloter Claude Code, Codex, Cursor ou OpenCode depuis son ordinateur ou son téléphone, avec ses propres abonnements. Le Pro-Tips de la semaine : faites l’inventaire de vos accès tiers. Sortez la liste des applis autorisées (Google Workspace › Sécurité › Contrôle des API, GitHub › paramètres de l’organisation › Third-party access, Slack › applis gérées), révoquez tout ce qui n’a pas servi depuis 90 jours, réduisez les droits de ce qui reste, et traitez chaque nouvelle intégration SaaS comme une dépendance de prod : un propriétaire nommé, une date de revue. 📺 Tu préfères la version vidéo ? Regarde l’épisode complet et abonne-toi sur notre chaîne YouTube : This is a public episode. If you would like to discuss this with other subscribers or get access to bonus episodes, visit sebastienheilig.substack.com