Code Search is no longer public, but we use it internally. It's great for developer productivity to be able to search millions of lines of code in a second. (On my first day, I did a search for jrockway and found code I wrote at a company that Google bought. Yay!)