No they don’t? AFAIK they have their own crawler and semantic search index.
https://news.ycombinator.com/item?id=40690898