http://blog.reddit.com/2010/07/new-search.html

Reddit has decided to outsource its search engine to people who are really good at search engines. Flaptor has a hosted search product called IndexTank that Reddit has been running on for about the last 24 hours.

Reddit Top Links Community Contributor posted about a year ago