Rethinking search results ranking on Sourcegraph | Dark Hacker News