
Invariants as interface
An invariant is a condition that holds true no matter what during the execution of a phase of a computer program. For instance, in a classical for loop, for (i…
Tech blog from RedBeardLab
An invariant is a condition that holds true no matter what during the execution of a phase of a computer program. For instance, in a classical for loop, for (i…
Rust is an amazing language, with amazing community and tooling. However, sometimes, you can end up in complex situation where the standard tools are not sufficient anymore, in those case…
During the last session we worked on extracting the query string from the messages in the PG protocol. Then we focused on INSERT queries allowing to insert data into RediSQL…
In this series of post we are writing a postgres proxy that accept connections made using the postgres (PG) protocol and forward them to RediSQL. Motivation and introduction of the…
In this series of post we are writing a postgres proxy that accept connections made using the postgres (PG) protocol and forward them to RediSQL. Motivation and introduction of the…
This series of articles will follow my progress in creating a RediSQL proxy for Postgres, pg-redis-proxy. The end goal of this project is to have a proxy that will listen…
RediSQL finally reached version 1.0.0. The release does not contains new code, however it is a major shift in our strategy. We maturate the idea that all the code should…
RediSQL is the product that Redbeardlab is launching. We decide to adopt telemetrics in the product so that we know what functionality is used and where is worth to invest…