My binary vector search is better than your FP32 vectors (blog.pgvecto.rs)