I couldn't find anywhere in the article, how long does it take to add all 10,000 embeddings to the index? That seems quite important for many applications
For example, see my comment above: https://news.ycombinator.com/item?id=36341754
Given this, around a second to build an index of 10K items sounds about right.