A about.sourcegraph.com A dev's thoughts on developer productivity 319 points raviparikh 4 years ago 88 comments