= 27d567bc2d48d9f40e9ccc20ea370b15)
MrMind comments on More "Stupid" Questions - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
= 783df68a0f980790206b9ea87794c5b6)
Loading…= b715d02e85f7b3b4ae65ca3d3e450868)
Subscribe to RSS Feed
Powered by Reddit
= f037147d6e6c911a85753b9abdedda8d)
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (495)
I have a proposal: let's call x^^^y "x knuth y", just because it's used quite often in this community :)
ok, since this is the stupid questions thread, how do you pronounce "knuth"? I really have no idea.
Ka-NOOTH.
When I want to know how to pronounce someone's name I look on their Wikipedia page or their own site. If that fails, I do Google searches like "donald knuth" pronunciation. If that fails too and I want to know badly enough, I look for video or audio of them saying it, or of someone else who presumably would know saying it. This last has misled me at least once: When I first saw Patri Friedman's name, I guessed it was pronounced "PA-tree", but wasn't sure. Then I heard someone on the Internet pronounce it "puh-TREE", and I figured they probably knew. Then I said it in conversation with Shannon Friedman and she told me it was "PA-tree". (I appreciated the correction. Note also that since I didn't physically make a note, there's a small possibility I'm misremembering which pronunciation is correct.)
I think an apostrophe is a better way of indicating to English speakers the way Danish treats an initial k, as in K'nuth. There's no actual vowel in there. Also it looks cooler, as in ph'nglui mglw'nafh K'nuth R'lyeh wgah'nagl fhtagn. Fits right in, doesn't it?
The most obvious interpretation of "3 knuth 3" is 27. A single 'knuth' up arrow denotes exponentiation. Conceivably "3 triple-knuth 3" would convey the intended meaning.