Since one big problem with neural nets is their lack of analyzability, this geometric approach to deep learning neural networks seems probably useful.

A video of the whole talk is available here.

Homotopy type theory differs from ZFC in two ways. One way is that it, like ordinary type theory, is constructive and ZFC is not. The other is that it is based in homotopy theory. It is that latter property which makes it well suited for proofs in homotopy theory (and category theory). Most of the examples in slides you link to are about homotopy theory.

Tegmark is quite explicit that he has no measure and thus no prior. Switching foundations doesn't help.

the implied prior

Which implied prior? My understanding is that the problem with Multiverse theories is that we don't have a way to assign probability measures to the different possible universes, and therefore we cannot formulate an unambiguous prior distribution.

Apparently, founding mathematics on Homotopy Type Theory instead of ZFC makes automated proof checking much simpler and more elegant. Has anybody tried reformulating Max Tegmark's Level IV Multiverse using Homotopy Type Theory instead of sets to see if the implied prior fits our anthropic observations better?

This is the same as Schmidhuber's compression-based theory of aesthetics, right?

I'd be quite cautious about seeking greater media coverage without a plan to deal with an "Eternal September" on Less Wrong.

Good questions. I'll explain my reasoning:

Basically, after thinking about consciousness for a while, and personal identity, I've come to assign high probability to some sort of dualism/idealism being true. It might still be a sort of reductionist dualism, i.e. platonic computations.

So yes, the "platonic computation" theory would count. Do you think my original post ought to be revised given this information? I hope I haven't been misleading.

As for spacetime and causation: If I'm a platonic form, I'm not in spacetime, nor am I causally related to my body in any normal sense. It all depends on how we define causation, and I tend to be reductionist/eliminativist about causation.

Quotes from the Screwtape Letters have not been terribly well-received in this thread. So, perversely, I decided I had to take a turn:

Do what you will, there is going to be some benevolence, as well as some malice, in your patient's soul. The great thing is to direct the malice to his immediate neighbours whom he meets every day and to thrust his benevolence out to the remote circumference, to people he does not know. The malice thus becomes wholly real and the benevolence largely imaginary. There is no good at all in inflaming his hatred of Germans if, at the same time, a pernicious habit of charity is growing up between him and his mother, his employer, and the man he meets in the train. Think of your man as a series of concentric circles, his will being the innermost, his intellect coming next, and finally his fantasy...you must keep on shoving all the virtues outward till they are finally located in the circle of fantasy, and all the desirable qualities inward into the Will. It is only in so far as they reach the will and are there embodied in habits that the virtues are really fatal to us.

-- The demon Screwtape, on how best to tempt a human being to destruction.

The existence of souls notwithstanding, Screwtape is clearly right: if you are charitable to almost everybody--except for those your see every day!--then you are not practicing the virtue of charity and are ill-served to imagine otherwise. You cannot fantasize good mental habits into being; they must be acted upon.