Sourcegraph CEO here. Thanks for posting!

Here's some more info: https://about.sourcegraph.com/blog/building-toward-the-sourc...

Also check out more about our products and try Sourcegraph Server's code search on open-source repositories at https://sourcegraph.com/.