software · 22 menciones
Un desarrollador ha utilizado la herramienta de inteligencia artificial Astra para reducir la superficie de ataque del proyecto Kata Containers, un runtime para contenedores en Kubernetes que opera sobre máquinas virtuales Firecracker. El objetivo principal era eliminar el 60% del código no esencial
Verus es un verificador de programas automatizado y de código abierto diseñado para garantizar la corrección matemática del código escrito en Rust. A diferencia de las pruebas tradicionales, que pueden omitir casos límite, Verus utiliza especificaciones formales para demostrar que el código cumple s
# Anatomía de las cajas de arena donde corren los agentes de IA La evolución de los agentes de inteligencia artificial está marcando un giro fundamental en su infraestructura: el desplazamiento del cómputo local hacia entornos en la nube. Herramientas como Claude Code e Instinct ya no dependen excl
coop es una herramienta de línea de comandos escrita en Rust, desarrollada por Trail of Bits, que crea y gestiona máquinas virtuales desechables pensadas para ejecutar agentes de programación como Claude Code y Codex. Su objetivo es que estos agentes dispongan de acceso completo a Docker, git, compi
El editor de código Zed reflexiona sobre el legado de Ted Nelson, quien en 1965 acuñó el término "hipertexto" al diseñar el Proyecto Xanadu: un sistema donde cada documento conserva todas sus versiones, los enlaces conocen origen y destino, y las citas se mantienen por referencia, no por copia. Nels
La empresa Encore ejecuta cada compilación de sus aplicaciones backend en Firecracker, un hipervisor de microVMs basado en KVM. Como KVM solo está disponible en hosts Linux y la mayoría de sus ingenieros desarrolla en Mac, durante cuatro años el sistema de compilación tuvo que residir en una máquina
Un exmiembro del equipo de EKS de AWS (abril de 2020 a enero de 2024) sostiene que la creencia generalizada de que AWS Fargate utiliza Firecracker para crear microVMs por contenedor es una inexactitud que la propia AWS nunca corrigió, pese a que su documentación y entradas de blog lo sugieren. El
Pullrun es un runtime de nueva generación que permite ejecutar la misma imagen OCI como contenedor Linux, microVM Firecracker, VM sobre Apple Silicon, carga de Kubernetes o tarea de agente de IA, sin daemon obligatorio y sin un formato de imagen específico para máquinas virtuales. Se distribuye como
Amazon Web Services ha detallado por primera vez en un paper académico el funcionamiento interno de Aurora DSQL, su base de datos SQL sin servidor con capacidades activas-activas multirregión. El artículo, publicado en arXiv el 14 de julio de 2026 por Marc Brooker —ingeniero de AWS— y revisado dos d
Tarit es una plataforma de microVMs pensada para ejecutar cargas de trabajo de agentes de inteligencia artificial y entornos de aprendizaje por refuerzo con aislamiento a nivel de kernel. Cada sandbox es una máquina virtual hardware-virtualizada con KVM y núcleo propio, en lugar de un contenedor con
OpenClaw Machines es una plataforma de código abierto publicada bajo licencia Apache-2.0 que permite ejecutar múltiples agentes de OpenClaw en sandboxes seguros sobre infraestructura propia. Cada agente corre dentro de una microVM de Firecracker con aislamiento por hardware mediante KVM, lo que perm
clawk es una herramienta de código abierto que ofrece a los agentes de programación con IA (como Claude Code, Codex u OpenCode) una máquina virtual Linux desechable, separada del equipo del desarrollador, en la que pueden trabajar con autonomía real: instalar paquetes, ejecutar código, levantar serv
Un desarrollador explica paso a paso cómo construyó un entorno de trabajo aislado (sandbox) sobre Debian utilizando crosvm, el hipervisor de código abierto que Google emplea en ChromeOS para Crostini. La motivación principal es reducir el riesgo de ataques a la cadena de suministro al ejecutar códig
Z-Jail es un entorno de pruebas para código nativo en Linux que aísla procesos mediante siete capas de defensa independientes y no requiere dependencias externas. El binario PIE ocupa unos 130 KiB y combina espacios de nombres (mount, pid, net, ipc y uts), pivot_root, eliminación total de capacidade
Spindle, el motor de flujos de trabajo del proyecto Tangled, suma un segundo motor de ejecución llamado microvm, que se suma al ya existente Nixery y es totalmente compatible con él. Cada flujo de trabajo se ejecuta ahora dentro de su propia micro máquina virtual: un entorno completo, con sistema op
El equipo de Browser Use Cloud explica cómo reconstruyó su infraestructura de navegadores en la nube para reducir el precio por hora de 0,06 a 0,02 dólares —tres veces más barato— y, al mismo tiempo, acelerar el arranque y el escalado de las sesiones. El artículo describe la arquitectura basada en F
Nango, una plataforma de integraciones de API definida por código, ejecuta cada mes más de 150 millones de funciones escritas por sus clientes en tres tipos de carga muy distintos: Actions bajo demanda que deben arrancar rápido, Syncs de larga duración que replican datos durante horas y webhooks con
Un desarrollador ha reverse-engineering la API no documentada de microVMs incluida en Docker Sandboxes y ha lanzado el código abierto Sandbox Agent SDK para permitir orquestar agentes de codificación dentro de microVMs. Docker Ships incluye una API oculta para crear máquinas virtuales ligeros con ke
AWS ha revelado Firecracker, una tecnología de microVM escrita en aproximadamente 50.000 líneas de código Rust que combina el aislamiento a nivel de hardware de las máquinas virtuales tradicionales con la densidad de los contenedores. La herramienta surge de la necesidad de proteger entornos multiin
Un nuevo proyecto de código abierto llamado Smolvm ha sido lanzado, ofreciendo una herramienta de línea de comandos (CLI) para crear y ejecutar máquinas virtuales Linux portátiles y ligeras. Desarrollado por Smol-Machines, Smolvm permite a los usuarios gestionar y ejecutar VMs personalizadas con un
Este artículo narra la experiencia de un desarrollador al contribuir con una corrección (patch) al kernel de Linux, enfocándose en un error sutil relacionado con la gestión de tareas en sistemas x86. El autor, al intentar construir un hipervisor de Tipo 2 (un software que permite ejecutar múltiples
Un nuevo proyecto llamado Zeroboot ha sido anunciado por Adamiribyan en GitHub, ofreciendo sandboxes de máquinas virtuales (VM) con una latencia inferior al milisegundo para agentes de inteligencia artificial. La tecnología, basada en la técnica de copy-on-write (CoW) para el forking, permite crear
