Conquistar la entropía: cultivar la confianza en equipos con IA

La mayor parte de los problemas que el autor detecta en el código generado por inteligencia artificial no son técnicos, sino de confianza: en el ticket, en quien abrió el pull request, en el agente de codificación, en los tests, en el pipeline de integración y despliegue, en la observabilidad y hast

El código como artefacto y la persistencia de los lenguajes de programación

La irrupción de los modelos de lenguaje agénticos está replanteando qué se entiende por "código" dentro del ciclo de vida del software. Hasta ahora el código era el producto final de la ingeniería de software; sin embargo, los LLM ya pueden generarlo de múltiples formas a partir de una especificació

La TEMU-ificación del software y los bienes digitales

Un artículo de opinión plantea la hipótesis de que el software, los libros, la música y la mayoría de los bienes y servicios digitales están siguiendo el mismo camino que la moda ultrarrápida: un mercado de dos niveles en el que lo generado por máquinas ocupa el segmento masivo y barato, mientras qu

Novedades del ecosistema IRC en el primer semestre de 2026

El ecosistema IRC ha vivido varios avances técnicos y organizativos durante el primer semestre de 2026. El IRCv3 Working Group introdujo marcadores de IA (iconos de robot) en su tabla de software para identificar proyectos desarrollados con asistencia sustancial de inteligencia artificial, una medid

Primera intersección de mallas 3D verificada formalmente con Lean 4

El repositorio "verified-3d-mesh-intersection", publicado por schildep en GitHub, presenta la que su autor describe como la primera implementación formalmente verificada de una operación de geometría sólida constructiva (CSG): la intersección de mallas 3D, codificada en Lean 4 y validada contra una

Jacquard, un lenguaje de programación para código generado por modelos de IA

Jacquard es un pequeño lenguaje de programación desarrollado por FriendMachine como proyecto de investigación orientado a un escenario en el que la mayor parte del código lo escriben modelos de aprendizaje automático y lo revisan personas. Su superficie sintáctica compacta (.jac) se apoya en un comp

Slopfix: un servicio para reducir código inflado por IA

Slopfix es un servicio de consultoría técnica que se ofrece a equipos atrapados en lo que la propia empresa describe como «código slop» generado por asistentes de IA: bases de código que funcionan en las primeras versiones, pero que se vuelven ingobernables al añadir funcionalidades porque el agente

Por qué rechazo código de IA aunque funcione

El ingeniero Vinicius Brasil explica su práctica habitual de descartar el código generado por agentes de programación, incluso cuando supera las pruebas, porque considera que el cuello de botella del desarrollo se ha desplazado de la implementación a la revisión. Aunque sigue buenas prácticas —modo

thunderbolt-ibverbs: emular InfiniBand sobre USB4 para inferencia distribuida

El proyecto thunderbolt-ibverbs, publicado por la organización hellas-ai, consiste en un módulo para el kernel de Linux y un shim en espacio de usuario que hacen que un enlace genérico USB4/Thunderbolt se presente ante las aplicaciones como un dispositivo InfiniBand de baja latencia y alto rendimien