## Posts

## Comments

**shinoteki**on Bayes' Theorem Illustrated (My Way) · 2013-12-22T05:25:35.031Z · LW · GW

What's the difference between

Boy1Tu/Boy2Tuesday

and

Boy1Tuesday/Boy2Tu

?

**shinoteki**on 2013 Less Wrong Census/Survey · 2013-11-22T12:35:39.043Z · LW · GW

I took it.

**shinoteki**on Less Wrong’s political bias · 2013-10-27T21:43:45.792Z · LW · GW

LessWrong is sci-fi. Check what's popular. Superintelligent AI, space travel, suspended animation, hyper-advanced nanotech...

It is true that people have written unrealistic books about these things. People also wrote unrealistic books about magicians flying through the air and scrying on each other with crystal balls. Yet we have planes and webcams.

Who is to say there even are concepts that the human mind simply can't grasp? I can't visualize in n-dimensional space, but I can certainly understand the concept

The human mind is finite, and there are infinitely many possible concepts. If you're interested in the limits of human intelligence and the possibilities of artificial intelligence, you might want to read The Hanson-Yudkowsky Debate .

Grey goo? Sounds plausible, but then again, there is zero evidence that physics can create anything like stable nanites. How fragile will the molecular bonds be?

Drexler wrote a PhD thesis which probably answers this. For discussion on LessWrong, see Is Molecular Nanotechnology "Scientific"? and How probable is Molecular Nanotech?.

**shinoteki**on Pascal's Mugging: Tiny Probabilities of Vast Utilities · 2013-09-27T17:52:07.827Z · LW · GW

Counterexample: P(3^^^...3)(n "^"s) = 1/2^n P(anything else) = 0 This is normalized because the sum of a geometric series with decreasing terms is finite. You might have been thinking of the fact that if a probability distribution on the integers is monotone decreasing (i.e. if P(n)>P(m) then n <m) then P(n) must decrease faster than 1/n. However, a complexity-based distribution will not be monotone because some big numbers are simple while most of them are complex.

**shinoteki**on Spooky Action at a Distance: The No-Communication Theorem · 2013-07-26T17:09:31.443Z · LW · GW

Those are the probabilities that both halves of a pair of photons are transmitted, so you can't determine them without the information from both detectors. The distribution at each individual detector doesn't change, it's the correlation between them that changes.

**shinoteki**on "Stupid" questions thread · 2013-07-20T20:29:38.442Z · LW · GW

A' doesn't become A'' by catching up to him, he becomes A'' when he uses his time machine to jump back 3 hours.

There would be three babies for 6 hours, but then the youngest two would use their time machines and disappear into the past.

A'' doesn't cease to exist. A' "ceases to exist" because his time machine sends him back into the past to become A''.

**shinoteki**on "Stupid" questions thread · 2013-07-20T19:21:28.101Z · LW · GW

You don't need a time machine to go forward in time - you can just wait. A'' cant leave everything to A' because A' will disappear within three hours when he goes back to become A''. If A' knows A wasn't reminded the A' can't remind A. the other three Harrys use their time turners to go backwards and close the loop. You do need both forward and backward time travel to create a closed loop, but the forward time travel can just be waiting; it doesn't require a machine.

**shinoteki**on Newcomb's Problem and Regret of Rationality · 2013-07-02T13:36:18.921Z · LW · GW

Do you also choose not to chew gum in Eliezer's version of Solomon's Problem?

**shinoteki**on Robust Cooperation in the Prisoner's Dilemma · 2013-06-13T14:58:24.976Z · LW · GW

The nice part about modal agents is that there are simple tools for finding the fixed points without having to search through proofs; in fact, Mihaly and Marcello wrote up a computer program to deduce the outcome of the source-code-swap Prisoner's Dilemma between any two (reasonably simple) modal agents. These tools also made it much easier to prove general theorems about such agents.

Would it be possible to make this program publicly available? I'm curious about how certain modal agents play against each other, but struggling to caculate it manually.

**shinoteki**on Robust Cooperation in the Prisoner's Dilemma · 2013-06-11T10:33:33.404Z · LW · GW

If you can prove a contradiction, defect.

Should this be "If you can prove that you will cooperate, defect"? As it is, I don't see how this prevents cooperation with Cooperatebot, unless the agent uses an inconsistent system for proofs.

**shinoteki**on Robust Cooperation in the Prisoner's Dilemma · 2013-06-11T10:24:31.140Z · LW · GW

It's true that if you can prove that your opponent will cooperate counterfactual-if you cooperate and defect counterfacual-if you defect, then you should cooperate. But we don't yet have a good formalization of logical counterfactuals, and the reasoning that cooperates with cooperatebot just uses material-if instead of conterfactual-if.

**shinoteki**on Who thinks quantum computing will be necessary for AI? · 2013-05-29T18:11:51.384Z · LW · GW

If there is a feasible psuedorandomness generator that is computationally indistinguishable from randomness, then randomness is indeed not necessary. However, the existence of such a pseudorandomness generator is still an open problem.

**shinoteki**on Constructive mathemathics and its dual · 2013-02-28T19:47:06.962Z · LW · GW

Constructively, (not ((not A) and (not B))) is weaker than (A or B). While you *could* call the former "A or B", you then have to come up with a new name for the latter.

**shinoteki**on Singularity Fiction · 2013-02-27T23:30:30.840Z · LW · GW

The Metamorphosis of Prime Intellect. The chapters aren't in chronological order; the bootstrapping and power leveling happen in chapters two and four.

**shinoteki**on My Bayesian Enlightenment · 2012-12-02T20:50:51.525Z · LW · GW

No. To get the 1/3 probability you have to assume that she would be just as likely to say what she says if she had 1 boy as if she had 2 (and that she wouldn't say it if she had none). In your scenario she's only half as likely to say what she says if she has one boy as if she has two boys, because if she only has one there's a 50% chance it's the one she's just given birth to.

**shinoteki**on 2012 Less Wrong Census/Survey · 2012-11-10T15:49:20.183Z · LW · GW

I took it.

**shinoteki**on [Infographic] A reminder as to how far the rationality waterline can climb (at least, for the US). · 2011-11-26T12:23:39.620Z · LW · GW

Correspondence of beliefs to reality being desirable is no closer to being a tautology than financial institutes being on the side of rivers, undercover spies digging tunnels in the ground, or spectacles being drinking vessels.

**shinoteki**on Students asked to defend AGI danger update in favor of AGI riskiness · 2011-10-18T16:35:56.875Z · LW · GW

It is hard to tell whether anyone took this seriously - but it seems that an isomorphic argument 'proves' that computer programs will crash - since "almost any" computer program crashes. The “AGI Apocalypse Argument” as stated thus appears to be rather silly.

I don't see why this makes the argument seem silly. It seems to me that the isomorphic argument is correct, and that computer programs do crash.

**shinoteki**on Particles break light-speed limit? · 2011-09-24T14:53:28.495Z · LW · GW

He's not talking about impossibility

I know Owen was not talking about impossibility, I brought up impossibility to show that what you thought Owen meant could not be true.

both of which involve moving faster than light.

Moving from B to A slower than the speed of light does not involve moving faster than light.

**shinoteki**on Particles break light-speed limit? · 2011-09-23T22:37:32.567Z · LW · GW

It shouldn't. Moving from B to A slower than light is possible*, moving from A to B faster than light isn't, and you can't change whether something is possible by changing reference frames.

*(Under special relativity without tachyons)

**shinoteki**on Prisoner's Dilemma Tournament Results · 2011-09-08T21:51:13.851Z · LW · GW

A piece of code that runs a piece of source code does not thereby *become* that piece of source code.

**shinoteki**on Harry Potter and the Methods of Rationality discussion thread, part 8 · 2011-09-07T18:19:04.984Z · LW · GW

It's not clear to me that ZFC without regularity, replacement, infinity, choice, power set or foundation with a totally ordered field with the LUB property *does* allow you to talk about most things you want to do with the reals : without replacement or powerset you can't prove that cartesian products exist, so there doesn't seem to be any way of talking about the plane or higher-dimensional spaces as sets. If you add powerset back in you can carry out the Hartogs number construction to get a least uncountable ordinal

**shinoteki**on Harry Potter and the Methods of Rationality discussion thread, part 8 · 2011-09-05T21:06:48.807Z · LW · GW

You don't need Z, third-order arithmetic is sufficient. *Every* set of ordinals is well-ordered by the usual ordering of ordinals.

**shinoteki**on Harry Potter and the Methods of Rationality discussion thread, part 8 · 2011-09-05T15:23:19.225Z · LW · GW

It is basically the main point of the definition of ordinals that for any property of ordinals , there is a first ordinal with that property. There are, however, foundational theories without uncountable ordinals , for instance Nik Weaver's Mathematical Conceptualism.