FWIW https://libgen.rs already has good search for basically the same books. I like the denser layout that makes better use of whitespace than this HN submission does.
I think the best thing about libgen is their detailed filter to search books with covers which makes it really easy to scan books you are looking for assuming you know the cover pages.