HN user
I ban reddit during work. The only sites I allow myself to visit are the ones that are very slow to update or one or two such slow subreddits like r/math (while the rest of reddit stays banned). When I get an urge I simply go check them out, see nothing has changed since my last visit and go back to work. This gives my mind chance to cool off and regroup. After awhile this turns into a habit and you start visiting sites like reddit much less often.
Kleinberg/Tardos book that I am reading right now needs trimming for brevity. A good math text editor could, probably, easily lop off 1/3 of it without affecting its content. Otherwise I prefer it to most other algo books because its proofs are closest to how mathematicians approach their proofs. By contrast, I am confused as to why CLRS contains proofs at all. At the beginning of the book, the authors say something to the effect of actual proofs being too messy/hard so they simply wave their hands through them. But if most any intro discrete math books can do these proofs, why can't CLRS? To me it's a turn-off.