Choosing a vector database for ANN search at Reddit