Blog técnico
Escribimos sobre lo que construimos y medimos: rendimiento, arquitectura y verificación de sistemas concurrentes, con las condiciones y los límites de cada cifra. Publicamos solo lo que hemos comprobado y tenemos derecho a contar. Lo que construimos por encargo es confidencial y pertenece a quien lo encarga: no se publica ni se libera como código abierto salvo que el contrato lo permita o el cliente lo autorice, como dicen nuestras condiciones comunes.
Trabaja, termina, publica.
Verificación formal de una caché C++ con SPIN/Promela
19 de octubre de 2026
TL;DR — El repositorio de cpp-cache incluye un modelo Promela acotado del protocolo single-flight de la caché. SPIN comprueba sobre ese modelo 30 …
Leer más100K peticiones por segundo: caché single-flight, hash routing y un escalador propio
5 de abril de 2026
TL;DR — Una caché in-process con protocolo single-flight, combinada con enrutamiento basado en hash, una segunda capa de caché compartida y escalado …
Leer másCuando una caché hace más que solo caché
31 de marzo de 2026
La mayoría de la gente piensa en una caché como un simple acelerador de rendimiento: almacena un resultado, lo reutiliza más tarde y listo. Pero en …
Leer más