S sourcegraph.com A dev's thoughts on developer productivity (2022) 95 points hogu 2 years ago 53 comments