These are indeed seven of the kinds of books I would expect to see in this kind of post shared on HN.