Comment by whatshisface
Comment by whatshisface 3 days ago
Just imagine how much of a waste of time it would have been to attend a conference where everyone was pointing out mathematical concepts you had heard of, talking about intracacies in GHC you were familiar with, and discussing different aspects of type theory you thought were completely trivial!
No debate on that, I got a lot of Google fodder out of that conference, and ended up buying four or five textbooks as a result.