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.

>>27
It's not bullshit. There are useful results.

But the claim that it's the foundation for all of mathematics, that's laughable. I don't think people understand what the foundations for all of mathematics means, how many approaches there have been, their failures, the paradoxes, the problems and the endless philosophical debates (formalism vs logicism etc. etc.).

I think any claims to have found a foundation for all of mathematics is very optimistic thinking on the part of the people who make the claims.

In this case I was pointing out that perhaps the same qualitative type of enthusiasm is shared between Haskell programmers for their programming language and homotopy type theory for their mathematics language, given that its mostly the same people, same web based social circles etc.

And for us expert programmers, that should be all the warning signs we need.