Episode Details

Please support this podcast by checking out our sponsors:
- Discover the Future of AI Audio with ElevenLabs - https://try.elevenlabs.io/tad
- SurveyMonkey, Using AI to surface insights faster and reduce manual analysis time - https://get.surveymonkey.com/tad
- KrispCall: Agentic Cloud Telephony - https://try.krispcall.com/tad


Support The Automated Daily directly:
Buy me a coffee: https://buymeacoffee.com/theautomateddaily

Today's topics:

Signal et notifications iOS - Une affaire fédérale montre que des notifications iOS peuvent conserver du contenu de messages Signal, même après suppression de l’app. Mots-clés: Signal, iPhone, notifications, forensique, confidentialité.

Souveraineté numérique de l’État - La France accélère la réduction des dépendances extra-européennes avec des plans ministériels, des communs numériques et des migrations vers Linux et des outils interministériels. Mots-clés: DINUM, ANSSI, Linux, commande publique, souveraineté.

Microsoft et pilotes Windows open source - Microsoft a suspendu des comptes de signature de pilotes utilisés par des projets open source, ralentissant potentiellement correctifs et mises à jour de sécurité. Mots-clés: Windows drivers, verification, WireGuard, VeraCrypt, supply chain.

Standards d’intégration pour agents IA - Un débat oppose les “Skills” basés sur des CLIs et le Model Context Protocol (MCP) pour des intégrations IA plus portables, maintenables et sécurisées. Mots-clés: LLM, MCP, OAuth, outils, standard.

Orion Artemis II: informatique résiliente - NASA décrit l’architecture “fail-silent” d’Orion pour Artemis II, conçue pour rester sûre malgré radiations, erreurs et pannes, sans possibilité de réparation. Mots-clés: Artemis II, Orion, tolérance aux pannes, logiciel critique, redondance.

Porte quantique stable à atomes neutres - ETH Zurich annonce une porte quantique de type swap très stable sur des atomes de potassium, une avancée vers des calculateurs quantiques plus fiables à grande échelle. Mots-clés: qubits, atomes neutres, fidélité, bruit, scalabilité.

Spécifications formelles pour jeux complexes - Un moteur de combat de Dungeons & Dragons a été spécifié formellement et testé par fuzzing, révélant des bugs subtils que les tests manuels ratent souvent. Mots-clés: Quint, model-based testing, state machine, règles, vérification.

-La France lance un plan interministériel pour réduire les dépendances numériques extra-européennes
-Microsoft suspends key open-source Windows developer accounts over verification policy
-Inside Orion’s Fail-Silent, Eight-CPU Flight Computer for Artemis II
-ETH Zurich Demonstrates Noise-Resistant Swap Gate for 17,000 Neutral-Atom Qubits
-Keeper: Go-based encrypted secret store with bucketed policies, audit chains, and key rotation
-

Listen Now