https://histre.com/ can import your Pinboard bookmarks. histre excels at search, if I can say so myself (disclosure: It's mine)