Explorando desarrollo AI-first, guardrails de código y la arquitectura de la descartabilidad.https://autotomy.dev/eshttps://autotomy.dev/es/blog/git-bisect-binary-search-commit/https://autotomy.dev/es/blog/git-bisect-binary-search-commit/`git bisect` convierte una búsqueda manual de commits en una búsqueda binaria automatizada. Así es cómo encontrar el commit exacto que introdujo un bug sin hacer checkout de cada uno.Tue, 25 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/production-crash-capture-replay/https://autotomy.dev/es/blog/production-crash-capture-replay/Los stack traces te dicen dónde ocurrió un crash, no qué lo causó. Aquí tienes un patrón de captura y reproducción que convierte los crashes de producción en casos de prueba locales que realmente puedes depurar.Mon, 24 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/symbolic-execution-integer-overflow-coverage/https://autotomy.dev/es/blog/symbolic-execution-integer-overflow-coverage/Tus unit tests comprueban entradas específicas. La ejecución simbólica comprueba cada entrada posible. Así es como funciona, qué cuesta y por dónde empezar.Sun, 23 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/pii-tracking-code-pipeline/https://autotomy.dev/es/blog/pii-tracking-code-pipeline/La mayoría de los equipos descubren fugas de PII después de una queja de un cliente. Así es como rastrear datos sensibles desde la ingesta hasta la salida, con ejemplos de código que puedes usar hoy.Sat, 22 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/api-contract-testing-ci/https://autotomy.dev/es/blog/api-contract-testing-ci/La mayoría de los pipelines de CI detectan errores de sintaxis y bugs de lógica. Se pierden los contract breaks de la API que realmente tumban producción. Así es como solucionarlo.Fri, 21 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/crash-correlation-triangulation/https://autotomy.dev/es/blog/crash-correlation-triangulation/La depuración estadística encuentra predicados correlacionados con crashes, pero la correlación no es un archivo y número de línea. Así es cómo clasificar, filtrar y triangular tu camino desde una puntuación de correlación hasta una ubicación real de bug.Thu, 20 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/sentry-seer-trace-root-cause/https://autotomy.dev/es/blog/sentry-seer-trace-root-cause/Seer ingiere árboles de trazas, errores conectados y datos de profiling para diagnosticar problemas distribuidos. Así es como funciona realmente, dónde brilla y dónde todavía necesita ayuda humana.Wed, 19 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/statistical-debugging-adoption-challenges/https://autotomy.dev/es/blog/statistical-debugging-adoption-challenges/La depuración estadística prometía identificar bugs exactos al correlacionar el comportamiento del programa con fallas. Esta es la razón por la que la idea nunca pasó de los papers de investigación a los sistemas de producción.Tue, 18 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/statistical-debugging-production-data-anomalies/https://autotomy.dev/es/blog/statistical-debugging-production-data-anomalies/La depuración estadística trata tus datos de producción como una señal y los bugs como anomalías. Así es como encontrar corrupción de datos, errores off-by-one y fallas silenciosas sin agregar una sola prueba unitaria.Mon, 17 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/metamorphic-testing-production-bugs-compiler/https://autotomy.dev/es/blog/metamorphic-testing-production-bugs-compiler/Las pruebas metamórficas han descubierto bugs reales en GCC, LLVM, compilers de shaders Vulkan y simuladores de ADAS. Esta publicación explica la técnica con código funcional y muestra dónde encaja en tu suite de pruebas.Sun, 16 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/llm-metamorphic-relations-brainstorming/https://autotomy.dev/es/blog/llm-metamorphic-relations-brainstorming/Los large language models son socios de lluvia de ideas decentes para descubrir test oracles, pero alucinan propiedades y omiten restricciones de dominio. Así es cómo usarlos sin desplegar pruebas falsas.Sat, 15 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/metamorphic-relation-quality/https://autotomy.dev/es/blog/metamorphic-relation-quality/No todas las metamorphic relations atrapan bugs. Las relaciones débiles dan una falsa confianza mientras que las fuertes encuentran fallas reales. Así es cómo distinguir la diferencia y construir un conjunto de relaciones que realmente funcione.Fri, 14 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/metamorphic-testing-oracle-problem/https://autotomy.dev/es/blog/metamorphic-testing-oracle-problem/El metamorphic testing te permite verificar la corrección del código sin conocer la salida esperada exacta. Así es como funciona, cuándo falla y cómo empezar a usarlo.Thu, 13 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/typescript-phantom-types-protocol-state/https://autotomy.dev/es/blog/typescript-phantom-types-protocol-state/Cómo usar phantom types y parámetros `this` para convertir transiciones de protocol ilegales en errores de compilación en lugar de bugs en tiempo de ejecución.Wed, 12 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/openapi-session-types-protocol-gap/https://autotomy.dev/es/blog/openapi-session-types-protocol-gap/Las especificaciones OpenAPI describen los esquemas de petición y respuesta, pero no especifican las secuencias de mensajes válidas. Así es como extraer lo que puedes y dónde aún necesitas llenar los vacíos.Tue, 11 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/session-types-research-to-production/https://autotomy.dev/es/blog/session-types-research-to-production/Los tipos de sesión codifican protocols de comunicación en el sistema de tipos, convirtiendo errores de protocol en tiempo de ejecución en fallos en tiempo de compilación. Aquí está por qué pasaron treinta años en artículos de investigación antes de que el código de producción pudiera usarlos.Mon, 10 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/session-types-deadlock-compiler-errors/https://autotomy.dev/es/blog/session-types-deadlock-compiler-errors/Los tipos de sesión codifican protocols de comunicación en tu sistema de tipos, convirtiendo los desajustes de paso de mensajes en errores del compiler antes de que tu código se ejecute.Sun, 09 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/infer-abstract-interpretation-ci/https://autotomy.dev/es/blog/infer-abstract-interpretation-ci/Cómo ejecutar análisis estático formal en tu pipeline de CI usando Infer, con configuraciones funcionales y trade-offs realistas.Sat, 08 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/llm-static-analysis-triage/https://autotomy.dev/es/blog/llm-static-analysis-triage/Los large language models pueden ayudar a triagear falsos positivos del análisis estático, pero no entienden la semántica del programa como lo hace la interpretación abstracta. Así es como combinar ambos.Fri, 07 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/facebook-android-abstract-interpretation-races/https://autotomy.dev/es/blog/facebook-android-abstract-interpretation-races/Cómo Facebook usó interpretación abstracta y unsoundness intencional para encontrar condiciones de carrera a escala en millones de líneas de código Android.Thu, 06 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/meta-infer-100000-bugs-static-analysis/https://autotomy.dev/es/blog/meta-infer-100000-bugs-static-analysis/Infer de Meta usa interpretación abstracta y bi-abducción para encontrar desreferencias nulas, fugas de memoria y condiciones de carrera razonando sobre la estructura del código, no sobre su ejecución. Así es como funciona y cómo usarlo en tu propia codebase.Wed, 05 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/static-analysis-aviation-abstract-interpretation/https://autotomy.dev/es/blog/static-analysis-aviation-abstract-interpretation/La interpretación abstracta sobreaproxima cada posible estado del programa. Si una división por cero es inalcanzable en la abstracción, es inalcanzable en el código real. Así es como funciona y dónde falla.Tue, 04 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/abstract-interpretation-runtime-error-proof/https://autotomy.dev/es/blog/abstract-interpretation-runtime-error-proof/La interpretación abstracta te permite probar que ciertos errores en tiempo de ejecución son imposibles antes de ejecutar el código. Así es como funciona en realidad, por qué es difícil y dónde encaja en tu cadena de herramientas.Mon, 03 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/cheri-c-porting-hybrid-abi/https://autotomy.dev/es/blog/cheri-c-porting-hybrid-abi/El ABI híbrido de CHERI te permite portar código en C a hardware con capacidades de forma incremental. Aquí te explicamos cómo compilar, qué se rompe y cómo solucionarlo sin rewrite toda tu codebase.Sun, 02 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/capability-hardware-cheri-history/https://autotomy.dev/es/blog/capability-hardware-cheri-history/La seguridad de memoria a nivel de hardware ha sido posible desde los años 70. Aquí te explicamos por qué las arquitecturas de capabilities siguieron perdiendo contra los modelos de memoria plana, y por qué CHERI está cambiando finalmente las reglas.Sat, 01 Aug 2026 00:00:00 GMThttps://autotomy.dev/es/blog/c-library-wasm-sandbox/https://autotomy.dev/es/blog/c-library-wasm-sandbox/Los contenedores son excesivos para aislar una sola biblioteca en C. Compílala a WebAssembly y ejecútala dentro de un sandbox WASI para memory safety, acceso al filesystem basado en capabilities y contención de fallos sin Docker.Fri, 31 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/mobile-memory-tagging-extension/https://autotomy.dev/es/blog/mobile-memory-tagging-extension/ARM Memory Tagging Extension y GWP-ASan hacen posible la detección de problemas de seguridad de memoria en producción en dispositivos móviles modernos. Así es como funcionan y cómo se ven los compromisos.Thu, 30 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/cheri-hardware-buffer-overflow-prevention/https://autotomy.dev/es/blog/cheri-hardware-buffer-overflow-prevention/CHERI es una extensión de hardware que convierte cada pointer en una bounded capability. Así es como detiene los buffer overflows a nivel de CPU, lo que cuesta y cómo probarlo en hardware real.Wed, 29 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/llm-cleanroom-proof-obligation-automation/https://autotomy.dev/es/blog/llm-cleanroom-proof-obligation-automation/La verificación Cleanroom requiere generar y descargar obligaciones de prueba. Así es como los LLM automatizan la anotación y la generación de condiciones de verificación (VC) para que puedas centrarte en las pruebas realmente difíciles.Tue, 28 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/cleanroom-pragmatic-subset/https://autotomy.dev/es/blog/cleanroom-pragmatic-subset/La ingeniería de software Cleanroom reduce las tasas de defectos 100×, pero la adopción completa requiere equipos de prueba separados y pruebas formales. Aquí tienes un subconjunto pragmático que captura la mayor parte del beneficio sin el overhead.Mon, 27 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ibm-cleanroom-zero-defects-disappearance/https://autotomy.dev/es/blog/ibm-cleanroom-zero-defects-disappearance/El Cleanroom engineering de IBM alcanzó tasas de defectos 100 veces mejores que el promedio de la industria, y luego se desvaneció en la oscuridad. La desaparición no tuvo nada que ver con si funcionaba.Sun, 26 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ibm-cleanroom-10000-lines-zero-defects/https://autotomy.dev/es/blog/ibm-cleanroom-10000-lines-zero-defects/Cleanroom software engineering prometió incrementos zero-defect mediante mathematical verification en lugar de debugging. Analizamos los datos reales del proyecto de IBM para ver si la afirmación se sostuvo.Sat, 25 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/cleanroom-box-structure-three-layers/https://autotomy.dev/es/blog/cleanroom-box-structure-three-layers/Las Box Structures te obligan a definir qué hace un módulo, qué recuerda y cómo funciona como tres capas separadas y verificables. Así es como Cleanroom elimina el debugging.Fri, 24 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ibm-cleanroom-01-defects-per-kloc/https://autotomy.dev/es/blog/ibm-cleanroom-01-defects-per-kloc/El proceso de ingeniería Cleanroom de IBM logró tasas de defectos 100 veces mejores que el promedio de la industria al prevenir bugs en lugar de encontrarlos. Así funcionaba, por qué casi nadie lo usa y qué puedes adoptar de él hoy.Thu, 23 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ci-literate-programming-tangle/https://autotomy.dev/es/blog/ci-literate-programming-tangle/La programación literaria promete una única fuente de verdad, pero los pasos manuales de weave y tangle rompen la pipeline de CI/CD. Así es como automatizar la extracción y generación de documentación para que tus archivos Markdown sean canónicos.Wed, 22 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/llm-rubber-ducking-bug-rate/https://autotomy.dev/es/blog/llm-rubber-ducking-bug-rate/Pasé 30 días escribiendo explicaciones de diseño antes de pedirle código a un LLM. Los resultados cambiaron cómo pienso sobre el rubber-ducking.Tue, 21 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/literate-programming-markdown-python/https://autotomy.dev/es/blog/literate-programming-markdown-python/La programación literaria mantiene la documentación, los tests y la implementación sincronizados al convertir un archivo Markdown en la única fuente de verdad. Así es como implementarlo en treinta líneas de Python.Mon, 20 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/claude-thread-to-documentation/https://autotomy.dev/es/blog/claude-thread-to-documentation/Las conversaciones con LLM contienen intención, alternativas rechazadas y código funcional. Eso es exactamente lo que la documentación debería ser. Aquí está cómo convertir chat efímero en documentación durable y buscable sin perder la narrativa.Sun, 19 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/structured-editing-ast-text-editors/https://autotomy.dev/es/blog/structured-editing-ast-text-editors/Cada compilador ve tu código como un árbol, pero tu editor te deja editar texto en bruto. Así es como se ve realmente la edición estructurada, por qué no se ha impuesto y cómo aprovechar sus beneficios sin cambiar de herramientas.Sat, 18 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/knuth-literate-programming-history/https://autotomy.dev/es/blog/knuth-literate-programming-history/La programación literaria prometía que el código debía escribirse primero para humanos y segundo para máquinas. Cuatro décadas después, casi nadie escribe de esa manera. He aquí por qué la idea más elegante en la documentación de software no logró cambiar la forma en que trabajamos.Fri, 17 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/fagan-causal-analysis-defects/https://autotomy.dev/es/blog/fagan-causal-analysis-defects/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.Thu, 16 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/pr-reviews-catch-15-to-30-percent-defects/https://autotomy.dev/es/blog/pr-reviews-catch-15-to-30-percent-defects/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.Wed, 15 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/fagan-structured-checklist-defect-detection/https://autotomy.dev/es/blog/fagan-structured-checklist-defect-detection/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.Tue, 14 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/llm-fagan-inspection-preparation/https://autotomy.dev/es/blog/llm-fagan-inspection-preparation/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.Mon, 13 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/fagan-inspections-disappearance-ibm/https://autotomy.dev/es/blog/fagan-inspections-disappearance-ibm/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.Sun, 12 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/fagan-reviewer-defect-detection-variance/https://autotomy.dev/es/blog/fagan-reviewer-defect-detection-variance/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.Sat, 11 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/fagan-inspections-90-percent-defects/https://autotomy.dev/es/blog/fagan-inspections-90-percent-defects/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.Fri, 10 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/autoverus-llm-rust-verification/https://autotomy.dev/es/blog/autoverus-llm-rust-verification/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.Thu, 09 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/llm-rust-formal-proofs-hallucination/https://autotomy.dev/es/blog/llm-rust-formal-proofs-hallucination/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.Wed, 08 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/model-checking-race-conditions/https://autotomy.dev/es/blog/model-checking-race-conditions/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.Tue, 07 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/https://autotomy.dev/es/blog/is-there-a-model-checker-that-doesnt-require-learning-temporal-logic/Los bounded model checkers como Kani y los relational model finders como Alloy permiten verificar propiedades con assertions y constraints ordinarios. Renuncias a las pruebas de liveness a cambio de una curva de aprendizaje medida en horas, no en semanas.Mon, 06 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/rust-model-checking-kani-state-space/https://autotomy.dev/es/blog/rust-model-checking-kani-state-space/Herramientas de model checking como Kani te permiten verificar propiedades de Rust con assertions en lugar de pruebas formales. El problema es lo que ocurre cuando tus bucles no tienen límites pequeños.Sun, 05 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/distributed-protocol-model-checking-tla/https://autotomy.dev/es/blog/distributed-protocol-model-checking-tla/Los errores distribuidos son costosos de corregir después del despliegue. El model checking te permite encontrarlos antes de escribir una sola línea de código de implementación. Así es como hacerlo con TLA+.Sat, 04 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/infrastructure-config-dsl-per-context/https://autotomy.dev/es/blog/infrastructure-config-dsl-per-context/Cómo los equipos de infraestructura gestionan la configuración entre dev, staging y production mediante DSLs por contexto que hacen explícitas las diferencias entre entornos y son type-safe.Fri, 03 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/grammar-constrained-decoding-llm/https://autotomy.dev/es/blog/grammar-constrained-decoding-llm/Los LLMs alucinan sintaxis porque samplean tokens probabilísticamente. El grammar-constrained decoding filtra el vocabulario en cada paso para que solo se emitan tokens que preserven la validez sintáctica.Thu, 02 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/english-to-theme-deterministic-design-tokens/https://autotomy.dev/es/blog/english-to-theme-deterministic-design-tokens/Puedes generar design tokens a partir de descripciones simples en inglés, pero solo si tratas la descripción como un DSL de contexto delimitado con un contrato de schema y snapshot tests.Wed, 01 Jul 2026 00:00:00 GMThttps://autotomy.dev/es/blog/typescript-parser-combinators-dsl/https://autotomy.dev/es/blog/typescript-parser-combinators-dsl/Los generadores de parsers son excesivos para la mayoría de DSLs de contexto acotado. Los combinadores de parsers te permiten construir un parser funcional en el mismo lenguaje que tu aplicación, sin código generado ni pasos de build.Tue, 30 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/config-validation-build-time/https://autotomy.dev/es/blog/config-validation-build-time/Cómo detectar errores de configuración antes de que tu aplicación empiece a recibir tráfico, usando validación de esquemas y verificaciones en tiempo de build.Mon, 29 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/javascript-capability-security-lockdown/https://autotomy.dev/es/blog/javascript-capability-security-lockdown/La autoridad ambiental significa que cualquier código en tu proceso de Node.js puede tocar el sistema de archivos, la red y el entorno. Así es como puedes eliminarla con lockdown, compartments y el paso explícito de capabilities.Sun, 28 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/service-authentication-without-ambient-authority/https://autotomy.dev/es/blog/service-authentication-without-ambient-authority/La mayoría de la confianza entre servicios viene de la ubicación en la red, no de la prueba criptográfica. Aquí explicamos cómo las capabilities, mTLS y SPIFFE permiten que los servicios se autentiquen sin autoridad ambiental, y por qué es más difícil de lo que debería.Sat, 27 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/rust-cap-std-capability-filesystem/https://autotomy.dev/es/blog/rust-cap-std-capability-filesystem/La biblioteca estándar de Rust otorga autoridad de sistema de archivos ambiental a cada dependencia. cap-std la reemplaza con APIs basadas en capabilities que obligan al código a demostrar que tiene derecho a acceder a una ruta antes de abrirla.Fri, 26 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/https://autotomy.dev/es/blog/whats-a-confused-deputy-attack-and-how-do-i-prevent-it/Un ataque de confused deputy engaña a un servicio privilegiado para que use su autoridad contra sí mismo. Así es como los atacantes explotan la confianza implícita, y por qué la seguridad basada en capabilities es la solución.Thu, 25 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/typescript-capability-based-security/https://autotomy.dev/es/blog/typescript-capability-based-security/La seguridad basada en capabilities reemplaza las verificaciones de roles dispersas con tokens de autoridad inforgeables. Así es como implementarla en TypeScript sin hacer que tu código sea ilegible.Wed, 24 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/capability-based-security-permissions/https://autotomy.dev/es/blog/capability-based-security-permissions/La mayoría del código se ejecuta con autoridad ambiental: cada función puede tocar todo. La seguridad basada en capacidades invierte ese modelo al obligar a las funciones a recibir permisos explícitos y delimitados.Tue, 23 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/should-i-stop-throwing-errors-and-start-returning-them/https://autotomy.dev/es/blog/should-i-stop-throwing-errors-and-start-returning-them/Las excepciones lanzadas ocultan los caminos de fallo de tu sistema de tipos. Aquí te explicamos por qué los retornos de error explícitos hacen tu código más honesto, y cómo adoptarlos sin odiar tu vida.Mon, 22 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/rust-newtypes-zero-cost-safety/https://autotomy.dev/es/blog/rust-newtypes-zero-cost-safety/Un struct envoltorio de un solo campo atrapa bugs de mezcla de unidades y confusión de tipos sin añadir ni un solo byte de overhead.Sun, 21 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/https://autotomy.dev/es/blog/is-there-a-better-way-than-switch-statements-for-type-safe-matching/Los switch statements de TypeScript te dejan olvidar casos en silencio. Así es cómo reemplazarlos con patrones de exhaustividad que hacen fallar el build en lugar del runtime.Sat, 20 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/typescript-exhaustiveness-state-machines/https://autotomy.dev/es/blog/typescript-exhaustiveness-state-machines/Agregar un nuevo estado a tu máquina es fácil. Recordar actualizar cada switch no lo es. Así es como hacer que TypeScript se niegue a compilar cuando olvidas un caso.Fri, 19 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/typescript-currency-types/https://autotomy.dev/es/blog/typescript-currency-types/TypeScript ve todos los números como idénticos. Así es como puedes enseñarle la diferencia entre USD y EUR para que el compilador detecte errores de conversión de divisas antes de que lleguen a producción.Thu, 18 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/typescript-unit-types-compile-time/https://autotomy.dev/es/blog/typescript-unit-types-compile-time/Pasar milisegundos donde se esperaban segundos es un bug que pasa todas las pruebas. Así es cómo codificar unidades directamente en el sistema de tipos de TypeScript para que las confusiones fallen en tiempo de compilación con coste de ejecución cero.Wed, 17 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/typescript-branded-types-newtypes/https://autotomy.dev/es/blog/typescript-branded-types-newtypes/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.Tue, 16 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/differential-testing-common-mode-failures/https://autotomy.dev/es/blog/differential-testing-common-mode-failures/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.Mon, 15 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/function-equivalence-smt-solvers/https://autotomy.dev/es/blog/function-equivalence-smt-solvers/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.Sun, 14 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/llm-variant-disagreement-resolution/https://autotomy.dev/es/blog/llm-variant-disagreement-resolution/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.Sat, 13 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/n-version-implementation-selection/https://autotomy.dev/es/blog/n-version-implementation-selection/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'.Fri, 12 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/llm-n-version-diverse-implementations/https://autotomy.dev/es/blog/llm-n-version-diverse-implementations/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.Thu, 11 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/nasa-n-version-programming-knight-leveson/https://autotomy.dev/es/blog/nasa-n-version-programming-knight-leveson/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.Wed, 10 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/cucumber-skipped-scenarios-diagnosis/https://autotomy.dev/es/blog/cucumber-skipped-scenarios-diagnosis/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.Tue, 09 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/gherkin-specs-automated-sync/https://autotomy.dev/es/blog/gherkin-specs-automated-sync/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.Mon, 08 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/architecture-tests-ci-enforcement/https://autotomy.dev/es/blog/architecture-tests-ci-enforcement/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.Sun, 07 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/clean-architecture-domain-infrastructure-ci/https://autotomy.dev/es/blog/clean-architecture-domain-infrastructure-ci/Los diagramas de arquitectura limpia se ven genial en una pizarra. Así es como hacer que tu pipeline de build imponga la dirección de las dependencias para que el código de dominio no pueda alcanzar la infraestructura.Sat, 06 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/architecture-docs-code-generated-diagrams/https://autotomy.dev/es/blog/architecture-docs-code-generated-diagrams/La documentación de arquitectura se descompone en el momento en que la guardas. Así es como mantener los docs honestos usando diagramas generados desde código, ADRs y tests de arquitectura automatizados.Fri, 05 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/idempotency-keys-api-retries/https://autotomy.dev/es/blog/idempotency-keys-api-retries/Un timeout o un crash no significan que tu petición a la API se haya perdido. Aquí te explicamos cómo las idempotency keys hacen seguros los reintentos, y el patrón de almacenamiento que realmente previene duplicados.Thu, 04 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/distributed-leases-fencing-tokens/https://autotomy.dev/es/blog/distributed-leases-fencing-tokens/Los mutex en memoria desaparecen cuando tu servidor reinicia. Así es como los leases distribuidos con fencing tokens y TTLs evitan trabajo duplicado tras un crash, y dónde aún fallan.Wed, 03 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/circuit-breaker-lazy-recovery-no-goroutines/https://autotomy.dev/es/blog/circuit-breaker-lazy-recovery-no-goroutines/La mayoría de las bibliotecas de circuit breaker lanzan hilos en segundo plano para sondear la recuperación. No los necesitas. Aquí tienes un diseño dirigido por requests que elimina todo el overhead en segundo plano sin sacrificar la corrección.Tue, 02 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/crash-only-software-web-services/https://autotomy.dev/es/blog/crash-only-software-web-services/El software crash-only trata cada fallo como un crash y cada inicio como una recuperación. Para los servicios web, esto significa eliminar tu lógica de shutdown y diseñar un estado que sobreviva a un kill -9.Mon, 01 Jun 2026 00:00:00 GMThttps://autotomy.dev/es/blog/killing-surviving-mutants/https://autotomy.dev/es/blog/killing-surviving-mutants/El mutation testing encontró un superviviente y no tienes ni idea de qué hace la mutación. Aquí tienes un método paso a paso para escribir la prueba correcta sin entender primero el mutante.Sun, 31 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/mutation-score-per-module-risk/https://autotomy.dev/es/blog/mutation-score-per-module-risk/Por qué exigir un único porcentaje de mutación en toda tu base de código es un error, y cómo establecer umbrales por módulo que correspondan al riesgo real.Sat, 30 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/https://autotomy.dev/es/blog/my-tests-pass-but-my-mutation-score-is-40-whats-a-surviving-mutant/La code coverage dice que estás a salvo. El mutation testing dice que tus pruebas son, en su mayoría, decoración. Así es como los surviving mutants exponen la brecha, y cómo cerrarla.Fri, 29 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/rust-mutation-testing-cargo-mutants/https://autotomy.dev/es/blog/rust-mutation-testing-cargo-mutants/cargo-mutants encuentra los tests que solo pretenden verificar tu código. Aquí te explicamos cómo funciona el mutation testing en Rust, qué detecta y si el coste en tiempo de compilación merece la pena.Thu, 28 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ai-coding-validation-spectrum-backend-web-mobile/https://autotomy.dev/es/blog/ai-coding-validation-spectrum-backend-web-mobile/La codificación con IA sigue un gradiente de validación. Backend: milisegundos. Web: minutos. Mobile: horas. El ciclo de retroalimentación lo determina todo.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/monkey-machine-gun-aimbot/https://autotomy.dev/es/blog/monkey-machine-gun-aimbot/Gobernanza de código con AI no es quitar herramientas a juniors y agentes. Es instalar guardrails para que cada disparo acierte sin daño colateral.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/https://autotomy.dev/es/blog/mutation-testing-takes-4-hours-how-do-teams-actually-use-it-in-ci/La mayoría de los equipos no ejecutan suites completas de mutation testing en cada commit. Así es como los equipos de ingeniería integran el mutation testing en CI sin romper el pipeline de build.Wed, 27 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/database-persistence-testing-mocks/https://autotomy.dev/es/blog/database-persistence-testing-mocks/Los tests de base de datos con mocks verifican tu sintaxis SQL, no si las filas sobreviven a caídas, escrituras concurrentes o desajustes de esquema. Así es como se prueba la persistencia de verdad.Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/fear-vs-steamroll-ai-coding-divide/https://autotomy.dev/es/blog/fear-vs-steamroll-ai-coding-divide/La programación con IA funciona para equipos de élite que se recuperan de cualquier desastre. Todos los demás obtienen miedo, CI fallida y experimentos abandonados. La brecha no está en el modelo.Tue, 26 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/redux-testing-real-state-transitions/https://autotomy.dev/es/blog/redux-testing-real-state-transitions/Mockear cada acción de Redux convierte tus pruebas en un validador de changelog. Así es como probar tu store con transiciones de estado reales.Mon, 25 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ai-coding-in-production-autotomy-framework/https://autotomy.dev/es/blog/ai-coding-in-production-autotomy-framework/La mayoría de los equipos prueban AI coding, entregan código que falla en QA y abandonan. El problema no es el modelo, sino la ausencia de barreras que hacen que el resultado de la IA sea confiable.Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/property-based-testing-run-count/https://autotomy.dev/es/blog/property-based-testing-run-count/Los 100 ejemplos por defecto en property-based testing son un compromiso social, no una estrategia estadística. Aquí te explicamos cómo elegir un número de ejecuciones que se ajuste a tus necesidades de confianza y tu presupuesto de CI.Sun, 24 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/https://autotomy.dev/es/blog/fuck-u-code-deterministic-quality-gate-ai-pipeline/Tienes type checking, linting y reglas de arquitectura. Pero tu stack determinista es ciego ante la complejidad, la duplicación y los desastres de nomenclatura. Aquí está la solución de $0.Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/rust-property-based-testing-quickcheck/https://autotomy.dev/es/blog/rust-property-based-testing-quickcheck/El example-based testing solo cubre los inputs que se te ocurrieron. El property-based testing genera datos aleatorios, verifica invariantes y reduce los fallos a contraejemplos mínimos mediante shrinking.Sat, 23 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ai-coding-why-version-one-is-never-the-problem/https://autotomy.dev/es/blog/ai-coding-why-version-one-is-never-the-problem/Las herramientas de programación con IA son excelentes generando la versión uno. El verdadero desafío de ingeniería comienza en la versión cuatro, cuando el equipo necesita cambiar algo sin romper todo lo demás.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ai-generated-code-replaceability-principle/https://autotomy.dev/es/blog/ai-generated-code-replaceability-principle/La verdadera medida de la calidad del código generado por IA no es si funciona el primer día. Es si puedes reemplazarlo el día treinta sin reescribir todo lo demás.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/deterministic-guardrails-ai-codebases/https://autotomy.dev/es/blog/deterministic-guardrails-ai-codebases/La revisión humana es inconsistente. La revisión por IA es peor. La única defensa escalable para codebases generados por IA es el enforcement determinista: reglas que fallan la compilación, no sugerencias que se ignoran.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/i-write-unit-tests-why-do-bugs-still-slip-through/https://autotomy.dev/es/blog/i-write-unit-tests-why-do-bugs-still-slip-through/Las métricas de cobertura de código generan una falsa sensación de seguridad. Aquí te explicamos por qué las pruebas unitarias no detectan los bugs que realmente te quitan el sueño, y qué probar en su lugar.Fri, 22 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/rust-zero-cost-runtime-contracts/https://autotomy.dev/es/blog/rust-zero-cost-runtime-contracts/Rust elimina las debug assertions automáticamente, pero el verdadero design-by-contract necesita más que debug_assert!. Aquí te mostramos cómo construir runtime contracts de costo cero que desaparecen de tu release binary.Thu, 21 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/production-assertion-decision-framework/https://autotomy.dev/es/blog/production-assertion-decision-framework/Los desarrolladores o esparcen aserciones como confeti o las evitan por completo. Aquí está el marco de decisión que separa los invariantes útiles de los detonadores de fallos en producción.Wed, 20 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/declarative-runtime-contracts-validation/https://autotomy.dev/es/blog/declarative-runtime-contracts-validation/La validación manual infla tu codebase y aun así se salta casos límite. Aquí te explicamos cómo aplicar runtime contracts con schemas declarativos que no interfieren.Tue, 19 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/typescript-strictnullchecks-runtime-nulls/https://autotomy.dev/es/blog/typescript-strictnullchecks-runtime-nulls/El modo estricto atrapa los nulos que escribes, no los nulos que llegan en tiempo de ejecución desde APIs, consultas al DOM y JSON.parse. Aquí es donde el sistema de tipos se detiene y tus defensas comienzan.Mon, 18 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/code-review-becomes-specification-review/https://autotomy.dev/es/blog/code-review-becomes-specification-review/Cuando la AI puede generar implementación, tests y contracts a partir de una especificación, el trabajo humano de más alto impacto se mueve aguas arriba. Lo que más escrutinio necesita es la propia especificación.Sun, 17 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ai-safety-stack-types-contracts-property-tests-mutation/https://autotomy.dev/es/blog/ai-safety-stack-types-contracts-property-tests-mutation/Si quieres que el código generado con AI sobreviva en producción, code review no basta. Necesitas una pila por capas desde type constraints hasta mutation testing y runtime containment.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/meteor-development-is-real/https://autotomy.dev/es/blog/meteor-development-is-real/El meme funciona porque muchos equipos realmente desarrollan con objetivos cambiantes, fechas límite fijas y alcance a medio definir. Autotomy no arregla la fantasía de la planificación, pero sí evita que el desarrollo se detenga cada vez que cambia la ruta.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/stanford-cs146s-ai-architecture-gap/https://autotomy.dev/es/blog/stanford-cs146s-ai-architecture-gap/Una reseña crítica de Stanford CS146S: acierta al tomarse en serio el AI coding, pero deja abierta la disciplina de AI architecture necesaria para construir sistemas reemplazables.Sat, 16 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/engineering-ideas-ai-economics/https://autotomy.dev/es/blog/engineering-ideas-ai-economics/Design by contract, property-based testing, mutation testing y model checking no eran malas ideas. Exigían demasiada experiencia especializada para sostenerlas. La AI cambia esa ecuación.Fri, 15 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/ai-react-native-guardrails-scaling/https://autotomy.dev/es/blog/ai-react-native-guardrails-scaling/La IA puede sacar tu MVP de React Native muy rápido, pero sin guardrails cada cambio pequeño puede romper flujos que no tienen nada que ver. Así es como las restricciones declarativas evitan que la velocidad se convierta en fragilidad.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/app-lifecycle-resume-status/https://autotomy.dev/es/blog/app-lifecycle-resume-status/Tu app funciona bien en dev, pero los usuarios ven una pantalla en blanco cuando vuelven después de comer. Este es el patrón de resume status que maneja correctamente el ciclo de vida nativo.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/dependency-tiers-hard-soft-optional/https://autotomy.dev/es/blog/dependency-tiers-hard-soft-optional/Si los SDK opcionales se inicializan igual que la infraestructura core, pueden hacer crash a tu app en el arranque. Este es el sistema de niveles de dependencias que evita que herramientas no críticas tumben producción.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/nativewind-vs-stylesheet-contract/https://autotomy.dev/es/blog/nativewind-vs-stylesheet-contract/Lanzaste un MVP en un fin de semana con Cursor, pero ahora cambiar un color rompe 47 archivos. Este es el contrato de estilos que detiene la hemorragia.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/o1-guards-vs-llm-reviews/https://autotomy.dev/es/blog/o1-guards-vs-llm-reviews/La revisión de código con LLM es no determinista, lenta y no detecta violaciones arquitectónicas. Este es el stack de guardas O(1) que sí mantiene limpio tu código.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/refactor-by-replacement/https://autotomy.dev/es/blog/refactor-by-replacement/Refactorizar código generado por IA significa hacer ingeniería inversa de una intención que nunca fue tuya. Este es el patrón de reemplazo guiado por interfaces que hace seguras las eliminaciones.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/service-boundaries-composition-root/https://autotomy.dev/es/blog/service-boundaries-composition-root/El auth generado por IA parece ir bien hasta que una feature nueva mete la mano en el servicio equivocado. Esta es la arquitectura guiada por interfaces que evita que los cambios de vendor y el trabajo de producto rompan el login.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/url-validation-expo-router/https://autotomy.dev/es/blog/url-validation-expo-router/Los deep links, los payloads de push y las URLs compartidas son input no confiable. Así se validan en el boundary de Expo Router antes de que unos params malos lleguen a tus pantallas.Thu, 14 May 2026 00:00:00 GMThttps://autotomy.dev/es/blog/useSyncExternalStore-pattern/https://autotomy.dev/es/blog/useSyncExternalStore-pattern/Deja de escribir suscripciones con `useEffect` que filtran memoria y pierden actualizaciones de estado. Este es el patrón de React 18 para un estado externo a prueba de balas.Thu, 14 May 2026 00:00:00 GMT