Yeah I know about FAISS, and I saw the recent change they made where it lets you spill to disk.

Also https://erikbern.com/2018/02/15/new-benchmarks-for-approxima...