Show!!! Também estou gostando muito do casamento entre Hacker News e Github 🤝
Sobre busca, isso é algo que queremos investir muito, e por coincidência, olha só o que apareceu aqui de post (faz poucos dias):
https://www.tabnews.com.br/nathanosoares/uma-boa-opcao-ou-nao-para-o-search-do-tabnews