Posts

Comments

Comment by lemma on Psychological validity of the "Seven deadly sins"? · 2015-03-17T04:38:14.349Z · score: 4 (4 votes) · LW · GW

You can hate cruelty without hating the people who cause it

Comment by lemma on Harry Potter and the Methods of Rationality discussion thread, February 2015, chapter 113 · 2015-03-02T20:14:40.169Z · score: 1 (1 votes) · LW · GW

Considering Harry might destroy the world, and this might be the very way he does it, why not let Hermione take care of them?

Comment by lemma on Harry Potter and the Methods of Rationality discussion thread, February 2015, chapter 113 · 2015-03-01T05:26:40.055Z · score: 4 (4 votes) · LW · GW

Regardless of other differences in utility function, Harry and Voldemort both want the world to not be destroyed, and consider this of the utmost priority.

Aumann's agreement theorem means that as they are both rationalists, they should be able to come to the same opinion on what the best course of action is to prevent that. Harry was willing to sacrifice himself earlier to save others.

Comment by lemma on Harry Potter and the Methods of Rationality discussion thread, February 2015, chapter 113 · 2015-03-01T04:45:50.865Z · score: 2 (2 votes) · LW · GW

Harry is allowed to convince voldy to keep him in a coma to kill later. He just has to "evade immediate death", even if there is no hope of survival afterwards

Comment by lemma on Harry Potter and the Methods of Rationality discussion thread, February 2015, chapter 113 · 2015-03-01T04:45:03.484Z · score: 1 (1 votes) · LW · GW

How about simply telling Voldemort that he doesn't have a complete model of time, and give him a bunch of examples of things until one is found which voldy wouldn't have predicted. Suggest to voldemort that he should keep harry in a coma until he has done more experiments with Time to derive its nature, and then kill Harry without waking him up.

Comment by lemma on Harry Potter and the Methods of Rationality discussion thread, February 2015, chapter 113 · 2015-02-28T23:03:30.424Z · score: 1 (1 votes) · LW · GW

I mean the existing unbreakable vow that Harry has just been bound by could perhaps be used for something else.

Comment by lemma on Harry Potter and the Methods of Rationality discussion thread, February 2015, chapter 113 · 2015-02-28T22:31:59.400Z · score: 4 (4 votes) · LW · GW

Thoughts:

  • Can the unbreakable vow be leveraged for unbreakable pre commitments?
  • Harry knows that the horcruxes will eventually be destroyed through heat death of the universe if nothing else and could use this to tell Voldemort something like "if you kill me you will die" in parseltongue
Comment by lemma on Stupid Questions February 2015 · 2015-02-28T22:29:58.073Z · score: 0 (0 votes) · LW · GW

Equivalence of infinite cardinalities is determined by whether a bijection between sets of those cardinalities exists. In this case, if interpreted as cardinalities, both infinities would be equal.

Also, the order in which you sum the terms in a series can matter. See here: https://en.wikipedia.org/wiki/Alternating_series#Rearrangements

Comment by lemma on Stupid Questions February 2015 · 2015-02-04T01:26:23.752Z · score: 2 (2 votes) · LW · GW

I was reading about the St. Petersburg paradox

I was wondering how you compare two games with infinite expected value. The obvious way would seem to be to take the limit of the difference of their expected value, as one tolerates less and less likely outcomes.

Is there any existing research on this?

Comment by lemma on Pascal's Muggle (short version) · 2015-01-15T15:40:05.885Z · score: 0 (0 votes) · LW · GW

I'm confused because I had always thought it would be the exact opposite. To predict your observational history given a description of the universe, solomonoff induction needs to find you in it. The more special you are, the easier you are to find and thus the easier it is to find your observational history.

Comment by lemma on Solomonoff induction on a random string · 2014-04-08T05:44:27.931Z · score: 3 (3 votes) · LW · GW

Truly random data is incompressible in the average case by the pigeonhole principle

Solomonoff induction still tries though. It assumes there is always more signal in the noise. I'm not sure how you would justify stopping that search, how can you ever be certain there's not some complex signal we just haven't found yet?

But you should end up with a bunch of theories with similar kolmogorov complexity.

Comment by lemma on 2013 Census/Survey: call for changes and additions · 2013-11-13T21:18:51.508Z · score: 5 (5 votes) · LW · GW

Requested question: "How much money have you donated to organizations aiming to reduce x-risk other than MIRI/CFAR?"

This is ambiguous. Is it you who are aiming to reduce x-risk, or the organizations who are aiming to reduce x-risk.

For example, someone could donate to the malaria foundation because they believe this somehow reduces x-risk, even though the malaria foundation's goal is not reducing x-risk.

Comment by lemma on After critical event W happens, they still won't believe you · 2013-06-20T13:30:30.016Z · score: 1 (1 votes) · LW · GW

Vampire uses specialisation according to wikipedia:

A number of efficient indexing techniques are used to implement all major operations on sets of terms and clauses. Run-time algorithm specialisation is used to accelerate forward matching.