Eliezer_Yudkowsky comments on Sorting Pebbles Into Correct Heaps - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (100)
I'm startled by this comment.
I mean, I understand that it was the thing to do that Pebblesorters would endorse, that part isn't startling, but I didn't think you endorsed that "Pebblesorter::(should, right, moral, etc.)" way of speaking.
Does this reflect a change in your position, or have I misunderstood you on this all along?
Sorry, I usually do try to avoid that, but in this case I didn't see how to form that sentence without using the word "should" because it's traditional in "as well X should". Keep in mind that according to C++ namespacing conventions, something inside a namespace has literally nothing to do with its meaning in any other namespace.
You're saying it's a suggestively-named C++ token?
Using this reasoning advocate a style of word usage strikes me as dubious reasoning even though the usage and real reason for using it happen to be be sensible. It screams out against my instincts for how to use words. In this kind of case if there wasn't a clear relationship between the two functions you (hopefully) just would not even have considered using the same word.
I also note that in C++ the following also have literally nothing to do with each other, apart from the suggestive name, so C++ (and English, for that matter) are just as comfortable with "As well they should have".
Action should(Human aHumans);
Action should(PebbleSorter aPebbleGuy);
I tried compiling your comment, but it didn't work. You should adhere to the C++ conventions more closely.
No apology is needed, certainly not to me; I generally treat "should" and similar words as 2-place predicates in the first place. (Well, really, N-place predicates.)
I was just startled and decided to ask.
I think of them as two-place predicates, but with one of them curried by default indexically, much like in a member function in C++
foomeansthis->foounless otherwise specified. (I already made that point in the second edit to this comment.)Yeah, that makes sense as far as it goes, but I find that humans aren't consistent about their defaulting rules. For example, if I say "X is right" to someone, there's no particular reason to believe they'll unpack it the way I packed it.
That can be all right if all I want to do is align myself with the X-endorsing side... it doesn't really matter what they understand, then, as long as it's in favor of X.
But if I want to communicate something more detailed than that, making context explicit is a good habit to get into.
Even with the disadvantage of sometimes coming across as condescending, or even often coming across as condescending to particular people, this is excellent advice.