Noticias de Hacker News de 20 sept 2025

Bienvenido a 'The Automated Daily', tu fuente definitiva para una experiencia diaria de noticias optimizada y perspicaz. Por favor, apoya este pódcast visitando a nuestros patrocinadores: -Obtén $10 de descuento en la suscripción de Perplexity.ai - https://bit.ly/TheAutomatedDaily_Perplexity -Hasta $1000 de descuento en la compra de un automóvil Tesla - https://bit.ly/AutomatedDailyTesla Temas de hoy: -Batería de hidrógeno de baja temperatura -Cifrado lúdico con Unicode -Claude Code y pruebas formales -Obsidian y seguridad en dependencias -Rana africana invasora en Gales -Imágenes almacenadas en DNS -Ecosistema y dependencias en R -Descompresión de modelos LLM -Libro sobre compiladores y continuaciones - 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://dgl.cx/2025/09/images-over-dns - https://