gwern comments on Vector search on a large dataset?