Actualités Hacker News du 20 sept. 2025

Bienvenue à 'The Automated Daily', votre source ultime pour une expérience quotidienne d'actualités optimisée et perspicace. Merci de soutenir ce podcast en visitant nos sponsors: -Obtenez 10$ de réduction sur l'abonnement Perplexity.ai - https://bit.ly/TheAutomatedDaily_Perplexity -Jusqu'à 2500$ de réduction sur l'achat d'une voiture Tesla - https://bit.ly/AutomatedDailyTesla Sujets du jour: -Nouvelle batterie hydrogène basse température -Claude Code et la preuve formelle -Sécurité logicielle chez Obsidian -Grenouille africaine invasive au Pays de Galles -Stockage d’images dans DNS TXT -Écosystème et gestion des dépendances R -Extraction de données depuis les LLM -Revue du livre Compiling with Continuations -Chiffrement ludique avec Unicode - https://www.isct.ac.jp/en/news/okmktjxyrvdc - https://sethmlarson.dev/scream-cipher - https://www.galois.com/articles/claude-can-sometimes-prove-it - https://obsidian.md/blog/less-is-safer/ - https://www.bbc.com/news/uk-wales-44886585 - https://d