10x smaller vector indexes in pgvector | Dark Hacker News