re: #92 EPR-radar
Those proofs did seem to be a waste of time. The only practical purpose I can see for such class in a CS curriculum is to serve as a filter class, like freshman calculus at an engineering school.
When the question “why am I doing this” has no good answer, I can in fact make the right decision.
/shoves 6 years of grad school behind the door.