Kaj_Sotala comments on Bridge Collapse: Reductionism as Engineering Problem - Less Wrong

44 Post author: RobbBB 18 February 2014 10:03PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (61)

You are viewing a single comment's thread.

Comment author: Kaj_Sotala 18 February 2014 07:06:38AM *  3 points [-]

naturalized!Cai

I'm not sure that using this notation is a good idea, given that at least some of the readers unfamiliar with it are likely to initially parse it as "naturalized not-Cai". Even I did for a brief moment, because I was parsing the writing using my logic!brain rather than my fanfiction!brain.

Comment author: Nornagest 18 February 2014 09:15:06PM 3 points [-]

Where does that notation come from, anyway? I know I've seen it on LJ, AO3, Tumblr, and ff.net, but as far as I can remember it just appeared out of thin air sometime in the mid-2000s. Do you have a sense of the etymology?

Comment author: SaidAchmiz 18 February 2014 09:33:25PM 7 points [-]

It's used in Microsoft Excel. If you have multiple worksheets, you preface a cell reference with "<sheetname>!" to specify which sheet you want that cell reference to be resolved on.

i.e.

"A3" means "the value of the cell in column A, row 3, on the current sheet", whereas

"Sheet1!A3" means "the value of the cell in column A, row 3, on Sheet 1".

Comment author: Douglas_Knight 19 February 2014 06:23:45PM *  7 points [-]

Here are two theories that I find much more plausible than Excel.

Added: I said two theories, but the differences are small and not really relevant here. They agree on the essential point that it started as "Action! Mulder" (or something similar) with more normal spacing, with the exclamation point associated with the modifier and functioning pretty much as normal.

Comment author: 9eB1 19 February 2014 05:15:20AM 1 point [-]

I always assumed it was a reference to bang paths. It seems more likely to me that Eliezer would reference something that appears in the Jargon File than syntax from Excel.

Comment author: SaidAchmiz 19 February 2014 05:44:50AM 3 points [-]

Well, Eliezer presumably is referencing something that appeared in fanfiction/Tumblr/etc. culture; where said culture got the notation has nothing to do with Eliezer.

Bang paths seem an unlikely candidate, as they don't actually make a good metaphor for what's being conveyed here.

Comment author: 9eB1 19 February 2014 09:46:33AM 0 points [-]

Interesting. I did not know that it was used prior to him, and I apparently have poor reading comprehension. I definitely agree that the Excel metaphor makes more sense.

Comment author: Nornagest 18 February 2014 09:35:14PM 0 points [-]

Huh. Not something I would have guessed.

Thanks, that's actually interesting.

Comment author: SaidAchmiz 18 February 2014 09:42:51PM 0 points [-]

A similar notation, and one which I believe Eliezer has used in the past (somewhere in the Sequences) is the scope resolution operator, used in C++ and PHP (and probably elsewhere):

std::cout

which means: the function "cout", in the namespace "std". (As opposed to just "cout", which would mean: "the function 'cout' in the current namespace".)

I can only conclude from this that the Tumblr-and-fanfiction crowd contains more finance types than programmers.

Comment author: Nornagest 18 February 2014 09:49:55PM *  2 points [-]

Yeah, I'd been aware of the scope resolution operator (I'm a programmer working in C++), though in context I think a cast, or maybe even template syntax, might be more appropriate: Rational!Harry in fanfic parlance seems to mean something closer to "Harry reconstrued as Rational" or "Harry built around the Rational type" than "Harry resolved to an existing instance in the Rational scope". Excel isn't something I've had much occasion to use, though.

It'd have to be a C-style cast or a reinterpret_cast, though -- we can't guarantee that the target type is a member of the canonical inheritance hierarchy. Though const_cast might have potential for some characters...

Comment author: SaidAchmiz 18 February 2014 09:55:33PM 0 points [-]

Heh. So: Harry <Rational>, or Rational (Harry), or (Rational) Harry (for C-style casting)? That would be amusing to see. It does seem slightly less readable, though.

Comment author: shokwave 19 February 2014 07:47:42AM 1 point [-]

(Rational) Harry

Seemed eminently more readable than rationalist!Harry to me when I first encountered this notation, although now it's sunk in enough that my brain actually generated "that's more keystrokes!" as a reason not to switch style.

Comment author: komponisto 19 February 2014 08:43:05PM 1 point [-]

Just curious (and not necessarily addressed to you specifically), but what on Earth is wrong with the standard, conventional English notation for this, which is a hyphen? E.g. "Rational-Harry" etc.

Comment author: Nornagest 19 February 2014 09:05:10PM *  3 points [-]

I'm not a linguist, but hyphen-compounding doesn't look quite right to me in this context; you usually see that for disambiguation, in compound participles ("moth-eaten"; "hyphen-compounding"), or to cover a few odd cases like common names derived from phrases ("jack-in-the-pulpit"). I think standard English would be to simply treat the modifier as an adjective ("Rational Harry"; "Girl Blaise"; "Death Eater Ron"); nouns often get coerced into their adjective form here if possible, but it's common to see modifying nouns even if no adjective form exists.

As to why it doesn't get used this way in fan jargon... who knows, but fans do tend to share a (mildly irritating) fondness for unusual lexical and grammatical constructions ("I have lost my ability to can"). Probably just a shibboleth thing.

Comment author: polymathwannabe 19 February 2014 09:09:17PM 0 points [-]
Comment author: shminux 19 February 2014 08:56:05PM *  -2 points [-]

Which rules or principles are you applying here?

Comment author: RobbBB 18 February 2014 09:07:57PM 2 points [-]

Heh, logic!brain is definitely something I want to encourage. Fixed.

Comment author: alicey 19 February 2014 05:18:38AM *  0 points [-]

this is why i like ¬

script your keyboard! make it so that the chords ~1 and 1~ output a '¬'! or any other chord, really

if this actually sounds interesting and you use windows you can grab my script at https://github.com/alice0meta/userscripts/tree/master/ahk