Quantum proofs of classical theorems is a review article about how ideas and techniques from quantum information and computing have been used for proofs in classical computer science. I thought it was pretty fun. Are reviews of "proof techniques" common in math/CS theory? Are they actually useful for researchers or for students in those fields? I really like the idea; even well-developed techniques aren't the kinds of things textbooks emphasize. (At least the textbooks I read tend to focus more on the "content" of theorems and so on--maybe I just haven't gone far enough beyond foundational stuff.)

I guess I'm on a bit of a "how mathematics is done" kick lately (my comment below is also on that theme). If anyone has recommendations of the same flavor, I'd be interested.