Sigue tus pódcasts favoritos, escucha sin conexión y en el coche con CarPlay y Android Auto, y continúa siempre donde lo dejaste. Pruébala gratis.
Por favor, apoya este pódcast visitando a nuestros patrocinadores: - Diseño con IA sin esfuerzo para presentaciones, sitios web y más con Gamma - https://try.gamma.app/tad - Prezi: Crea presentaciones con IA rápidamente - https://try.prezi.com/automated_daily - Consensus: IA para la investigación. Obtén un mes gratis - https://get.consensus.app/automated_daily Apoya directamente a The Automated Daily: Cómprame un café: https://buymeacoffee.com/theautomateddaily Temas de hoy: Android y control de apps - F-Droid alerta sobre Android Developer Verification (ADV) desplegado vía Play Protect, con implicaciones de control centralizado, privacidad y competencia en Android. Copilot integra modelo open-weight - GitHub Copilot suma Kimi K2.7 Code como opción en el selector de modelos; es el primer modelo de pesos abiertos disponible, con foco en gobernanza y compliance. IA y economía de teoremas - David Bessis critica la “economía de teoremas” en academia y cómo la IA puede producir pruebas correctas pero poco inteligibles, afectando incentivos, financiación y educación matemática. WinPE para pruebas de drivers - Una propuesta usa Windows PE (WinPE) como entorno mínimo y reiniciable para CI, fuzzing y pruebas E2E de drivers, buscando más determinismo y ciclos de test más rápidos. Vite+ y unificación de toolchain - VoidZero publica la beta de Vite+ para unificar comandos y herramientas frontend en un solo flujo, reduciendo fragmentación entre repos y mejorando consistencia del desarrollo. Foros web versus redes sociales - Un ensayo repasa el declive de los foros frente a plataformas algorítmicas, destacando pérdida de contexto, comunidad y conversación sostenida en la Web social. Robot aspirador open source local - ‘Oomwoo’ plantea un robot aspirador open source, local-first y reparable, como alternativa a dispositivos dependientes de nube y con bloqueo de proveedor. Teclados míticos y ergonomía - Fabien Sanglard revisa su historia con teclados —del IBM Model M a diseños ergonómicos— y cómo la ergonomía y el hardware influyen en productividad y salud. - F-Droid Claims Google’s Developer Verification Will Let Android Block Unapproved Apps - GitHub Copilot Adds Kimi K2.7 Code as First Open-Weight Model Option - David Bessis Warns AI Is Breaking Mathematics’ Theorem-First Incentive System - Maker’s Pet Opens Early Development of OOMWOO, a DIY Open-Source Robot Vacuum - ZCode Updates Highlight Deeper GLM-5.2 Optimization and Multi-Agent Coding Features - Using Windows PE as a Stateless, Fast Harness for KMDF Driver Testing and Fuzzing - Mixedbread’s Asymmetric Quantization Cuts Late-Interaction Retrieval Storage by 97% - VoidZero launches Vite+ beta as a unified CLI toolchain for web development - Tedium Looks Back at Web Forums and How Social Media Replaced Them - Fabien Sanglard’s Keyboard Journey: From IBM Model M Classics to the ZSA Moonlander Transcripcion del Episodio Android y control de apps Empezamos por Android y una polémica que mezcla seguridad, poder y libertad del usuario. F-Droid advierte que el sistema de verificación de desarrolladores de Google, conocido como ADV, se está desplegando a través de Play Protect como un servicio en segundo plano en dispositivos Android 8 en adelante. Su crítica es dura: lo describen como una pieza “inseparable” del sistema que podría reforzar un control centralizado sobre qué software se considera aceptable. Google lo vende como una medida para reducir la reincidencia del malware, vinculando la distribución de apps a identidades verificadas. El punto de F-Droid es que eso no evita el primer golpe —la primera distribución maliciosa— y que el mismo objetivo podría perseguirse con alternativas menos restrictivas, como mejor escaneo en el propio dispositivo o sistemas de verificación más federados. Lo que más inquieta aquí no es solo la idea de verificación, sino la ambigüedad: F-Droid señala que los términos de Google usan un concepto poco definido de “malware”, lo que, en la práctica, daría margen para etiquetar como dañinas categorías de software simplemente indeseadas. Y si esa definición se impone desde el nivel del sistema en teléfonos certificados, el impacto podría ir desde bloquear la instalación o el arranque de F-Droid hasta desactivar apps instaladas desde repositorios alternativos. Además, temen más telemetría enviada a Google. La primera ola de aplicación, según esta alerta, empezaría el 30 de septiembre en Brasil, Indonesia, Singapur y Tailandia, con una expansión más amplia proyectada para 2027 y más allá. En resumen: la discusión ya no es solo “seguridad”, sino también competencia, privacidad y quién tiene la última palabra sobre tu propio dispositivo. Copilot integra modelo open-weight En el bloque de herramientas con IA para programar, GitHub movió una ficha relevante: Kimi K2.7 Code ya está disponible de forma general como modelo seleccionable dentro de GitHub Copilot. La novedad que destaca en Hacker News es que, por primera vez, Copilot ofrece un modelo de “pesos abiertos” en su selector. Aun así, no significa que esté corriendo en tu máquina: GitHub lo aloja en Azure, y se presenta como una opción adicional para flujos de trabajo de programación, incluyendo un enfoque de coste más bajo bajo facturación por uso. El despliegue será gradual para usuarios Pro, Pro+ y Max, mientras GitHub vigila calidad y rendimiento. Para empresas, el detalle importante es el control: en planes Business y Enterprise viene desactivado por defecto y requiere que los administradores habiliten explícitamente una política. Y GitHub insiste en algo que muchas organizaciones están aprendiendo a la fuerza: aunque un modelo sea “más abierto”, hay que evaluarlo igual con lupa desde seguridad, cumplimiento y gobernanza de datos. La historia aquí no es solo un modelo nuevo; es el cambio de expectativas sobre qué tipos de modelos entran en productos corporativos y cómo se gestionan. IA y economía de teoremas Pasamos a un tema más filosófico, pero con consecuencias muy r
