Yeah I think it's because you haven't spent hours and hours of your life reading conference papers like he has. I read a lot of programming language papers, bu

Yeah I think it's because you haven't spent hours and hours of your life reading conference papers like he has. I read a lot of programming language papers, but not type theory papers. It definitely seems like there is a problem, but solving it would probably only help me a little. That said, I hope that people listen to what he has to say, because it seems very well-considered.