Antfly reescribe su motor de búsqueda en Zig para mejorar la fiabilidad

Fuentes: Antfly Rewrites Search Engine in Zig for Enhanced Reliability

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 la base de datos en entornos sandbox, navegadores y aplicaciones móviles sin depender de dependencias externas pesadas. El objetivo principal es garantizar la fiabilidad y el rendimiento a través de la implementación de protocolos de consenso distribuido como Raft y sistemas de control de transacciones como LSM, utilizando pruebas de simulación estilo TigerBeetle y validación formal con TLA+. A diferencia de otras bases de datos vectoriales que requieren conocimiento profundo de algoritmos de indexación como HNSW o SPFresh, Antfly busca abstractar estas complejidades para los usuarios finales, permitiendo una búsqueda semántica eficiente. La reescritura en Zig también facilitó la transición a un modelo de búsqueda centrado en los modelos de lenguaje en lugar de los embeddings, optimizando la generación de vectores. Esta arquitectura busca posicionarse como una solución unificada para casos de uso tradicionales y emergentes en inteligencia artificial, ofreciendo una alternativa ligera y de alto rendimiento a sistemas como PostgreSQL o CockroachDB.