Created: May 15, 2022
Modified: May 15, 2022
Modified: May 15, 2022
dev tools
This page is from my personal notes, and has not been specifically reviewed for public consumption. It might be incomplete, wrong, outdated, or stupid. Caveat lector.Google-internal equivalents:
- Dev tools: The ex-Googler guide (sourcegraph.com)
- GitHub - jhuangtw/xg2xg: by ex-googlers, for ex-googlers - a lookup table of similar tech & services
e.g., Code search: Sourcegraph Code review: Reviewable