Sourcegraph CEO here. You are right on all points. It uses Monaco on the frontend, with a lot of customizations (see here for a shout-out: http://www.infoworld.

Sourcegraph CEO here. You are right on all points. It uses Monaco on the frontend, with a lot of customizations (see here for a shout-out: http://www.infoworld.com/article/3127336/application-development/sourcegraph-provides-intelligent-searches-of-go-language-code.html http://www.infoworld.com/article/3127336/application-develop...). And LSP on the backend. We're writing a technical walkthrough blog post of all this stuff (excited to share!). Happy to chat with anyone who's curious in the meantime. Anyone who thinks this sounds awesome to work on, head over to https://sourcegraph.com https://sourcegraph.com and click on "Jobs." We are growing quickly and would love to chat. Drop me a note (sqs@sourcegraph.com) as well.