An ex-Googler’s guide to dev tools