Ideas y perspectivas · Página 7

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

26 jun 2026

Tus dependencias pueden leer cualquier archivo en disco. cap-std las obliga a pedir permiso.

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.

25 jun 2026

Tu Servicio Es un Cómplice Inconsciente: Cómo Funcionan los Ataques de Confused Deputy

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.

capability-based-security confused-deputy security attacks

24 jun 2026

Tus verificaciones de permisos te están mintiendo

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.

capability-based-security typescript permissions security

23 jun 2026

¿Y si cada función tuviera que recibir permiso en lugar de asumirlo?

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.

capability-based-security permissions security zero-trust

22 jun 2026

Deja de Lanzar Errores que tu Type Checker No Puede Ver

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.

type-level-correctness error-handling typescript rust

21 jun 2026

Los newtypes de Rust hacen que los estados incorrectos sean imposibles de representar en tiempo de compilación, sin costo

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.

type-level-correctness rust newtypes zero-cost-abstractions

20 jun 2026

Los switch statements filtran bugs en tiempo de compilación

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.

type-level-correctness pattern-matching typescript type-safety

19 jun 2026

El compilador debería detectar los casos de estado faltantes, no tu equipo de QA

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.

type-level-correctness state-machines exhaustiveness-checking typescript

18 jun 2026

Sí, Pero Tu Sistema de Tipos Necesita Saber Qué Es un Dólar

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.

type-level-correctness currency typescript financial-software

17 jun 2026

Un número no es solo un número: cómo hacer que el compilador detecte errores de unidades

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.

type-level-correctness units typescript zero-cost-abstractions