10x smaller vector indexes in pgvector · HackerLangs