Less Wrong is a community blog devoted to refining the art of human rationality. Please visit our About page for more information.

Comment author: redlizard 10 September 2017 05:28:56PM 0 points [-]

My interpretation of this thesis immediately remind me of Eliezer's post on locality and compactness of specifications, among others.

Under this framework, my analysis is that triangle-ness has a specification that is both compact and local; whereas L-opening-ness has a specification that is compact and nonlocal ("opens L"), and a specification that is local but noncompact (a full specification of what shapes it is and is not allowed to have), but no specification that is both local and compact. In other words, there is a short specification which refers to something external (L) and a long lookup-table specification that talks only about the key.

I think this is the sensible way of caching out your notion of intrinsicness. (Intrinsicity? Intrinsicitude?)

In this interpretation, I don't think human morality should be judged as non-intrinsic. The shortest local specification of our values is not particularly compact; but neither can you resort to a nonlocal specification to find something more compact. "Whatever makes me happy" is not the sum of my morality, nor do I think you will find a simple specification along those lines that refers to the inner workings of humans. In other words, the specification of human morality is not something you can easily shorten by referring to humans.

There is an important sense in which goodness is more like being ∆-shaped than it is like being L-opening. Namely, goodness of a state of affairs is something that I can assess myself from outside a simulation of that state. That is of course only true because human brains have complex brainware for judging morality, and do not have complex brainware for judging L-opening. For that reason, I don't think "can humans simulate this in a local way" is a measure that is particularly relevant.

Comment author: redlizard 02 December 2015 07:08:40PM *  0 points [-]

Consensus tends to be dominated by those who will not shift their purported beliefs in the face of evidence and rational argument.

Jim

Comment author: Risto_Saarelma 03 May 2015 06:08:06AM 5 points [-]

Just how bad of an idea is it for someone who knows programming and wants to learn math to try to work through a mathematics textbook with proof exercises, say Rudin's Principles of Mathematical Analysis, by learning a formal proof system like Coq and using that to try to do the proof exercises?

I'm figuring, hey, no need to guess whether whatever I come up with is valid or not. Once I get it right, the proof assistant will confirm it's good. However, I have no idea how much work it'll be to get even much simpler proofs that what are expected of the textbook reader right, how much work it'll be to formalize the textbook proofs even if you do know what you're doing and whether there are areas of mathematics where you need an inordinate amount of extra work to get machine-checkable formal proofs going to begin with.

Comment author: redlizard 05 May 2015 11:34:04PM *  2 points [-]

I have tried exactly this with basic topology, and it took me bloody ages to get anywhere despite considerable experience with coq. It was a fun and interesting exercise in both the foundations of the topic I was studying and coq, but it was by no means the most efficient way to learn the subject matter.

Comment author: Eliezer_Yudkowsky 02 June 2008 08:30:12PM 5 points [-]

Hm... yes, I can't say your formula is obviously right, but mine is obviously inconsistent. I guess I owe Nick ninety-seven cents.

Comment author: redlizard 01 April 2015 04:29:49PM 0 points [-]

My take on it:

You judge an odds ratio of 15:85 for the money having been yours versus it having been Nick's, which presumably decomposes into a maximum entropy prior (1:1) multiplied by whatever evidence you have for believing it's not yours (15:85). Similarly, Nick has a 80:20 odds ratio that decomposes into the same 1:1 prior plus 80:20 evidence.

In that case, the combined estimate would be the combination of both odds ratios applied to the shared prior, yielding a 1:1 * 15:85 * 80:20 = 12:17 ratio for the money being yours versus it being Nicks. Thus, you deserve 12/29 of it, and Nick deserves the remaining 17/29.

Comment author: dxu 01 March 2015 06:59:36AM *  3 points [-]

I'd expect Voldy to know about it and request clarification

Not necessarily. Parseltongue, if I understand it correctly, forces the speaker to tell the truth as he/she understands it (while bypassing Occlumency). If Harry knows about material implication (which he almost certainly does), he can utilize it in such a manner, but it's unlikely that Voldemort has ever encountered something similar. This isn't your standard clever wordplay that anyone smart can think of, after all--it's formal logic, which is decidedly Muggle.

Comment author: redlizard 03 March 2015 12:09:41AM 1 point [-]

So it's nonstandard clever wordplay. Voldemort will still anticipate a nontrivial probability of Harry managing undetected clever wordplay. Which means it only has a real chance of working when threatening something that Voldemort can't test immediately.

Comment author: bramflakes 28 February 2015 08:54:20PM *  10 points [-]

After 5 minutes of thinking about it, the only thing I could come up with concerns:

"HE IS HERE. THE ONE WHO WILL TEAR APART THE VERY STARS IN HEAVEN. HE IS HERE. HE IS THE END OF THE WORLD."

Bellatrix and Sirius are stars, and also Death Eaters. Voldemort has already torn apart Bellatrix to use the Dark Mark, and Harry can tear apart Sirius with the Partial Transfiguration trick people are talking about. How do we know Sirius is present? Because there is a Death Eater named "Mr Grim" who is stated to have known the Potters.

Hang on, isn't Sirius in Azkaban?

"I'm not serious, I'm not serious, I'm not serious..."

The "he" refers to both Tom Riddles, as they are branches of the same person.

Troubles with this suggestion:

The "HE IS THE END OF THE WORLD" part remains unresolved.

Narratively unsatisfying.

Comment author: redlizard 01 March 2015 05:07:33AM *  2 points [-]

I don't think this is likely, if only because of the unsatisfyingness. However:

And the messages would come out in riddles, and only someone who heard the prophecy in the seer's original voice would hear all the meaning that was in the riddle. There was no possible way that Millicent could just give out a prophecy any time she wanted, about school bullies, and then remember it, and if she had it would've come out as 'the skeleton is the key' and not 'Susan Bones has to be there'. (Ch.77)

Some foreshadowing on the idea of ominous-sounding prophecy terms actually referring to people's names.

Beneath the moonlight glints a tiny fragment of silver, a fraction of a line... (black robes, falling) ...blood spills out in litres, and someone screams a word.

"blood spills out in litres" meshes well with "TEAR APART".

In response to 2014 Survey Results
Comment author: redlizard 04 January 2015 07:01:17AM 16 points [-]

MIRI Mission/MIRI Effectiveness .395 (1331)

This result sets off my halo effect alarm.

Comment author: redlizard 26 October 2014 07:11:24PM 37 points [-]

I took the survey. No scanner available, alas.

Comment author: YVLIAZ 15 October 2014 09:15:34AM 5 points [-]

I would definitely recommend learning basics of algorithms, feasibility (P vs NP), or even computability (halting problem, Godel's incompleteness, etc). They will change your worldview significantly.

CLRS is a good entry point. After that, perhaps Sipser for some more depth.

Comment author: redlizard 18 October 2014 01:26:11PM 0 points [-]

Seconded. P versus NP is the most important piece of the basic math of computer science, and a basic notion of algorithms is a bonus. The related broader theory which nonetheless still counts as basic math is algorithmic complexity and the notion of computability.

Comment author: Jurily 26 July 2014 11:39:08AM 4 points [-]

What's the deal with spells and age? If Harry is really so far ahead of his class and can already cast spells nobody else can, why is it just now that he can cast "second-year" spells effortlessly?

Canon or not, this reminds me too much of the public school system of a certain country where kids are verboten to use words "they shouldn't know yet".

Comment author: redlizard 26 July 2014 09:17:16PM 11 points [-]

I've always modeled it as a physiological "mana capacity" aspect akin to muscle mass -- something that grows both naturally as a developing body matures, and as a result of exercise.

View more: Next