4 ms·The best search tool IMO is here: https://hn.algolia.com https://hn.algolia.comby mjklin 5y agoThe best search tool IMO is here: https://hn.algolia.com https://hn.algolia.com