Yeah, it uses a service called Algolia, and unfortunately their frontend depends on JS. But you can use http://hnapp.com/ http://hnapp.com/ for JS-free search.

Yeah, it uses a service called Algolia, and unfortunately their frontend depends on JS. But you can use http://hnapp.com/ http://hnapp.com/ for JS-free search. (I'm not affiliated)