S sourcegraph.com An ex-Googler's guide to dev tools (2020) 172 points intrepidsoldier 2 years ago 94 comments