17 noticias
Un experimento reciente evaluó si indicar a los agentes de codificación que utilizasen técnicas concretas de pruebas o verificación —como desarrollo dirigido por pruebas (TDD), métodos formales, fuzzing o pruebas basadas en propiedades— mejoraba la corrección de sus implementaciones. La prueba reuti
Un experimento exploratorio de Thoughtworks pone a prueba si obligar a un agente de IA a seguir un flujo de TDD (desarrollo dirigido por pruebas) dentro de su propio bucle aporta valor frente a dejarle escribir pruebas y código sin esa disciplina. La conclusión principal es negativa: usando Sonnet 4
Un programador comparte su experiencia personal afinando el archivo agent.md —el fichero que los entornos de desarrollo con IA inyectan en el prompt al iniciar una sesión— para elevar la calidad del código que producen los modelos de lenguaje. Tras varios intentos fallidos entre 2025 y principios de
El desarrollador Simon Willison ha puesto en marcha un nuevo proyecto, titulado "Agentic Engineering Patterns", dedicado a recopilar y documentar prácticas y patrones de programación que permitan aprovechar los agentes de codificación. Willison define "ingeniería agéntica" como la construcción de so
La Programación Extrema (Extreme Programming, XP) es una metodología ágil de desarrollo de software cuyo primer proyecto se inició el 6 de marzo de 1996. Forma parte de un conjunto de procesos ágiles ampliamente adoptados y ha demostrado buenos resultados en empresas de distintos tamaños y sectores.
El auge de los asistentes de programación basados en modelos de lenguaje ha cruzado un umbral técnico: ya pueden ejecutar tareas de desarrollo con resultados funcionales. Sin embargo, hacer software depurable, mantenible, estratificado y componible sigue siendo un reto cualitativo que depende del ju
Airbnb ha consolidado su experiencia evaluando productos de IA generativa en una disciplina de ingeniería que trata la evaluación como un pilar de primer orden, no como un trámite posterior. El artículo describe la práctica del "eval-driven development" (EDD), un equivalente para modelos de lenguaje
El desarrollador conocido como arxanas describe un flujo de trabajo en el que integra planes de prueba ejecutables dentro de los mensajes de commit de Git, utilizando la herramienta scrut (de Facebook Incubator) como formato ligero inspirado en Markdown. La idea nace a raíz del artículo de Julio Mer
Tras el éxito en la reescritura de pycparser con ayuda de un LLM, el ingeniero Eli Bendersky comparte en un ensayo su experiencia al desarrollar desde cero watgo, un toolkit de WebAssembly para Go, utilizando agentes de IA como compañero de programación. El artículo se centra en la metodología, las
Phargo es un intérprete de PHP escrito desde cero en Rust por un desarrollador que no conoce el lenguaje. Su método consiste en delegar la escritura del código a una inteligencia artificial y validar los resultados con el banco de pruebas oficial del proyecto PHP, que contiene cerca de 22.000 archiv
Este ensayo defiende que la intención del programador es el eje unificador de toda la actividad de codificar, tanto al escribir como al leer software. Partiendo de la idea de que escribir código se asemeja a escribir una historia, el autor sostiene que la programación es un arte en el que la belleza
Los agentes de IA, en el momento de escribir este artículo, suelen ser malos escribiendo tests: las pruebas que generan tienden a ser vagas, crípticas, excesivamente complicadas, chapuceras, desorganizadas, tautológicas, performativas, superficiales o directamente inútiles. El autor, Jason Swett, at
Un desarrollador con más de 20 años de experiencia en programación publicó en Hacker News una consulta dirigida a la comunidad para conocer qué flujos de trabajo y herramientas de desarrollo basadas en inteligencia artificial recomiendan los profesionales del sector. El autor, que se identifica con
La 'Prueba de Eliminación' (Deletion Test) es una técnica de diagnóstico para evaluar la salud y la mantenibilidad de un sistema de software. La idea central es simple pero reveladora: imagina eliminar por completo la implementación actual del código (usando `rm -rf src/` en un entorno Linux, por ej
Un reciente cambio radical en el desarrollo de software está transformando la industria, según un análisis publicado en perevillega.com. Kent Beck, pionero de metodologías como Extreme Programming, predijo que el 90% de las habilidades de desarrollo se volverían prácticamente gratuitas, mientras que
El artículo "LLMs can be absolutely exhausting" explora un problema común al trabajar con modelos de lenguaje grandes (LLMs) como Claude o Codex: la fatiga y la frustración que pueden surgir, y cómo esto afecta la productividad y la calidad de los resultados. El autor, un ingeniero experimentado, de
Verified Spec-Driven Development (VSDD) es una metodología de ingeniería de software innovadora que combina tres enfoques probados: Spec-Driven Development (SDD), Test-Driven Development (TDD) y Verification-Driven Development (VDD). Su objetivo es crear software de alta calidad, verificable y con u
