Productivity Tips

SourceGraph

SourceGraph is a web-based source browser. It can enhance github with on-mouse-over information about types/function, links to jump to definition, language-aware searching. The enhanced repository can be accessed through sourcegraph.com/github.com/cockroachdb/cockroach

There is also a Chrome extension that automagically enhances github without going through the special URL.

Misc