think are doing: reddit, hn, etc.

supposed to be doing: what the post indicates. Grading papers. (dis)proving p != np. (dis)proving one of the other millennium problems.

EDIT: formatting.