B blog.pgvecto.rs Binary vector search is better than FP32 vectors 137 points gaocegege 2 years ago 29 comments