> Design of Everyday Things, which I have to assume is at the high end of the unread-after-buying ratio. I don't believe that. I'd say the high-end begins with

> Design of Everyday Things, which I have to assume is at the high end of the unread-after-buying ratio. I don't believe that. I'd say the high-end begins with Knuth's TAOCP with the end of the spectrum being something like HOTT https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/