This is really powerful, there are many profitable AI startups that could be built using this technology. I am almost mad that its on the HN front page
The basic idea of product quantization is 10 years old now and there are many examples out there [0][1][2][etc]. This looks like a high quality library though.