This guy for some reason hates our current model of computing. He thinks that it can never be effectively parrallelized because our traditional languages dont do it very well. Now functional programming languages like Haskell start showing tremendous promise for parrallel programming so he attacks them for proving him wrong. And he really hates turing machines.