For example? The search is powered by sphinx, the title, summary and tags are indexed and words are stemmed. Search is fast, instant search is error-proof for concurrency problems (or at least it should). There is no synonym search, but this isn't google either.