Explorando desarrollo AI-first, guardrails de código y la arquitectura de la descartabilidad.
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.
Cualquier crate en tu árbol de dependencias puede abrir , escribir en tu directorio , o enumerar cada archivo en tu proyecto. La biblioteca estándar de Rust no…
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.
Tu servicio tiene una API key para tu almacenamiento en la nube. Un usuario envía una petición. Tu servicio escribe un archivo obedientemente. El archivo…
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.
Cada bug de permisos se ve igual en retrospectiva. Alguna función en lo profundo de la pila de llamadas asume que el llamador ya verificó . No lo hizo. O se…
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.
Tu función tiene acceso a la base de datos, la pasarela de pagos y el registry de auditoría porque resulta que vive en el mismo proceso. Si un atacante…
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.
La firma de tu función dice que devuelve un . No es así. Devuelve un o explota. El sistema de tipos simplemente no sabe nada de la segunda branch. Esta es la…
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.
Pasa un de user ID a una función que espera un order ID, y Rust no se quejará. Ambos son . El compiler ve tipos idénticos, así que no puede ayudarte. Te…
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.
Refactorizaste un tipo shape, agregaste una nueva variante, y TypeScript se mantuvo verde. Tu CI pasó. Tu deploy salió. Entonces un usuario entró en una branch…
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.
Las state machines empiezan limpias. Tres valores, tres branches de . Después la lógica de reintento agrega un cuarto estado. El fallo parcial agrega un…
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.
En 2022, una importante plataforma fintech procesó una transferencia masiva de 32,700,000.00. El monto se almacenó como un simple. Un servicio downstream…
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.
Una función pide un timeout en milisegundos. Pasas . Más tarde, otra función pide un timeout en segundos. Pasas . En algún punto intermedio, llamas a y no pasa…