Ideas y perspectivas · Página 5

Explorando desarrollo AI-first, guardrails de código y la arquitectura de la descartabilidad.

16 jul 2026

Arreglar el bug es la parte fácil. Descubrir por qué existe es lo que importa.

La mayoría de los equipos arreglan defectos y siguen adelante. Los mismos defectos vuelven. Así es como ejecutar análisis causal dentro de una inspección Fagan para dejar de escribir el mismo bug dos veces.

15 jul 2026

Las Revisiones de Pull Request Detectan el 15-30 % de Defectos. Los Datos lo Dicen Hace 50 Años.

Múltiples estudios en IBM, AT&T, HP y Microsoft confirman que la revisión informal de código detecta aproximadamente una cuarta parte de los defectos. Aquí está lo que los datos realmente dicen, por qué el número es tan bajo y cómo solucionarlo.

fagan-inspections code-review data pr-reviews

14 jul 2026

Una checklist genérica no detecta nada. Una estructurada detecta el 60 % de los defectos.

La mayoría de las checklists de revisión son listas copiadas y pegadas de buenas intenciones. Una checklist estructurada al estilo Fagan inspection se construye a partir de datos reales de defectos, está dirigida a tipos de artefactos específicos y se utiliza durante la preparación individual. Así es como se construye una que funciona.

fagan-inspections code-review checklists structured-review

13 jul 2026

Un LLM puede pre-inspeccionar tu código. No puede dirigir la reunión.

Las inspecciones Fagan necesitan de cuatro a seis personas y dos horas para revisar 250 líneas. Un LLM puede reducir ese costo gestionando la preparación y el cumplimiento de checklist, pero no puede sustituir los roles humanos que encuentran los defectos más costosos.

fagan-inspections llm code-review ai-engineering

12 jul 2026

Las Fagan Inspections detectaban el 90 % de los defectos antes de las pruebas. Luego dejamos de hacerlas.

El proceso de revisión estructurado de Michael Fagan en IBM atrapaba casi todos los defectos antes de que llegaran al compilador. También consumía el 15-20 % del esfuerzo total del proyecto. Aquí está por qué desapareció el método de revisión más efectivo en la historia del software, y qué es lo que los equipos realmente extrañan.

fagan-inspections code-review software-history process

11 jul 2026

Tu mejor revisor se pierde la mayoría de los defectos. Fagan lo midió en IBM en 1976.

Incluso los ingenieros senior detectan solo una fracción de los defectos en revisiones no estructuradas. La investigación de Michael Fagan en IBM mostró por qué, y construyó un proceso de inspección estructurado para solucionarlo.

fagan-inspections code-review human-factors defect-detection

10 jul 2026

La mayoría de las code reviews detectan el 20 % de defectos. Las Fagan inspections detectan el 90 %.

La revisión de código informal detecta el 15-30 % de defectos. Las Fagan inspections, un proceso estructurado de 50 años, reportan consistentemente tasas de eliminación del 60-90 %. Aquí se explica cómo funcionan, por qué los equipos las evitan y cómo ejecutar una versión ligera.

fagan-inspections code-review defect-prevention software-quality

9 jul 2026

AutoVerus convierte 40 horas de escritura de proofs en 3 llamadas a LLM. El truco es saber cuándo rendirse.

AutoVerus utiliza una red de agentes LLM para generar proofs de corrección de Verus para código Rust, automatizando más del 90% de las proof obligations mediante un bucle de generar-reparar-dischargar impulsado por el feedback del solver SMT.

model-checking autoverus rust verification

8 jul 2026

Los LLMs pueden generar código en Rust. Las pruebas formales son un problema completamente distinto.

Los grandes modelos de lenguaje escriben código en Rust sorprendentemente bueno, pero cuando les pides una prueba formal alucinan invariantes e inventan sintaxis que ningún verificador acepta. Esto es lo que realmente hacen bien, dónde fallan y cómo usarlos de todos modos.

model-checking llm rust formal-proofs

7 jul 2026

Esperar a que aparezcan race conditions es una estrategia de pruebas terrible

Por qué el model checking supera a días de ejecución en producción para encontrar bugs de concurrencia, y cómo aplicarlo a tu propio código.

model-checking race-conditions concurrency testing