Published onDecember 5, 2023The Technology Behind GitHub's New Code Searchsearchindexinggithubinformation-retrievalNotes on how GitHub built a search engine that indexes 200 million repositories and returns results in milliseconds using custom indexing and query planning.