Explorando desarrollo AI-first, guardrails de código y la arquitectura de la descartabilidad.
Los alias de tipo no crean tipos distintos en TypeScript. Los tipos branded sí, y pueden evitar que mezcles identificadores en tiempo de compilación.
El trimestre pasado, lanzamos un bug que reembolsó al cliente equivocado. Una función recibió un donde esperaba un . Las cadenas se veían idénticas, los tests…
El testing diferencial te permite encontrar bugs sin conocer la respuesta correcta. El problema es que los errores correlacionados parecen acuerdo. Así es como detectar los puntos ciegos.
Puedes confiar en el testing diferencial sin una prueba formal, pero solo si entiendes exactamente dónde se desmorona. La debilidad se llama common-mode…
La programación en N versiones asume que tus implementaciones coinciden. Analizamos por qué las pruebas no bastan, cómo los solucionadores SMT pueden demostrar equivalencia realmente y dónde trazar la línea entre lo suficientemente bueno y lo formalmente verificado.
Construiste un sistema de N versiones. Tres implementaciones independientes de la misma función crítica, un votante que elige el resultado mayoritario y una…
Ejecutar múltiples LLMs en paralelo detecta errores que cualquier modelo individual enviaría con total confianza. Así es como construir un sistema de resolución de discrepancias que realmente funciona.
Envías un prompt a GPT-4o. Devuelve un blob JSON con una confianza de 0.97. Envías el mismo prompt a Claude 3.5 Sonnet. Devuelve un blob JSON diferente,…
La programación de N versiones suena simple: ejecutar varias implementaciones y elegir la mejor respuesta. En la práctica, 'mejor' es mucho más difícil de definir que 'más común'.
Tienes cinco implementaciones de la misma función. Tres devuelven el mismo resultado. Una es ligeramente diferente. Una lanza una excepción. ¿Cuál es la…
La programación N-version con LLMs no requiere múltiples modelos. Puedes extraer implementaciones diversas y correctas de un solo modelo variando prompts, personas y restricciones de razonamiento.
La programación N-version asume que la diversidad proviene de diferentes autores. Con los LLMs, eso significa diferentes modelos, diferentes proveedores, tal…
La programación N-version prometía que equipos independientes cometerían errores independientes. El experimento de Knight y Leveson en 1986 demostró lo contrario, y NASA abandonó la idea en silencio.
A principios de los años ochenta, NASA se enfrentó a una pregunta que aún atormenta a la ingeniería safety-critical hoy en día: ¿cómo toleras bugs que aún no…
El estado 'skipped' de Cucumber oculta tres problemas completamente distintos. Así es como diagnosticar cuál se está comiendo tu suite de pruebas, y cómo detenerlo.
La mitad de tus escenarios de Cucumber están skippeados. No fallados. Skippeados. Ese estado amarillo es peor que un build rojo. Hace que tu suite parezca…
Las especificaciones Gherkin se desincronizan en el momento en que confías en que los humanos las actualicen manualmente. Así es como automatizar las verificaciones que mantienen honestos los archivos de feature.
Tus especificaciones Gherkin te están mintiendo. No intencionalmente. Empezaron siendo fieles. Pero seis sprints después, alguien refactorizó el flujo de…
La mayoría de los equipos documentan las reglas de arquitectura en wikis. Aquí te mostramos cómo escribirlas como tests ejecutables que hacen fallar CI cuando tu grafo de dependencias se desvía.
Tu suite de tests verifica que devuelva 42 cuando recibe el input correcto. No verifica que pueda importar . El compiler acepta ambos. Tus unit tests aceptan…