FAISS is a really neat library of algorithms, e.g. IVFPQ. I wouldn't think of it as conceptually separate, it's just a way to go from query embeddings -> (possibly sub-linear, depending entirely on the choices of algorithm & hyperparameters) number of candidate document embeddings -> scoring.