What kind of index is Google using here?
robk: IIRC, this was a rather high-compute-cost project inside of Google, far more so than other search projects.  Obviously it was a favorite though of the eng decision makers, so was well cared for resource-wise.