A about.sourcegraph.com An ex-Googler’s guide to dev tools 459 points azhenley 6 years ago 211 comments