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…

Software is a FOCUS intensive industry.

Industries are usually characterized as labor-intensive or as capital-intensive. Labor-intensive industries requires a lot of human input in order to produce their output. A classical examples is the industry of…

Tracking the trackers. The beginning.

This project wants to explore how the web is tracked by whom. As the most tech savvy readers know, when we visit a web page, several things happen in the…

Rust and glibc version.

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…

Write a Postgres proxy. Day 1.

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…

Write a Postgresql proxy. The Beginning.

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…