They are an interesting company and I'm positive your endorsement is genuine. It might be worth mentioning that they sponsor one of your projects just to avoid the appearance of impropriety.
People without any theoretical background will look confused, but CS people generally understand the deeper implications of this, I think.
I've been supportive of their mission for years, well before any sponsorship. My (unofficial) relationship with Sourcegraph isn't about money. We have shared values, pure and simple.
For the tangible stuff today, check out https://about.sourcegraph.com.
For our long-term vision (the stuff he's referring to), check out our master plan: https://about.sourcegraph.com/plan.