77 noticias
Depot ha utilizado el lenguaje de especificación formal TLA+ y su model checker TLC para verificar el recolector de basura de Depot Registry v2. El equipo sostiene que los errores más difíciles en sistemas distribuidos no aparecen en una sola operación, sino en intercalados concretos: dos procesos h
Choral es un lenguaje de programación orientado a objetos diseñado para especificar coreografías, es decir, protocolos multiparte que definen cómo varios roles (los clásicos Alice, Bob, Carol…) deben coordinarse para llevar a cabo una tarea conjunta. Su objetivo es simplificar la construcción de sis
WIRED explora la neurobiología del pulpo, un animal con nueve cerebros: uno central y ocho distribuidos a lo largo de sus brazos. Cada tentáculo opera con un grado notable de autonomía gracias a un grueso haz de nervios que alberga millones de neuronas sensoriales y motoras, lo que permite que un br
El AT Protocol es una infraestructura abierta para aplicaciones sociales que combina prácticas de sistemas backend de alta escala con técnicas peer-to-peer. El artículo explica su arquitectura paso a paso. Comienza con el esquema clásico de aplicación web: una base de datos SQL detrás de un servidor
El ingeniero de software Alcides Fonseca repasa la evolución de la forja de código y sostiene que el modelo centralizado tipo GitHub, vigente desde hace casi dos décadas, empieza a mostrar limitaciones técnicas y económicas por el aumento del tráfico y del trabajo automatizado de agentes de intelige
Wyzer es un lenguaje de programación compilado, de tipado estático y orientado a recursos que se presenta como un proyecto open source en fase temprana de investigación. Su propuesta central es aplicar una única regla de propiedad a tres ámbitos que suelen tratarse por separado: la gestión de memori
Este artículo técnico parte de una experiencia real con un broker MQTT en clúster para extraer una lección aplicable a cualquier sistema distribuido. Los autores explican cómo dos pods cayeron por OOM con un límite de 512 MiB pese a tener cargas de conexión muy desiguales (8, 174 y 1.039 clientes),
Un ingeniero de AWS con catorce años de experiencia en la compañía repasa, en primera persona, qué es un plano de control y por qué considera que es uno de los problemas más interesantes de la ingeniería de sistemas distribuidos. El texto arranca con su llegada a Amazon tras trabajar en una empresa
celld, un daemon open source para ejecutar Durable Objects en infraestructura propia La organización Deno Land Inc., responsable del runtime Deno, presentó celld, un daemon de código abierto que permite ejecutar Cloudflare Workers y Durable Objects sobre infraestructura propia, sin depender de la p
Hillel Wayne, autor de "Logic for Programmers" y especialista en métodos formales, ofreció esta charla en la conferencia Software Should Work (SSW) 2026 titulada "How to Find Bugs in Systems That Don't Exist". La presentación introduce los métodos formales, disciplina que usa matemáticas para analiz
Detrás de un error intermitente del tipo 'no healthy upstream' no siempre está la causa que parece más obvia. Este artículo analiza un caso real en un backend de búsqueda donde la explicación inicial apuntaba a la limitación de CPU, pero las pruebas desmontaron esa hipótesis: no había trabajos inten
Karpenter, el autoscaler de nodos para Kubernetes creado por AWS, incluye un bucle de control dedicado a la consolidación: mover cargas de trabajo para reducir el número de nodos activos y abaratar la infraestructura. Este artículo técnico explica un comportamiento contraintuitivo observado por el a
SOCI (Seekable OCI) es una arquitectura de carga diferida para imágenes de contenedor que permite iniciar aplicaciones en Kubernetes sin descargar la imagen completa. Su propuesta central consiste en construir un índice externo sobre imágenes OCI estándar que mapea cada archivo a los rangos de bytes
En sistemas distribuidos, la consistencia eventual no es un fallo: es una propiedad del diseño. Este ensayo técnico explica por qué tratar la llegada desordenada de eventos como un error y aplicar reintentos o colas de mensajes muertos suele crear más problemas de los que resuelve, y propone una arq
Cro es un conjunto de librerías para construir sistemas distribuidos reactivos, diseñado para aprovechar todas las capacidades del lenguaje de programación Raku. Sus APIs de alto nivel simplifican las tareas habituales, mientras que el concepto de pipeline asíncrono en el núcleo de Cro hace posible
Una ingeniera de software se propone rastrear el origen del concepto de clave de idempotencia, el identificador único que permite a los servicios web deduplicar peticiones repetidas y garantizar un procesamiento de efecto único. El artículo parte del lanzamiento de esta funcionalidad en Hatchet y ev
Marionette es una biblioteca de simulación determinista (DST) para el lenguaje Zig que permite probar sistemas distribuidos y de almacenamiento reproduciendo fallos difíciles de capturar en producción: escrituras truncadas por caídas, corrupciones de sectores, particiones de red o carreras entre tem
Los microservicios se han convertido en el ejemplo por defecto tanto de "buena arquitectura" como de "sobreingeniería", según a quién se pregunte. Lo paradójico es que todo el mundo reconoce un microservicio al verlo, pero casi nadie puede explicar qué lo define como tal. La industria ha intentado d
La plataforma de pruebas Antithesis ha identificado errores en todas las implementaciones del protocolo de consenso Raft que ha analizado, entre ellas HashiCorp Raft, Aeron Cluster, OpenRaft y MicroRaft. Los fallos detectados violan la principal invariante del algoritmo, conocida como seguridad de l
Claude no es un compilador: esa categoría se queda corta. Un compilador traduce código fuente a binario con decisiones precisas y bien acotadas; un modelo de lenguaje, en cambio, opera en muchos niveles a la vez —estrategia de producto, arquitectura, código y código máquina— sin necesidad de reunion
Los modelos de lenguaje de gran tamaño generan código a gran velocidad, pero sin límites claros producen resultados difíciles de verificar. Los lenguajes específicos de dominio (DSL, por sus siglas en inglés) ofrecen un marco reducido y preciso que guía al LLM desde el primer instante hacia la soluc
En 'Paxos Made Simple', Leslie Lamport desmitifica uno de los algoritmos más citados y menos comprendidos de la informática distribuida. El texto, fechado el 1 de noviembre de 2001, demuestra que el algoritmo de consenso Paxos surge de forma casi inevitable de las propiedades de seguridad que debe g
El trabajo presenta un marco formal para el almacenamiento distribuido de información secreta sobre una red, abordando el problema como la optimización de un funcional de robustez en el que compiten dos requisitos: la capacidad de supervivencia frente a procesos de degradación de la red y la resiste
En la P99 CONF 2025, Alex Pshenichkin, ingeniero de Antithesis, presentó una charla centrada en uno de los mayores obstáculos para llevar la prueba de sistemas distribuidos al siguiente nivel: la velocidad de simulación determinista. La prueba determinista (DST, por sus siglas en inglés) exige que c
Git es un sistema de control de versiones distribuido, rápido y escalable, con un conjunto de comandos amplio que ofrece tanto operaciones de alto nivel como acceso completo a sus componentes internos. Se distribuye como proyecto de código abierto bajo la Licencia Pública General de GNU versión 2, a
El ensayo parte del paper de 2015 "Scalability! But at what COST?" de McSherry, Isard y Murray, que demostró que varios sistemas distribuidos de procesamiento de grafos rendían menos que un único hilo en un portátil: un caso del grafo de seguidores de Twitter (1.500 millones de relaciones) lo resolv
Una entrada reciente del blog de Andrey Karpenko (Charap.co), titulada “Metastability in Recovery: Cascading Recovery with a Loop”, profundiza en un fenómeno poco tratado en ingeniería de sistemas: las cascadas de recuperación y los bucles de retroalimentación que pueden hacer inviable la recuperaci
Flow es el lenguaje de programación creado por el equipo de FoundationDB para introducir concurrencia basada en actores en C++11, dentro de los retos de ingeniería que afronta el proyecto: alto rendimiento por nodo, escalabilidad y tolerancia a fallos mediante simulación extensiva. Está implementado
En sistemas distribuidos, mantener el estado de un motor de flujos de trabajo y los datos de la aplicación dentro de la misma base de datos Postgres ofrece garantías transaccionales que simplifican problemas clásicos como la idempotencia y la atomicidad. DBOS argumenta, frente a la práctica habitual
¿Por qué la nube, pese a su aparente robustez, se queda puntualmente sin capacidad para procesar cargas de trabajo? Esa pregunta fue el centro de un artículo académico publicado en el Seventh ACM Symposium on Cloud Computing (SoCC '16) con el título original «Why Does the Cloud Stop Computing?». El
El artículo "Logical Physical Clocks and Consistent Snapshots in Globally Distributed Databases", de Sandeep Kulkarni, Murat Demirbas, Deepak Madeppa, Bharadwaj Avva y Marcelo Leone (Michigan State University y University at Buffalo, SUNY), propone los Hybrid Logical Clocks (HLC) para cerrar la brec
Pierre Zemb es ingeniero senior en Clever Cloud, proveedor europeo de nube autofinanciado con cerca de un centenar de empleados y clientes que van desde pequeños desarrolladores hasta las instituciones de la Unión Europea. En Clever Cloud lidera Materia, la línea de bases de datos serverless de la c
En el día a día de la administración de sistemas, el autor defiende memcached frente a Redis como caché preferida, aunque reconoce que Redis ofrece más funcionalidades. El artículo explica tres ventajas operativas clave. Primero, ante una caída del servidor, las bibliotecas cliente de memcached suel
River es una biblioteca de Go para procesar trabajos en segundo plano sobre Postgres, diseñada para evitar los problemas habituales de los sistemas distribuidos al reutilizar la misma base de datos tanto para los datos de la aplicación como para la cola de trabajos. Su principio central es el encola
En un sistema con c servidores idénticos atendidos por un balanceador de carga con cola infinita, donde la carga ofrecida crece linealmente con c para mantener constante la utilización por servidor, ¿cómo varía la latencia media observada por el cliente al aumentar c? La respuesta, contraintuitiva p
OpenComputer, un servicio de sandboxes basados en máquinas virtuales, nació con una única instancia en la región Azure US East 2 y topó pronto con un techo de 300 CPUs: el centro de datos elegido estaba saturado y el proveedor no elevó la cuota. Migrar a otra región habría desplazado el problema, ya
El ingeniero de software Lucas Sifoni presenta una técnica para mapear la topología de un clúster de Erlang —incluso cuando las conexiones entre nodos son dispersas— mediante un módulo de código que se propaga a sí mismo. En un clúster de Erlang completamente conectado, cada nodo mantiene conexión c
## Por qué las colas no solucionan la sobrecarga y qué hacer en su lugar ### Lead En el mundo del software, cuando un sistema se enfrenta a un pico de tráfico, la respuesta instintiva suele ser la misma: aumentar el tamaño de las colas, añadir un buffer o incorporar un sistema de mensajería como K
En un artículo de opinión publicado en mayo de 2026, el ingeniero Efron Licht denuncia el deterioro técnico de GitHub, propiedad de Microsoft, y acusa a la compañía de anteponer el despliegue de funciones de inteligencia artificial a la fiabilidad y el rendimiento de su plataforma. Licht arranca su
Este repositorio educativo, inspirado en el clásico tutorial 'Kubernetes the hard way', ofrece una guía exhaustiva para construir un motor de ejecución durable (o *workflow engine*) desde cero utilizando Go y PostgreSQL. La ejecución durable es un mecanismo crítico en la arquitectura moderna de soft
El artículo explora una modificación ingeniosa del protocolo de consenso Raft, diseñada para superar una de sus limitaciones fundamentales: la necesidad de una mayoría absoluta de nodos para confirmar cambios. En sistemas distribuidos tradicionales, si más de la mitad de los nodos fallan, el sistema
Johanna Larsson, desarrolladora técnica en jola.dev, presenta una alternativa sin estado para el hashing distribuido en el ecosistema Elixir. Mientras que la librería ExHashRing de Discord es probada y fiable, requiere gestionar procesos de estado persistentes bajo un árbol de supervisión. El artícu
El ajedrez es un juego de estrategia que, aunque aparenta simplicidad, oculta un profundo sistema de reglas. El autor lo modela como un sistema concurrente específico donde la ejecución se entrelaza de forma estructurada: estrictamente por turnos, alternándose entre blanco y negro. Para analizar es
El autor Cheng Huang documenta su experiencia construyendo un motor de consenso Multi-Paxos moderno equivalente a la biblioteca RSL de Azure, usando agentes de IA para programación. El proyecto generó más de 130K líneas de código Rust en aproximadamente 6 semanas, implementando características compl
Un desarrollador llamado Shenli ha publicado en GitHub un nuevo proyecto que permite a agentes de IA diseñar y ejecutar pruebas automatizadas para sistemas distribuidos y con estado. El sistema consiste en dos 'skills' o habilidades que generan planes de prueba en formato Markdown e informes de hall
Un experto en tecnología Christian Ondaatzie, fundador de Aranya, afirma que los clústeres personales serán la próxima evolución en la informática. Un clúster es un conjunto de ordenadores que operan como una sola unidad mediante software de orquestación como Kubernetes, permitiendo tareas que requi
El Software Internals Book Club es un club de lectura técnica por correo electrónico creado por Phil Eaton que reúne a desarrolladores de todo el mundo para leer libros avanzados sobre temas que suelen resultar intimidantes para leer de manera individual. El focus principal del club está en libros d
Este artículo de Signoz.io explica por qué los Trace IDs (identificadores de trazas) en sistemas distribuidos suelen tener 128 bits de longitud. La pregunta, aparentemente sencilla, se responde abordando conceptos de probabilidad, limitaciones de sistemas distribuidos y la evolución de la industria
El artículo de Cambra.dev aborda un problema fundamental en el desarrollo de software moderno: la complejidad y fragilidad de los sistemas distribuidos. El autor, con una amplia experiencia en infraestructura de datos en empresas como Twitter, Google y Snowflake, observa una desconexión entre la ele
Este artículo explora un desafío específico dentro de una serie sobre sistemas distribuidos en Fly.io: la construcción de un contador de crecimiento (grow-only counter) utilizando un servicio de almacenamiento clave-valor secuencialmente consistente (SeqKV) de Maelstrom. El objetivo es crear un cont
El artículo de Kiran Gopinathan aborda un problema fundamental en el desarrollo de software con múltiples agentes impulsados por modelos de lenguaje grandes (LLMs): la coordinación. La idea predominante es que las futuras generaciones de modelos de IA, posiblemente llegando a la Inteligencia Artific
El algoritmo de muestreo de Floyd es una técnica ingeniosa para generar un subconjunto aleatorio de tamaño `k` de un conjunto de números del 1 al `n`. A diferencia de otros algoritmos de muestreo como el muestreo de reservorio, la intuición detrás de Floyd's Sampling no es inmediatamente obvia, lo q
Absurd es un sistema de ejecución duradera innovador que elimina la necesidad de servicios, compiladores o runtimes externos complejos para gestionar flujos de trabajo resilientes. En lugar de eso, se basa exclusivamente en PostgreSQL, utilizando un único archivo SQL (`absurd.sql`) y SDKs delgados (
El algoritmo de consenso Raft es fundamental en sistemas distribuidos para asegurar que los datos se repliquen de forma segura y consistente. Imagina un sistema donde múltiples computadoras deben estar de acuerdo sobre el estado de los datos; Raft proporciona el mecanismo para lograrlo. La dificulta
El Sistema de Nombres de Dominio (DNS) es fundamental para el funcionamiento de Internet, pero su aparente simplicidad esconde una complejidad considerable. A primera vista, DNS parece una simple traducción: un nombre de dominio (ej., wespiser.com) a una dirección IP (ej., 104.21.13.171). Sin embarg
Este artículo explora una problemática común en sistemas distribuidos: la gestión de colas de solicitudes (queueing requests) y su impacto en la latencia percibida por los usuarios. A menudo, los dashboards muestran métricas de latencia (como el percentil 90) aparentemente saludables, mientras que l
Este artículo del blog de PetaMem, presentado originalmente en GPW 2016, explora un enfoque innovador para la automatización de viviendas complejas utilizando Perl y, más recientemente, inteligencia artificial (IA). La necesidad surgió de la falta de sistemas de automatización de viviendas robustos
El 'Consensus Board Game' es una forma visual y didáctica de entender el algoritmo de consenso, un concepto fundamental en sistemas distribuidos donde múltiples nodos deben acordar un único valor (como el orden de una transacción o el valor de una variable). El autor, quien tuvo dificultades para co
El auge de los modelos de lenguaje grandes (LLMs) ha abierto la puerta a la creación de 'equipos' de LLMs, donde múltiples modelos colaboran para resolver tareas complejas. Sin embargo, la forma óptima de construir y utilizar estos equipos – cuántos modelos son necesarios, cómo organizarlos, y si su
El artículo "The Festival of the Machines — Pirate Utopia" de Stefan Kubicki, aunque aparentemente abstracto, explora una metáfora profunda sobre la arquitectura de sistemas distribuidos, específicamente inspirada en Kubernetes. No se trata de una descripción técnica directa de Kubernetes, sino de u
El Teorema CAP es un concepto fundamental en el diseño de sistemas distribuidos, pero a menudo se malinterpreta. La mayoría de las personas familiarizadas con bases de datos conocen el acrónimo ACID, y muchos desarrolladores de sistemas distribuidos han oído hablar del Teorema CAP, aunque quizás no
Beagle es un sistema de gestión de código fuente (SCM) experimental que se diferencia de los sistemas tradicionales como Git al no almacenar el código como archivos binarios (blobs), sino como árboles de sintaxis abstracta (AST). Esto significa que, en lugar de guardar la representación exacta de lo
Este artículo de potaroo.net explora el complejo tema de la sincronización del tiempo en Internet, desde los orígenes de la necesidad hasta los desafíos actuales y el protocolo NTP. La base de todo esto radica en la necesidad de un estándar de tiempo global preciso para coordinar sistemas y servicio
## yare: Un Framework para Juegos y Simulaciones en Kubernetes **Introducción:** yare (pronunciado 'yahr-eh') es un framework de desarrollo de juegos y simulaciones diseñado para ejecutarse en Kubernetes. Su objetivo principal es simplificar la creación de juegos complejos, especialmente aquellos q
Este artículo de Variant Systems explora por qué los sistemas basados en procesos, como los que utiliza Erlang/Elixir (BEAM y OTP), siguen siendo relevantes y efectivos en la construcción de sistemas concurrentes y distribuidos, especialmente en el contexto de la inteligencia artificial y los agente
El proyecto Virtual Protest Protocol (VPP), desarrollado por Voice-of-Japan, es una iniciativa innovadora que utiliza la infraestructura de Kubernetes para simular protestas virtuales a gran escala. En esencia, VPP permite a individuos y organizaciones organizar y participar en manifestaciones digit
Hightouch, una startup en rápido crecimiento (Serie C) respaldada por inversores de primer nivel, busca atraer y retener talento a través de una cultura empresarial centrada en el crecimiento, la innovación y la excelencia. Su filosofía va más allá de la simple búsqueda de empleados; aspiran a const
Este artículo de Andrew Chan detalla la construcción y ejecución de un rastreador web a gran escala, capaz de indexar mil millones de páginas web en poco más de 24 horas con un presupuesto de alrededor de $462. El objetivo era modernizar el conocimiento existente sobre rastreo web, que data principa
Este artículo de Nubificus relata una experiencia de depuración en un entorno de demostración de MLSysOps, revelando una causa inesperada de fallos en pods: problemas de rendimiento del disco que afectaban a etcd. El objetivo de la demostración era mostrar cómo las políticas basadas en telemetría pu
Clawntown es un proyecto fascinante que ilustra el poder de Kubernetes de una manera sorprendentemente accesible y divertida. En esencia, Clawntown es una simulación interactiva de una isla habitada por cangrejos, construida y gestionada completamente a través de un clúster de Kubernetes. Pero, ¿qué
Este artículo de Fullstack.zip analiza cómo Discord, una plataforma de comunicación popular, logra su rendimiento, escalabilidad y fiabilidad a gran escala, soportando billones de mensajes. La clave de su arquitectura reside en el uso del **Modelo de Actor**, un patrón de diseño que ha evolucionado
gRPC es un framework de código abierto para construir APIs distribuidas de alto rendimiento. A diferencia de REST, que a menudo trata la documentación de la API como un añadido, gRPC adopta un enfoque 'contract-first', definiendo la API mediante archivos `.proto` de Protocol Buffers. Estos archivos
Hibana es un proyecto innovador para Rust que introduce el concepto de *Tipos de Sesión Multipartita Afines* (Affine Multiparty Session Types - MPST) para garantizar la corrección y seguridad de protocolos de comunicación a nivel de compilador. En esencia, permite que el compilador Rust *pruebe* que
El artículo de Ian Duncan critica la tendencia en la programación funcional (FP) a enfocarse excesivamente en la corrección local del código, lo que lleva a una falsa confianza en las propiedades del sistema en su conjunto. Argumenta que, independientemente del paradigma de programación, los desarro
## Retrato de Picasso II: Una mirada a la infraestructura detrás de YouTube **1. Introducción: La complejidad oculta de YouTube** Cuando vemos un video en YouTube, la experiencia parece sencilla: buscamos, hacemos clic y disfrutamos. Sin embargo, detrás de esa facilidad se esconde una infraestruct
## Loreen - Feels Like Heaven: Desentrañando la Infraestructura Detrás de YouTube Cuando disfrutas de un video de Loreen - Feels Like Heaven en YouTube, estás interactuando con una de las plataformas más complejas y distribuidas del mundo. Pero, ¿qué hay detrás de esa experiencia aparentemente senc
El proyecto `humanlayer/.claude at main · humanlayer/humanlayer` (disponible en GitHub) es una herramienta de observabilidad y análisis de eventos, específicamente diseñada para entornos Kubernetes y aplicaciones basadas en microservicios. En esencia, permite a los equipos de desarrollo y operacione
