For the past decade, Spotify has used approximate nearest-neighbor search […]