Satori is pretty weird

I achieved satori, and it's kind of fucked up. Everything is a programming problem. Look at a piece of toast and you'll see an endomorphism on the domain of bread. Look at a chair and you'll see a recursive descent parser. Look at a dog taking a shit and you'll see a novel set of inductive laws for reasoning about infix notation.

I mean, I did swimmingly at the program I was working on, but it would be nice to brush my teeth without having to check my floss for null.

>>20
Sorry, but I'm pretty sure that the consensus in research mathematics is that glorified high school calculus applied mathematicians like Sussman rank below algebraists like Voevodsky. Stop pretending you know what you are talking about.

On that matter, thinking that just because you don't understand either and they seem to have a couple of terms in common, Haskell and HoTT are the same, sounds like a pretty bad case of Dunning-Kruger to me.