A about.sourcegraph.com An ex-Googler's guide to dev tools (2020) 203 points goranmoomin 4 years ago 139 comments