I have a habit of saving interesting things that I find on the internet in my browser bookmarks. Or on Reddit specifically, on the "saved" page of my profile. I have been on this sub for a few years now and saved a lot of great comments. Comments are harder to find through normal search than posts, yet I feel that comments constitute a much more important part of the content than posts. To not let such gems simply drown in the river of time, I want to share them with you. For convenience, I have divided them into three different categories. First, meta-mathematics, which presents general overviews of subjects, motivations, opinions, and such. Then, things that I find illuminating, while maybe somewhat technical. Finally, in the last part, things that I find funny. Please share your favorite comments if you have some.…