Suivez vos podcasts préférés, écoutez hors ligne et en voiture avec CarPlay et Android Auto, et reprenez toujours là où vous en étiez. Essai gratuit.
Merci de soutenir ce podcast en visitant nos sponsors: - SurveyMonkey, Utiliser l'IA pour faire émerger des insights plus rapidement et réduire le temps d'analyse manuelle - https://get.surveymonkey.com/tad - Conception assistée par l'IA sans effort pour des présentations, des sites web et bien plus avec Gamma - https://try.gamma.app/tad - KrispCall: Téléphonie cloud agentique - https://try.krispcall.com/tad Soutenez directement The Automated Daily: Offre-moi un café: https://buymeacoffee.com/theautomateddaily Sujets du jour: L’IA et la mémoire mathématique - Un essai avance que l’IA semble forte en mathématiques surtout grâce à une mémoire symbolique massive, capable de garder hypothèses, étapes et contraintes visibles. Le point clé : en maths, la vérification est claire, ce qui favorise les modèles d’IA plus que les domaines ambigus. Coder avec jugement à l’ère des LLM - Un billet rappelle que les outils de code basés sur les LLM produisent du logiciel utile, mais ne remplacent pas les fondamentaux du génie logiciel. Maintenabilité, interfaces, validation déterministe et sécurité restent des compétences humaines décisives. Solitude, créativité et idées originales - Une réflexion sur la créativité soutient que les idées vraiment neuves naissent souvent dans une forme de solitude protégée. Le texte relie innovation, attention intérieure et résistance à la conformité trop rapide. RISC-V face à ses contradictions - Une critique sévère de RISC-V accuse l’architecture de vouloir tout couvrir au prix d’une trop grande fragmentation. Au cœur du débat : compatibilité, extensions optionnelles, performances embarquées et coût de la complexité. Super El Niño en accélération - Les dernières projections décrivent un Super El Niño qui se renforce rapidement dans le Pacifique tropical. En jeu : impacts météo potentiels pour l’hiver 2026-2027 en Amérique du Nord et en Europe, avec un risque accru de conditions extrêmes dans certaines régions. Tour de taille et risque cardiaque - Une vaste étude suggère que le tour de taille et le ratio taille-hanches prédisent mieux le risque cardiovasculaire que le BMI seul. Le message pratique est simple : la répartition de la graisse compte autant, voire plus, que le poids total. Les kanji fantômes d’Unicode - L’histoire des “kanji fantômes” montre comment de petites erreurs d’archives ont fini dans des standards numériques mondiaux. Certains caractères entrés par confusion dans le standard japonais ont même été propagés jusqu’à Unicode. - AI May Be Out-Remembering Mathematicians - ASUS Oxiis Turns Regular Bikes Into Smart E-Bikes - RISC-V Criticized for Optionality, Encoding, and Embedded Weaknesses - Super El Niño Strengthens Toward Record Winter Impact - Abdominal Fat Outperforms BMI for Heart Disease Risk - At-Home Tick Test Aims to Improve Lyme Disease Diagnosis - The Mystery of Japan’s Ghost Characters - How Solitude Helps Great Ideas Take Shape - Why Software Engineering Fundamentals Matter More Than Ever Transcription de l'Episode L’IA et la mémoire mathématique On commence avec une idée qui a beaucoup fait réagir : et si l’IA ne dominait pas les mathématiques parce qu’elle raisonne mieux que nous, mais parce qu’elle oublie moins en cours de route ? L’argument est simple. En maths, tout peut être posé noir sur blanc : définitions, hypothèses, contraintes, résultats intermédiaires. Pour un modèle, cet espace écrit agit comme une mémoire de travail élargie. Pour un humain, une bonne partie de la difficulté vient au contraire du suivi des étapes et des erreurs de tenue de compte. Ce qui rend cette thèse intéressante, c’est qu’elle explique aussi pourquoi l’IA paraît plus solide en maths que dans des sujets sociaux ou politiques, où il y a moins de réponse nette et beaucoup moins de vérification objective. Coder avec jugement à l’ère des LLM Dans le même esprit, un autre billet rappelle que l’arrivée des assistants de code n’a pas supprimé le métier d’ingénieur logiciel, elle l’a plutôt rendu plus visible. Les modèles peuvent générer du code qui fonctionne, écrire des tests et accélérer la production. Mais le vrai travail reste dans l’architecture, la lisibilité, la capacité à déboguer, à garder des frontières propres entre les composants, et à décider quels compromis sont acceptables. L’auteur insiste aussi sur un point pratique : les LLM donnent de meilleurs résultats quand on leur fournit peu de contexte, mais le bon contexte, et quand on les branche à des validations déterministes. En clair, l’IA aide beaucoup, mais le jugement technique reste au centre. Solitude, créativité et idées originales Toujours autour du travail intellectuel, un essai sur la créativité défend une idée moins à la mode : les idées vraiment originales ont souvent besoin de solitude pour survivre au début. Le texte explique que trop d’évaluation, trop tôt, pousse facilement vers des idées plus sûres, donc plus banales. L’intérêt de cette réflexion, c’est qu’elle ne rejette pas la collaboration. Elle dit simplement qu’avant d’exposer une intuition fragile au regard des autres, il faut parfois lui laisser un espace pour prendre forme. À l’heure où tout est partagé, commenté et optimisé en continu, c’est un rappel utile : produire du neuf demande aussi de protéger un peu le temps lent. RISC-V face à ses contradictions Côté matériel, une critique très dure de RISC-V relance un débat ancien sur l’architecture du jeu d’instructions open source. L’auteur estime que RISC-V essaie de plaire à trop de mondes à la fois : les très petits microcontrôleurs, les processeurs plus puissants, les industriels qui veulent personnaliser, et ceux qui veulent de la compatibilité stricte. Résultat selon lui : trop d’options, trop d’extensions, et pas assez de base commune. Ses détracteurs y verront une charge excessive, mais la question soulevée est réelle. Quand une architecture laisse beaucoup de choses au choix des fabricants, elle gagne en flexibilité, mais elle peut perdre en cohérence. Et pour les dévelo
