1008 | IA racionada, dominios secuestrados y arte en ASCII

Clara Vega: Hola y bienvenidos, soy Clara Vega.

Mateo Ruiz: Y yo Mateo Ruiz, y este es nuestro repaso de lo que se está moviendo hoy en el mundo del software y la tecnología. Hay historias que parecen separadas —un modelo nuevo, un dominio nacional secuestrado, once cuadrados en una demostración formalizada— pero en realidad casi todas hablan de lo mismo: de límites. Límites de coste, límites de confianza, límites de lo que una máquina puede traducir sin perder el sentido.

Clara Vega: Exacto, y empezamos justo por el límite que más gente está notando esta semana: el de la factura de la IA.

Mateo Ruiz: Vamos allá. Lo grande del día es que GPT-6 ya está disponible para todos los usuarios de ChatGPT, no solo para los planes de pago de gama alta. Y la novedad no es solo el modelo en sí, sino lo que OpenAI llama Intelligent UI: las respuestas ya no son bloques de texto, sino que contienen elementos con los que puedes interactuar directamente.

Clara Vega: Esto es un cambio de concepto interesante. Hasta ahora el chat era el producto: tú escribes, el modelo responde en texto, y tú haces algo con ese texto en otra herramienta. Con la interfaz inteligente, la respuesta puede ser, por ejemplo, un widget interactivo dentro de la propia conversación. El chat deja de ser texto y pasa a ser una superficie de aplicación.

Mateo Ruiz: Y ahí está la pregunta que mucha gente se hace: ¿esto cambia los hábitos de uso de verdad, o es cosmética? Porque si de verdad la gente empieza a hacer las cosas dentro del chat —comprar, configurar, iterar sin salir— eso reordena todo el ecosistema de herramientas. Si no, es una pegatina bonita. Todavía es pronto para saberlo.

Clara Vega: Pero lo curioso es que mientras GPT-6 llega a todo el mundo, Anthropic está moviendo sus piezas en la dirección contraria: bajando precios. Han lanzado Claude Haiku 5.5, que presentan como su modelo pequeño más rápido y más capaz hasta la fecha, y es un setenta y cinco por ciento más barato que su antecesor. Además, han recortado a la mitad el precio de lectura de caché de Sonnet 5.5.

Mateo Ruiz: El recorte de la lectura de caché no es un detalle menor. En aplicaciones reales, mucho del coste no está en generar la respuesta, sino en releer contexto largo una y otra vez en cada llamada. Si lees el caché a mitad de precio, los agentes y las aplicaciones con conversaciones largas se abaratan de forma inmediata. Es un golpe directo al coste operativo.

Clara Vega: Y aquí viene la tensión del día. Porque si los modelos se abaratan, uno pensaría que el consumo se dispara sin fricción. Pero no: Meta y Microsoft están limitando el uso de Claude entre sus propios empleados. En el caso de Microsoft, la cuota mensual por empleado ha bajado de cien mil dólares a unos diez mil. Y en Meta, simplemente han reducido a la mitad el número de usuarios con acceso.

Mateo Ruiz: Que una empresa del tamaño de Microsoft tenga que recortar la cuota de sus ingenieros en un noventa por ciento dice mucho. No es que no quieran pagar; es que la demanda interna crece más rápido que cualquier presupuesto. Los empleados descubren que el modelo les multiplica la productividad, lo usan sin freno, y de pronto la factura de un solo equipo rivaliza con la de infraestructura entera.

Clara Vega: Y eso conecta con lo que viene después, que es el tema que de verdad me tiene enganchada esta semana. Si el coste por token es un problema real incluso para los gigantes, entonces ahorrar tokens deja de ser una micro-optimización y se convierte en supervivencia operativa.

Mateo Ruiz: Y hay una técnica curiosísima que ha aparecido justo para eso. Es casi de broma de lo simple que es: una sola frase de instrucción que le dice al modelo que escriba en telegrafés, el Cablese, el idioma comprimido de los telegramas, donde se eliminaban artículos, preposiciones, todo lo prescindible.

Clara Vega: Los resultados son sorprendentemente buenos: reduce entre un cuarenta y un cuarenta y nueve por ciento los tokens de salida, y la tasa de recuperación de información se mantiene entre cero con noventa y nueve y uno con diez. Es decir, el contenido llega intacto, e incluso en algunos casos con información ligeramente sobre-representada.

Mateo Ruiz: Y lo bonito es que es una técnica barata y reversible. No hace falta reentrenar nada, no hace falta infraestructura nueva: es una instrucción. Si un día no te gusta, la quitas. Claro que queda una incógnita grande: ¿qué pasa en agentes que llevan corriendo muchas horas, con cientos de pasos? ¿Acumula el Cablese ambigüedades que un humano no notaría en un mensaje corto pero que sí romperían un bucle largo? Nadie lo ha medido bien todavía.

Clara Vega: Y si vas a usar técnicas así en producción, necesitas algo más que un prompt suelto: necesitas una forma de definir y orquestar esos agentes de manera repetible. Ahí encaja el anuncio de Docker, que ha liberado docker-agent como proyecto de código abierto.

Mateo Ruiz: La idea es que defines tus agentes de IA de forma declarativa, en YAML, en vez de pegarlos con código a mano. Soporta orquestación de varios agentes que colaboran, puedes usar varios modelos distintos en el mismo despliegue, y puedes publicarlos como imágenes OCI, o sea, con el mismo mecanismo de empaquetado que ya usa todo el mundo para contenedores.

Clara Vega: Es Docker haciendo lo que Docker sabe hacer: coger algo que la gente ya está haciendo a mano y darle un formato estándar y distribuible. La combinación es clara: modelos más caros de lo que parece, técnicas de ahorro como el Cablese, y una capa de orquestación para que todo eso sea reproducible. El precio de la IA no se está resolviendo solo con descuentos; se está resolviendo con ingeniería alrededor.

Mateo Ruiz: Bueno, y de ingeniería alrededor de sistemas de confianza pasamos a algo donde la confianza se rompió por la base esta semana. Porque hay una capa de internet en la que casi nadie piensa: la autoridad de un dominio de país entero.

Clara Vega: Sí, y este es de los más preocupantes que he visto en mucho tiempo. Atacantes tomaron el control de los registros de tres dominios nacionales —punto gh de Ghana, punto sl de Sierra Leona y punto as— y alteraron el DNS. Con ese control, pudieron emitir certificados TLS que pasaban todas las validaciones, suplantando a marcas tan conocidas como Google.

Mateo Ruiz: Piénsalo bien: no robaron la clave privada de nadie, no engañaron a una autoridad de certificación concreta. Controlaron la fuente, el registro del dominio, y desde ahí todo lo demás fluye. El candado del navegador, el aviso verde, todo aparece como legítimo porque técnicamente lo es. Es un ataque a la jerarquía de confianza por arriba, no por abajo.

Clara Vega: La respuesta rápida llegó de Chrome, que ya bloquea esos certificados. Y las recomendaciones que circulan para los operadores son dos: vigilar los logs de Certificate Transparency, que registran los certificados emitidos y permiten detectar emisiones fraudulentas, y configurar registros CAA, que restringen qué autoridades de certificación pueden emitir certificados para tu dominio.

Mateo Ruiz: Lo que sigue abierto es lo grave: cómo se recuperan estos registros, quién responde por el secuestro, y sobre todo, si otros dominios de país tienen la misma debilidad. Porque si tres cayeron a la vez, la pregunta no es si hay más registros frágiles, sino cuántos y cuáles. Es de los temas donde la incertidumbre es mayor que la información.

Clara Vega: Y donde hay fraude sistemático a esta escala, suele haber alguien concretísimo detrás. Y en este caso la historia es de novela. La banda ShinyHunters, una de las más activas en extorsión, tiene como líder a alguien apodado Rey. Y cuando lo detuvieron, resultó ser un adolescente de Amán, en Jordania.

Mateo Ruiz: Detenidos, sí, con una ironía tremenda: estaba en pleno proceso de extorsionar a Jeppesen y ForeFlight, las empresas de aviación que salieron de la división de Boeing. Imagina la escena: un chaval en Jordania apretando a empresas que gestionan la navegación aérea mundial.

Clara Vega: Lo que dice esto sobre el sector es incómodo: las bandas de extorsión más efectivas pueden ser a la vez muy jóvenes y muy internacionales. No hace falta una organización criminal con estructura corporativa; basta talento, conexión a internet y ausencia de frenos. Y el avance judicial estará interesante de seguir: qué pena le cae, y si ShinyHunters continúa operando sin su cabeza o se desmorona. Normalmente las bandas descentralizadas sobreviven a la detención del líder, pero no siempre.

Mateo Ruiz: Y fíjate que el fraude también llega a lo cotidiano, al pago de todos los días. En San Diego, una pizzería ha presentado una demanda colectiva contra Visa, Mastercard y los grandes bancos, acusándolos de conspirar para mantener altas las comisiones de intercambio que pagan los comercios.

Clara Vega: El argumento de fondo es el que conoces: el comercio pequeño no tiene poder de negociación, las comisiones son prácticamente iguales en todas las redes, y esa uniformidad de precios es justamente lo que la ley de competencia considera señal de colusión. Una pizza no es un producto financiero, pero cada margen cuenta. Es un caso a vigilar, porque si avanza, toca a todo el sistema de pagos.

Mateo Ruiz: Bien, cambio de tercio, y de un salto. Vamos de las comisiones de la pizza a los cuadrados. Literalmente: al problema del empaquetado óptimo de once cuadrados, que se acaba de cerrar con una formalización completa en Lean, el asistente de demostraciones.

Clara Vega: Y no una formalización a medias: los siete mil novecientos veinte módulos, todos, pasaron la verificación. La respuesta: el lado óptimo mide aproximadamente tres con ocho siete siete cero ocho. Es un número que durante años vivió en la zona gris entre lo conjeturado y lo demostrado, y ahora está verificado por máquina.

Mateo Ruiz: Esto es parte de una tendencia que va muchísimo más allá de este problema concreto: la matemática verificada por ordenador. En lugar de confiar en que un revisor humano no se ha saltado un caso límite, construyes la prueba en un sistema donde cada paso se comprueba mecánicamente. Queda por ver si este flujo se extiende a más problemas abiertos de mayor envergadura, pero cada caso que se cierra así hace la práctica más normalizada.

Clara Vega: Y en paralelo hay otro texto que está circulando que conecta ideas formales de niveles muy distintos. Habla del principio de diseño de software de "si arriba, for abajo": subir las condiciones condicionales a un nivel superior y empujar los bucles hacia abajo. Y lo vincula con la optimización de consultas en bases de datos y con la ley de filtrado-mapeo de la teoría de categorías, los subobjetos.

Mateo Ruiz: La gracia de esa conexión es que son tres contextos donde aparece el mismo patrón formal: filtrar primero y transformar después, en vez de al revés. En bases de datos, el optimizador reordena la consulta para filtrar antes y reducir el volumen. En teoría de categorías, es la estructura de subobjeto. En tu código de aplicación, es la regla del "if arriba, for abajo". Cuando un mismo patrón emerge en niveles tan separados, suele indicar que hay algo estructural ahí, no una casualidad.

Clara Vega: Pero cuidado, porque justamente cuando hablamos de formalizar, hay que poner también los límites. Y hay un artículo que lo hace de forma demoledora: sostiene que la traducción semánticamente fiel de matemáticas por IA —lo que llaman autoformalización— es más difícil que el problema de la parada dentro de la jerarquía del Solvability Complexity Index.

Mateo Ruiz: Es decir, no es que la IA formalice mal a veces; es que hay un techo teórico. Traducir un enunciado matemático a un lenguaje formal sin perder el sentido es un problema que, según ese índice de complejidad resoluble, está por encima de cosas que sabemos que no tienen solución algorítmica general. La implicación es incómoda: no todo lo que la IA traduce a formato formal significa lo que el autor quería decir, y no hay procedimiento general que lo garantice.

Clara Vega: Lo cual matiza el entusiasmo de la demostración de los once cuadrados, ¿no? El empaquetado se formalizó con muchísimo trabajo humano detrás. La pregunta abierta es exactamente esa: qué problemas conseguirá formalizar la IA a pesar del índice, y dónde estará la frontera entre la asistencia útil y la traducción que parece correcta pero traiciona el contenido.

Mateo Ruiz: Y hay otro frente donde lo formal y lo experimental se cruzan, pero este en el mundo físico: el Nobel de Química de 2026. Ha ido para Henri B. Kagan y Kenso Soai por sus descubrimientos en síntesis orgánica asimétrica.

Clara Vega: El trabajo que se premia es precioso conceptualmente. Descubrieron efectos no lineales y la auto-catálisis en reacciones asimétricas, y con eso resolvieron un misterio de largo recorrido: cómo surge espontáneamente la quiralidad homógenea, es decir, cómo la vida acabó usando casi exclusivamente moléculas de una sola mano.

Mateo Ruiz: Y fíjate el paralelismo con lo que hablábamos: en los dos casos hay un sistema que amplifica una pequeña asimetría inicial. En química, una molécula ligeramente predominante se autocataliza y arrastra todo el sistema hacia un lado. Es la misma idea de un pequeño sesgo inicial que se refuerza hasta dominar. Un frente pone coto a la IA, el otro explica un origen. Dos caras de la misma moneda formal.

Clara Vega: Bueno, y de la amplificación de sesgos pasamos a alguien que definió disciplinas enteras antes de que existieran los términos. Malas noticias esta semana: ha muerto Margaret Hamilton, el treinta de septiembre, a los noventa años.

Mateo Ruiz: Para quien no la conozca: Hamilton fue la responsable del software del programa Apolo, el código que llevó humanos a la Luna. Y no solo eso: ella acuñó el término "ingeniería de software". En una época en que programar se consideraba algo improvisado, secundario, ella insistió en que aquello era ingeniería, con disciplina, con rigor, con prácticas.

Clara Vega: Y esa insistencia es la razón de que existan cosas que hoy damos por sentadas. Cada vez que alguien defiende que el software necesita procesos y no genios solitarios, está de alguna manera recogiendo su herencia. Es de esas pérdidas donde te das cuenta de cuánto del mundo moderno descansa sobre decisiones tomadas hace sesenta años.

Mateo Ruiz: Y precisamente por eso tiene sentido el siguiente tema, que es sobre cómo escribimos y comunicamos software. Porque la herencia de Hamilton no es solo construir bien, sino comunicar bien lo construido. Y en eso seguimos fallando bastante.

Clara Vega: Sí: Michael Lynch publicó el siete de octubre una lista de antipatrones en blogs de software, y es un espejo incómodo. Los tres grandes: introducciones que se van por las ramas antes de llegar al punto, asumir la formación del lector —escribir para tu yo de hace años, no para el principiante que llega—, y el abuso de enlaces, esas piezas donde cada párrafo remite a otros tres artículos y nunca cierras el círculo.

Mateo Ruiz: Es útil como checklist para cualquier equipo que produce documentación técnica. Y hay una pregunta que flota sobre todo esto: si la IA está generando borradores cada vez en más contextos, ¿van a cambiar los estándares de la escritura técnica? ¿Se van a homogeneizar, o al revés, el texto humano cuidado va a volverse una señal de distinción? Nadie lo sabe, pero es una discusión que viene.

Clara Vega: Vamos ahora a una parte que me apetece mucho, porque después de seguridad y matemáticas toca la parte lúdica y creativa del oficio. Y empiezo con algo espectacular: kagan.in ha publicado más de ciento sesenta experimentos de código abierto de visualización de sonido, organizados en más de veinticinco categorías, todo con licencia MIT.

Mateo Ruiz: Eso significa que puedes coger cualquiera de esos experimentos, meterlo en tu proyecto, modificarlo y hasta venderlo si quieres. Es una biblioteca viva de formas de hacer audible y visible el sonido. Y en otra escala completamente distinta, pero con el mismo espíritu: hay un museo 3D navegable de historia del arte construido con datos de Wikipedia, que recorre milenios de corrientes y obras de pintores.

Clara Vega: Yo le veo el mismo patrón a los dos: coger datos que ya existen y son libres, y darles una forma espacial o sensorial que los haga habitables. Y para quien quiera construir cosas así, hay una tercera pieza que encaja: Shaders, una colección de más de doscientos componentes de sombreado para WebGPU, con soporte para React, Vue, Svelte, Solid, JavaScript plano y Framer. También MIT.

Mateo Ruiz: Es decir, el ecosistema está completo: experimentos para inspirarte, contenido libre para poblar, y componentes listos para construir. Lo que queda por ver es cómo se integran en proyectos reales, porque hay una diferencia grande entre una demostración preciosa y una pieza que sobrevive dentro de una aplicación con mantenimiento.

Clara Vega: Y en esa línea de piezas concretas, un par más de fuentes para enredar la paleta. ascii.rest ofrece ciento noventa y un trabajos de ASCII animado, hecho en TypeScript, sin dependencias, con licencia MIT y soporte para los frameworks principales.

Mateo Ruiz: Y si tu necesidad es todavía más simple, hay una herramienta llamada Bigwords.page que convierte cualquier pantalla en un cartel: escribes un mensaje, y ese mensaje vive en el fragmento de la URL, sin backend, sin almacenamiento, MIT también. Y hasta hay una curiosidad tipográfica: c64-keyboard-font, una fuente reconstruida a partir de fotografías de las teclas del Commodore 64, con formatos TTF, OTF, versión web y sesenta y tres leyendas gráficas de PETSCII. La nostalgia también se compila.

Clara Vega: Pues pasemos a la ingeniería dura de verdad, que hoy ha dado para mucho. Primer bloque: juegos de PSP corriendo en el navegador. Mediante recompilación estática a WebAssembly, sin emulador interpretando cada instrucción, se traduce el juego una vez y luego corre nativamente en el navegador.

Mateo Ruiz: El dato que lo resume todo: God of War: Chains of Olympus, que era de los juegos más exigentes de la consola, corre a sesenta fotogramas por segundo. Eso demuestra que la recompilación estática no es un truco académico: es una vía viable para preservar y acceder a software antiguo sin instalar nada.

Clara Vega: Segundo bloque de ingeniería: Chrome 155 ya soporta oficialmente la decodificación de JPEG XL. Y hay un detalle técnico que me encanta: la implementación, jxl-rs, está escrita íntegramente en Rust, lo que garantiza seguridad de memoria en un componente que procesa imágenes de fuentes no confiables en cada página web.

Mateo Ruiz: Y las ventajas del formato: entre un treinta y un cincuenta por ciento más de compresión que JPEG, soporte de HDR, y algo muy práctico: transcodificación sin pérdidas desde JPEG existente. Ese último punto es la vía de migración inteligente: puedes convertir tu archivo actual a JPEG XL sin degradarlo, y el proceso es reversible. Con el respaldo de Chrome, el formato puede por fin despegar de verdad.

Clara Vega: Y el tercer bloque es de ingeniería inversa con sabor: la comunidad ha confirmado que el sintetizador M-VAVE FM-1, un hardware muy barato, funciona sobre el chip JieLi AC791N y lleva un motor FM de seis operadores derivado de Dexed, el emulador del clásico Yamaha DX7. Y todo, bajo licencia WTFPL.

Mateo Ruiz: Para los aficionados al hardware, esto es oro: saber qué hay dentro significa que se puede modificar, mejorar, reutilizar el chip para otros proyectos. Y la licencia tan permisiva elimina cualquier fricción legal. Es ingeniería inversa en su versión más productiva: no para romper, sino para abrir.

Clara Vega: Y terminamos, como no podía ser de otra manera, con la historia más insólita del día, y ojo que compite con lo del chaval de Amán. Un ingeniero civil británico, Tony Deane, pasó veinte años excavando a mano una red de túneles bajo su propia casa en Tilehurst.

Mateo Ruiz: Veinte años. A mano. Quince metros de profundidad, con un elevador de carga de una tonelada y puertas secretas. Y ahora la propiedad sale a subasta con un precio guía de entre trescientas mil y trescientas veinticinco mil libras.

Clara Vega: Lo que me gusta de esta historia es que es la cara humana de la obsesión técnica. Veinte años de trabajo personal, sin retorno comercial, motivado por algo que solo él entendía del todo. Y en ese sentido no es tan distinto de los ciento sesenta experimentos de visualización de sonido o del museo de arte en 3D: proyectos que existen porque alguien no podía evitar hacerlos.

Mateo Ruiz: Quedan dos incógnitas, claro: quién compra la casa —¿un entusiasta, un promotor que lo aplane todo?— y qué hará con los túneles. Ojalá que quien la compre entienda que el valor real de esa propiedad está a quince metros bajo tierra.

Clara Vega: Eso es todo por hoy. Como siempre, lo mejor de estas historias no son los anuncios, sino las preguntas que dejan abiertas: si la interfaz interactiva cambiará cómo usamos los chatbots, cómo se recupera un registro de dominio nacional, y hasta dónde llegará la formalización automática.

Mateo Ruiz: Nos escuchamos en la próxima. Cuidense, y gracias por acompañarnos.