📰 Tech Trends Daily — Domingo, 11 de octubre de 2026

Palabras clave del día: Ceder capacidades es fácil; recuperar los límites es difícil Fuentes de datos: HN Top 30 + Lobsters Top 25. Se omiten cuatro temas recurrentes de la portada de Lobsters ya cubiertos ayer (sostener la comunidad intelectual, programar no es especial, Unison Cloud en código abierto, Cloudflare y Deno); dos duplicados entre plataformas (2D Vehicles, The Lightbulb Computer) unificados con enlaces a ambas discusiones. Selección final: 49 entradas.

🔥 Enfoque del día

Hoy dos líneas discurren en torno a los «vallados», pero en direcciones opuestas. Microsoft lanzó la versión 1.0 de Mxc, utilizando un enfoque basado en directivas (policy-driven) para delimitar el perímetro de los agentes capaces de leer/escribir archivos y acceder a la red; la propia documentación oficial describe la disyuntiva actual: «o abrirlo todo apostando a que no pase nada, o blindarlo por completo perdiendo todo beneficio». Ese mismo día, la revelación de una inyección IPC en Telegram Desktop aportó la otra cara de la moneda: un simple delimitador sin escapar permite que, con solo pulsar un enlace en un chat grupal, cualquier archivo local de la víctima (incluidos los archivos de sesión) pueda ser sustraído y filtrado hacia el exterior; la sección de comentarios no tardó en reflotar la vieja pregunta: ¿por qué el software de escritorio sigue obteniendo por defecto acceso irrestricto a todo el disco y a toda la red?

En el frente de las capacidades, el umbral sigue descendiendo. REA Reverse empaqueta la ingeniería inversa en una cadena de herramientas para agentes de código: un simple comando de instalación la integra en un agente existente para que este «explique qué hace este programa». El debate se centró en la motivación de fondo: cuando obtener el resultado final se vuelve tan barato, ¿qué les queda a quienes encontraban el auténtico placer en el proceso mismo?

🤖 IA, Agentes y Capital

  • REA Reverse: incorporando la ingeniería inversa a los agentes de código — REA Reverse – Engineer Anything. 667 puntos / 294 comentarios (HN). Con npx rea-agents@latest setup se integra en un agente existente para encomendarle que averigüe qué hace exactamente un programa. 💬 Alguien tomó la descompilación de Touhou 4 como muestra de prueba, destacando nombres de variables razonables, comentarios escasos y la ausencia casi total del «aroma tosco» de Ghidra, logrando este nivel en apenas un mes; otro grupo matizó la extendida afirmación de que «el 88% de los juegos de PS2 se han perdido para siempre», aclarando que el estudio original contabilizaba aquellos «no archivados en ninguna biblioteca conocida», lo cual dista mucho de ser «injugables».

  • Epoch AI: los modelos actuales no alcanzan el nivel de la innovación algorítmica humana — Recent AI models struggled to match a human algorithmic innovation. 60 puntos / 48 comentarios (HN). InnovationEval plantea a los agentes idear una técnica de postentrenamiento para luego comparar su rendimiento bajo idénticas condiciones frente a artículos académicos coetáneos; la conclusión del informe confirma que no logran reproducir el nivel de una innovación original humana, lo que de paso evidencia que la «I+D de IA realizada autónomamente por IA» aún no pasa de ser una simple demostración técnica.

  • Nvidia negocia la adquisición de Reflection AI — Nvidia in talks to acquire US ‘open’ model startup Reflection AI. 91 puntos / 57 comentarios (HN). Reportado por el Financial Times sin cifras desveladas; el propio hecho de que un equipo de «modelos abiertos» sea absorbido por un fabricante de chips constituyó el eje central del debate.

  • Microsoft lanza la versión 1.0 de sus contenedores de ejecución Mxc — Mxc: Microsoft Execution Containers version 1.0.0. 143 puntos / 32 comentarios (HN). Establece líneas de directivas diferenciadas para archivos, red y acceso a aplicaciones; el aspecto clave es que esta infraestructura la proporciona la propia capa de plataforma de Windows, sin depender de que cada agente implemente su propio entorno aislado (sandbox).

  • Talorys: agente personal autoalojado que opera sobre el nivel gratuito de Cloudflare — Show HN: A self-hosted personal AI agent on Cloudflare’s free tier. 225 puntos / 114 comentarios (HN). Empaqueta todo el agente dentro de recursos gratuitos como Cloudflare Workers; el foco se sitúa en la estructura de costes y en lo empinada que resulta la curva de gastos al mantener un agente personal en ejecución continua a largo plazo.

  • Por qué los agentes de programación son tan torpes — Why Are Coding Agents So Dumb?. 38 puntos (Lobsters). La lista de quejas del autor es muy concreta: los agentes no saben paralelizarse por sí mismos y se detienen ante cualquier detalle insignificante a la espera de aprobación humana. 💬 El propio autor intervino en la conversación para admitir que «paralizar todo un turno de trabajo por un detalle menor» es el problema más real; otros replicaron que la ejecución secuencial es una concesión calculada: paralelizar agota con mayor rapidez los límites de sesión, y el coste en tokens del paso de mensajes y la resolución de conflictos supera al de la ejecución ordenada.

  • El desarrollo de la IA no es tan «inevitable» — There’s little that’s “inevitable” about AI. 21 puntos (Lobsters). El autor desmonta el discurso de que «el avance tecnológico hacia este punto era un destino prefijado»: suena a descripción objetiva, pero en la práctica sirve para eximir de responsabilidad a quienes toman las decisiones.

  • Modelos de lenguaje basados en bytes: comportamiento de escalado y abstracciones emergentes — Byte Language Models: Scaling, Emergent Abstractions, and Information … 2 puntos (Lobsters). Al prescindir del tokenizador, ¿las capas de abstracción emergen de forma natural o son forzadas? Este artículo aporta un conjunto de evidencias experimentales; una línea de investigación poco común que bien merece ser registrada.

  • Voxlocal: un agente de voz minimalista escrito en Rust — Voxlocal: a minimal voice agent written in Rust. 2 puntos (Lobsters). Cada fase, desde la grabación hasta la síntesis de voz, se ejecuta en local: ideal como ejemplo mínimo y legible de una canalización de voz integral.

🔒 Seguridad, Privacidad y Licencias

  • Telegram Desktop: secuestro de cuenta con un solo clic — Telegram Desktop vulnerability allowed any user’s file to be stolen. 393 puntos / 241 comentarios (HN). Un delimitador sin escapar en el IPC de instancia única permitía que, tras agregar a la víctima a un grupo y enviarle un enlace, un solo clic bastara para extraer cualquier archivo local, incluidos los archivos de sesión. 💬 La discusión fue más allá del parche: alguien rescató la cita de Sergey Bratus («cualquier formato de entrada suficientemente complejo es indistinguible de un código de bytes»), argumentando que conceder a las aplicaciones acceso irrestricto al disco y a la red por defecto es una deuda técnica heredada de los años ochenta; los más escépticos recordaron que aislarlo todo tampoco es viable, pues configurar manualmente capas de bubblewrap u opensnitch sigue siendo una artesanía reservada a unos pocos.

  • Filtración masiva del CPR danés protegida con la contraseña «123456» — `123456’ password used in Danish CPR data breach. 373 puntos / 192 comentarios (HN). 💬 Los comentarios coincidieron en que focalizar la culpa mediática en la contraseña es el enfoque más superficial: la brecha real radicó en cuentas de administrador sin 2FA, accesos de terceros sin auditar y recomendaciones de seguridad desestimadas con la excusa de que «habría que volver a formar a los empleados». Otros señalaron las limitaciones del contexto real: un sector significativo de la población carece de smartphone y gestiona sus trámites en ordenadores de bibliotecas públicas, por lo que el coste social y político de imponer el 2FA obligatorio es muy tangible.

  • Bitwarden adopta un modelo de doble licencia y la comunidad busca alternativas — Bitwarden Dual License Model. 326 puntos / 239 comentarios (HN). 💬 El comentario más votado enlazó el artículo The Quiet Renovation at Bitwarden, que investiga los antecedentes del nuevo equipo directivo de la compañía; tras leerlo, el autor del hilo decidió migrar. Las alternativas florecieron en el debate: Proton Pass, KeePassXC + Syncthing o autoalojar Vaultwarden; no obstante, varios usuarios advirtieron de inmediato que Vaultwarden, al depender de las aplicaciones móviles oficiales, podría sufrir cortes de soporte tarde o temprano, trasladando el dilema de la migración aguas abajo.

  • Eye of Sauron: detección de cámaras espía ocultas a larga distancia mediante retrorreflexión — Eye of Sauron: Long-Range Hidden Spy Camera Detection (2024). 293 puntos / 71 comentarios (HN). Aprovecha las propiedades de retrorreflexión óptica de las lentes para escanear a gran distancia cámaras ocultas; este artículo académico de 2024 reapareció con fuerza en la portada.

  • Ciberdelincuentes usan anuncios de Google y redirecciones de Bing para desplegar ataques ClickFix suplantando a Claude — Hackers abuse Google Ads, Bing redirects to push Claude ClickFix attacks. 17 puntos / 8 comentarios (HN). Contratan espacios publicitarios para desviar tráfico hacia falsas interfaces de terminal con el reclamo de «deja que Claude te lo arregle», engañando a los usuarios para que ellos mismos peguen comandos maliciosos. Las marcas de IA se consolidan como nueva tapadera para la ingeniería social.

  • Rampart: ofuscación de datos personales (PII) directamente en el navegador — Rampart: Browser native on-device PII redaction. 61 puntos / 28 comentarios (HN). Identifica y anonimiza campos sensibles de forma local dentro del navegador sin que los datos salgan del dispositivo, ofreciendo una sólida capa de protección para flujos de formularios y conexiones proxy.

  • Ejecución de códigos MMI con un solo clic en Android — 1-click MMI execution in Android. 7 puntos (Lobsters). Los canales MMI/USSD de los operadores siguen plenamente vigentes y pueden ser inducidos desde una página web: un mecanismo arcaico expuesto ante un nuevo vector de ataque.

💻 Lenguajes, Compiladores y Métodos Formales

  • Lanzamiento de Python 3.15.0 — Python 3.15.0. 65 puntos (Lobsters). 💬 Los comentarios enumeraron sus ventajas: logging.basicConfig ahora permite pasar un formateador directamente y el rendimiento general sigue mejorando versión a versión; también rescataron de las notas de la versión el problema de que «los diálogos de tkinter se congelaban bajo macOS 27», ya subsanado en Tk (8.6 / 9.0 / 9.1) y trasladable mediante versiones puntuales desde la 3.13 hasta la 3.15: la veterana cadena de mantenimiento de GUI sigue funcionando.

  • En C estándar no es posible comprobar de forma portable los errores al convertir cadenas a coma flotante — oh, apparently it’s not possible to portably check for string-to-float conversion errors in standard c. 50 puntos (Lobsters). Tras un artículo previo sobre math_errhandling, este detalla cómo el desbordamiento y la pérdida de precisión en strtod difieren entre glibc y musl, sin que el estándar ofrezca un mecanismo portable de verificación. 💬 Los comentarios se desviaron hacia el debate habitual sobre «qué lenguaje elegir»: desde tachar a Rust de demasiado industrial y a Zig de excesivamente moderno hasta evocar FreePascal, Ada y Forth; digresiones que aportaron un vivo pulso de comunidad.

  • Comparativa entre cuatro demostradores de teoremas — A tale of four theorem provers, or: A (reasonably) opinionated comparison. 46 puntos (Lobsters). 💬 El debate abordó una tensión estructural: escribir, leer y modificar demostraciones exigen formatos ideales completamente distintos; las demostraciones tácticas (tactics) facilitan el avance progresivo en la lista de objetivos (goals), pero a costa de resultar casi ilegibles fuera del editor. Alguien añadió una observación reveladora: en entornos industriales, las demostraciones en Lean hoy en día se escriben principalmente para que las lean los LLM.

  • Por qué las demostraciones «externalizadas» de implementaciones cíclicas de traits no funcionan — Why ‘externalized’ proofs of cyclic trait impls does not work. 6 puntos (Lobsters). Un problema técnico específico en Rust: bajo restricciones de traits cíclicos, la demostración no puede trasladarse limpiamente fuera del módulo, dejando los límites de la interfaz encorsetados por las propias características del lenguaje.

  • Código sin bifurcaciones recompilado con saltos en RISC-V — Branches in branch-free code. 26 puntos (Lobsters). Optimizaciones manuales sin bifurcaciones (branchless) que LLVM reconvierte en saltos condicionales en RISC-V: el autor expone en detalle toda la trayectoria desde el IR hasta el ensamblador resultante.

  • Añadiendo el «defer» de Go al compilador de TypeScript — Adding Go’s defer to the TypeScript Compiler. 5 puntos (Lobsters). Replica la semántica de liberación de recursos de Go directamente en el código de tsc, evaluando cuántas limpiezas manuales se pueden ahorrar.

  • Lifeguard: analizador estático para verificar la compatibilidad de importaciones perezosas en Python — Lifeguard: A static analyzer for Python lazy imports compatibility. 10 puntos (Lobsters). Las importaciones diferidas (lazy imports) reducen el tiempo de arranque pero pueden colisionar con el orden de los efectos secundarios; esta herramienta escanea específicamente estos conflictos, transformando las trampas más habituales de la adopción de PEP 690 en reglas de comprobación estática.

  • Kiesel 0.4.0: un motor de JavaScript escrito en Zig — Kiesel Devlog #15: Release 0.4.0. 8 puntos (Lobsters). Su diario de desarrollo permite apreciar el orden en que un motor de JS va implementando funcionalidades guiándose por la tasa de aprobación de test262; la tabla de discrepancias de esta versión 0.4.0 resulta mucho más útil que cualquier eslogan publicitario.

  • culpert: perfilado de memoria dinámica en Rust con atribución por span — culpert - rust heap profiling with span awareness and regression tooling. 3 puntos (Lobsters). Vincula las asignaciones de memoria a spans de rastreo (tracing) y realiza pruebas de regresión, resolviendo el clásico problema de «el consumo de memoria ha subido, pero nadie sabe qué componente es el causante».

🏢 Empresas, Política y Dinero

  • Apple y macOS desaparecen del registro oficial de UNIX — Apple/macOS removed from official Unix registry. 229 puntos / 207 comentarios (HN). El registro de productos certificados de The Open Group ya no incluye ninguna entrada de Apple, quedando prácticamente limitadas a AIX y z/OS de IBM. Pagar las tarifas anuales de certificación y superar los procesos de auditoría responde a decisiones comerciales, pero la etiqueta de «certificado UNIX» lleva tres décadas utilizándose en libros de texto y pliegos de contratación; qué redactar ahora en sustitución de las afirmaciones «basado en UNIX» es un dilema práctico inmediato.

  • Quiero que mi vivienda se revalorice y que mi impuesto sobre bienes inmuebles baje — I would like the value of my home to rise, while my property taxes fall. 188 puntos / 458 comentarios (HN). El artículo desglosa el desfase entre las curvas de tasación fiscal y tipos impositivos: las tasaciones van por detrás del mercado y los tipos se calculan a la inversa a partir del presupuesto municipal; ante esta falta de sincronía, los votantes terminan exigiendo dos desenlaces mutuamente incompatibles. Fue el debate más concurrido de la jornada, girando en torno a cómo se financian realmente las arcas locales.

  • Cómo las proteínas conquistaron el mundo — How Protein Took over the World. 49 puntos / 123 comentarios (HN). Un reportaje industrial del Financial Times que desató un debate más animado que la propia lectura, centrado en la difusa frontera entre el consenso nutricional y el marketing comercial.

🛠️ Herramientas e Infraestructura

  • Por qué DuckDB 2.0 es más rápido — Why DuckDB 2.0 is faster. 105 puntos / 31 comentarios (HN). El autor enfrentó en un portátil la versión alfa contra la 1.5.5: las CTE recursivas rinden hasta 90 veces más rápido, el tipo VARIANT supera en 6 veces al almacenamiento como texto JSON y la E/S asíncrona sobre S3 es 2,4 veces más veloz. La aceleración, no obstante, exige un requisito previo: comprender y adaptar el modelado de los datos.

  • Nix escribió la mitad de mi depurador — Nix wrote half of my debugger. 85 puntos / 7 comentarios (HN). Al aprovechar el grafo de dependencias del sistema de compilación como fuente de información de depuración, el autor se ahorró programar manualmente más de la mitad del rastreo de fuentes y símbolos.

  • Los unikernels eran difíciles; la palabra clave es «eran» — Unikernels were hard. key word: were. 65 puntos / 30 comentarios (HN). El autor sostiene que, tras madurar las cadenas de herramientas y los entornos de ejecución, la barrera práctica para adoptar imágenes de espacio de direcciones único ha quedado superada; lo que resta ahora es una simple cuestión de hábitos en el ecosistema.

  • OpenSCAD: el modelador CAD 3D sólido para programadores — OpenSCAD the Programmers Solid 3D CAD Modeller. 80 puntos / 74 comentarios (HN). Describe geometrías puramente mediante código: los modelos se gestionan en control de versiones y modificar dimensiones equivale a cambiar un parámetro, trazando una ruta conceptual totalmente opuesta a la del CAD con interfaz gráfica tradicional.

  • Los iframes por fin pueden ajustarse automáticamente a la altura de su contenido — Iframes that finally fit their content. 17 puntos (Lobsters). A partir de Chrome 154, una sola línea de CSS permite que un iframe crezca hasta la altura real de su contenido, prescindiendo de mediciones manuales, paso de mensajes y scripts de redimensionamiento; el único peaje es que la página incrustada debe dar su consentimiento explícito. 💬 Los comentarios subrayaron que sus limitaciones siguen presentes: para actualizar dinámicamente un bloque interno de la página, el iframe sigue estando demasiado aislado, obligando a resolver estos escenarios mediante inserción de DOM en JavaScript.

  • Dibujando en un lienzo canvas mediante paquetes ICMPv6 — SNTPings, draw on a canvas using ICMPv6. 8 puntos (Lobsters). Mapea la latencia y la pérdida de paquetes de los pings en píxeles individuales, transformando la observabilidad de red en un lienzo visual directo.

  • Un sistema operativo de 50 MB que puede revivir tu viejo ordenador — 50MB operating system can resurrect your old PC. 26 puntos / 7 comentarios (HN). La cifra de una imagen de sistema completa en apenas 50 MB constituye por sí sola la mejor carta de presentación para un sistema operativo ligero.

  • Cinco meses tratando los errores como pacientes y a los agentes de código como personal médico — Five months treating bugs like patients and coding agents like a medical team. 16 puntos / 5 comentarios (HN). Una crónica de experimentación interna en Cockroach Labs que analiza qué fase se desmorona primero al someter a los agentes a un protocolo clínico de «triaje, diagnóstico y tratamiento».

🧪 Ciencia, Hardware y Cuentas Pendientes

  • El cheque de recompensa de Donald Knuth — Knuth reward check. 122 puntos / 47 comentarios (HN). La tradición ininterrumpida de enviar un cheque auténtico de 2,56 dólares a quien encuentre una errata en The Art of Computer Programming (TAOCP) lleva décadas en vigor; el autor recibió uno y relata detalladamente todo el periplo, desde el hallazgo del error hasta la recepción de la carta.

  • Sincronización de un reloj nuclear basado en 229Th — A nuclear clock synchronized to 229Th. 9 puntos / 2 comentarios (HN). Utilizar transiciones nucleares como base de referencia temporal plantea una vía más intrincada que la de los relojes atómicos tradicionales; haber alcanzado la fase de «sincronización demostrada» es un gran hito, aunque aún reste camino para consolidarse como estándar de frecuencia operativo.

  • Partículas de Chernóbil revelan que el combustible nuclear sigue siendo inesperadamente estable tras 40 años — Chernobyl particles reveal unexpectedly stable nuclear fuel after 40 years. 118 puntos / 45 comentarios (HN). Las partículas con contenido de uranio originadas tras la fusión del reactor no se han degradado en el medio ambiente al ritmo previsto: una mala noticia para la gestión de residuos, pero un dato empírico valiosísimo para los modelos de dispersión radiológica.

  • ¿Cómo de intensa es realmente la interacción fuerte? — How strong is the strong interaction?. 41 puntos / 9 comentarios (HN). Cómo se define la constante de acoplamiento fuerte y por qué divergen las distintas mediciones experimentales: este artículo de CERN Courier ofrece una densidad divulgativa muy superior a lo que sugiere su título.

  • Disección interna de un chip de filtro de condensadores conmutados de los años ochenta — Inside a 1980s filter chip that uses switched capacitors. 2 puntos (Lobsters). Decapar el encapsulado, descifrar los circuitos y trazar los esquemas para comprender cómo se implementaba la tecnología de condensadores conmutados en silicio hace cuatro décadas.

  • El fallo de inversión de prioridades del Mars Pathfinder: qué ocurrió en realidad — Mars Pathfinder Priority Inversion Bug: What Really Happened. 7 puntos (Lobsters). Los reiterados reinicios del temporizador guardián (watchdog) bajo VxWorks en 1997 distaron bastante de la versión simplificada que divulgan los libros de texto; este artículo reconstruye con fidelidad el verdadero proceso de depuración técnica.

🎮 Ligero y Varios

  • 2D Vehicles: prototipo físico bidimensional de la sensación de conducción de GTA — 2D Vehicles. 297 puntos / 70 comentarios (HN); 2 puntos (Lobsters). Recrea en dos dimensiones las restricciones físicas que definen el manejo y la respuesta al volante en GTA; el ajuste progresivo de cada parámetro resulta aún más fascinante que la propia demostración.

  • Un juego de construcción de ciudades en el que la ciudad preferiría que no construyeras — A city-building game in which the city would prefer you didn’t. 76 puntos / 31 comentarios (HN). Traduce la lógica real de la crisis de la vivienda a mecánica jugable: diseñas planes urbanísticos mientras los vecinos y los grupos de interés locales boicotean cada iniciativa.

  • The Lightbulb Computer: computación espacial con proyectores — The Lightbulb Computer. 146 puntos / 37 comentarios (HN); 17 puntos (Lobsters). El autor toma deliberadamente la senda opuesta a las gafas inteligentes: combina un proyector con visión por computador para proyectar la información directamente en el entorno físico. El motivo expuesto es tajante: llevar dispositivos anclados a la cabeza resulta restrictivo e incómodo a nivel social.

  • «Grieving the loss of details»: el duelo por la pérdida de los detalles — Grieving the loss of details. 304 puntos / 241 comentarios (HN). La autora confiesa que, aunque su productividad se ha disparado, siente su trabajo cada vez más vacío: parte del placer de programar reside en desmenuzar y dominar los detalles minuciosos; despojada esa faceta, solo queda la entrega de tareas. 💬 La mitad de los comentarios compartió el sentimiento, mientras la otra mitad dudaba de que «los ingenieros sénior puedan detectar errores que Claude pasa por alto», respaldándose ambos en anécdotas sin consenso concluyente; la recomendación más pragmática sugirió configurar directivas personalizadas para la revisión de código por IA limitando qué señalar, evitando que el modelo invente de dos a ocho comentarios forzados para cumplir con su cometido.

  • Takeshi’s Castle (Humor Amarillo) — Takeshi’s Castle. 78 puntos / 29 comentarios (HN). Artículo de Wikipedia sobre el icónico concurso televisivo japonés; la sección de comentarios se volcó en rememorar los doblajes locales de cada país y la permisividad de los formatos televisivos de aquella época.

  • Las grullas aprendieron a migrar siguiendo a pilotos disfrazados — Whooping Cranes Learned to Migrate by Following Costumed Pilots. 48 puntos / 6 comentarios (HN). Aviones ultraligeros guiaron a las grullas trompeteras para enseñarles sus rutas migratorias; los pilotos vestían disfraces de grulla para evitar la impronta y que los polluelos consideraran a los humanos como parejas: los pormenores del esfuerzo de conservación resultan mucho más fascinantes que el mero desenlace.

  • «Robot» es una construcción social: por qué tu lavavajillas no es un robot — “Robot” Is A Social Construct. 22 puntos (Lobsters). El significado que adquiere un concepto depende del uso que le da la sociedad, no de la cantidad de motores que incorpore.

Resumen

El foco del día gravita sobre una disyuntiva clave: «ahora que los agentes tienen manos y pies, cómo definimos sus vallados». Microsoft recurre a Mxc para trazar perímetros basados en directivas para los agentes, mientras la inyección IPC en Telegram Desktop pone sobre la mesa el coste real de conceder privilegios irrestrictos por defecto al software de escritorio; ambos sucesos apuntan al mismo dilema: ceder capacidades es fácil, pero recuperar los límites perdidos resulta extraordinariamente difícil. Tres lecturas imprescindibles hoy: REA Reverse (para vislumbrar cómo luce la ingeniería inversa convertida en herramienta), el análisis de la vulnerabilidad de Telegram Desktop (una de las disecciones de ataque puntual más nítidas del año) y el hilo sobre la doble licencia de Bitwarden (un termómetro fidedigno de la reacción de los usuarios cuando un proyecto abierto se comercializa). Dos señales transversales merecen especial atención: al debatir sobre IA se empieza a escindir el «aumento de productividad» de la «identidad profesional» (Grieving the loss of details y el artículo de Lobsters sobre la falsa inevitabilidad de la IA son dos caras de la misma inquietud existencial); y en el terreno de los métodos formales emerge la afirmación de que «las demostraciones se escriben hoy principalmente para que las lean los LLM»: de confirmarse esta tendencia, los criterios de evaluación de los demostradores de teoremas no tardarán en redefinirse por completo.