El Diario Automatizado - Edición Hacker News

About El Diario Automatizado - Edición Hacker News

Welcome to 'The Automated Daily - Hacker News Edition', your ultimate source for a streamlined and insightful daily news experience.

Publisher

TrendTeller

Category

technology

Language

es

Explicit

No

First episode

27 Mar 2025

Latest episode

11 Nov 2026

Latest episodes

555 episodes in the feed.

1. 

   11 Nov 2026

   DeepMind verifica formalmente Signal con IA - Noticias de Hacker News (11 nov 2026)

   Apoya directamente a The Automated Daily: 15 episodios gratis al día, 5 ediciones, 3 idiomas, y producirlos cuesta unos 4 dólares al día. Un café lo mantiene en marcha: theautomateddaily.com/support Por favor, apoya este pódcast visitando a nuestros patrocinadores: - Invierte como los profesionales con StockMVP - https://www.stock-mvp.com/?via=ron - KrispCall: Telefonía en la nube agéntica - https://try.krispcall.com/tad - SurveyMonkey, Usando IA para descubrir insights más rápido y reducir el tiempo de análisis manual - https://get.surveymonkey.com/tad Temas de hoy: DeepMind verifica formalmente Signal con IA - Google DeepMind usó AlphaProof Code y agentes de IA para verificar formalmente en Lean la implementación real del protocolo Signal, un hito en criptografía y seguridad verificada. Project Glasswing: balance crítico de Anthropic - VulnCheck analiza Project Glasswing de Anthropic y concluye que miles de hallazgos de vulnerabilidades, CVE y duplicados generan carga para mantenedores con poco impacto real en seguridad. Código generado por IA y fragilidad - Un artículo advierte que depender de herramientas de programación con IA produce tests superficiales, deuda técnica, revisiones apresuradas y más incidentes en producción. Guía web moderna para agentes - Chrome, Edge, Firefox y MDN impulsan Modern Web Guidance, un conjunto de habilidades para que los agentes de IA generen código web con APIs modernas del navegador. Patentes de Synaptics frenan driver Linux - Synaptics, dueña de DisplayLink, amenazó con patentes al desarrollador del driver Vino en Rust, que retiró su repositorio; la Open Invention Network no pudo protegerlo. Verisign mantiene los dominios .name - Verisign renuncia a eliminar 22.000 dominios .name y redirecciones de correo tras una larga campaña de usuarios y abogados, aunque cierra los nuevos registros de tercer nivel. Val Town anuncia su cierre - La plataforma de computación en la nube Val Town cierra por etapas, deja de cobrar, ofrece guías de migración y liberará su código como open source en 2027. Domótica que funciona sin la nube - Un desarrollador explica cómo construir una casa inteligente resiliente con Tasmota, MQTT, Node-RED y Raspberry Pi, donde la nube y Alexa son opcionales. Toyota resucita Scion con minicamión kei - Toyota relanza la marca Scion con el KEI-01, un pequeño camión utilitario de baja velocidad para granjas, almacenes y reparto urbano, con piloto para flotas en 2027. - Why Smart Homes Should Work Without the Internet - Verisign Reverses Plan to End Existing .name Domains - DeepMind Says AlphaProof Code Formally Verified Signal Protocol - AI Coding Tools Can Make Codebases Fragile - Toyota Revives Scion to Launch a Kei Truck in America - Synaptics Patent Threats Halt Linux DisplayLink Driver Work - VulnCheck Says Anthropic’s Project Glasswing Still Overpromises Results - Val Town Announces Wind-Down and Shutdown Timeline - Google Chrome Launches Modern Web Guidance for Coding Agents Transcripcion del Episodio DeepMind verifica formalmente Signal con IA Arrancamos con el titular del día. Google DeepMind asegura que ha verificado formalmente propiedades de seguridad clave de la implementación real del protocolo Signal, el que protege los mensajes de millones de personas. Para ello usó un nuevo marco basado en agentes llamado AlphaProof Code: los expertos humanos definen qué significa exactamente que el sistema sea seguro, y varios agentes de IA escriben las demostraciones en Lean, un lenguaje que comprueba cada paso de forma rigurosa. El proceso llevó cuatro semanas y generó más de seis millones de líneas de pruebas, de las que los humanos solo tuvieron que revisar alrededor de un uno por ciento. Como prueba de fuego, el equipo reintrodujo dos fallos antiguos ya corregidos en una cop...

2. 

   10 Nov 2026

   Gemini, Gmail y revisores humanos & Anthropic lanza Claude Fable 5.2 - Noticias de Hacker News (10 nov 2026)

   Apoya directamente a The Automated Daily: 15 episodios gratis al día, 5 ediciones, 3 idiomas, y producirlos cuesta unos 4 dólares al día. Un café lo mantiene en marcha: theautomateddaily.com/support Por favor, apoya este pódcast visitando a nuestros patrocinadores: - SurveyMonkey, Usando IA para descubrir insights más rápido y reducir el tiempo de análisis manual - https://get.surveymonkey.com/tad - Invierte como los profesionales con StockMVP - https://www.stock-mvp.com/?via=ron - Diseño con IA sin esfuerzo para presentaciones, sitios web y más con Gamma - https://try.gamma.app/tad Temas de hoy: Gemini, Gmail y revisores humanos - Un repositorio documenta que Google Gemini podría enviar contenido de Gmail y Google Drive a revisores humanos, pese a promesas previas, lo que plantea dudas de privacidad en Workspace. Anthropic lanza Claude Fable 5.2 - Anthropic actualiza Claude Fable y Claude Mythos a la versión 5.2, con mejoras en programación, razonamiento y visión, más rapidez y menor coste, y salvaguardas en ciberseguridad y biología. Meta presenta Muse Ember - Meta lanza Muse Ember, su modelo de IA más pequeño y eficiente, pensado para agentes, llamadas a herramientas, código y documentos largos con un contexto de un millón de tokens. Amazon sustituye LLM por clasificador - Ingenieros de Amazon reemplazaron Claude Sonnet 4.6 por el modelo de decisión Strands Decider para clasificar tickets, reduciendo latencia y costes en torno a un 98%. e-means: k-means más rápido - Meta FAIR presenta e-means, un algoritmo de clustering k-means de código abierto en Faiss que supera a Lloyd con menos épocas gracias a mini-lotes y leyes de escalado. Canadá estrena pagos en tiempo real - Payments Canada lanza el Real-Time Rail, un sistema nacional de pagos instantáneos 24/7 con protecciones antifraude centralizadas como la confirmación del beneficiario. Mapa oficial de códigos postales USPS - El Servicio Postal de Estados Unidos ofrece límites de códigos ZIP basados en datos reales de entrega, actualizados trimestralmente, como fuente de referencia geoespacial. Watched Earth revela satélites sobre ti - El sitio Watched Earth muestra qué satélites pasaron sobre cualquier punto del planeta en la última semana y las imágenes que captaron, evidenciando la escala de la observación orbital. Paneles solares magenta y brócoli - Un estudio de agrivoltaica con paneles solares semitransparentes color magenta logra cosechas de brócoli similares mientras genera electricidad y reduce el estrés hídrico. - Foldable Flight Showcases 100+ Paper Airplane Designs - Anthropic Launches Claude Fable 5.2 and Mythos 5.2 - USPS Launches ZIP Code Boundary Mapping Resource - GitHub Repo Claims Gemini May Expose Connected Gmail and Drive Content - Canada launches Real-Time Rail for 24/7 payments - e-means Promises Faster, Better k-Means Clustering - Amazon Replaces Sonnet with Strands Decider to Cut Ticket-Labeling Costs - Website Lets Users See Recent Satellite Passes Over Any Place on Earth - Magenta Solar Panels Could Make Agrivoltaics More Practical - Meta Launches Muse Ember, a Low-Cost AI Model for Agentic Work Transcripcion del Episodio Gemini, Gmail y revisores humanos Empezamos con la historia que abría el programa. Un repositorio en GitHub recopila indicios de que las funciones de Gemini conectadas a Google Workspace podrían enviar contenido personal de Gmail y Drive a procesos de revisión humana. Lo llamativo es que Google había prometido lo contrario, y luego actualizó sus páginas de ayuda para advertir que los revisores sí podrían ver correos o archivos, recomendando no conectar información confidencial. El autor afirma además que el comportamiento es impredecible: a veces Gemini no recupera nada, otras ofrece un resumen y otras muestra el texto completo sin c...

3. 

   9 Nov 2026

   Jensen Huang se disculpa públicamente & ¿Burbuja de la IA o negocio real? - Noticias de Hacker News (9 nov 2026)

   Apoya directamente a The Automated Daily: 15 episodios gratis al día, 5 ediciones, 3 idiomas, y producirlos cuesta unos 4 dólares al día. Un café lo mantiene en marcha: theautomateddaily.com/support Por favor, apoya este pódcast visitando a nuestros patrocinadores: - Invierte como los profesionales con StockMVP - https://www.stock-mvp.com/?via=ron - Descubre el futuro del audio con IA con ElevenLabs - https://try.elevenlabs.io/tad - Diseño con IA sin esfuerzo para presentaciones, sitios web y más con Gamma - https://try.gamma.app/tad Temas de hoy: Jensen Huang se disculpa públicamente - El CEO de NVIDIA, Jensen Huang, admitió una infidelidad en un mensaje interno y la junta directiva abrió una investigación independiente sobre posibles preocupaciones de seguridad nacional. ¿Burbuja de la IA o negocio real? - Un análisis sostiene que la inversión en centros de datos de IA no implica necesariamente una burbuja, citando el crecimiento de ingresos de Anthropic y las cuentas sólidas de Alphabet, Meta y Nvidia. Modelo gigante de IA en CPU - El proyecto llama-modchip parchea llama.cpp para ejecutar modelos mixture-of-experts como DeepSeek de 284B parámetros en 64 GB de RAM, sin GPU, democratizando la inferencia local. Hackeo remoto de coches conectados - Los investigadores Shubs y Sam Curry encadenaron credenciales expuestas, fallos de identidad y un salto de MFA para abrir de forma remota coches de un gran fabricante partiendo solo de una matrícula. Outlook rechaza correos sin DMARC - Outlook.com, Hotmail y Live comenzaron sin aviso a rechazar parte del correo de dominios sin registro DMARC; publicar una política p=none soluciona el problema de entregabilidad. Arrastrar y soltar declarativo premiado - Declarative Dragging y la librería Dragology, ganadores del Best Paper en UIST 2026, permiten crear interfaces de arrastrar y soltar en SVG describiendo estados en lugar de programar la interacción. Chimera: síntesis de voz física - Chimera es una demo interactiva que genera voz simulando el flujo de aire en un tracto vocal humano, con control de lengua, labios, mandíbula y cuerdas vocales en tiempo real. BenchUp: modelado 3D para carpintería - BenchUp es una app libre y de código abierto de modelado 3D para planificar muebles y proyectos de carpintería, con guardado local e importación de geometría de SketchUp. Escribir como herramienta para pensar - Un ensayo defiende que escribir genera pensamiento, no solo lo registra, y advierte que los LLM pueden tentarnos a saltarnos ese proceso de comprensión. - Jensen Huang Issues Apology and Says NVIDIA Board Has Launched Investigation - Declarative Dragging Simplifies Interactive Drag-and-Drop Design - BenchUp Launches Free 3D Furniture Design App - Researchers Chain Flaws to Remotely Unlock Connected Cars - Outlook.com Quietly Rejects Mail From Domains Without DMARC - llama-modchip Brings Large MoE Models to CPU-Only RAM - Why the AI Bubble May Not Exist - Writing as a Thinking Tool - Dux Labs Showcases Modern Desktop Suite for Wayland Linux - Chimera Demo Simulates Human Speech With a Virtual Vocal Tract Transcripcion del Episodio Jensen Huang se disculpa públicamente Empezamos con NVIDIA. La compañía difundió un mensaje interno de su CEO, Jensen Huang, fechado el 8 de noviembre, en el que pide perdón a su esposa, a sus hijos, a los empleados, a la junta, a los socios y a los accionistas. Huang reconoce haber sido infiel, asume toda la responsabilidad por el daño causado y solicita privacidad para su familia. Pero hay un detalle que no es menor: el texto confirma que la junta directiva ha abierto una investigación independiente sobre las preocupaciones de seguridad nacional mencionadas en la prensa, y Huang asegura que colaborará plenamente. Cuando el líder de una de las empresas más influy...

Contact El Diario Automatizado - Edición Hacker News

Guest appearances

Books guests

Based on episode analysis; this does not confirm that the show is currently accepting guests.