Comment author: turchin 18 August 2016 09:02:57PM 1 point [-]

One idea how to measure the measure of simulations I had is that it is proportional of the energy of calculation. That is because the large computer could be "sliced" into two parallel if we could make slices in 4 dimensions. We could do such slices until we reach Plank level. So any simulation is equal to finite number of Plank simulation.

Base reality level computers will use more energy of calculations and any sub-level will use only part of this energy, so we have smaller measure for lower level simulations.

But it is just preliminary idea, as we need to coordinate it with probability of branches in MWI and also find the ways to prove it.

Comment author: stoat 19 August 2016 03:19:48AM *  0 points [-]

Interesting idea. So I guess that approach is focused on measure across universes with physics similar to ours? I wonder what fraction of simulations have physics similar to one level up. Presumably ancestor simulations would.

Comment author: turchin 17 August 2016 12:14:06AM 0 points [-]

Elon Musk almost terminated our simulation.

Simulation is a simulation only if everybody is convinced that they are living real life. Bostrom proved that we are most likely live in a simulation, but not much people know about it. Elon Musk tweeted that we live with probability 1000000 to 1 in simulation. Now everybody knows. I think that it was 1 per cent chance that our simulation will terminate after it. It has not happen this time, but there may be some other threshold after which it will be terminated, like finding more proves that we are in a simulation or creation of an AI.

Comment author: stoat 18 August 2016 02:55:52PM *  1 point [-]

It seems possible to me that after passing some threshold of metaphysics insight, beings in basement reality would come to believe that basement reality simulations have high measure.

Past a certain point, maybe original basement reality beings actually believe they are simulated. Then accurately simulated basement reality beings would mean simulating beings who think (correctly) that they are in a simulation.

I don't know how to balance such possibilities to figure out what's likely.

Comment author: Arielgenesis 28 July 2016 04:02:51AM 0 points [-]

This, and your links to Lob's theory, is one of the most fear inducing piece of writing that I have ever read. Now I want to know if I have understand this properly. I found that the best way to do it is to first explain what I understand to myself, and then to other people. My explanation is below:

I suppose that rationalist would have some simple, intuitive and obvious presumptions a foundation (e.g. most of the time, my sensory organs reflect the world accurately). But apparently, it put its foundation on a very specific set of statement, the most powerful, wild and dangerous of them all: self-referential statement:

*Rationalist presume Occam's razor because it proof itself *Rationalist presume Induction razor because it proof itself *etc.

And a collection of these self-referential statement (if you collect the right elements) would reinforce one another. Upon this collection, the whole field of rationality is built.

To the best of my understanding, this train of thought is nearly identical to the Presuppositionalism school of Reformed Christian Apologetics.

The reformed / Presbyterian understanding of the Judeo-Christian God (from here on simply referred to as God), is that God is a self-referential entity, owing to their interpretation of the famous Tetragrammaton. They believe that God is true for many reasons, but chief among all, is that it attest itself to be the truth.

Now I am not making any statement about rationality or presuppositionalism, but it seems to me that there is a logical veil that we cannot get to the bottom of and it is called self-reference.

The best that we can do is to get a non-contradicting collection of self-referential statement that covers the epistemology and axiology and by that point, everyone is rational.

Comment author: stoat 28 July 2016 06:55:41PM 1 point [-]

Eliezer ruminates on foundations and wrestles with the difficulties quite a bit in the Metaethics sequence, for example:

Comment author: ChristianKl 15 February 2016 10:02:14AM 8 points [-]

If we would apply Elon Musk first principle thinking to the problem of building homes in which we live, how would we build homes? Are there any big companies taken up that challenge?

Comment author: stoat 15 February 2016 02:42:15PM 7 points [-]

Michael Vassar makes some observations about this in this chat from about 37:50-40:30. He begins describing something called a "hexayurt tridome", some kind of portable desert structure, and finishes saying "for the cost of engineering the 2016 Toyota Corolla and with the level of engineering skill required to engineer the 2016 Toyota Corolla it would probably be possible to engineer a house that would cost less than a Toyota Corolla and that could be deployed more easily and be adequate for any climate pretty much anywhere in the world where there's a reasonable amount of free space".

Comment author: gwern 02 November 2015 05:18:10PM 9 points [-]
Comment author: stoat 02 November 2015 05:48:41PM 2 points [-]

Thanks a bunch that is the one!

Comment author: stoat 02 November 2015 03:10:04PM 2 points [-]

I have a foggy memory of someone here (I think it was gwern) linking to an article about simulation interface design. It built up examples based on a bird's eye view of a car steering down a road. I haven't been able to find it, anyone know a link to the article?

Comment author: gjm 15 August 2015 02:00:57PM 0 points [-]

Are you sure that by "one-to-one" Halmos means "bijective"? A more common usage is for it to mean "injective". (But I don't have NST and maybe he has an unusual idiom.)

Comment author: stoat 15 August 2015 03:39:10PM 2 points [-]

Looks to me like Halmos does intend "one-to-one" to mean "injective". What he writes is "A function that always maps distinct elements onto distinct elements is called one-to-one (usually a one-to-one correspondence)." Then he mentions inclusion maps as examples of one-to-one functions.

Comment author: stoat 16 February 2015 05:14:33PM 0 points [-]

Biotest is very reputable (that's my impression anyway) for supplements geared towards weightlifters.

https://www.t-nation.com/store

They have stuff in their "Health" category with broader appeal (Superfood is pretty cool). I've been very pleased with what I've used from them.

Comment author: ChristianKl 04 August 2014 01:48:27PM 8 points [-]

I recently learned that chocolate contain significant amount of coffeine. 100g chocolate contain roughly as much as a cup of black tea. As a result I updated in the direction of not eating chocolate directly before going to bed.

I don't know whether the information is new to everyone, but it was interesting for me.

Comment author: stoat 04 August 2014 02:41:24PM 5 points [-]

Caffeine's a strong drug for me, except I have a huge tolerance now because I consume so much coffee. One night a few years ago, after I had quit caffeine for about a month, I was picking away at a bag of chocolate almonds while doing homework, and after a few hours I noticed that I felt pretty much euphoric. So yeah, this is good info to have if you're trying to get off caffeine.

In response to comment by [deleted] on Open Thread, December 2-8, 2013
Comment author: ephion 03 December 2013 06:03:16PM 5 points [-]

That they advocated reducing fat intake and especially saturated fats, and encouraged grain and carbohydrate intake.

Comment author: stoat 03 December 2013 08:19:50PM *  7 points [-]

This sounds familiar to me. I'm 32 and I definitely remember hearing stuff like this. I remember in elementary school (so, late 80s early 90s) seeing the Canada food guide recommend a male adult eat something like up to 10 servings of grains a day, which could be bread or pasta or cereal. You were supposed to have some dairy products each day, maybe 2-4. And maybe 1-3 servings from Meat & Alternates.

I remember that pretty much all fat was viewed (popularly) with caution, at least until Udo Erasmus came out with his book Good Fat, Bad Fat.

But I do recall a clear message that soda and snacks were unhealthy. It wasn't as though soda was thought ok just because it was low fat / high carb.

View more: Next