robot-dreams

Non-ob­vi­ous skills with highly mea­surable progress?

Ex­ams and Overfitting

Iden­tity crafting

• robot-dreams 12 Aug 2014 23:40 UTC

  14 points

  on: MIRI’s 2014 Sum­mer Match­ing Challenge

  It’s cool that you guys accept XRP! I sent you all of my XRP (worth about $500).

• robot-dreams 8 Jan 2015 17:49 UTC

  12 points

  on: Ra­tion­al­ity Quotes Jan­uary 2015

  Travelling is a fool’s paradise. Our first journeys discover to us the indifference of places. At home I dream that at Naples, at Rome, I can be intoxicated with beauty, and lose my sadness. I pack my trunk, embrace my friends, embark on the sea, and at last wake up in Naples, and there beside me is the stern fact, the sad self, unrelenting, identical, that I fled from. I seek the Vatican, and the palaces. I affect to be intoxicated with sights and suggestions, but I am not intoxicated. My giant goes with me wherever I go.

  Ralph Waldo Emerson on If You Demand Magic, Magic Won’t Help

• robot-dreams 1 Sep 2014 18:16 UTC

  12 points

  0

  on: Book Re­view: Naïve Set The­ory (MIRI course list)

  Thanks for the great review! Your tip to swap 24 and 25 was helpful, as was your warning about inconsistent notation. However, one benefit of “inconsistent notation” is that it really forces you to develop a clear understanding.

  Anyway, I’ll add some additional thoughts.

  Overall, I got a lot out of this. Naive Set Theory clarified a lot of foundational concepts I had previously taken for granted. It also made me crack up at times; for example:

  • The slight feeling of discomfort that the reader may experience in connection with the definition of natural numbers is quite common and in most cases temporary.

  • We want to be told that the successor of 7 is 8, but to be told that 7 is a subset of 8 or that 7 is an element of 8 is disturbing.

  I personally found the trickiest part to be the proof of Zorn’s lemma. So for posterity, here’s a sketch of the proof that might be helpful for following the full proof given in the text:

  Zorn’s lemma. Let X be a partially-ordered set such that every chain in X has an upper bound (in X); then X has a maximal element.

  Proof sketch.

  • Let S be collection of weak initial segments of elements of X, ordered by set inclusion; show that if S has a maximal set, then X has a maximal element

  • Let C be the collection of all chains in X, ordered by set inclusion; show that if C has a maximal set, then S has a maximal set (the text uses a script X in place of C)

  • Use the axiom of choice to construct an “extension” function g on C that extends a non-maximal set by one element, and leaves a maximal set unchanged

  • Define a special kind of subset of C called a tower

    • The definition of a tower is incredibly clever, and it rigorously describes the intuitive idea of “keep adding elements until you get a maximal set”

  • Let t be the “smallest possible tower” (i.e. the intersection of all towers), and let A be the union of every set in t; show that g leaves A unchanged

  • Conclude that C has a maximal set (A); thus S has a maximal set; thus X has a maximal element

  Finally, here’s the full list of ingredients in the axiom soup (note that the Peano “axioms” are actually proved, not taken as axioms):

  • Axiom of extension (page 2): Two sets are equal if and only if they have the same elements.

  • Axiom of specification (page 6): To every set A and to every condition S(x) there corresponds a set B whose elements are exactly those elements x of A for which S(x) holds.

  • Axiom of pairing (page 9): For any two sets there exists a set that they both belong to.

  • Axiom of unions (page 12): For every collection of sets there exists a set that contains all the elements that belong to at least one set of the given collection.

  • Axiom of powers (page 20): For each set there exists a collection of sets that contains among its elements all the subsets of the given set.

  • Axiom of infinity (page 44): There exists a set containing 0 and containing the successor of each of its elements.

  • Axiom of choice (page 59): The Cartesian product of a non-empty family of non-empty sets is non-empty.

  • Axiom of substitution (page 75): If S(a, b) is a sentence such that for each element a in the set A the set {b : S(a, b)} can be formed, then there exists a function F with domain A such that F(a) = {b : S(a, b)} for each a in A.

  What links here?

  • Book Re­view: Naive Set The­ory (MIRI re­search guide) by David_Kristoffersson (14 Aug 2015 22:08 UTC; 23 points)

Pro­gram­ming-like ac­tivi­ties?

• robot-dreams 26 May 2017 15:52 UTC

  9 points

  in reply to: Mass_Driver’s comment on: Dragon Army: The­ory & Char­ter (30min read)

  I agree that 4 is a concern.

  I disagree about 2. After having (a) participated in the weekend experiment and (b) done some “back-channel” references on Duncan, my impression is that he hates the fact that leadership will isolate him from the group he really wants to be a part of. I expect that if the experiment is successful, Duncan will eagerly set aside leadership and integrate himself with the group.

• robot-dreams 9 Jan 2015 8:39 UTC

  8 points

  in reply to: Lumifer’s comment on: Pro­gram­ming-like ac­tivi­ties?

  +1 for probably missing more criteria than any other suggestion given here.

  • You do need expensive equipment

  • You do need to be in a particular location (ninja school)

  • You do need special credentials (what, you think anyone can become a ninja?)

  • Good luck getting reliable information online

  • Good luck learning without a teacher

  • If you make a mistake, you don’t get “rapid feedback, leading to rapid growth”, you just die

  • How is ninjutsu intellectually stimulating?

  Admittedly, I think I’ll have to grudgingly give you “unforgiving” and “badass”.

• robot-dreams 5 Jan 2015 18:37 UTC

  8 points

  in reply to: Omid’s comment on: Open thread Jan. 5-11, 2015

  I learned a few interesting memory tricks from the movie Memento. One thing you can try is to tattoo important information on yourself, so that you don’t forget it.

  I can think of a few security caveats for sensitive information though:

  • It’s probably better if you choose a location that’s not easily visible (e.g. chest, part of your arm that’s covered by a shirt), though you should probably choose a location that’s still somewhat accessible (i.e. not your lower back)

  • If you absolutely have to use a more visible location, like your forehead, make sure you get the sensitive information tattoo’d BACKWARDS, so that only you can read it (and only when you’re looking in a mirror)

  On a more serious note, I find it much easier to remember random alphanumeric characters “kinesthetically” (i.e. by developing muscle memory for the act of actually typing the password), as suggested by polymathwannabe. The only downside to this approach is that it’s extremely difficult for me to enter such a password on a cell phone.

• robot-dreams 15 Mar 2022 17:12 UTC

  7 points

  on: Prob­a­bil­is­tic Negotiation

  Big fan of this idea, but I need to be careful where/​how I apply it. Otherwise:

  “Why did you break up with your significant other?”

  “Well, you see, their snoring bothered me but I didn’t want to use a deterministic strategy that destroys all the expected value, so I decided to roll a d20, and I got a 2.”

• robot-dreams 9 Jan 2015 8:17 UTC

  7 points

  in reply to: James_Miller’s comment on: Pro­gram­ming-like ac­tivi­ties?

  What you say is absolutely true on a large scale.

  When I say that programming is a very “independent” activity, what I’m trying to describe is the fact that at any time, I can think to myself, “I want do some programming”, and within 30 seconds, be doing some programming. In particular, I don’t have to call someone, convince them that “no, this will be fun”, fail, try convincing someone else, succeed, wait for them to head over, etc. etc., by which point my impulse to do some programming has completely disappeared.

  You might be surprised how much of a difference this makes, especially for an INTJ like me ;-)

• robot-dreams 9 Jan 2015 8:32 UTC

  6 points

  in reply to: solipsist’s comment on: Pro­gram­ming-like ac­tivi­ties?

  Upvoted. This is the 3rd time in the last week that I’ve heard someone mention sales as a useful skill, but how do you train it short of actually getting a job in sales?

• robot-dreams 4 Jan 2015 5:31 UTC

  6 points

  on: The buildup to Jaynes?

  A while back, I tried reading Jaynes carefully (i.e. working lots of derivations while reading). I’ll share my thoughts, but since I stopped after two and a half chapters, YMMV if you read further.

  (1) I felt like I was reading a physics textbook. I’m a recovering physics major, and the experience gave me a serious case of Griffiths deja vu. For example, Jaynes does things like:

  • Play fast and loose with Taylor series expansions

  • Give arguments based on intuition and/​or symmetry

  • Assume all functions are well-behaved

  • Use concepts /​ notation from calculus that I’ve completely forgotten (or never learned)

  If you’ve taken university level physics before, then you should feel somewhat at home reading the first few chapters of Jaynes. If not, I would recommend putting in a bit of extra effort to make sure that you understand EVERY step of important arguments /​ derivations.

  (2) After several days of effort, I got to the point where… you could show that if an urn has 3 red balls and 7 black balls, then the probability of drawing a red ball is ³⁄₁₀. Yay!

  Ok, fine, to put it another way, by making a few VERY basic assumptions about reasoning under uncertainty, you can show that the laws of probability are uniquely determined.

  If you think this is the coolest revelation ever, then you should definitely read Jaynes. On the other hand, If you’d rather learn how to win at poker, or analyze randomized algorithms, or do calculations about 3d random walks in a cylinder, or something, then Jaynes is probably not the right textbook for you at this time.

  So, onto your questions:

  What math topics do I already need to understand to prepare myself for this?

  Calculus, how to Taylor expand, how to carefully and patiently follow a long argument. I would recommend against going down a deep rabbit hole though (e.g. I would discourage trying to learn “all of multivariable calculus” before starting Jaynes).

  Is there a better book to learn probability theory?

  It depends; probability theory is a huge topic, and you can attack it from many different angles depending on your goals and interests (e.g. where you want to apply it, whether you’re learning it as a prerequisite for another topic). That said, if what you’re after is LessWrong /​ CFAR street cred, then I would probably stick with Jaynes ;-)

  Here are some alternatives:

  • Start with a problem book, maybe this one

  • Go for something that’s a bit more math-ey (and less physics-ey)

  • Richard Hamming is cool

• robot-dreams 4 Jan 2015 4:18 UTC

  5 points

  in reply to: cameroncowan’s comment on: Non-ob­vi­ous skills with highly mea­surable progress?

  I am definitely interested in getting better at both “talking with other people” and “observing”; how would you measure your progress in these two cases?

• robot-dreams 4 Jan 2015 4:08 UTC

  5 points

  in reply to: James_Miller’s comment on: Non-ob­vi­ous skills with highly mea­surable progress?

  Nice recommendations, thanks.

  Going from dual 2-back to dual 3-back was pretty hard! I had to (1) completely ignore audio, master 3-back with visuals only, (2) completely ignore visuals, master 3-back with audio only, then (3) try to combine them.

• robot-dreams 1 Jan 2015 19:35 UTC

  5 points

  on: Over­pay­ing for hap­piness?

  Great advice! I noticed something like this happening last time I tried to binge-read a webcomic. Initially I’m really engaged and frequently laughing, but a few hours later I end up clicking through strips in zombie mode.

• robot-dreams 13 Aug 2014 21:23 UTC

  5 points

  in reply to: ArisKatsaris’s comment on: MIRI’s 2014 Sum­mer Match­ing Challenge

  I hope so too! Also, I donated an additional $500 of actual USD which should hopefully be more stable.

• robot-dreams 7 Mar 2022 3:04 UTC

  4 points

  on: Ac­cel­er­ated [Honors] Calculus

  The “step-by-step what I did before each physics exam” sounds interesting and useful, would you be open to sharing it here?

• robot-dreams 24 Jun 2015 14:22 UTC

  4 points

  on: Open Thread, Jun. 22 - Jun. 28, 2015

  What do you all think of “General Semantics”? Is it worth e.g. trying to read “Science and Sanity”? Are there insights /​ benefits there that can’t be found in “Rationality: AI to Zombies”?