←2007-06-16 2007-06-17 2007-06-18→ ↑2007 ↑all
00:00:38 <ihope> #quit a nice day we're having, eh?
00:00:38 -!- EagleBot has quit.
00:00:48 -!- EagleBot has joined.
00:00:53 <ihope> Oof.
00:01:04 -!- EagleBot has quit (Nick collision from services.).
00:02:17 -!- EagleBot has joined.
00:02:59 <ihope> I'll let you all play with EagleBot, not that there's much you can do with EagleBot other than make it quit,
00:03:02 <ihope> s/,/./
00:04:06 -!- RedDak has joined.
00:05:05 -!- ihope has quit ("http://tunes.org/~nef/logs/esoteric/06.08.09").
00:11:04 <pikhq> #magic Egobot, work, damn it!
00:18:25 <oerjan> #quit So there!
00:18:25 -!- EagleBot has quit.
00:18:35 -!- EagleBot has joined.
00:52:46 * SimonRC is amazed at the Piranã.
00:53:00 <SimonRC> erm, Pirahã.
00:53:10 <SimonRC> The Pirahã language is not recursive. They seem to lack to most forms of abstraction, such as numbers, or colours seperate from objects. They have no creation myths, and do not get the idea of storing food for next month.
00:53:15 <SimonRC> http://www.newyorker.com/reporting/2007/04/16/070416fa_fact_colapinto
00:56:16 <bsmntbombdood> is it turing complete?
00:56:24 <bsmntbombdood> or...english complete?
00:56:25 <SimonRC> heh
00:56:28 <SimonRC> no
00:56:57 <SimonRC> it is possibly the world's only remaining "primitive" language
00:57:20 <boily> no numbers... it must be difficult to express quantities...
00:58:15 <SimonRC> they don't much
00:58:56 <bsmntbombdood> universal english machine
01:04:00 <bsmntbombdood> i wonder if there's languages that are super-english
01:08:06 -!- ihope has joined.
01:08:16 <ihope> Super-English languages? I dunno--English seems pretty good.
01:08:53 <bsmntbombdood> that's only because you can only think what your language allows
01:08:56 <ihope> There's not especially much you can't express using the "subject verb preposition noun" stuff.
01:09:28 <bsmntbombdood> because you can only conceive of the "subject verb preposition noun" stuff
01:09:59 <bsmntbombdood> if there is a language that can express higher ideas, you wouldn't even be able to describe it in english
01:10:10 <ihope> Ah yes--the Sapir-Whorf hypothesis.
01:10:44 <ihope> Can you think, though, of anything that *might* not be able to be expressed using subject-verb-preposition-noun?
01:11:07 <ihope> We even have "that", which turns a verb-preposition-noun into an adjective-like construct.
01:11:34 <bsmntbombdood> no, because i think in english
01:11:34 <ihope> "The dog that goes to the store speaks with the clouds."
01:12:08 <bsmntbombdood> maybe if you could decouple thought from language...
01:12:11 <ihope> I think mathematicians do a good job of finding weird abstract things.
01:13:11 <ihope> The notations that are used in mathematics pretty much denote values, functions, and properties.
01:13:35 <bsmntbombdood> it all can still be described with english
01:13:37 <ihope> Values can be denoted by nouns, properties by verbs, and functions by preposition-noun.
01:13:57 <ihope> Does that mean, then, that English can express any mathematical idea?
01:14:08 <ihope> I'm led to believe so.
01:14:26 <bsmntbombdood> any mathematical idea that english speakers can conceive
01:15:26 <ihope> Can you prove that there are useful mathematical ideas that English speakers can't conceive?
01:15:39 <bsmntbombdood> i think the first step to proving/disproving the existance of super english languages would be to construct the turing machine or lambda calculus of languages
01:16:25 <ihope> Do we know that English isn't it?
01:16:30 <bsmntbombdood> i would think that english compared to the english-class-thought-machine would be like C++ compared to the turing machine
01:16:56 <bsmntbombdood> loads of abstraction and useless sugar
01:17:11 <ihope> Find someone who speaks Japanese or something and ask them if they know of anything that can't be expressed in English at all.
01:17:34 <ihope> Now, what's this language SimonRC was talking about?
01:17:51 <boily> It's a language from South America, iirc.
01:18:24 <boily> http://en.wikipedia.org/wiki/Pirah%A3_language
01:18:26 <ihope> Neither the tunes.org logs nor EagleBot's logs seem to display it correctly.
01:18:37 <ihope> That page doesn't exist.
01:20:07 <SimonRC> P i r a h a~
01:20:19 <SimonRC> spelt that way ^^
01:20:29 <ihope> Thanks.
01:20:31 <SimonRC> 00:52:25 < SimonRC> http://www.newyorker.com/reporting/2007/04/16/070416fa_fact_colapinto
01:21:32 -!- RedDak has quit (Remote closed the connection).
01:26:37 <oerjan> ooh, he's back!
01:27:01 <bsmntbombdood> who?
01:27:17 <oerjan> Chris Pressey
01:27:43 <oerjan> on the wiki
01:29:35 * SimonRC tries to remember who CP is
01:29:40 <SimonRC> Befunge?
01:29:48 <oerjan> etc. etc. etc.
01:30:30 <SimonRC> catseye.ca!
01:30:47 <SimonRC> or .tc even
01:30:58 -!- erider has quit (Remote closed the connection).
01:31:01 -!- erider_ has joined.
01:32:01 -!- erider_ has changed nick to erider.
01:33:49 <boily> it's wonderful!
01:37:02 -!- erider has quit ("I don't sleep because sleep is the cousin of death!").
01:47:57 -!- sebbu2 has quit (Read error: 60 (Operation timed out)).
01:52:18 <SimonRC> boily: ??
01:52:31 <SimonRC> ah, pirahã
01:52:38 <boily> um, yeah?
02:10:31 <SimonRC> It took me a moment to realise that was what you were saying was wonderful
02:16:31 <pikhq> ihope: I speak Japanese, and don't know anything that can't be expressed in English.
02:16:53 <pikhq> (although *explaining* words which refer to some Japanese legends can take a while)
02:18:16 <ihope> I hear that Japanese has more ordinal numbers than English.
02:18:36 <ihope> English needs hacks to express the ordinal number corresponding to one half.
02:19:33 <pikhq> What you mean by "ordinal" is i9n disagreement with Wikipedia.
02:20:09 <pikhq> Oh.
02:20:19 <pikhq> I want [[Ordinal numbers (linguistics)]]
02:20:20 <pikhq> XD
02:20:42 <ihope> :-)
02:20:42 <pikhq> ihope: Japanese has oo ordinal numbers.
02:21:15 <ihope> English has an infinite number of them too, doesn't it?
02:21:15 <pikhq> One postfixes "ban", IIRC, to make it an ordinal number.
02:21:30 <ihope> The hiragana?
02:21:35 <pikhq> *Technically* yes, but it's less-defined.
02:21:39 <oerjan> ever heard of -th? :)
02:22:01 <ihope> oerjan: give me the one-twelfthth element of this list, will you?
02:22:01 <pikhq> ??
02:22:17 <ihope> Now tell me how to pronounce that. :-)
02:22:53 <pikhq> In Japanese: 0.083??
02:23:15 <pikhq> And damn, I wish this terminal grokked Unicode.
02:23:17 <boily> I speak French, and I will not pronounce `twelfthth'.
02:23:19 <ihope> I think we're using different character encodings.
02:23:31 <pikhq> Or, rather, I wish the *font* I have grokked Unicode.
02:23:36 <pikhq> ihope: UTF-8?
02:23:41 <ihope> UTF-8.
02:23:48 <pikhq> Hmm.
02:23:52 <pikhq> I blame Konsole.
02:23:54 <ihope> Unless those question marks are actually question marks.
02:23:58 <oerjan> there can be no 1/12th element, that is meaningless
02:24:02 <pikhq> They're not *meant* to be.
02:24:10 <ihope> oerjan: what if it's a continuous list?
02:24:23 <ihope> Is it all "ban" in hiragana?
02:24:27 <pikhq> Yeah.
02:24:45 <pikhq> (I *might* be wrong on the specific word, though)
02:24:51 <oerjan> ihope: does that actually work in japanese?
02:25:58 <oerjan> anyway neither has got anything on Latin, which has four different classes of number
02:25:58 <ihope> oerjan: I dunno.
02:26:06 <ihope> Do you know, pikhq?
02:26:35 <pikhq> I *think* it works, but I can't be sure, since it's not my native language.
02:27:02 <pikhq> And, since school's out, I can't ask the people I know who *do* speak it either fluently or natively.
02:27:37 <oerjan> cardinal, ordinal, numbers like "once, twice" but generally, and "n each" numbers. Although of course they are easily expressed in English, just not with endings.
02:28:28 <pikhq> Yeah.
02:28:58 -!- GregorR has quit (Read error: 60 (Operation timed out)).
02:29:08 <oerjan> !help
02:30:03 <ihope> "n each" numbers?
02:31:13 <oerjan> or something like that, they're plural adjectives
02:31:36 <ihope> How do they work?
02:32:36 <oerjan> let me try to remember a suitable noun to use them with
02:34:49 <oerjan> "bini oculi" would mean "two eyes each", i think
02:36:15 <oerjan> "Homines binos oculos habent" = "Humans have two eyes each"
02:41:21 <oerjan> incidentally that form is where "binary" comes from
02:42:54 -!- EgoBot has quit (Read error: 110 (Connection timed out)).
02:52:30 <SimonRC> This language is fucking twisted! http://www.stud.uni-hamburg.de/users/goldi/aee/beginner/beginner_toc.html
02:52:48 <SimonRC> for the first few chapters, you thing is just like Pascal.
02:53:04 <SimonRC> Then, the introduce pointers and structs, and it suddenly turns out to be like C
02:53:27 <SimonRC> then the guy adds unification, and it looks like C meets Prolog
02:53:47 <SimonRC> then it tries to be LISP, by addid quoted expressions and Eval()
02:53:56 <SimonRC> what next? Erlang?
02:54:02 <SimonRC> *adding
02:54:32 <ihope> Epigram!
02:55:10 <SimonRC> heh
02:55:24 <SimonRC> the ytpesystem tries to pretend it isn;t that of B]
02:55:29 <SimonRC> oops, B
03:15:32 <SimonRC> ah, no, it;s turning into C++
03:19:09 <SimonRC> ish
03:20:46 * pikhq hurls
03:21:43 <pikhq> It's PascalFortranCPrologLispC++Assembly.
03:22:55 <SimonRC> heh
03:23:01 <SimonRC> not C, B
03:23:09 <bsmntbombdood> yummy
03:23:15 <pikhq> You're right. ..
03:23:23 <SimonRC> the resulting mess is rather C++-like
03:23:30 <pikhq> Doesn't seem to have structs as an intrinsic.
03:23:38 <SimonRC> does
03:23:42 <bsmntbombdood> B is practically the same as C
03:23:43 <SimonRC> they're called objects
03:23:47 <bsmntbombdood> except for types
03:24:02 <SimonRC> ok, so E should really be called B++
03:25:25 <pikhq> It actively encourages pointer<->integer.
03:25:39 <SimonRC> yes
03:25:41 <SimonRC> like B
03:25:57 <pikhq> Like K&R C.
03:26:07 <SimonRC> "Data-hiding is accomplished in E at the module level. This means, effectively, that it is wise to define classes in separate modules (or at least only closely related classes together in a module), taking care to EXPORT only the definitions that you need to."
03:26:13 <SimonRC> at least he got *something* right
03:26:16 <pikhq> Which is, of course, B with a better typesystem.
03:28:39 <SimonRC> For some reason popular langauges conflate the type-definition mechanism and the information-hiding mechanism, leading to crap like C++'s friend classes.
03:29:17 <pikhq> Tcl doesn't have that problem.
03:29:20 <SimonRC> they also hide the elegance of interface inheritance under the bizzarities of implementatio inheritance
03:29:30 <SimonRC> pikhq: no information-hiding?
03:29:40 <pikhq> Of course, that's because object-orientation is provided by external packages, and not a language intrinsic.
03:29:41 <SimonRC> ISTR that everything is a string in Tcl
03:29:57 <SimonRC> Factor is similar
03:30:01 <pikhq> Actually, everything is a thing.
03:30:07 <SimonRC> i.e. OO is in the libraries
03:30:12 <pikhq> It may be either a string, a list, or a number. . .
03:30:24 <SimonRC> how the fuck does that work?
03:30:35 <pikhq> Cleverness.
03:31:09 <pikhq> Or, rather, magic in the bytecode compiler/interpreter.
03:31:21 <SimonRC> ok
03:31:25 <SimonRC> what types are there?
03:35:24 -!- jix__ has joined.
03:43:33 -!- jix has quit (Read error: 110 (Connection timed out)).
04:01:04 -!- boily has quit ("nonogramming").
04:06:41 -!- Sgeo has joined.
04:13:41 -!- jix__ has quit ("CommandQ").
04:59:23 -!- oerjan has quit ("Good night").
05:29:48 <pikhq> SimonRC: According to Tcl code?
05:30:01 <pikhq> Scalar and vector.
05:30:50 <pikhq> Err.
05:30:52 <pikhq> Scalar and map.
05:33:21 <pikhq> Fine, fine. . . So scalar variables can represent strings, lists, longs, or floats. . . The tclvar_t struct stores one of them, and converts when needed.
05:48:22 -!- gimel has joined.
05:53:49 -!- gimel has left (?).
06:45:44 -!- GreaseMonkey has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:52:21 -!- sebbu has joined.
10:13:47 -!- Sgeo has quit ("Ex-Chat").
10:23:13 -!- Sukoshi has joined.
10:58:04 <GreaseMonkey> getting off now, gnight
11:55:22 -!- jix__ has joined.
12:49:05 -!- jix__ has changed nick to jix.
13:11:38 -!- RedDak has joined.
13:15:22 -!- oerjan has joined.
13:44:26 -!- c|p has joined.
13:56:23 -!- erider has joined.
13:56:27 <erider> good morning
14:04:48 <oklopol> mörning
14:04:58 <oerjan> good mourning
14:06:12 <oklopol> on tuesday, i have to go to another camp :)
14:06:27 <oklopol> i love the holidayz...
14:06:28 <oklopol> ->
14:28:20 -!- boily has joined.
14:57:42 <erider> happy father's day!
15:10:48 -!- boily has quit ("Bonne fête des pères!").
15:31:21 -!- oerjan has quit ("Dinner").
15:35:27 -!- jix__ has joined.
15:44:18 -!- jix has quit (Read error: 110 (Connection timed out)).
16:24:15 -!- dak has joined.
16:40:52 -!- RedDak has quit (Read error: 110 (Connection timed out)).
17:17:31 -!- ihope has quit ("http://tunes.org/~nef/logs/esoteric/06.08.09").
17:23:45 -!- boily has joined.
17:43:26 -!- dak has changed nick to RedDak.
17:45:41 -!- c|p` has joined.
17:45:50 <RodgerTheGreat> howdy, folks
17:46:30 -!- c|p has quit (Nick collision from services.).
17:46:56 -!- c|p` has changed nick to c|p.
17:48:46 -!- boily has quit ("WeeChat 0.2.5").
17:56:25 -!- c|p has quit ("Leaving").
17:56:33 -!- c|p has joined.
17:57:01 -!- boily has joined.
18:13:29 -!- RedDak has quit (Read error: 104 (Connection reset by peer)).
18:13:40 -!- RedDak has joined.
18:20:09 -!- RedDak has quit (Remote closed the connection).
18:21:46 -!- RedDak has joined.
18:24:21 <boily> Yesterday, I wrote an underload interpreter.
18:24:35 <boily> This language is warping my mind...
18:39:07 -!- boily has quit ("WeeChat 0.2.5").
18:57:30 -!- oerjan has joined.
19:40:59 -!- RedDak has quit (Remote closed the connection).
20:00:59 -!- GregorR has joined.
20:13:36 <SimonRC> ~~~
20:31:53 <erider> [-]
20:34:45 -!- atrapado has joined.
20:56:14 -!- c|p has quit (Read error: 110 (Connection timed out)).
21:12:36 * andreou *stretches*
21:12:47 <andreou> anyone knows how to reference footnotes in LaTeX?
21:21:09 <oerjan> doesn't it work to just put a \label in it?
21:25:02 <oerjan> andreou ^^
21:35:44 <SimonRC> A word of advice people....
21:36:07 <SimonRC> If you are on Usenet, never ever mention the individual "Rob Cypher".
21:36:38 <SimonRC> He is like fecking BeetleJuice, except you only have to say his name once.
21:36:55 <SimonRC> I mentioned him, and now the group is stuck with him.
21:36:57 <SimonRC> fuck
21:37:15 <oerjan> like an evil version of kibo i take
21:37:22 <SimonRC> yeah
21:37:57 * oerjan hasn't been on Usenet for years
21:38:52 <oerjan> a possibility might be to mention him _everywhere_?
21:39:00 <SimonRC> hmm
21:39:02 <SimonRC> maybe
21:39:24 <SimonRC> that's like saying "If we all rush him at once, he can't shoot all of us".
21:39:37 <oerjan> indeed
21:41:52 <oerjan> don't people have killfiles these days?
21:42:03 <SimonRC> no, it seems not
21:42:22 <SimonRC> plus the replies are more of a problem, and the heavy cross-posting
21:42:40 <oerjan> don't people have _threaded_ killfiles these days? :)
21:44:13 <SimonRC> is there such a thing?
21:44:39 <oerjan> i always used trn, the Threaded Read News
21:45:24 -!- c|p has joined.
21:46:07 <oerjan> and i heard slrn may have been even better, with its score files
21:46:20 <oerjan> these were Unix terminal applications
21:47:31 <SimonRC> feck...
21:47:39 <SimonRC> I can;t figure out how to un-ignore threads
21:50:24 <andreou> oerjan i need to access the footnote number
21:50:41 <andreou> i.e., some '\*ref' command similar to pageref
21:50:53 <oerjan> andreou: isn't that what \ref does?
21:51:40 <andreou> hm
21:52:14 <SimonRC> ah, got it
21:52:29 <SimonRC> I have to make it visible again first using the لآهثص ةثىع
21:52:47 <SimonRC> I have to make it visible again first using the view menu
21:53:18 <andreou> *oops*
21:53:25 <andreou> oerjan well indeed it does
21:53:34 <andreou> inherent stupidity increases along with uptime
21:53:50 <SimonRC> bah, it only allows me to ignore what it thinks of as a whole thread
21:53:56 <oerjan> andreou: and approaching deadline i guess :)
21:54:25 <andreou> true words, it *should* be ready and printed in about 31 hrs (infeasible)
21:55:54 <andreou> funny thing is, i spend some time looking in the tug faq and #latex, that i forgot where i needed to crossreference a footnote...
21:57:38 <andreou> anyway, off to sleep, no more work can be done right now
21:57:40 <andreou> cheers everyone
21:59:45 <oerjan> SimonRC: trn allowed you to ignore the replies to a given post although some broken newsreaders did not include the threading information properly
22:00:14 <oerjan> and you could use regexps to do this automatically based on author, subject, whatever
22:00:40 <oerjan> (although article content was more expensive than headers)
22:00:48 <oerjan> as far as i recall
22:05:23 -!- jix__ has quit ("CommandQ").
22:05:50 <oerjan> sadly, trn seems to have stalled about 2001
22:06:17 <oerjan> hopefully because it was outrun by better competitors.
23:16:01 <RodgerTheGreat> underload is certainly interesting
23:16:11 <RodgerTheGreat> I think I may try to make something nontrivial with it
23:16:46 <RodgerTheGreat> math may prove rather tricky unless I do most things in unary.
←2007-06-16 2007-06-17 2007-06-18→ ↑2007 ↑all