software · 3 menciones
Un nuevo motor de búsqueda de código abierto llamado Antfly ha sido lanzado, combinando capacidades de búsqueda de texto completo, similitud vectorial y recorrido de grafos para indexar y buscar datos multimodales (texto, imágenes, audio y video). Desarrollado por Antflydb y basado en la biblioteca
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
Un equipo de investigadores desarrolló SysMoBench, un benchmark automatizado para evaluar si los modelos de lenguaje de gran escala (LLMs) pueden modelar sistemas informáticos reales o simplemente recitan especificaciones de protocolos de manuales académicos. El sistema evalúa once sistemas distribu
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
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
freno es un servicio cooperativo y de alta disponibilidad desarrollado por GitHub Engineering para regular las escrituras en recursos compartidos. Su función principal es impedir que las aplicaciones saturen clústeres de MySQL cuando la latencia de replicación supera un umbral definido, evitando así
Cloudflare ha presentado Meerkat, un servicio experimental de consenso distribuido en fase de desarrollo, diseñado para coordinar el estado del plano de control entre sus más de 330 centros de datos en todo el mundo. La empresa necesitaba un sistema que garantizara consistencia fuerte y disponibilid
ShipThatCode es una plataforma educativa orientada a estudiantes y profesionales de la ingeniería de software que quieran aprender construyendo sistemas reales en lugar de seguir tutoriales pasivos. La propuesta se articula en torno al esquema «elegir → escribir → ejecutar»: el usuario escoge un pro
Antfly, una startup de base de datos, ha lanzado su versión 0.2 reescribiendo su motor de búsqueda en el lenguaje Zig, tras haberlo desarrollado inicialmente en Go. Esta decisión técnica responde a la necesidad de ofrecer una interfaz compatible con C, WebAssembly y WebGPU, lo que permite ejecutar l
System Design Atlas es un recurso educativo estructurado que aborda el diseño de sistemas distribuidos mediante módulos conceptuales, casos de estudio prácticos y un marco de evaluación de 45 minutos. Su objetivo es guiar a los ingenieros en la toma de decisiones técnicas entre la precomputación y l
