00:06:34 -!- jix has quit ("CommandQ").
00:44:20 -!- Slereah2 has joined.
00:44:20 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)).
01:11:55 -!- tusho has quit.
01:12:58 -!- CO2Games has joined.
01:13:17 <CO2Games> I think I came up with a creative esoteric language :D
01:15:11 <CO2Games> Nobody wants to know what it is?
01:15:54 <oerjan> nobody is here, is where it's at :)
01:16:41 <oerjan> two hours since anyone spoke
01:19:33 <CO2Games> input is split, processed, and spit out.
01:20:00 <CO2Games> Input is processed by different 'workers' and then output
01:20:32 <Slereah2> Well, then, it's pretty much like any language
01:20:40 <Slereah2> The workers are the real core of the language
01:22:35 <CO2Games> to process a single set of input
01:24:11 <CO2Games> So there can be seperators, combiners, etc.
01:24:21 <CO2Games> Or just things that alter the data
01:54:36 -!- oerjan has quit ("leaving").
01:55:54 <CO2Games> What is the name of a supervisor of an assembly line?
02:37:31 -!- ihope has joined.
02:40:27 <GregorR> Sounds like monads *haw haw haw*
02:40:57 <ihope> Will the basic data type be the monad?
02:44:58 -!- oerjan has joined.
02:46:19 <oerjan> CO2Games: sounds a bit like dataflow programming, or unix pipes
02:47:03 <oerjan> haskell also does a lot of pipelines, with or without monads
02:47:45 <GregorR> I just saw an ad for a site where you can buy a will with a "money back guarantee."
02:47:52 <oerjan> GregorR: that IMPURE MONAD IS IMPURE meme, where's that from?
02:47:58 <GregorR> "He planned to leave his vast riches to you, but due to a typo in the will it's been given to somebody with an extremely similar name ... the company he bought the will from had a money-back guarantee however, so here's $39.95."
02:48:11 <GregorR> oerjan: I was parodying <x> CAT IS <x>
02:48:20 <GregorR> oerjan: Since ihope said "Lol, monads" which I changed to "LOLMONADS"
02:48:25 <oerjan> that's where i heard it
02:48:36 <oerjan> i thought it might be something older than lolcat?
02:48:44 <CO2Games> Well it's intended to be an assembly line, each connection has a length
02:48:49 <GregorR> Maybe, but not to my knowledge.
02:49:49 <oerjan> CO2Games: if it's just one assembly line then that sounds like a unix pipeline, except for the supervisor bit
02:50:36 <oerjan> it's possible monads _might_ work for that, if you wanted it in haskell
02:51:19 <oerjan> oh wait those are not haskell Monads, but haskell Arrows
02:57:54 * pikhq returneth from D&D.
03:00:43 <GregorR> I think I need to make a net version of Hydra.
03:01:06 <GregorR> http://codu.org/wiki/?title=Hydra
03:12:37 <GregorR> It's great - by the time a game with a few players is over, you'll have 20-something heads on the table.
03:13:20 <oerjan> this sounds strangely similar to D&D
03:13:34 <GregorR> Nice jab, but I rolled a perfect 20 to save.
03:17:46 <ihope> There's a 1 in 20 chance that you'll be able to do anything.
03:18:31 <ihope> I attempt to make freenode sapient.
03:18:44 <ihope> Darn, rolled a 5. I attempt to make freenode sapient.
03:18:53 <ihope> Darn, rolled a 13. I attempt to make freenode sapient.
03:19:00 <ihope> Darn, rolled a 13. I attempt to make freenode sapient.
03:19:01 * oerjan recalls reading about take 20
03:19:10 <ihope> Darn, rolled a 6. I attempt to make freenode sapient.
03:19:20 <ihope> Darn, rolled a 9. I'll stop now.
03:19:30 <oerjan> what happens if you roll 1 first?
03:20:34 <ihope> Well, heck. I attempt to make freenode sapient.
03:20:45 <ihope> Darn, rolled a 14. I attempt to make freenode sapient.
03:20:55 <ihope> Darn, rolled a 1. So what happens?
03:21:07 <GregorR> I ATTEMPT TO REMOVE IHOPE'S HEAD AND EAT IT WITH A NICE CHIANTI.
03:21:38 <ihope> I didn't know I had 20 heads.
03:22:10 <ihope> I've always wanted to think about 21 things at once. It ranks right up there near my ultimate lifetime goal.
03:22:31 * oerjan refuses to take the bait
03:22:49 <ihope> You don't have to ask. I can just begin a sentence with "Namely,".
03:23:28 * oerjan hides behind a big rock
03:23:29 <ihope> Namely, to jump out of a bus window, catch a paper that flew out and achieved a height of at least 10 meters before coming back down, and jump back into the bus through the same window, all while the bus is going down the freeway at 60 miles per hour.
03:23:35 <ihope> Of course, you all knew that already.
03:24:03 <oerjan> that was so absurd i'm thinking you know about a random generator for the stuff
03:24:34 <ihope> Actually, I spent weeks thinking that up.
03:24:41 <oerjan> actually it doesn't quite fit that - not enough independent parts
03:26:31 <ihope> My penultimate lifetime goal is to be present at a disaster scene, fall unconscious, get inappropriately triaged as needing immediate medical help, wake up, notice that I have a red piece of tape stuck to me, and yell, "Nurse, I'd like a green one, please!"
03:27:31 <oerjan> that _could_ fit in nicely with the first one
03:28:11 <ihope> These are all fantasy scenes from a potential story, taken out of context and relabeled as lifetime goals.
03:28:38 <oerjan> the nurse of course turns out to be color blind
03:29:34 <oerjan> also, ultimate goal random generator doesn't give any relevant google hits, even removing any word other than "goal"
03:29:43 <ihope> My antepenultimate lifetime goal is to get surrounded by police officers inside my high school, then charge at one of them, knocking them over and allowing me to escape. My preantepenultimate lifetime goal is to be taking an AP test when my pager goes off, prompting me to yell "Gotta go!" and run out of the classroom.
03:30:07 <ihope> If you write a random ultimate goal generator, I will wub you forever.
03:30:29 <oerjan> knocking _them_ over? this some kind of domino effect?
03:31:48 <oerjan> the goal under that would presumably be to find a way of continuing the construction "preantepenultimate" indefinitely
03:32:52 <ihope> The one before the preantepenultimate is the penpreantepenultimate, the one before that is the antepenpreantepenultimate, and the one before that is the trasantepenpreantepenultimate.
03:34:09 <ihope> I'm not sure what the one before that is; I'd have to see what "preantepenultimate" is in Italian.
03:35:26 <oerjan> um you mean what penpreantepenultimate is
03:36:02 <oerjan> that was spanish, not italian
03:36:28 <ihope> Since everyone in #esoteric notices everything, and you know it was Spanish, I'm sure you noticed that I began that with "tras", not "pre".
03:37:01 <oerjan> of course. i also assume you are also reading http://en.wiktionary.org/wiki/preantepenultimate
03:37:46 <oerjan> the italian could be close, perhaps exactly the same
03:38:22 <oerjan> actually spanish tras = italian tra
03:39:51 <ihope> I'm going to take back what I said and say that the thing before preantepenultimate is nigh-preantepenultimate.
03:40:03 <oerjan> those are obviously originally the same but they don't mean the same thing
03:44:54 <oerjan> http://members.tripod.com/~mrpuzuzu/plan.html looked promising but i think it may need some improvement
03:48:08 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | :P.
03:48:51 <oerjan> optbot: ah, you liked it too? i guess it will be useful to you now that you are sentient
03:48:51 <optbot> oerjan: because the actual cells used by the program are 2 and 4.
03:49:07 <optbot> oerjan: I should grab that one implementation of Scheme for the Palm.
03:49:30 <ihope> optbot, say something now if you want me to yell at you.
03:49:30 <optbot> ihope: 0>"olleH"?:#,_@
03:49:35 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | the entire language is one big race condition, hehe.
03:49:42 <ihope> Hmm, what language is this?
03:50:09 <oerjan> something concurrent, presumably
03:50:20 <CO2Games> Here it is: http://esoteric.voxelperfect.net/wiki/Conveyor
03:50:21 <olsner> or just anything imperative
04:41:58 -!- GreaseMonkey has joined.
05:22:12 -!- fungot has quit (zelazny.freenode.net irc.freenode.net).
05:22:12 -!- fizzie has quit (zelazny.freenode.net irc.freenode.net).
05:22:12 -!- Deewiant has quit (zelazny.freenode.net irc.freenode.net).
05:22:12 -!- sebbu2 has quit (zelazny.freenode.net irc.freenode.net).
05:27:48 -!- sebbu2 has joined.
05:27:58 -!- fungot has joined.
05:27:58 -!- fizzie has joined.
05:27:58 -!- Deewiant has joined.
06:18:26 -!- HanDongSeong has joined.
06:44:05 -!- oerjan has quit ("leaving").
07:53:26 -!- HanDongSeong has quit (Read error: 54 (Connection reset by peer)).
07:55:24 -!- HanDongSeong has joined.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:44:59 <oklopol> 05:23… × oerjan hides behind a big rock <<< haw haw i misread this
08:46:55 <oklopol> i had a dream where i was holding this balloon, and suddenly it started lifting me in the air
08:53:24 <oklopol> it's so long you can just give up right away.
09:40:21 -!- Mony has joined.
09:48:08 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | Not straight after the first..
09:51:21 <Mony> optbot, how r u ?
09:51:22 <optbot> Mony: anyways it probably doesn't qualify as esoteric, simply because its designed to be useful ;)
09:51:48 <Mony> i think u're right bot ;)
09:54:24 <oklopol> smart bot such a pretty bot
10:03:24 <Mony> hi HanDongSeong ;)
10:04:23 <oklopol> If there are any heads with an equal or lower value than the card being placed, it must be placed on one of them. ||| If the player cannot place a card normally (that is, if there are no heads with a value greater than or equal to the value of the card)
10:04:32 <oklopol> i think i'm misunderstanding something here
10:08:16 <oklopol> GregorR: am i getting this right, the first part of hydra is effectively random, because you don't know whether your actions hinder or help you, because you don't know the cards of anyone
10:08:38 <oklopol> after the first deck has been dispersed, it's about remembering your discard pile
10:08:45 <oklopol> and the discard piles of others
10:09:16 <oklopol> strategically of course, i doubt it's anything but a game of luck played with humans
10:10:10 <oklopol> GregorR: how come you're not responding to my highlights? if you're asleep just wake up sheesh...
10:10:31 <oklopol> sun is up there, even though you may not see it from where you're at.
10:11:00 <oklopol> but saying "it's night where i live!" is like saying "i gotta go to sleep because my curtains are closed"
10:11:52 <oklopol> i think it's coffee time, i'm not imaginative enough for monologues anymore
10:12:13 <oklopol> i recall the times of glory when i'd just fill pages and pages of random content from the backside of my brain
10:12:21 <oklopol> it was fun, fun time they were, indeed yes
10:15:03 <oklopol> coffee makes it all seem worthwhile
10:15:30 <Mony> (I hate coffee, I prefer milk)
10:17:47 <oklopol> HanDongSeong: well at first i was not going to hi you, because i didn't hi Mony either just before that until he hied me first. and i've seen him more times than you so it wouldn't have been fair
10:18:08 <oklopol> but than i realized your nick is effing awesome
10:18:42 <oklopol> yes it's awesome because it may actually not be nonsense
10:20:01 <oklopol> "han" is swedish for "he", "dong" is a cock, "seong" could be a typoed sone; i think this means "he sings about cocks"
10:22:07 <oklopol> HanDongSeong: what does it mean? :)
10:22:27 <oklopol> because if i was right, i'm going to take that awesomeness comment back, and also retract my hi
10:22:48 <HanDongSeong> okay... so a lot of people are telling me that dong means cock in their languages...
10:23:08 <HanDongSeong> in case of my name, Dong is supposed to mean a "pillar"
10:23:27 <Mony> "he sings about cocks" <-- lol
10:23:49 <HanDongSeong> and in Korean, metaphorically it means something forming basis of another thing
10:24:07 -!- KingOfKarlsruhe has joined.
10:24:16 <oklopol> it strikes as a chinese ding-dong-wiggly-wong word to me. the penis interpretation was only after i separated to capitalized words and tried to find similar ones in random languages i know.
10:25:32 <oklopol> many far-eastern words are finnish onomatopoeia for sounds of bells
10:25:52 <HanDongSeong> Seong used in my name means "to form" or "to constitute"
10:26:09 <oklopol> also for english ones; i guess this is why they stuff like dong sound funny to me, and don't immediately sound like cock.
10:26:19 <HanDongSeong> and we usually have verb after objective in Korean language
10:26:41 <oklopol> is it a stack-based language?
10:26:57 <oklopol> oh god i wanna learn korean
10:27:40 <oklopol> how about with longer sentences
10:28:15 <oklopol> the girl who was given the ice cream said to the old man with the giant beard that she'd never seen such a large reptile before in her life
10:28:26 <oklopol> can you quickly translate this random sentence and tell me the constituent words
10:29:39 <HanDongSeong> and Han is my surname... it doesn't really mean something
10:34:43 <HanDongSeong> the translated sentence will be: "아이스크림을 받아든 소녀는 수염이 어마어마한 그 노인에게 그런 커다란 파충류는 난생 처음 본다고 말했다."
10:38:55 <HanDongSeong> the first word is ice-cream-eul, where eul (pronounced [ɨl]) is a 'postposition' to mark an objective. ice cream is just ice cream in korean, it's a borrowed word
10:44:21 <HanDongSeong> second one... pronounced [padadɨn], originally a verb '받아들다' meaning 'to take and hold', and here modified as a 'pre-noun'. you can regard it as an adjective
10:45:52 -!- GreaseMonkey has quit ("So, how much do you love noodles?").
10:45:56 <HanDongSeong> thus the name of governing party of North Korea, Joseon Rodongdang
10:46:59 <oklopol> rodongdang sounds a bit belly too, "dong dang" is definitely something a bell would say.
10:47:18 <oklopol> but, enough with the belittling your language, do continue with the example
10:48:57 <oklopol> means "all" in lojban, i'm sure there's a connection
10:49:30 <HanDongSeong> not like western ones, korean is a syllable-oriented language
10:50:04 <oklopol> i'm not sure what that means
10:50:22 <HanDongSeong> it means one syllable has very many meanings, and it's meaning can only be told when it is composed with other syllables
10:51:50 <HanDongSeong> given only 'dong', you can't tell anything, since it really can be a lot of things
10:52:44 <oklopol> in japanese dictionaries they usually list the things a syllable *doesn't* mean
10:53:26 <HanDongSeong> em.. in japanese, you usually need two or more syllables to express one morpheme
10:53:49 <HanDongSeong> a morpheme with only one syllable is quite rare in japanese
10:54:07 <oklopol> i've just read part of this kanji book, and for instance KO is listed for about 50 words
10:54:18 <HanDongSeong> however in korean a morpheme is often one syllable
10:55:02 <oklopol> that's the point of syllable-orientation or the point of why japanese doesn't have unisyllable morphemes?
10:55:33 <HanDongSeong> actually these two languages are very very similar... because of the colonization, which happened just about 60 years ago
10:56:08 <oklopol> i thought korean was substantially... weirder :)
10:56:09 <HanDongSeong> what i mean is in japanese they tend to have more syllables
10:56:19 <oklopol> as in sounded more foreign to western ppl
10:56:48 <HanDongSeong> in terms of irregularity, korean is weirder, yeah
10:57:14 <oklopol> anyway either break down the example or ask for a smaller one, i wanna see how stacky it is :P
10:57:48 <oklopol> the crocodile without teeth did not enjoy his tea
10:58:11 <HanDongSeong> you mentioned ko in japanese, and almost same thing applies to dong in korean
10:58:35 <oklopol> (this, of course, happens right after the first scene with the girl, little girls are the tea of crocodiles)
10:59:57 <oklopol> pikhq: btw don't read this, i don't want to hear how wrong i am about the few things i said about japanese.
11:00:39 <Slereah2> "little girls are the tea of crocodiles"
11:01:29 <HanDongSeong> dong can refer to.... east, movement, child, bronze, winter, freezing, pillar, the pupil of the eye, ...
11:01:32 <oklopol> you know, girl sees crocodile, crocodile eats girl, doesn't like his tea, is killed by man with beard, who then eats the ice cream and leaves the little girl crying (it was her ice cream after all)
11:02:11 <oklopol> HanDongSeong: well all those words mean "cock" in english, so i guess it's kinda reverse syllable-oriented.
11:02:45 <oklopol> "so, like, then i totally Froze her with with my Bronze Child"
11:03:04 <HanDongSeong> Dong is one kind of administrative district in South Korea.
11:03:06 <oklopol> "wow, you really Wintered her with your Movement?"
11:03:29 <oklopol> "yeah, totally Pillared the Pupil of Her Eye"
11:04:07 <oklopol> sorry, just demonstrating english to you.
11:04:28 <oklopol> the urbandictionary dialect
11:06:07 <oklopol> oh is it a synonym for East?
11:06:32 <HanDongSeong> okay then, i'll give you a totally uncockifiable meaning of dong. Dong sometimes means a paulownia tree!
11:07:08 <oklopol> have you ever seen a tree?
11:07:18 <oklopol> it's a recursive cock, man
11:07:39 <oklopol> of course, i'm not sure what paulownia is
11:09:02 <oklopol> HanDongSeong: on this channel people whose nicks start with an "o" are generally joking 24/7
11:09:30 <optbot> oklopol: or related to the instruments and the arrangement.
11:10:07 <HanDongSeong> well, what i wanted to see was you desperately trying to connect them but okay..
11:10:32 <oklopol> it's a bit sad when people think my trolling is real
11:11:52 <oklopol> well, okay, one of the stereotypes of eastern ppl is that they're small; i'm sure this is enough for calling your little man the eastern dude, which could abbreviate to "east"
11:12:21 <oklopol> also for now on my penis will be called the eastern dude, i don't care how racist that is.
11:13:06 <oklopol> also south absolutely means cock already, as the cock is in the south
11:13:40 <oklopol> it's actually quite common to have your penis twist a bit to the left.
11:14:13 <oklopol> and no, i don't need you to reassure or counterexample that.
11:14:57 <Slereah2> I'll show you a man's pupil of the eye
11:15:39 <oklopol> i'll promise to look if you make a fractal out of it.
11:15:55 <oklopol> HanDongSeong: btw did you come here for esolangs?
11:16:08 <Slereah2> A fractal requires an infinite number of iterations
11:16:18 <oklopol> most of the time it's just jokes, sex and befunge.
11:16:49 <Slereah2> What is your esolang, mister dong
11:17:37 <oklopol> Slereah2: shoudn't you physicists be excellent at analysis? infinite is nothing if you have infinite nothings-on-average
11:18:05 <Slereah2> My dong is not nothing, though
11:19:01 <Slereah2> http://esolangs.org/wiki/Udage
11:19:17 <oklopol> http://www.esolangs.org/wiki/Udage
11:19:24 <Slereah2> Why is the memory called udage?
11:20:05 <Slereah2> But it's long and full of stuff I don't understand :(
11:20:13 <Slereah2> Computer science ended in the 60's for me
11:20:27 <oklopol> The tape is a linear memory space with unbounded cells, each containing a bit value, 0 or 1. <<< unbounded number of?
11:20:45 <oklopol> because an unbounded bit is actually not that unbounded :P
11:20:56 <Slereah2> It means your 1 can be as big as you want
11:20:57 <HanDongSeong> my English was (and is, maybe) really horrible back then
11:21:46 <HanDongSeong> Slereah2, the idea is simple. it is "pattern-based." the code AAAABA and BBBBAB means the same thing.
11:22:16 <oklopol> HanDongSeong: that actually sounds remotely interesting
11:22:36 <oklopol> but i'd have to click on the link to get more details :<
11:22:58 <oklopol> http://gs30ng.exca.net/udage/specification
11:23:06 <oklopol> which button do i press now :-)
11:23:18 <Slereah2> http://fr.youtube.com/watch?v=lsvfhW857PA
11:24:10 <oklopol> that's probably the most famous girl on the tube.
11:24:29 <oklopol> i rate spam pages for google, i call her spam girl
11:25:43 <HanDongSeong> http://www.esolangs.org/wiki/Glypho could be easier to understand
11:26:44 <oklopol> the symbol-independence is quite a simple concept, i was more interested in the doors
11:27:02 <Slereah2> Well, I hope so. I don't have a korean keyboard!
11:28:03 <oklopol> i thought they were doors to the *code*
11:28:06 <AnMaster> Glypho, hm, what input encoding is used?
11:28:37 <AnMaster> or is it an unicode codepoint (after parsing the utf8=
11:29:31 -!- KingOfKarlsruhe has quit (Remote closed the connection).
11:29:54 <HanDongSeong> i think one symbol should be one unicode character (like Udage does), but it's up to the author, and he's not here anymore
11:30:24 -!- Slereah_ has joined.
11:30:31 -!- Slereah2 has quit (Read error: 113 (No route to host)).
11:30:34 <HanDongSeong> he was here while i was working on Udage, and was inspired by it
11:31:21 <AnMaster> HanDongSeong, does Udage use utf8 or ascii?
11:33:31 <HanDongSeong> utf8 is recommended, although ascii characters (not even all of them) are enough to write programs
11:34:23 <Slereah_> What's the minimal amount of char you can use?
11:35:08 <AnMaster> HanDongSeong, point is you need to know the charset used for the source file
11:36:18 <AnMaster> except if the interpreter used char * it wouldn't work
11:36:39 <HanDongSeong> Udage is meant to enable non-text source codes, like a MIDI music to be a source code
11:38:05 <Slereah_> 99 bottles of beer on the wall for 99 bottles of beer on the wall
11:38:13 <AnMaster> The 99 bootles of beer symphony
11:38:31 <HanDongSeong> or a PNG image to be a source code. (GregorR was thinking of a good name for 2-dimensional Udage)
11:38:45 <HanDongSeong> the point is that Udage is pattern-based, symbol-independent
11:39:20 <AnMaster> HanDongSeong, ah! The program: Mona World
11:39:36 <HanDongSeong> so i can only say that the implementation is recommended to assume that the code is utf8, but basically it's up to the implementation
11:39:46 <AnMaster> HanDongSeong, as for two dimensional udage that is easy
11:40:13 <AnMaster> Slereah_, no, that could be trefunge or unefunge based
11:40:52 <Slereah_> DO NOT JUDGE A LANGUAGE DIMENSION BY ITS NAME
11:41:02 <AnMaster> HanDongSeong, lets use EBCDIC!
11:42:22 <HanDongSeong> in Glypho, you can say it is indeed pattern-based
11:42:30 <Slereah_> Extra Befungesque Colored Dong Incredibly Complete?
11:42:56 <HanDongSeong> you just group the code, 4 chars in each group
11:43:31 <HanDongSeong> which i actually had in mind before proposing the idea of udage in public
11:44:57 <HanDongSeong> the reason i didn't finally take it is that "all the songs of udage will likely be quadruple-timed"
11:46:57 <oklopol> HanDongSeong: http://www.esolangs.org/wiki/Eodermdrome for interesting usage of pattern-based syntax
11:47:33 <HanDongSeong> not that i would prefer only 3 chars in each group
11:51:10 <oklopol> i want a new thread to be born every cycle, and i want every thread to have a portal to some other thread
11:51:20 <oklopol> so that the threads form a graph that's constantly growing
11:51:35 <oklopol> and every node is a thread with its own small set of rules for movement
11:54:48 <HanDongSeong> i lost interest in udage since 2006, because one morning i got a far greater esolang idea than it
11:56:03 <HanDongSeong> i was all excited, passionate and obssessed by thinking i should write down the spec of this and the implementation in a week, and then ... i've been busy.
11:56:32 <Slereah_> Plus right know, it's school months
11:56:40 <Slereah_> So I don't have that much time
11:57:48 <Slereah_> I also have no idea how to implement my last language D:
12:13:21 -!- oklopol has quit (Read error: 110 (Connection timed out)).
12:16:06 <Slereah_> http://www.explosm.net/db/files/Comics/RyanEstrada.jpg
12:38:18 -!- tusho has joined.
12:45:47 <Slereah_> http://en.wikipedia.org/wiki/Image:Korean_dance-Bukcheong_Saja_Noreum-01.jpg
12:45:57 <Slereah_> Is Korea often invaded by furry monsters?
12:47:05 -!- ihope has quit (Read error: 110 (Connection timed out)).
12:55:35 <Slereah_> Good thing they were all killed during WWII then
12:56:07 <tusho> HanDongSeong: so wait, was it furries or furry monsters
12:56:11 <tusho> the former is more terrifying
12:56:26 <HanDongSeong> those lions in that traditional play are all imaginary
12:56:58 <HanDongSeong> hence there appearance, having no resemblance with real lions
12:57:51 <HanDongSeong> <China> hey, you know what? there are some weird creatures called lions in far west
12:58:36 <tusho> <China> i dunno lol
12:59:38 <HanDongSeong> well, my explanation is a little bit simplified but basically true
13:00:03 <tusho> Yes, I don't think China would use memes while talking to Korea.
13:00:18 <HanDongSeong> so these korean people made their own image of lion
13:01:46 <Slereah_> Didn't China had lion statues that were more lion-like than that?
13:02:08 <tusho> I love the idea of Korea knowing that lions exist but not what they look like
13:02:17 <tusho> * Korea sees an elephant for the first time
13:02:23 <tusho> <Korea> JESUS CHRIST IT'S A LION GET IN THE CAR
13:02:41 <Slereah_> Well, there's elephants in Asia
13:02:52 <tusho> elephants are kind of like finland
13:03:16 <Slereah_> So... When Russia fights elephants, Russia loses?
13:03:24 <HanDongSeong> actually elephants were imported here, about 600 years ago.
13:03:26 <tusho> And elephants have 2 people
13:03:35 <tusho> 6 of which are in this channel
13:03:44 <Slereah_> Yeah, but I'm pretty sure that at least India has elephants
13:03:54 <Slereah_> And India isn't as far as Africa.
13:04:23 <HanDongSeong> Slereah_, true. they were imported from india.
13:05:01 <Slereah_> Europe only gets shitty life importation.
13:05:02 <HanDongSeong> just as buddhism was imported from india to korea about a couple of thousand years ago
13:05:32 <HanDongSeong> and that's when the existence of 'lion' was known in korea
13:06:23 <tusho> <India> hey, you know what? there are some weird creatures called buddhas
13:06:23 <tusho> <Korea> cool. what do they look like?
13:06:48 <Slereah_> Is that how Dragons were created?
13:06:57 <Slereah_> Failed representations of Buddha
13:07:23 <tusho> Dragons have been around in mythology longer than 600 years
13:07:50 <HanDongSeong> buddhism is currently one of the major three religions of S Korea
13:08:36 <tusho> Yes, there are 3 major religions in S Korea: Buddhism and communism
13:08:44 <HanDongSeong> No communism in Korea... although there's Jucheism in N Korea
13:09:23 <Slereah_> You can't do magic tricks with nuclear arms
13:09:31 <tusho> Rubbish. S Korea has 3 religions and they are buddhism and communism
13:10:09 <Slereah_> http://en.wikipedia.org/wiki/Titoism <- that name sounds way better
13:10:30 <HanDongSeong> fyi, they are Confucianism, Buddhism, and Christianism
13:10:56 <tusho> Isn't it "christianity"? :P
13:11:03 <tusho> Although Christianism sounds funnier :D
13:11:35 <HanDongSeong> surprisingly there are also many atheists here
13:11:56 <HanDongSeong> maybe because the first two religions doesn't imply the existence of god
13:12:12 <tusho> Slereah_: The only conclusion that Confucianism, Christianity, Judaism and Atheism
13:12:16 <tusho> are all facades for communism.
13:13:16 -!- HanDongSeong has quit ("자러").
13:13:25 <tusho> i don't think he liked our communism theories
13:13:43 <Slereah_> Maybe we scared him with our stupidity
13:33:43 <tusho> http://www.collisiondetection.net/mt/archives/2006/06/the_gillette_si.php The number of blades on razors will be the cause of singularity.
14:14:57 <Slereah_> http://upload.wikimedia.org/wikipedia/commons/3/3d/Avogadro_Amedeo.jpg
14:15:04 <Slereah_> Avogadro is an ugly little man
14:36:42 -!- oklofok has joined.
14:43:41 -!- Mony has quit ("À vaincre sans péril on triomphe sans gloire...").
14:50:44 <oklofok> are christians statistically happier than atheists?
14:51:26 <oklofok> substitute some other religion for christianity if you wish
14:51:56 <Slereah_> They can't have gay sex or kill babies
14:53:16 <AnMaster> Deewiant, if ( doesn't push correctly mycology still tries to unload using the value it pushed, this behaviour doesn't match what the comment on line 214-217 in mycology.b98 say
14:53:32 <AnMaster> it end up in an infinite loop on line 217 instead
14:54:00 <AnMaster> bouncing between the ) at )g22g33 and ,a$_,#! #:<
14:56:55 <Deewiant> does it print the "BAD: ( did not push correct fingerprint"?
14:58:05 <tusho> i'm an atheist but i'm pretty happy
14:58:11 <Deewiant> hm, there's also a misalignment there
14:58:26 <tusho> then again i don't really think of myself as having an actual present disbelief of a god rather than just a lack of belief
14:59:31 <Deewiant> AnMaster: so can you give me a trace/something of what happens after the ( at (118,210) ?
15:01:16 <oklofok> tusho: it's obvious people with brain are happy, intelligence knows what it likes; i'm wondering about the majority of people
15:01:27 <AnMaster> Deewiant, once it compiles again I will emulate old behaviour again and test it.
15:01:28 <tusho> People with brain are happy
15:01:33 <tusho> They need to do way instain mother>
15:02:39 <Deewiant> oklofok: http://www.urbandictionary.com/define.php?term=instain
15:03:13 <tusho> who kill thier babbys. because these babby cant frigth back?
15:03:27 <oklofok> oh "do way instain mother"
15:03:36 <oklofok> i missed the do, might've been able to parse that
15:04:00 <AnMaster> Deewiant, just got it to work so will commit, push, then check old behaviour
15:04:02 <tusho> oklofok: http://www.somethingawful.com/flash/shmorky/babby.swf btw
15:06:11 <AnMaster> Deewiant, http://pastebin.ca/1207418
15:06:53 <AnMaster> Deewiant, what happened was that it 1) loaded the fingerprint but 2) *did not* push the fingerprint or the 1
15:07:26 <AnMaster> should be easy to simulate that in ccbi by just commenting out a few lines
15:15:10 -!- KingOfKarlsruhe has joined.
15:18:38 -!- Hiato has joined.
15:30:02 -!- oklofok has quit ("( www.nnscript.com :: NoNameScript 4.2 :: www.regroup-esports.com )").
15:36:18 <tusho> Slereah_: yes very old
15:36:21 <tusho> but he was confused
15:36:25 <Deewiant> AnMaster: yeah, so the cause was the misalignment I mentioned
15:37:03 <AnMaster> Deewiant, ok, you have fixed it?
15:37:31 <AnMaster> Deewiant, fine since I already have working NULL and ROMA here
15:37:43 <AnMaster> I did it the lazy functional way
15:37:48 <AnMaster> {IP, fstackstack:push(Stack, Amount)}
15:38:49 <AnMaster> "an archaic word originally meaning `in truth' but now usually used to express disbelief "
15:39:19 <AnMaster> http://wordnet.princeton.edu/perl/webwn?s=forsooth
15:39:20 <Deewiant> I've never seen or heard it used to express disbelief
15:39:40 <AnMaster> Deewiant, http://www.google.com/search?hl=en&q=define%3Aforsooth
15:41:17 <AnMaster> Deewiant, Yes I mean that the two hits disagree with each other
15:41:42 <tusho> <wiktionary> forsooth
15:43:07 <AnMaster> Deewiant, though higher order functions aren't really needed to generate ROMA. In cfunge I use:
15:43:08 <AnMaster> static void FingerROMApush ## x (instructionPointer * ip) { \
15:43:08 <AnMaster> StackPush(ip->stack, (fungeCell)y); \
15:43:19 <tusho> i would never have guessed
15:43:25 <tusho> of course they aren't require
15:43:44 <AnMaster> tusho, I mean required in order to generate in a simple way
15:44:07 <tusho> what do you mean why do i care, am i suddenly not allowed to talk in here about what i want to talk about?
15:44:55 <AnMaster> tusho, of course you are allowed, but since you seem to not care at all about cfunge normally...
15:45:24 <tusho> i wasn't talking about cfunge
15:48:08 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | heh.
15:54:53 <CO2Games> This is a collaborative language. If you're reading this, nobody collaborated yet. Oops. (This should be gone in 5 minutes when we actually think of something.)
15:56:20 <Deewiant> AnMaster: I uploaded the fixed Mycology in case you're interested
15:58:54 -!- ihope has joined.
16:01:37 -!- Ilari has quit ("Won't be back for a while...").
16:03:58 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)).
16:04:17 -!- Slereah2 has joined.
16:13:25 <tusho> we will collaborate on it eventually
16:13:45 <tusho> CO2Games: what is the problem
16:14:10 <CO2Games> It sounds fun but it's not made yet
16:16:30 <tusho> CO2Games: the name is a knuth quote, btw
16:17:39 -!- Hiato has quit ("Leaving.").
16:19:00 <Slereah2> A language with a lame name won't do.
16:19:11 <tusho> D is unpopular beacuse its impossible to google
16:22:32 -!- KingOfKarlsruhe has left (?).
16:22:36 <CO2Games> So what do you guys think of conveyor
16:23:01 <Slereah2> It makes me think of "Rube on a conveyor belt"
16:23:22 <CO2Games> http://esoteric.voxelperfect.net/wiki/Conveyor
16:24:04 <CO2Games> all commands are four characters with no arguments
16:24:04 <Slereah2> I sort of have to do that solid state physic homework, so I can't really read that.
16:27:38 <AnMaster> hm wouldn't it be a good idea to make it say: "BAD: a04-M doesn't push -2 (it pushed XXX instead)"
16:27:57 <AnMaster> certainly you could run it separately
16:28:38 -!- jix has joined.
16:30:30 <AnMaster> Deewiant, why is there a blank line between those in mycology output? IRC eats it up
16:39:37 -!- CO2Games has quit ("And I invented doors, no joke!").
16:39:49 <AnMaster> Deewiant, well I can't explain it
16:40:08 <Deewiant> well it's a bug in your interpreter
16:40:26 <AnMaster> was pushing on the wrong stack
16:40:38 <AnMaster> I mean: erlang have single assignment
16:41:05 <AnMaster> then I pushed the result on S2 and returned that by mistake
16:42:54 <AnMaster> anyway I have ROMA NULL and MODU now :)
16:43:48 -!- Hiato has joined.
16:45:09 <AnMaster> Deewiant, btw what do you think about "extra" environment variables in y? Basically it seems that Erlang defines some custom ones in it's *own* wrapper script
16:47:35 <AnMaster> Deewiant, like this: http://rafb.net/p/V82BuQ74.html
16:47:41 <Deewiant> since you've already defined efunge as running on the "Erlang OS", do whatever you wish...
16:48:23 <AnMaster> Deewiant, well erlang is kind of closed world, not as much as that squeak tusho mentioned, but certainly to a high degree :)
16:48:41 <AnMaster> And some of these I can't "fix"
16:49:11 <AnMaster> (oh and erl won't run without HOME or PATH set, that is why they are defined on the command line)
16:49:56 -!- KingOfKarlsruhe has joined.
16:50:11 <AnMaster> Deewiant, one thing: I will clearly document these issues.
16:51:04 <KingOfKarlsruhe> Pippi Longstocking http://www.youtube.com/watch?v=ORM5kKGdaxA
16:51:54 <AnMaster> oh even funnier name in the youtube video
16:52:15 <AnMaster> well I guess they had to translate from the original Swedish name (Pipi Longstrump)
16:52:18 <Deewiant> AnMaster: Pippi Långstrump is the original
16:52:47 <AnMaster> Deewiant, as far as I know it was written by a Swedish author
16:53:09 <AnMaster> so.. why wouldn't Pippi Långstrump be the original then?
16:53:20 <Deewiant> 2008-09-21 18:52:18 ( Deewiant) AnMaster: Pippi Långstrump is the original
17:20:09 -!- Sgeo has joined.
17:56:41 -!- Mony has joined.
18:00:39 -!- Slereah2 has quit (Read error: 104 (Connection reset by peer)).
18:04:27 <pikhq> oklopol's Japanese sucks balls.
18:04:36 -!- Slereah_ has joined.
18:13:59 <olsner> I'd be lucky to have a japanese like that
18:18:30 -!- Hiato has quit (Read error: 104 (Connection reset by peer)).
18:23:13 <tusho> pikhq: Welcome back to Agora.
18:31:47 -!- Slereah_ has quit (Read error: 104 (Connection reset by peer)).
18:32:29 -!- Slereah2 has joined.
18:33:59 -!- kar8ng1 has joined.
18:33:59 -!- Slereah2 has quit (Read error: 104 (Connection reset by peer)).
18:34:11 -!- Slereah2 has joined.
18:36:13 -!- kar8ng1 has left (?).
19:02:18 -!- oklofok has joined.
19:09:20 <AnMaster> Deewiant, btw I think you said my .spec system to generate fingerprint list (and skeletons for fingerprint C files) in cfunge "looked unnecessary complex" or something like that?
19:09:45 <AnMaster> in fact I'm now glad I did it, was easy to modify the scripts to output erlang instead :)
19:11:32 <AnMaster> more than 2/3rd of the script code is shared
19:14:06 <tusho> AnMaster: you could have just used sed on the non-unneccessarily-complex code
19:14:48 <AnMaster> tusho, hm? You mean sed the output C file to produce an erlang file?
19:14:55 <AnMaster> hah, possible but actually harder
19:15:09 <tusho> AnMaster: No, I mean without the overly complex .spec system.
19:15:15 <tusho> Just do it in a simple way, then to get the erlang, use sed.
19:15:21 <AnMaster> tusho, it isn't really that complex
19:15:49 <AnMaster> it just defines some metadata (description, url) of the fingerprint + what instructions it implements
19:21:22 <Sgeo> I'm bored. How will the channel react if I say
19:25:26 -!- Slereah2 has quit (Read error: 113 (No route to host)).
19:37:15 -!- oklopol has joined.
19:37:15 -!- oklofok has quit (Read error: 104 (Connection reset by peer)).
19:39:04 -!- Slereah2 has joined.
19:41:38 <tusho> guess what i just ost
19:42:03 <Sgeo> ty a lot, tusho
19:42:09 * Sgeo refers to xkcd for the cure
19:42:25 <tusho> the game does not specify that you can win
19:42:28 <tusho> just that you can lose
19:42:33 <tusho> that xkcd comic actually makes you lose
19:42:35 <tusho> because you think about it.
19:42:45 <tusho> AnMaster: The Game.
19:43:06 <AnMaster> tusho, I'm afraid that means nothing to me. I even checked the last xkcd before asking in order to be sure
19:43:07 <oklopol> i'm don't think, therefore, i don't lose.
19:43:26 <tusho> AnMaster: 1. You are playing the game. 2. Every time you think about The Game you lose the game. 3. Loss must be announced.
19:43:27 <Sgeo> AnMaster, if you think about the game, you lose the game, and you have to announce that you lost.
19:43:49 <tusho> AnMaster: Who knows?
19:43:51 <tusho> It has been around since forever.
19:43:59 <tusho> A wildly successful cultural meme.
19:44:03 <tusho> (Not internet-originated.)
19:44:21 <Deewiant> and, I maintain, approximately the stupidest thing ever.
19:44:33 <Deewiant> AnMaster: http://en.wikipedia.org/wiki/The_Game_(mind_game)
19:44:51 <tusho> Deewiant: stupid or not, you're playing it
19:44:57 <AnMaster> Deewiant, I was just thinking about saying that it was stupid yes
19:45:31 <tusho> Deewiant: impossible
19:49:03 <AnMaster> Sgeo, also what xkcd comic in specific did you mean?
19:49:11 <tusho> AnMaster: it said 'You have just WON the game!'
19:49:16 <tusho> it didn't work for obvious reasons
19:49:27 <tusho> AnMaster: look in the archives, jeez
19:50:33 <AnMaster> tusho, I have no intention to check them all, will check ones with names containing "game" and/or "won"
19:50:41 <tusho> so don't ask me to.
19:51:05 <oklopol> tusho: you don't remember the url of every comic you've read? are you retarded or something?
19:51:13 <AnMaster> oklopol, I didn't suggest that
19:51:20 <AnMaster> but I thought maybe he remembered the name
19:51:33 <Sgeo> http://www.xkcd.com/391/
19:51:37 <AnMaster> and I don't complain that he *didn't* remember it
19:52:04 <AnMaster> also, like Deewiant, I'm *not* playing
19:52:27 <oklopol> AnMaster: this is not about what you complained, this is about what tusho didn't remember
19:52:40 <oklopol> i'm being serious here, it's not healty to forget a number.
19:52:59 <AnMaster> oklopol, I don't think remembering numbers is that important, I myself have a bad memory for such things
19:54:02 <oklopol> am i on a channel full of apes or something? that's just scary, AnMaster.
19:54:35 <AnMaster> sure the basic constants I remember and such (pi ~ 3.14159, e ~ 2.7183)
19:55:14 <Sgeo> lol at oklopol
19:55:17 <AnMaster> oklopol, then what is the last digit
19:55:21 <AnMaster> Deewiant, damn you beat me to it
19:55:40 <oklopol> Deewiant: wait a mo, i remember them sequentially
19:55:59 * oklopol is at digit no. 2^7324 now
19:56:18 <AnMaster> oklopol, how many digits are there?
19:56:23 <Sgeo> Can you at least tell us what digit 2^7324 is?
19:56:42 <Deewiant> he'd have to start over to get there again
19:56:44 <oklopol> AnMaster: it's about infinite, i haven't counted the exact number
19:56:49 <oklopol> may be like a hundred off infinity
19:57:47 <AnMaster> there is no way to get from 0 to infinite by counting. That is like one of the defining properties of infinity
19:58:28 <oklopol> yeah i guess it can't be exactly infinity then
19:58:44 <oklopol> but i'm sure it's not more than a thousand less at least
19:59:24 <AnMaster> infinite - any finite number = infinite
19:59:56 <tusho> AnMaster: stop treating oklopol like a retard
20:00:03 <oklopol> it might seem that way because infinity seems like such a bit number to you.
20:00:05 <tusho> anyone in #esoteric does
20:00:15 <tusho> but oklopol is just crazy and likes saying crap, and it is funny.
20:00:17 <AnMaster> Deewiant, Cantor already did, I suggest you read his works on the subject
20:00:20 <oklopol> it's like, a million minus ten? it's million
20:00:27 <oklopol> because who cares about ten
20:00:49 <oklopol> except infinity is a bit more than a million iirc
20:01:00 <AnMaster> since you are all trolling now I'll just ignore this discussion
20:01:01 <oklopol> i don't remember the actual difference now
20:01:37 <Deewiant> AnMaster: I fail to see how this is trolling
20:01:54 <AnMaster> Deewiant, I don't think you are a retard either.
20:02:33 <oklopol> i would say it started with trolling, and after that it was pure joking; except that i'm totally serious
20:02:46 <Sgeo> AnMaster, you are under arrest for attempted murder of a joke.
20:03:52 <oklopol> aaaaanyway AnMaster i do understand the concept of infinity, i've been reading about it for the past week for an analysis course like 24/7
20:04:26 <oklopol> ......but i think they're just approximating infinity to be that big i'm sure there are *some* numbers that are bigger than it!
20:04:27 <AnMaster> oklopol, fun, though maybe not fun if it is 24/7.
20:04:58 <AnMaster> that depends on how you define infinity
20:05:13 <oklopol> well 24/7 for a week would be impossible since it's not that thick a book, i've been reading other things as well
20:05:19 <AnMaster> iirc 10^aleph-0 is larger than aleph-0
20:05:49 <AnMaster> Deewiant, oh possible, I said iirc
20:06:10 * oklopol adds one to that and laughs in victory!
20:06:19 <Deewiant> or hmm, maybe it is, I'm not sure actually
20:06:26 <Deewiant> it might require the axiom of choice though
20:06:38 * Sgeo forgot to read Dudley's Dungeon
20:07:25 <AnMaster> Deewiant, also aren't the set of natural numbers smaller than the set of all rational and irrational numbers (IIRC!!!!)
20:07:39 -!- oerjan has joined.
20:07:51 <AnMaster> oh was it irrational ones then that wasn't?
20:07:51 <Deewiant> AnMaster: I think you should read a bit more Cantor ;-)
20:07:57 <oklopol> this is true for any numbers you can represent with finite tuples of natural numbers
20:08:09 <AnMaster> Deewiant, very possible. I have learnt most from other books and or websites
20:08:22 <Deewiant> does proving reals > nats require the AoC?
20:08:49 <oklopol> Deewiant: oerjan just joined.
20:08:57 <oklopol> all questions should be directed to him
20:09:48 <oerjan> and yes, naturals ~~ rationals < reals
20:10:29 <oklopol> but i only have an intuitive view to this, really
20:10:44 <AnMaster> also according to http://en.wikipedia.org/wiki/Aleph_number Aleph-one > Aleph-zero
20:11:00 <oerjan> proving that reals reasonably exist at all requires some piece of AoC
20:11:05 <oklopol> and with infinities intuition is like eatin butter with your butt, the words suggest you can do it, but it's actually very unpleasant
20:11:13 <AnMaster> though I find it hard, or rather impossible, to understand how "infinite" can come in different sizes
20:11:17 <oerjan> but from there it's plain sailing
20:11:37 <AnMaster> oerjan, what about 10^aleph-zero, is it larger than aleph-zero or is it equal?
20:12:09 <oerjan> it's equal to the reals
20:12:33 <AnMaster> then what about 10^10^aleph-zero
20:12:43 <oklopol> for the intuitive proof, 10^aleph-zero is greater than any polynomial, so you can't make the numbers out of finite tuples
20:13:07 <oerjan> Cantor's proof shows that 10^x, or 2^x > x for any cardinality without exception
20:13:27 <oklopol> for all b > 1: b ^ An = A(n+1) ?
20:14:02 <Deewiant> or did that only hold for n = 0
20:14:06 <oerjan> the _generalized_ continuum hypothesis says that for b = 2
20:14:31 <oklopol> so for all b >= 2: b ^ An = A(n+1) ?
20:15:01 <oerjan> CH is for n = 0, GCH is for all n
20:15:45 <oerjan> oklopol: no! you could have b > A(n+1) so that's obviously false
20:16:20 <oerjan> b = 2, basically, but any finite b >= 2 should also work
20:16:36 -!- oklofok has joined.
20:16:46 <oklofok> 22:15:35 oerjan: oklopol: no! you could have b > A(n+1) so that's obviously false <<< you mathematicians are such cheaters
20:17:05 -!- oklopol has quit (Read error: 113 (No route to host)).
20:17:59 <oklofok> hard to explain what i meant, ignore it.
20:18:14 <oklofok> was just trying to be a weird joke.
20:18:31 -!- Slereah_ has joined.
20:19:35 <oklofok> you're not Slereah2! you're an imposter
20:19:44 -!- Slereah2 has quit (Read error: 104 (Connection reset by peer)).
20:20:47 <oerjan> iirc there are lots of cardinalities such that x^(A_0) = x
20:22:09 <AnMaster> oerjan, what about aleph-0 ^ aleph-0
20:22:21 <oerjan> that's the reals too iirc
20:22:59 <oerjan> beth-0 = aleph-0, beth-(n+1) = 2^(beth-n), by definition
20:23:00 <AnMaster> huh, that's just odd. since you said 10^10^aleph-0 > 10^aleph-0 and 10^aleph-0 = reals
20:23:17 <AnMaster> but indeed intuition doesn't work for this stuff
20:23:34 <oerjan> recall that ^ is right associative
20:23:58 <oerjan> (that's the most useful convention)
20:24:42 <AnMaster> huh, wonder why my graph calculator makes it *left associative*
20:25:19 <oerjan> it's not a very strong convention, since in real math it's done with superscripts
20:25:46 <oerjan> but haskell uses it, QED :D
20:25:59 <AnMaster> oerjan, so... 10^A_0 == A_0 ^ A_0 and 10 < A_0
20:27:47 <oerjan> possibly 2^x = A_0 ^ x for any infinite cardinality
20:29:28 <oerjan> ah here is one "intuitive" way of seeing it:
20:29:48 <oerjan> recall that any real number can be given as a continued fraction
20:30:11 <oerjan> and at each step of a continued fraction you can choose an arbitrary natural number
20:30:27 <oerjan> so number of reals should be about A_0^A_0
20:31:19 <oerjan> now once you have this for x = A_0, larger x may follow with a bit of arithmetic
20:31:32 <oerjan> for x >= A_0, x = x * A_0
20:32:23 <oerjan> 2^x = 2^(x*A_0) = (2^A_0)^x
20:33:07 <oerjan> proves that they are all equal from 2 to 2^A_0 ~~ reals
20:33:11 <AnMaster> right. The math makes sense if I ignore what A_0 actually stands for :P
20:33:27 <AnMaster> oerjan, it is possible to find any given number hm?
20:33:31 <AnMaster> what is the continued fraction for pi? :D
20:33:51 <oerjan> you can calculate it as long as you want but there is no known pattern
20:33:57 <oerjan> for e, there is a pattern
20:35:13 -!- Slereah_ has quit (Read error: 60 (Operation timed out)).
20:36:18 <oerjan> e = [2,1,2,1,1,4,1,1,6,...] http://mathworld.wolfram.com/e.html
20:36:53 <oerjan> e = 2+1/(1+1/(2+1/(... etc.
20:37:24 <AnMaster> hah I just thought of a way to represent all digits of pi. Quite a lot of cheating but should work
20:38:16 <AnMaster> oerjan, yes, except the 0 key is sticky
20:39:35 * oerjan didn't see AnMaster typing jla anywhere
20:40:01 <oerjan> put some r k and in that ;)
20:42:46 <oerjan> there are so called non-simple continued fractions where you don't always use 1 as the numerator. then there are patterns for pi iirc
20:43:28 <AnMaster> oerjan, is it known if pi is finite or infinite?
20:43:48 <oerjan> it is transcendental, which is stronger than irrational
20:44:40 <oerjan> not the solution to any polynomial equation with rationals
20:47:01 <AnMaster> I mean that pi and e are transcendental
20:48:25 <oerjan> http://en.wikipedia.org/wiki/Lindemann-Weierstrass_theorem
20:50:00 -!- Mony has quit ("À vaincre sans péril on triomphe sans gloire...").
20:50:20 <AnMaster> too complicated at this time of the night. Yawn
20:50:45 <AnMaster> (not sure if it will be too complicated when I'm not sleepy as well)
20:57:36 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
21:19:28 -!- Slereah2 has joined.
21:48:09 -!- optbot has set topic: the entire backlog of #esoteric: http://tunes.org/~nef/logs/esoteric | the language should aim at creating itself.
21:51:13 -!- pikhq has joined.
21:51:34 <tusho> AnMaster: pi has infinite digits, yes
21:52:56 <oerjan> yes, the fourth digit of pi is infinite
21:56:13 -!- pikhq has quit ("leaving").
21:57:16 -!- pikhq has joined.
21:57:58 -!- pikhq has quit (Client Quit).
21:58:12 -!- pikhq has joined.
21:58:57 -!- pikhq has quit (Client Quit).
21:59:10 -!- pikhq has joined.
21:59:28 -!- pikhq has quit (Client Quit).
21:59:41 -!- pikhq has joined.
22:00:03 * oerjan finds the BIG fly swattter
22:00:25 * oerjan starts with swatting a stray t
22:00:53 * oerjan then swats pikhq, to make him stay in one place
22:05:28 <oerjan> actually my real dream is to it to some of those motorbikes that use to drive around the central city on weekends
22:06:49 <oerjan> i mean, they are modified to _sound_ like flies, so should be treated like it
22:08:16 <pikhq> Well, my networking setup has become even *more* bizarre.
22:08:21 <pikhq> I've got 3 VLANs going.
22:08:33 * oerjan read that as networking soup
22:08:55 <pikhq> One is bridged to the Internet, one is routed into VPNs, and one is my personal LAN.
22:09:15 <oerjan> and this somehow seemed rational at the time?
22:09:42 <pikhq> Though half of it is an excuse to play with VLANs.
22:10:10 <pikhq> Which aren't that hard to set up in Linux, actually.
22:10:38 <tusho> pikhq: Half of your face is an excuse to play with VLANs
22:11:05 <oerjan> tusho: you burned? coffee too hot? hm, coffee...
22:16:12 <tusho> oerjan: I do not have coffee right now
22:16:42 * oerjan does, although not top quality
22:17:58 <tusho> i am considering coffee in the near future.
22:18:41 <oerjan> of course you're british, so maybe it was tea...
22:19:53 <tusho> oerjan: not in prescence of tea either although i do like tea
22:20:00 <tusho> i mean... tea is nice...
22:24:37 -!- jix has quit (Nick collision from services.).
22:24:47 -!- jix has joined.
22:25:22 <tusho> oerjan: should i get some tea or coffee?
22:26:30 <tusho> oerjan: i hate languages that have || and && returning booleans
22:26:36 <tusho> they should return one of their two arguments damnit
22:26:53 * tusho switches oerjan to C
22:26:55 <tusho> oerjan: should i get some tea or coffee?
22:28:42 <oerjan> since i don't have any tea (well, less than about 10 years old), you cannot have it either
22:28:54 <tusho> oerjan: interestin
22:32:52 <tusho> oerjan: do you prefer coffee or tea
22:33:29 <oerjan> i drink far more coffee
22:36:43 <tusho> oerjan: not the question
22:38:56 <oerjan> this coffee is not particularly good...
22:39:26 <oerjan> with good coffee, it's more even
22:40:12 <oerjan> also it depends how my stomach is feeling
22:42:09 <tusho> i think i'll go for tea soon... quite tired and feel like being warmer
22:42:57 <oerjan> NOOOO! DAMN YOU! LETTING ME SIT HERE WITH MY AWFUL COFFEE
22:44:18 <tusho> oerjan: let's put it this way
22:44:25 <tusho> there's gonna be far worse coffee out there
22:44:29 <tusho> also, you HAVE coffeee
22:44:34 <tusho> not that bad, surely
22:45:13 <oerjan> i think just hot water would have been an improvement :D
22:45:32 <tusho> oerjan: ah. yes. likely.
22:45:48 <tusho> it's coffee, isn't it?
22:45:56 <tusho> i mean, sure there are different goodnesses
22:46:02 <tusho> but it's not like coffee can be a terrible thing.
22:49:13 <oerjan> after careful deliberation, i have now poured out the coffee and replaced it with cold water
22:49:18 -!- Slereah2 has quit (Read error: 113 (No route to host)).
22:50:03 -!- Slereah2 has joined.
22:50:29 <tusho> oerjan: that must be pretty bad coffee...
22:50:46 <oerjan> Nescafe Gold, actually
22:53:43 <oerjan> i keep it for emergencies. apparently this wasn't one.
22:53:55 <tusho> http://news.bbc.co.uk/1/hi/4174519.stm
22:54:27 <oerjan> read it before, i think
23:19:41 <tusho> oerjan: i have decided on tea!
23:21:16 <oerjan> may the fleas of a thousand camels descend upon your nether regions
23:21:32 <tusho> oerjan: i'll send you some tea D:
23:22:31 -!- jix has quit ("CommandQ").
23:52:35 -!- Slereah2 has quit (Read error: 113 (No route to host)).