software · 16 menciones
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
Un ingeniero de Spotify describe en el blog de ingeniería de la compañía cómo logró recortar cerca del 90% del consumo de tokens de Claude Code, el agente de programación de Anthropic, utilizando los modos de AiKA integrados en Portal, la plataforma interna de Spotify basada en Backstage. La idea ce
Amazon Web Services ha presentado Route 53 Files, un nuevo sistema de archivos que permite editar los registros DNS hospedados en Amazon Route 53 directamente desde cualquier instancia EC2, contenedor de ECS o EKS, o función Lambda, usando herramientas UNIX estándar. Cada conjunto de registros se pr
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
Proxylity ha incorporado dos novedades a su servicio UDP Gateway: la apertura de los listeners de WireGuard a clientes no registrados de antemano y la invocación asíncrona de funciones Lambda como destino de los paquetes recibidos. La primera capacidad, articulada en torno a la propiedad AllowUnknow
El ingeniero de software Matt Proctor (Simpler Machines) sostiene que la expresión «deuda técnica» se usa de forma incorrecta en la mayoría de los proyectos y debería sustituirse por «desastre» o «desorden». El argumento central es que la metáfora de la deuda financiera resulta contraproducente cuan
Quien firma este artículo ha montado el mismo sistema de integración con webhooks en tres empresas distintas y el resultado fue idéntico: una pila de parches que intenta reconstruir, a partir de notificaciones HTTP, una copia local fiel del estado que vive en el proveedor (Stripe, un IdP, una plataf
Cuando una API tiene que devolver el contenido de un archivo Parquet muy grande y las respuestas están limitadas en tamaño —por ejemplo, 6 MB en AWS Lambda o 32 MiB en Cloud Run—, lo habitual es paginar con LIMIT y OFFSET. Pero esa forma de escribir la consulta es la equivocada. DuckDB ofrece la opc
Richard Feldman, desarrollador y creador del lenguaje Roc, pronuncia en la conferencia Software Should Work 2026 la charla "Cultures of dependencia", centrada en las prácticas que las distintas comunidades de programación han consolidado en torno al uso de código de terceros. La grabación, de casi 4
Matthew van Bird describe un problema habitual en ingeniería de software: la revisión humana previa al paso a producción se ha convertido en un trámite sin valor real. Tras revisar los registros de un mes en su equipo, constató 31 aprobaciones de producción, cero rechazos y una mediana de 47 segundo
Kubernetes se ha convertido en el estándar de facto en las ofertas de empleo de ingeniería, incluso en empresas pequeñas. Un desarrollador que recientemente pasó por un proceso de selección en una docena de compañías, incluidos proyectos sin requisitos de gran escala, constató que prácticamente toda
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 equipo de ingeniería detectó que una función de AWS Lambda que alojaba 40 modelos ONNX de unos 250 MB cada uno sufría errores OOM puntuales (1 de cada 100.000 solicitudes). Al reducir el tamaño de la caché LRU de 16 a 8, el problema se agravó: en tres horas se registraron más de 270 cierres SIGKI
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
Este artículo describe cómo Browser Use construyó una infraestructura segura y escalable para ejecutar 'agentes' (programas autónomos) que pueden ejecutar código arbitrario, como Python o comandos shell. Inicialmente, la empresa usaba AWS Lambda para ejecutar agentes con código limitado, pero a medi
## Cloudflare crea alternativa a Next.js con IA: Vinext redefine el desarrollo web moderno En un movimiento que podría redefinir el panorama del desarrollo web, Cloudflare ha anunciado el lanzamiento de Vinext, una alternativa de código abierto a Next.js, construida con IA y basada en Vite. Este nu
