Quad9 abandona Francia por bloqueos & eMudhra sale del negocio SSL/TLS - Noticias de Hacker News (23 oct 2026)

Le preguntaron a doce modelos de inteligencia artificial cuál era su opinión más polémica sobre los seres humanos… y casi todos respondieron exactamente lo mismo. Ya les cuento qué dijeron. Bienvenidos a The Automated Daily, edición Hacker News. El podcast creado por inteligencia artificial. Soy TrendTeller y hoy es 23 de octubre de 2026. Tenemos un episodio variado: censura y DNS en Francia, certificados web, pruebas matemáticas de software hechas por IA, iOS corriendo donde no debería y una nueva forma de cobrar por jugar en la nube. Vamos allá.

Quad9 abandona Francia por bloqueos

Empezamos por la infraestructura de internet. Quad9, el servicio de DNS gratuito centrado en ciberprotección, anunció que dejará de operar para usuarios en Francia a partir del 24 de noviembre. El motivo es un fallo judicial en un caso de derechos de autor impulsado por beIN, que le obligaría a bloquear ciertos dominios para el público francés. Quad9 sostiene que hacerlo choca con sus principios de privacidad y neutralidad, que bloquear a nivel global impondría la ley francesa al resto del mundo, y que el bloqueo geográfico es poco fiable. Su conclusión es incómoda: cumplir no frenaría la piratería, pero sí debilitaría la seguridad de quienes dependen del servicio. Hay una apelación en curso, aunque por ahora la retirada le parece la única salida. Es un caso a vigilar, porque convierte a un resolvedor de DNS en herramienta de control de contenidos.

eMudhra sale del negocio SSL/TLS

Y una actualización sobre una historia que ya veníamos siguiendo. eMudhra, la autoridad certificadora que protagonizó un incidente reciente con certificados SSL/TLS, comunicó el 22 de octubre que su consejo ha decidido abandonar voluntariamente ese negocio a nivel mundial. La empresa insiste en que revocó las autoridades afectadas en menos de catorce horas, que no se emitieron certificados finales desde ellas y que no hubo filtración de datos. También admite lo evidente: esa línea apenas supone un uno por ciento de sus ingresos y compite contra certificados gratuitos con costes de cumplimiento cada vez más altos. Sus clientes recibirán reemplazos sin coste a través de socios, y el resto de su negocio, como firma digital o identidad, sigue igual.

Claude y verificación formal de software

Pasamos a la inteligencia artificial, y empezamos con algo de peso. Anthropic, junto a la empresa Theorem, usó Claude para producir pruebas formales, es decir, demostraciones matemáticas comprobadas por máquina, sobre propiedades de seguridad en 123 bibliotecas de código abierto que alimentan más de cien proyectos reales. La idea fue transformar las pruebas de fuzzing existentes en especificaciones formales y demostrar que el binario compilado no puede colapsar ante entradas razonables, bajo ciertas suposiciones. Por el camino, Claude encontró y ayudó a corregir fallos reales que llevaban años escapándose a las pruebas. La verificación formal siempre fue cara y artesanal; si los modelos de lenguaje la abaratan, la seguridad podría pasar de 'lo probamos bastante' a 'está demostrado'.

WorldTUI: una terminal simulada por IA

En un registro más experimental tenemos WorldTUI, un modelo pequeño, de 360 millones de parámetros, entrenado para comportarse como una terminal… sin que haya ninguna terminal detrás. No hay shell ni sistema de archivos: el modelo simplemente predice cómo cambia la pantalla con cada tecla que pulsas. Su autor lo entrenó con sesiones reales grabadas y le enseñó a reparar sus propios errores, lo que mejoró mucho su memoria en sesiones largas. Supera claramente a modelos genéricos, aunque todavía tropieza con comandos complejos, y ya corre en el navegador. Es una ventana curiosa a la idea de interfaces aprendidas en lugar de programadas.

Las IA opinan igual sobre humanos

Y vamos con el gancho del inicio. El sitio ModelCompare preguntó a doce modelos de texto, tres veces a cada uno, cuál era su opinión más controvertida sobre los humanos. En 29 de 35 respuestas la idea fue la misma: las personas valoran más la pertenencia, la lealtad y el estatus que la verdad o los principios. Preferimos equivocarnos en grupo antes que acertar solos, vinieron a decir. Hubo excepciones, como un modelo que defendió que somos más decentes de lo que creemos, y una negativa de Grok. Los modelos de imagen tampoco fueron originales: casi todos dibujaron humanos pegados al móvil o autodestructivos. La lectura más sensata es que no estamos ante una opinión propia de las máquinas, sino ante un eco de una crítica muy repetida en nuestros propios textos.

Construir tu propio runtime de contenedores

Cambiamos a sistemas. Un desarrollador compartió lo que aprendió escribiendo su propio runtime de contenedores, y desmonta varios mitos. Un contenedor no es una máquina aparte, sino un proceso normal de Linux envuelto en mecanismos de aislamiento; una imagen es, en esencia, una carpeta que se monta como nueva raíz. También explica por qué runc, la pieza de bajo nivel de Docker, tiene que pelearse con el modelo de ejecución de Go, y por qué Docker necesita tantos privilegios de root. La moraleja vale para cualquiera: reescribir una herramienta conocida es la mejor manera de entenderla de verdad.

HackiOS: iOS en un teléfono Android

Y hablando de meterse en las tripas del sistema: HackiOS es un proyecto de investigación que arranca el kernel XNU, el núcleo abierto de Apple, en un teléfono Android, concretamente un POCO X5 Pro, y sobre él ejecuta iOS 16.5 sin modificar. Pantalla de bloqueo, gestos, Safari, Fotos, Wi-Fi, sonido y vista previa de cámara funcionan; la red móvil y el Bluetooth, todavía no. Sus autores aclaran que no es una ROM para uso diario, sino un banco de pruebas, pero como demostración técnica resulta impresionante.

Xbox cobra por horas de nube

Cerramos con videojuegos. Microsoft empezó a probar con los Xbox Insiders la compra de horas de juego en la nube para títulos que ya tienes. Los paquetes salen aproximadamente entre veinticuatro y cuarenta centavos de dólar por hora. Ars Technica señala que el precio escuece porque se suma a la compra del juego, a diferencia de las viejas máquinas recreativas. Microsoft también ofrecerá una opción gratuita con anuncios, más espera y menor calidad. El precedente no es alentador: Stadia y PlayStation Now acabaron alejándose del pago por uso. La pregunta es si hay suficiente gente que juegue en la nube como para pagar aparte por ello.

Y hasta aquí el episodio de hoy. Encontrarán los enlaces a todas las historias en las notas del episodio. Gracias por escuchar The Automated Daily, edición Hacker News. Soy TrendTeller; nos escuchamos mañana.

Quad9 abandona Francia por bloqueos & eMudhra sale del negocio SSL/TLS - Noticias de Hacker News (23 oct 2026)

Our Sponsors

Today's Hacker News Topics