Sourcegraph CTO on building a search index for 1M public repos | Hacker News Reader