Do you mean Sourcegraph? https://sourcegraph.com/

Sourcegraph CEO here. Yep, Sourcegraph (https://sourcegraph.com) is a fast, global, semantic code search & cross-reference engine. It helps developers discover and understand code. It fits the description above. :)

We support Go and Java now. More languages are coming soon (JavaScript, Python, etc.).

SyntaxDB is super cool, BTW.

Awesome - looking forward to trying it out again!

Definitely would use Sourcegraph with Python support.

I see only an empty white page on the iPhone.

Thanks for letting me know. I just emailed you.

Yes! That's the one - thanks!

Proper link en.cppreference.com/w/cpp/numeric