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 I think I came up with a creative esoteric language :D 01:13:52 It's based around input. 01:13:59 Input and output 01:15:11 Nobody wants to know what it is? 01:15:54 nobody is here, is where it's at :) 01:16:11 D; 01:16:41 two hours since anyone spoke 01:18:30 How is it based, exactly 01:19:11 WEll 01:19:15 It's an assembly line 01:19:31 What am I, some cheap labor? 01:19:33 input is split, processed, and spit out. 01:19:35 lol 01:19:49 It's like an assembly line. 01:20:00 Input is processed by different 'workers' and then output 01:20:32 Well, then, it's pretty much like any language 01:20:40 The workers are the real core of the language 01:22:16 err 01:22:20 yes well uhh 01:22:26 Each worker gets a turn 01:22:35 to process a single set of input 01:22:42 and place it to output 01:24:11 So there can be seperators, combiners, etc. 01:24:21 Or just things that alter the data 01:54:36 -!- oerjan has quit ("leaving"). 01:55:54 What is the name of a supervisor of an assembly line? 02:37:31 -!- ihope has joined. 02:40:27 Sounds like monads *haw haw haw* 02:40:35 Lol, monads. 02:40:42 LOLMONADS 02:40:42 Sorry. 02:40:44 I'm making it. 02:40:57 Will the basic data type be the monad? 02:41:27 IMPURE MONAD IS IMPURE 02:44:58 -!- oerjan has joined. 02:46:19 CO2Games: sounds a bit like dataflow programming, or unix pipes 02:47:03 haskell also does a lot of pipelines, with or without monads 02:47:35 hmm 02:47:45 I just saw an ad for a site where you can buy a will with a "money back guarantee." 02:47:52 GregorR: that IMPURE MONAD IS IMPURE meme, where's that from? 02:47:58 "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 oerjan: I was parodying CAT IS 02:48:20 oerjan: Since ihope said "Lol, monads" which I changed to "LOLMONADS" 02:48:25 that's where i heard it 02:48:36 i thought it might be something older than lolcat? 02:48:44 Well it's intended to be an assembly line, each connection has a length 02:48:49 Maybe, but not to my knowledge. 02:49:49 CO2Games: if it's just one assembly line then that sounds like a unix pipeline, except for the supervisor bit 02:50:36 it's possible monads _might_ work for that, if you wanted it in haskell 02:50:55 I brought up monads :P 02:51:19 oh wait those are not haskell Monads, but haskell Arrows 02:57:54 * pikhq returneth from D&D. 03:00:00 LOSER 03:00:43 I think I need to make a net version of Hydra. 03:00:51 hydra? 03:01:06 http://codu.org/wiki/?title=Hydra 03:12:37 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 this sounds strangely similar to D&D 03:13:23 * oerjan ducks 03:13:28 Hahaha 03:13:34 Nice jab, but I rolled a perfect 20 to save. 03:17:46 There's a 1 in 20 chance that you'll be able to do anything. 03:18:31 I attempt to make freenode sapient. 03:18:44 Darn, rolled a 5. I attempt to make freenode sapient. 03:18:53 Darn, rolled a 13. I attempt to make freenode sapient. 03:19:00 Darn, rolled a 13. I attempt to make freenode sapient. 03:19:01 * oerjan recalls reading about take 20 03:19:10 Darn, rolled a 6. I attempt to make freenode sapient. 03:19:20 Darn, rolled a 9. I'll stop now. 03:19:30 what happens if you roll 1 first? 03:20:25 I'll fail? 03:20:34 Well, heck. I attempt to make freenode sapient. 03:20:45 Darn, rolled a 14. I attempt to make freenode sapient. 03:20:55 Darn, rolled a 1. So what happens? 03:21:07 I ATTEMPT TO REMOVE IHOPE'S HEAD AND EAT IT WITH A NICE CHIANTI. 03:21:10 OH LOOK, I ROLLED A 20 03:21:13 SAY BYE TO YOUR HEAD 03:21:28 only 19 heads to go 03:21:32 Bye, head. 03:21:38 I didn't know I had 20 heads. 03:21:43 * ihope grows two more 03:22:10 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 * GregorR agrees with oerjan. 03:22:49 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 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 Of course, you all knew that already. 03:24:03 that was so absurd i'm thinking you know about a random generator for the stuff 03:24:34 Actually, I spent weeks thinking that up. 03:24:41 actually it doesn't quite fit that - not enough independent parts 03:26:31 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 that _could_ fit in nicely with the first one 03:27:45 Of course. 03:28:11 These are all fantasy scenes from a potential story, taken out of context and relabeled as lifetime goals. 03:28:38 the nurse of course turns out to be color blind 03:29:34 also, ultimate goal random generator doesn't give any relevant google hits, even removing any word other than "goal" 03:29:43 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 If you write a random ultimate goal generator, I will wub you forever. 03:30:29 knocking _them_ over? this some kind of domino effect? 03:30:36 Singular "they". 03:31:48 the goal under that would presumably be to find a way of continuing the construction "preantepenultimate" indefinitely 03:32:52 The one before the preantepenultimate is the penpreantepenultimate, the one before that is the antepenpreantepenultimate, and the one before that is the trasantepenpreantepenultimate. 03:33:35 ic 03:34:09 I'm not sure what the one before that is; I'd have to see what "preantepenultimate" is in Italian. 03:34:58 aha 03:35:26 um you mean what penpreantepenultimate is 03:35:42 oh wait 03:36:02 that was spanish, not italian 03:36:28 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 of course. i also assume you are also reading http://en.wiktionary.org/wiki/preantepenultimate 03:37:17 Of course. 03:37:46 the italian could be close, perhaps exactly the same 03:38:22 actually spanish tras = italian tra 03:38:26 Cool. 03:39:03 (or fra) 03:39:41 hm wait 03:39:51 I'm going to take back what I said and say that the thing before preantepenultimate is nigh-preantepenultimate. 03:40:03 those are obviously originally the same but they don't mean the same thing 03:44:54 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 optbot: ah, you liked it too? i guess it will be useful to you now that you are sentient 03:48:51 oerjan: because the actual cells used by the program are 2 and 4. 03:49:06 optbot: fiendish 03:49:07 oerjan: I should grab that one implementation of Scheme for the Palm. 03:49:30 optbot, say something now if you want me to yell at you. 03:49:30 ihope: 0>"olleH"?:#,_@ 03:49:34 You asked for it. 03:49:35 optbot! 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 Hmm, what language is this? 03:50:09 something concurrent, presumably 03:50:20 Here it is: http://esoteric.voxelperfect.net/wiki/Conveyor 03:50:21 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 05:23… × oerjan hides behind a big rock <<< haw haw i misread this 08:45:01 and it was good 08:46:55 i had a dream where i was holding this balloon, and suddenly it started lifting me in the air 08:53:05 INFINITE CONVEYOR 08:53:24 it's so long you can just give up right away. 09:40:21 -!- Mony has joined. 09:40:43 hi 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 optbot, how r u ? 09:51:22 Mony: anyways it probably doesn't qualify as esoteric, simply because its designed to be useful ;) 09:51:48 i think u're right bot ;) 09:54:24 smart bot such a pretty bot 09:54:30 * oklopol pats 09:54:41 hi oklopol 09:54:55 hi Mony 10:02:22 hi HanDongSeong 10:03:24 hi HanDongSeong ;) 10:03:32 hi 10:03:53 how are you 10:04:23 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 i think i'm misunderstanding something here 10:04:39 GregorR: explain time 10:04:50 in terms of space. 10:08:16 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:17 then 10:08:38 after the first deck has been dispersed, it's about remembering your discard pile 10:08:45 and the discard piles of others 10:09:16 strategically of course, i doubt it's anything but a game of luck played with humans 10:10:10 GregorR: how come you're not responding to my highlights? if you're asleep just wake up sheesh... 10:10:31 sun is up there, even though you may not see it from where you're at. 10:11:00 but saying "it's night where i live!" is like saying "i gotta go to sleep because my curtains are closed" 10:11:06 it simply makes no sense 10:11:12 man, just open the drapes 10:11:14 move to finland 10:11:21 so 10:11:52 i think it's coffee time, i'm not imaginative enough for monologues anymore 10:12:13 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 it was fun, fun time they were, indeed yes 10:12:30 now coffee -> 10:12:35 *time 10:12:37 that was a typo. 10:13:42 *times 10:13:57 heh, that was too :-) 10:14:01 now really coffee -> 10:14:37 and hi HanDongSeong 10:14:45 coffee powa 10:15:03 coffee makes it all seem worthwhile 10:15:30 oklopol, it took some *time* to say that, man 10:15:30 (I hate coffee, I prefer milk) 10:17:47 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 but than i realized your nick is effing awesome 10:18:26 it's Korean 10:18:42 yes it's awesome because it may actually not be nonsense 10:19:18 oklopol, what does it mean to you? 10:19:19 what does it mean? 10:19:24 err nothing 10:19:50 then why do you think it's f-ing awesome 10:20:01 "han" is swedish for "he", "dong" is a cock, "seong" could be a typoed sone; i think this means "he sings about cocks" 10:20:06 but you never know 10:20:11 *typoed song 10:20:17 syntactically 10:20:19 awesome 10:22:07 HanDongSeong: what does it mean? :) 10:22:27 because if i was right, i'm going to take that awesomeness comment back, and also retract my hi 10:22:48 okay... so a lot of people are telling me that dong means cock in their languages... 10:22:59 means cock in english. 10:23:08 in case of my name, Dong is supposed to mean a "pillar" 10:23:27 "he sings about cocks" <-- lol 10:23:49 and in Korean, metaphorically it means something forming basis of another thing 10:24:07 -!- KingOfKarlsruhe has joined. 10:24:16 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 many far-eastern words are finnish onomatopoeia for sounds of bells 10:25:52 Seong used in my name means "to form" or "to constitute" 10:26:09 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 and we usually have verb after objective in Korean language 10:26:26 oh cool 10:26:41 is it a stack-based language? 10:26:49 do you have lambdas?!? 10:26:57 oh god i wanna learn korean 10:27:06 come to think of it... i guess so? :) 10:27:11 :-) 10:27:22 it's RPN 10:27:31 that's pretty wack. 10:27:34 i want 10:27:40 how about with longer sentences 10:28:15 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 can you quickly translate this random sentence and tell me the constituent words 10:28:29 :---) 10:29:39 and Han is my surname... it doesn't really mean something 10:30:17 uhm 10:30:18 okay 10:30:58 do you want me to use IPAs? 10:32:07 wait a sec 10:32:26 mother called. 10:34:43 the translated sentence will be: "아이스크림을 받아든 소녀는 수염이 어마어마한 그 노인에게 그런 커다란 파충류는 난생 처음 본다고 말했다." 10:34:51 how that's pretty 10:34:52 but obviously you can't read it 10:34:54 *wow 10:34:58 obviously not 10:38:55 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:39:26 figures 10:44:21 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:44:44 ... 10:44:47 loldong 10:45:08 speaking of which 10:45:17 'rodong' means labor in korean 10:45:52 -!- GreaseMonkey has quit ("So, how much do you love noodles?"). 10:45:56 thus the name of governing party of North Korea, Joseon Rodongdang 10:46:59 rodongdang sounds a bit belly too, "dong dang" is definitely something a bell would say. 10:47:18 but, enough with the belittling your language, do continue with the example 10:47:19 :P 10:48:06 and what's "ro"? 10:48:57 means "all" in lojban, i'm sure there's a connection 10:49:30 not like western ones, korean is a syllable-oriented language 10:50:04 i'm not sure what that means 10:50:22 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 given only 'dong', you can't tell anything, since it really can be a lot of things 10:51:50 right, right 10:51:53 like japan? 10:52:44 in japanese dictionaries they usually list the things a syllable *doesn't* mean 10:52:48 no kidding it's true. 10:53:12 hm *japanese 10:53:26 em.. in japanese, you usually need two or more syllables to express one morpheme 10:53:43 that may be 10:53:46 i don't know japanese 10:53:49 a morpheme with only one syllable is quite rare in japanese 10:54:07 i've just read part of this kanji book, and for instance KO is listed for about 50 words 10:54:15 it means everything 10:54:18 however in korean a morpheme is often one syllable 10:54:36 yeah that's the point 10:55:02 that's the point of syllable-orientation or the point of why japanese doesn't have unisyllable morphemes? 10:55:33 actually these two languages are very very similar... because of the colonization, which happened just about 60 years ago 10:55:45 i see i see 10:56:08 i thought korean was substantially... weirder :) 10:56:09 what i mean is in japanese they tend to have more syllables 10:56:19 as in sounded more foreign to western ppl 10:56:48 in terms of irregularity, korean is weirder, yeah 10:57:14 anyway either break down the example or ask for a smaller one, i wanna see how stacky it is :P 10:57:48 the crocodile without teeth did not enjoy his tea 10:58:11 you mentioned ko in japanese, and almost same thing applies to dong in korean 10:58:35 (this, of course, happens right after the first scene with the girl, little girls are the tea of crocodiles) 10:59:30 wat 10:59:57 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:04 Slereah2: wat wat? 11:00:39 "little girls are the tea of crocodiles" 11:01:29 dong can refer to.... east, movement, child, bronze, winter, freezing, pillar, the pupil of the eye, ... 11:01:32 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 HanDongSeong: well all those words mean "cock" in english, so i guess it's kinda reverse syllable-oriented. 11:02:38 Korea is full of dong 11:02:44 yes. 11:02:45 "so, like, then i totally Froze her with with my Bronze Child" 11:03:00 Hawt 11:03:04 Dong is one kind of administrative district in South Korea. 11:03:06 "wow, you really Wintered her with your Movement?" 11:03:11 that's why S Korea is full of dong. 11:03:29 "yeah, totally Pillared the Pupil of Her Eye" 11:03:42 stop 11:04:07 sorry, just demonstrating english to you. 11:04:25 well 11:04:28 the urbandictionary dialect 11:05:07 oklopol 11:05:10 Bro grab! 11:05:28 what does that mean? 11:05:45 Go to the urbandictionary 11:06:07 oh is it a synonym for East? 11:06:32 okay then, i'll give you a totally uncockifiable meaning of dong. Dong sometimes means a paulownia tree! 11:07:03 ... 11:07:08 have you ever seen a tree? 11:07:18 it's a recursive cock, man 11:07:27 an effing cock fractal 11:07:39 of course, i'm not sure what paulownia is 11:08:02 how can east mean cock 11:08:25 EAST SIDE RULES! 11:09:02 HanDongSeong: on this channel people whose nicks start with an "o" are generally joking 24/7 11:09:29 right, optbot? 11:09:30 oklopol: or related to the instruments and the arrangement. 11:09:33 haha 11:09:38 that guy cracks me up 11:10:07 well, what i wanted to see was you desperately trying to connect them but okay.. 11:10:18 oh, good 11:10:32 it's a bit sad when people think my trolling is real 11:10:43 let's try. 11:11:52 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 also for now on my penis will be called the eastern dude, i don't care how racist that is. 11:12:25 .. 11:12:26 *from 11:12:57 The eastern Pauloma Tree 11:13:02 Paulownia 11:13:06 also south absolutely means cock already, as the cock is in the south 11:13:09 The eastern tree 11:13:12 but once it's erected 11:13:14 it's east. 11:13:25 Your cock is twisted oklopol 11:13:29 Let me straighten it up 11:13:30 lol 11:13:40 it's actually quite common to have your penis twist a bit to the left. 11:14:13 and no, i don't need you to reassure or counterexample that. 11:14:38 Let mejust get the scanner 11:14:57 I'll show you a man's pupil of the eye 11:15:39 i'll promise to look if you make a fractal out of it. 11:15:55 HanDongSeong: btw did you come here for esolangs? 11:16:08 A fractal requires an infinite number of iterations 11:16:14 I don't have that much time 11:16:18 most of the time it's just jokes, sex and befunge. 11:16:41 who's mister dong by the way? 11:16:49 What is your esolang, mister dong 11:17:37 Slereah2: shoudn't you physicists be excellent at analysis? infinite is nothing if you have infinite nothings-on-average 11:18:05 My dong is not nothing, though 11:18:32 oklopol, i proposed the idea of udage 11:18:38 hmm 11:18:42 i've heard of that 11:18:43 udage? 11:19:01 http://www.esolangs.org/wiki/Udage 11:19:01 http://esolangs.org/wiki/Udage 11:19:17 http://www.esolangs.org/wiki/Udage 11:19:24 Why is the memory called udage? 11:19:41 Slereah2, RTFA! :) 11:20:05 But it's long and full of stuff I don't understand :( 11:20:05 the links are all broken, though 11:20:13 Computer science ended in the 60's for me 11:20:20 And it's all theoretical shit 11:20:27 The tape is a linear memory space with unbounded cells, each containing a bit value, 0 or 1. <<< unbounded number of? 11:20:34 yeah 11:20:45 because an unbounded bit is actually not that unbounded :P 11:20:56 It means your 1 can be as big as you want 11:20:57 my English was (and is, maybe) really horrible back then 11:21:01 Example : 11:21:05 /| 11:21:07 | 11:21:07 | 11:21:10 __ 11:21:46 Slereah2, the idea is simple. it is "pattern-based." the code AAAABA and BBBBAB means the same thing. 11:21:57 'kay 11:22:15 enabling to compose an esoteric song 11:22:16 HanDongSeong: that actually sounds remotely interesting 11:22:18 i mean the door part 11:22:36 but i'd have to click on the link to get more details :< 11:22:52 sorry for that 11:22:58 http://gs30ng.exca.net/udage/specification 11:23:06 which button do i press now :-) 11:23:18 http://fr.youtube.com/watch?v=lsvfhW857PA 11:23:23 the free hosting service i used was blown off 11:23:31 "Doosan Daewoo" 11:23:33 heh 11:24:10 that's probably the most famous girl on the tube. 11:24:29 i rate spam pages for google, i call her spam girl 11:25:43 http://www.esolangs.org/wiki/Glypho could be easier to understand 11:26:44 the symbol-independence is quite a simple concept, i was more interested in the doors 11:26:59 it's... nothing 11:27:02 Well, I hope so. I don't have a korean keyboard! 11:27:10 the doors are nothing? 11:27:18 just think about the pointer of bf 11:27:22 huh? 11:27:48 oh 11:28:03 i thought they were doors to the *code* 11:28:06 Glypho, hm, what input encoding is used? 11:28:10 dang. 11:28:12 is a symbol = a byte 11:28:14 *dong 11:28:37 or is it an unicode codepoint (after parsing the utf8= 11:28:41 s/=/)/ 11:29:31 -!- KingOfKarlsruhe has quit (Remote closed the connection). 11:29:54 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:30 ah well 11:30:31 -!- Slereah2 has quit (Read error: 113 (No route to host)). 11:30:34 he was here while i was working on Udage, and was inspired by it 11:31:21 HanDongSeong, does Udage use utf8 or ascii? 11:32:08 AnMaster, you mean the code? 11:33:31 utf8 is recommended, although ascii characters (not even all of them) are enough to write programs 11:34:23 What's the minimal amount of char you can use? 11:34:50 actually that's an interesting topic 11:35:08 HanDongSeong, point is you need to know the charset used for the source file 11:35:10 consider: 11:35:13 åååö 11:35:27 i got it 11:35:28 wait that is the glypho 11:35:30 not udage 11:35:34 * AnMaster checks udage syntax 11:35:47 AABC == ÅÅÄÖ 11:35:49 for example 11:35:51 for the udage 11:35:52 AnMaster, no, that's enough, i got your point 11:36:18 except if the interpreter used char * it wouldn't work 11:36:23 it would read bytes 11:36:27 which is fine for ascii 11:36:32 but not for utf8 11:36:39 Udage is meant to enable non-text source codes, like a MIDI music to be a source code 11:36:46 ah hm 11:37:14 Sonata of Hello World :D 11:37:29 like one note is one symbol 11:37:43 Minuet of Eratosthenes! 11:38:04 or... 11:38:05 99 bottles of beer on the wall for 99 bottles of beer on the wall 11:38:13 The 99 bootles of beer symphony 11:38:18 err spelling 11:38:21 also I was too slow 11:38:25 :D 11:38:31 or a PNG image to be a source code. (GregorR was thinking of a good name for 2-dimensional Udage) 11:38:43 twodage 11:38:45 the point is that Udage is pattern-based, symbol-independent 11:38:49 bidage 11:38:54 Dongdage 11:38:56 that's how all these things are possible 11:39:03 Dong means "picture" too, no? 11:39:07 Since it means everything 11:39:13 Udong 11:39:20 HanDongSeong, ah! The program: Mona World 11:39:22 ;P 11:39:29 image case 11:39:36 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 HanDongSeong, as for two dimensional udage that is easy 11:39:49 Bedage 11:39:52 from befunge 11:40:01 Ufunge 11:40:13 Slereah_, no, that could be trefunge or unefunge based 11:40:19 in fact closer to unefunge 11:40:22 with the u 11:40:26 so one dimensional 11:40:52 DO NOT JUDGE A LANGUAGE DIMENSION BY ITS NAME 11:41:02 HanDongSeong, lets use EBCDIC! 11:42:10 the main idea of Udage code is repeatation 11:42:22 in Glypho, you can say it is indeed pattern-based 11:42:30 Extra Befungesque Colored Dong Incredibly Complete? 11:42:56 you just group the code, 4 chars in each group 11:43:31 which i actually had in mind before proposing the idea of udage in public 11:44:57 the reason i didn't finally take it is that "all the songs of udage will likely be quadruple-timed" 11:46:00 no waltz possible, how sad 11:46:43 Heh. 11:46:57 HanDongSeong: http://www.esolangs.org/wiki/Eodermdrome for interesting usage of pattern-based syntax 11:47:33 not that i would prefer only 3 chars in each group 11:51:10 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 so that the threads form a graph that's constantly growing 11:51:35 and every node is a thread with its own small set of rules for movement 11:54:48 i lost interest in udage since 2006, because one morning i got a far greater esolang idea than it 11:56:03 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:11 Heh. 11:56:15 I know the feeling. 11:56:32 Plus right know, it's school months 11:56:40 So I don't have that much time 11:57:48 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 http://www.explosm.net/db/files/Comics/RyanEstrada.jpg 12:38:18 -!- tusho has joined. 12:45:47 http://en.wikipedia.org/wiki/Image:Korean_dance-Bukcheong_Saja_Noreum-01.jpg 12:45:57 Is Korea often invaded by furry monsters? 12:47:05 -!- ihope has quit (Read error: 110 (Connection timed out)). 12:49:24 zomg furries! 12:54:04 Bukcheong lion dance! 12:54:12 i love it 12:54:25 Slereah_, once upon a time, yeah 12:55:35 Good thing they were all killed during WWII then 12:55:36 Or something 12:55:58 actually there weren't lions 12:56:07 HanDongSeong: so wait, was it furries or furry monsters 12:56:11 the former is more terrifying 12:56:26 those lions in that traditional play are all imaginary 12:56:58 hence there appearance, having no resemblance with real lions 12:57:10 So why are they called lions 12:57:22 oh, it's like this: 12:57:51 hey, you know what? there are some weird creatures called lions in far west 12:57:58 cool. what do they look like? 12:58:31 :D 12:58:36 i dunno lol 12:58:54 ¯\(°_o)/¯ 12:59:00 :D 12:59:38 well, my explanation is a little bit simplified but basically true 13:00:03 Yes, I don't think China would use memes while talking to Korea. 13:00:18 so these korean people made their own image of lion 13:00:52 and used it as a theatrical device 13:01:34 Wait 13:01:46 Didn't China had lion statues that were more lion-like than that? 13:01:50 Or is this even older 13:02:08 I love the idea of Korea knowing that lions exist but not what they look like 13:02:17 * Korea sees an elephant for the first time 13:02:23 JESUS CHRIST IT'S A LION GET IN THE CAR 13:02:27 :D 13:02:41 Well, there's elephants in Asia 13:02:47 So I guess they already know 13:02:52 elephants are kind of like finland 13:03:02 Are they? 13:03:08 yes 13:03:16 So... When Russia fights elephants, Russia loses? 13:03:24 actually elephants were imported here, about 600 years ago. 13:03:26 And elephants have 2 people 13:03:35 6 of which are in this channel 13:03:44 Yeah, but I'm pretty sure that at least India has elephants 13:03:54 And India isn't as far as Africa. 13:04:23 Slereah_, true. they were imported from india. 13:05:01 Europe only gets shitty life importation. 13:05:02 just as buddhism was imported from india to korea about a couple of thousand years ago 13:05:14 Like tomatoes and potatoes 13:05:32 and that's when the existence of 'lion' was known in korea 13:06:23 hey, you know what? there are some weird creatures called buddhas 13:06:23 cool. what do they look like? 13:06:48 Is that how Dragons were created? 13:06:57 Failed representations of Buddha 13:07:23 Dragons have been around in mythology longer than 600 years 13:07:24 :P 13:07:50 buddhism is currently one of the major three religions of S Korea 13:08:10 The other is COMMUNISM 13:08:13 D: 13:08:36 Yes, there are 3 major religions in S Korea: Buddhism and communism 13:08:44 No communism in Korea... although there's Jucheism in N Korea 13:08:51 Jucheism? 13:09:00 see http://en.wikipedia.org/wiki/Juche 13:09:19 this is the official ideology of N Korea 13:09:23 You can't do magic tricks with nuclear arms 13:09:31 Rubbish. S Korea has 3 religions and they are buddhism and communism 13:09:32 which is really like religion 13:09:32 It's science :D 13:09:44 SCIENCE! 13:10:09 http://en.wikipedia.org/wiki/Titoism <- that name sounds way better 13:10:30 fyi, they are Confucianism, Buddhism, and Christianism 13:10:56 Isn't it "christianity"? :P 13:11:01 sorry 13:11:03 Although Christianism sounds funnier :D 13:11:35 surprisingly there are also many atheists here 13:11:51 Yeah, because of COMMUNISM 13:11:56 maybe because the first two religions doesn't imply the existence of god 13:11:56 Any joos? :o 13:12:12 Slereah_: The only conclusion that Confucianism, Christianity, Judaism and Atheism 13:12:16 are all facades for communism. 13:12:19 :O 13:12:57 err... i gotta go. 13:12:59 see ya 13:13:03 bye. 13:13:16 -!- HanDongSeong has quit ("자러"). 13:13:25 i don't think he liked our communism theories 13:13:43 Maybe we scared him with our stupidity 13:14:50 Possible. 13:33:43 http://www.collisiondetection.net/mt/archives/2006/06/the_gillette_si.php The number of blades on razors will be the cause of singularity. 13:35:34 I think it will plateau 14:14:57 http://upload.wikimedia.org/wikipedia/commons/3/3d/Avogadro_Amedeo.jpg 14:15:04 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 are christians statistically happier than atheists? 14:51:26 substitute some other religion for christianity if you wish 14:51:56 They can't have gay sex or kill babies 14:51:59 So I'd guess no. 14:53:16 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 it end up in an infinite loop on line 217 instead 14:54:00 bouncing between the ) at )g22g33 and ,a$_,#! #:< 14:56:27 so what does ( push 14:56:55 does it print the "BAD: ( did not push correct fingerprint"? 14:57:13 Deewiant, ( pushed nothing 14:57:17 that was the issue 14:57:21 and no it never printed that 14:58:04 that's odd 14:58:05 i'm an atheist but i'm pretty happy 14:58:11 hm, there's also a misalignment there 14:58:26 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 AnMaster: so can you give me a trace/something of what happens after the ( at (118,210) ? 15:01:09 will try 15:01:16 tusho: it's obvious people with brain are happy, intelligence knows what it likes; i'm wondering about the majority of people 15:01:25 brains 15:01:27 Deewiant, once it compiles again I will emulate old behaviour again and test it. 15:01:28 People with brain are happy 15:01:33 They need to do way instain mother> 15:02:01 "way instain mother>"? 15:02:39 oklofok: http://www.urbandictionary.com/define.php?term=instain 15:03:13 who kill thier babbys. because these babby cant frigth back? 15:03:27 oh "do way instain mother" 15:03:36 i missed the do, might've been able to parse that 15:04:00 Deewiant, just got it to work so will commit, push, then check old behaviour 15:04:02 oklofok: http://www.somethingawful.com/flash/shmorky/babby.swf btw 15:04:55 old 15:06:11 Deewiant, http://pastebin.ca/1207418 15:06:53 Deewiant, what happened was that it 1) loaded the fingerprint but 2) *did not* push the fingerprint or the 1 15:07:26 should be easy to simulate that in ccbi by just commenting out a few lines 15:15:03 Deewiant, bbl, have guests. 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 Slereah_: yes very old 15:36:21 but he was confused 15:36:25 AnMaster: yeah, so the cause was the misalignment I mentioned 15:37:03 Deewiant, ok, you have fixed it? 15:37:15 well it's rather trivial 15:37:20 ok :) 15:37:20 haven't uploaded 15:37:31 Deewiant, fine since I already have working NULL and ROMA here 15:37:34 ROMA was fun 15:37:43 I did it the lazy functional way 15:37:47 make_pusher(Amount) -> 15:37:48 fun(IP, Stack, _Space) -> 15:37:48 {IP, fstackstack:push(Stack, Amount)} 15:37:48 end. 15:37:59 first class functions rock :) 15:38:14 forsooth 15:38:20 forsooth? 15:38:29 indeed 15:38:34 * AnMaster googles define: 15:38:49 "an archaic word originally meaning `in truth' but now usually used to express disbelief " 15:39:00 O_o 15:39:16 FORSOOTH! 15:39:19 http://wordnet.princeton.edu/perl/webwn?s=forsooth 15:39:20 I've never seen or heard it used to express disbelief 15:39:33 define disbelief 15:39:40 Deewiant, http://www.google.com/search?hl=en&q=define%3Aforsooth 15:40:06 and? 15:40:09 well 15:40:11 they disagree 15:40:23 evidently princeton does, yes 15:40:44 wiktionary doesn't think so 15:41:17 Deewiant, Yes I mean that the two hits disagree with each other 15:41:26 yep 15:41:42 forsooth 15:41:44 :D 15:43:07 Deewiant, though higher order functions aren't really needed to generate ROMA. In cfunge I use: 15:43:07 #define ROMAPUSH(x, y) \ 15:43:08 static void FingerROMApush ## x (instructionPointer * ip) { \ 15:43:08 StackPush(ip->stack, (fungeCell)y); \ 15:43:08 } 15:43:16 AnMaster: o rly 15:43:19 i would never have guessed 15:43:25 of course they aren't require 15:43:26 d 15:43:44 tusho, I mean required in order to generate in a simple way 15:43:47 and 15:43:54 why do you care? 15:44:07 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 tusho, of course you are allowed, but since you seem to not care at all about cfunge normally... 15:45:24 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:52 uhhhhhhhhh 15:54:53 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 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:19 CO2Games: yes 16:13:25 we will collaborate on it eventually 16:13:31 :\ 16:13:45 CO2Games: what is the problem 16:14:10 It sounds fun but it's not made yet 16:14:20 correct 16:16:30 CO2Games: the name is a knuth quote, btw 16:17:27 Oh it is now? 16:17:36 Well, it's attributed I think 16:17:39 -!- Hiato has quit ("Leaving."). 16:17:41 But it might verily be! 16:18:53 But he's right, though 16:19:00 A language with a lame name won't do. 16:19:04 yep 16:19:11 D is unpopular beacuse its impossible to google 16:19:39 Also The Who. 16:19:54 yes/ 16:22:32 -!- KingOfKarlsruhe has left (?). 16:22:36 So what do you guys think of conveyor 16:22:50 It's a good name! 16:23:01 It makes me think of "Rube on a conveyor belt" 16:23:04 Yeah no I mean the language 16:23:22 http://esoteric.voxelperfect.net/wiki/Conveyor 16:23:44 i dunno. 16:24:04 all commands are four characters with no arguments 16:24:04 I sort of have to do that solid state physic homework, so I can't really read that. 16:27:05 Deewiant, there? 16:27:11 BAD: a04-M doesn't push -2 16:27:14 in MODU 16:27:38 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:40 or such 16:27:57 certainly you could run it separately 16:28:01 but that isn't the point 16:28:38 -!- jix has joined. 16:30:04 ah fixed the issue 16:30:07 GOOD: 0a-04-R pushes -2 16:30:07 GOOD: 0a-04-U pushes 2 16:30:30 Deewiant, why is there a blank line between those in mycology output? IRC eats it up 16:39:34 AnMaster: there shouldn't be 16:39:37 -!- CO2Games has quit ("And I invented doors, no joke!"). 16:39:49 Deewiant, well I can't explain it 16:40:06 Deewiant, ah I found it 16:40:08 well it's a bug in your interpreter 16:40:13 Deewiant, yes I found it 16:40:26 was pushing on the wrong stack 16:40:38 I mean: erlang have single assignment 16:40:55 {S2, Y} = pop(Stack), 16:40:55 {S3, X} = pop(S2), 16:41:05 then I pushed the result on S2 and returned that by mistake 16:42:54 anyway I have ROMA NULL and MODU now :) 16:43:48 -!- Hiato has joined. 16:45:09 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:45:28 it also modifies PATH 16:47:35 Deewiant, like this: http://rafb.net/p/V82BuQ74.html 16:47:41 since you've already defined efunge as running on the "Erlang OS", do whatever you wish... 16:48:23 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 And some of these I can't "fix" 16:49:11 (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 Deewiant, one thing: I will clearly document these issues. 16:51:04 Pippi Longstocking http://www.youtube.com/watch?v=ORM5kKGdaxA 16:51:33 * AnMaster laughs at the name 16:51:54 oh even funnier name in the youtube video 16:52:15 well I guess they had to translate from the original Swedish name (Pipi Longstrump) 16:52:18 AnMaster: Pippi Långstrump is the original 16:52:22 å* 16:52:26 Deewiant, oh? 16:52:36 I'm quite sure 16:52:47 Deewiant, as far as I know it was written by a Swedish author 16:52:55 yes, astrid lindgren 16:53:09 so.. why wouldn't Pippi Långstrump be the original then? 16:53:20 2008-09-21 18:52:18 ( Deewiant) AnMaster: Pippi Långstrump is the original 16:53:24 when did I say it wasn't ;-P 16:53:26 Deewiant, oh sorry 16:53:29 misread as isn't 16:53:40 and yeah I saw my typo 16:53:45 should indeed be å 16:54:40 bbbl 16:54:42 bbl* 17:20:09 -!- Sgeo has joined. 17:56:41 -!- Mony has joined. 17:57:19 i'm back :) 18:00:39 -!- Slereah2 has quit (Read error: 104 (Connection reset by peer)). 18:04:27 oklopol's Japanese sucks balls. 18:04:36 -!- Slereah_ has joined. 18:13:59 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 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 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 in fact I'm now glad I did it, was easy to modify the scripts to output erlang instead :) 19:11:32 more than 2/3rd of the script code is shared 19:14:06 AnMaster: you could have just used sed on the non-unneccessarily-complex code 19:14:48 tusho, hm? You mean sed the output C file to produce an erlang file? 19:14:55 hah, possible but actually harder 19:15:09 AnMaster: No, I mean without the overly complex .spec system. 19:15:15 Just do it in a simple way, then to get the erlang, use sed. 19:15:21 tusho, it isn't really that complex 19:15:49 it just defines some metadata (description, url) of the fingerprint + what instructions it implements 19:16:23 tusho: W00ts. 19:16:51 pikhq: :) 19:21:22 I'm bored. How will the channel react if I say 19:21:23 PSOX 19:22:00 KILL THE WITCH 19:22:02 WIIIIITCH\ 19:22:09 ARGH 19:23:55 BURN HER! 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 guess what i just ost 19:41:40 *lost 19:41:42 THE GAME 19:42:03 ty a lot, tusho 19:42:09 * Sgeo refers to xkcd for the cure 19:42:21 invalid 19:42:25 the game does not specify that you can win 19:42:28 just that you can lose 19:42:33 that xkcd comic actually makes you lose 19:42:35 because you think about it. 19:42:39 tusho, what game? 19:42:45 AnMaster: The Game. 19:43:06 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 i'm don't think, therefore, i don't lose. 19:43:23 ... 19:43:25 *i don't 19:43:26 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 AnMaster, if you think about the game, you lose the game, and you have to announce that you lost. 19:43:45 hm who made that game up? 19:43:49 AnMaster: Who knows? 19:43:51 It has been around since forever. 19:43:59 A wildly successful cultural meme. 19:44:03 (Not internet-originated.) 19:44:21 and, I maintain, approximately the stupidest thing ever. 19:44:33 AnMaster: http://en.wikipedia.org/wiki/The_Game_(mind_game) 19:44:51 Deewiant: stupid or not, you're playing it 19:44:57 Deewiant, I was just thinking about saying that it was stupid yes 19:45:23 tusho: no, I ignore the rules 19:45:31 Deewiant: impossible 19:45:34 you are playing. 19:49:03 Sgeo, also what xkcd comic in specific did you mean? 19:49:11 AnMaster: it said 'You have just WON the game!' 19:49:16 it didn't work for obvious reasons 19:49:23 tusho, well *what* one 19:49:27 not the last one certainly 19:49:27 AnMaster: look in the archives, jeez 19:50:33 tusho, I have no intention to check them all, will check ones with names containing "game" and/or "won" 19:50:38 nor do i. 19:50:41 so don't ask me to. 19:51:03 non related of those 19:51:04 hm 19:51:05 tusho: you don't remember the url of every comic you've read? are you retarded or something? 19:51:13 oklopol, I didn't suggest that 19:51:20 but I thought maybe he remembered the name 19:51:23 that can happen 19:51:33 http://www.xkcd.com/391/ 19:51:37 and I don't complain that he *didn't* remember it 19:51:42 hm 19:52:04 also, like Deewiant, I'm *not* playing 19:52:05 period 19:52:27 AnMaster: this is not about what you complained, this is about what tusho didn't remember 19:52:40 i'm being serious here, it's not healty to forget a number. 19:52:44 *healthy 19:52:59 oklopol, I don't think remembering numbers is that important, I myself have a bad memory for such things 19:54:02 am i on a channel full of apes or something? that's just scary, AnMaster. 19:54:35 sure the basic constants I remember and such (pi ~ 3.14159, e ~ 2.7183) 19:54:38 and a few more 19:54:58 i remember the whole pi 19:55:01 phi ~ 1.618 19:55:04 all of it? 19:55:08 yes 19:55:12 heh, impossible 19:55:13 what's the last digit 19:55:14 lol at oklopol 19:55:17 oklopol, then what is the last digit 19:55:21 Deewiant, damn you beat me to it 19:55:40 Deewiant: wait a mo, i remember them sequentially 19:55:44 haha 19:55:59 * oklopol is at digit no. 2^7324 now 19:56:07 alright, get back to me then 19:56:09 single linked list obviously 19:56:18 oklopol, how many digits are there? 19:56:23 Can you at least tell us what digit 2^7324 is? 19:56:30 and yes please 19:56:36 not anymore, he's past that 19:56:36 tell us 2^7324 19:56:41 hm 19:56:42 he'd have to start over to get there again 19:56:44 AnMaster: it's about infinite, i haven't counted the exact number 19:56:49 may be like a hundred off infinity 19:56:55 haha 19:57:01 give or take 19:57:17 right right. 19:57:47 there is no way to get from 0 to infinite by counting. That is like one of the defining properties of infinity 19:57:48 .. 19:58:08 ah, but it's a hundred off 19:58:28 yeah i guess it can't be exactly infinity then 19:58:44 but i'm sure it's not more than a thousand less at least 19:59:02 that doesn't work either... 19:59:13 what do you mean? 19:59:24 infinite - any finite number = infinite 19:59:56 AnMaster: stop treating oklopol like a retard 19:59:59 he knows that 20:00:00 I don't believe you, prove it 20:00:01 quite obviously 20:00:03 it might seem that way because infinity seems like such a bit number to you. 20:00:05 anyone in #esoteric does 20:00:15 but oklopol is just crazy and likes saying crap, and it is funny. 20:00:17 Deewiant, Cantor already did, I suggest you read his works on the subject 20:00:20 it's like, a million minus ten? it's million 20:00:27 because who cares about ten 20:00:32 when there's a million 20:00:38 that's the same thing 20:00:39 oklopol, no no 20:00:41 not at all 20:00:44 sigh 20:00:49 except infinity is a bit more than a million iirc 20:01:00 since you are all trolling now I'll just ignore this discussion 20:01:01 i don't remember the actual difference now 20:01:29 :) 20:01:37 AnMaster: I fail to see how this is trolling 20:01:54 Deewiant, I don't think you are a retard either. 20:02:22 I didn't think you did 20:02:33 i would say it started with trolling, and after that it was pure joking; except that i'm totally serious 20:02:46 AnMaster, you are under arrest for attempted murder of a joke. 20:03:52 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:03:52 haha 20:04:26 ......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 oklopol, fun, though maybe not fun if it is 24/7. 20:04:44 well 20:04:58 that depends on how you define infinity 20:05:13 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 iirc 10^aleph-0 is larger than aleph-0 20:05:22 (spelling?) 20:05:27 not proven 20:05:49 Deewiant, oh possible, I said iirc 20:06:10 * oklopol adds one to that and laughs in victory! 20:06:18 hahah 20:06:19 or hmm, maybe it is, I'm not sure actually 20:06:26 it might require the axiom of choice though 20:06:38 * Sgeo forgot to read Dudley's Dungeon 20:07:25 Deewiant, also aren't the set of natural numbers smaller than the set of all rational and irrational numbers (IIRC!!!!) 20:07:30 no 20:07:33 hm 20:07:35 rational is equal 20:07:37 to nats 20:07:39 -!- oerjan has joined. 20:07:51 oh was it irrational ones then that wasn't? 20:07:51 AnMaster: I think you should read a bit more Cantor ;-) 20:07:57 this is true for any numbers you can represent with finite tuples of natural numbers 20:08:09 Deewiant, very possible. I have learnt most from other books and or websites 20:08:22 does proving reals > nats require the AoC? 20:08:41 oklopol? 20:08:49 Deewiant: oerjan just joined. 20:08:56 oerjan? 20:08:57 all questions should be directed to him 20:08:59 regarding all 20:09:02 allness. 20:09:19 regarding math certainly 20:09:48 and yes, naturals ~~ rationals < reals 20:09:57 right 20:09:59 reals ~~ irrationals 20:10:04 evidently it does not 20:10:11 i doubt it does 20:10:21 I wasn't sure 20:10:24 evidently not 20:10:29 but i only have an intuitive view to this, really 20:10:44 also according to http://en.wikipedia.org/wiki/Aleph_number Aleph-one > Aleph-zero 20:11:00 proving that reals reasonably exist at all requires some piece of AoC 20:11:05 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:09 *eating 20:11:13 though I find it hard, or rather impossible, to understand how "infinite" can come in different sizes 20:11:17 but from there it's plain sailing 20:11:25 oerjan: hm, how's that 20:11:37 oerjan, what about 10^aleph-zero, is it larger than aleph-zero or is it equal? 20:11:49 larger 20:11:58 as I thought I read 20:12:09 it's equal to the reals 20:12:33 then what about 10^10^aleph-zero 20:12:40 larger still 20:12:43 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 Cantor's proof shows that 10^x, or 2^x > x for any cardinality without exception 20:13:23 (the diagonal one) 20:13:27 for all b > 1: b ^ An = A(n+1) ? 20:13:30 oerjan, hm 20:13:34 oklopol: no 20:13:45 assuming the CH, yes? 20:13:48 oerjan: cool 20:14:02 or did that only hold for n = 0 20:14:06 the _generalized_ continuum hypothesis says that for b = 2 20:14:06 er 20:14:16 and n = 0, or all n? 20:14:27 infinite n 20:14:31 so for all b >= 2: b ^ An = A(n+1) ? 20:14:32 er wait 20:14:35 ah yeah 20:14:38 generalized, for all n 20:14:38 A is aleph presumably 20:14:42 yes 20:14:44 so any n 20:14:46 it's not ackerman 20:14:46 n 20:15:01 CH is for n = 0, GCH is for all n 20:15:37 yep 20:15:45 oklopol: no! you could have b > A(n+1) so that's obviously false 20:16:20 b = 2, basically, but any finite b >= 2 should also work 20:16:36 -!- oklofok has joined. 20:16:46 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:13 oklofok, cheaters how? 20:17:59 hard to explain what i meant, ignore it. 20:18:11 k 20:18:14 was just trying to be a weird joke. 20:18:25 weird sure. 20:18:31 -!- Slereah_ has joined. 20:19:22 hi Slereah2 20:19:27 hey 20:19:35 you're not Slereah2! you're an imposter 20:19:44 * oklofok leaves suddenly 20:19:44 -!- Slereah2 has quit (Read error: 104 (Connection reset by peer)). 20:20:47 iirc there are lots of cardinalities such that x^(A_0) = x 20:22:09 oerjan, what about aleph-0 ^ aleph-0 20:22:11 :D 20:22:21 that's the reals too iirc 20:22:35 (reals = beth-1) 20:22:59 beth-0 = aleph-0, beth-(n+1) = 2^(beth-n), by definition 20:23:00 huh, that's just odd. since you said 10^10^aleph-0 > 10^aleph-0 and 10^aleph-0 = reals 20:23:17 but indeed intuition doesn't work for this stuff 20:23:34 recall that ^ is right associative 20:23:58 (that's the most useful convention) 20:24:15 ah... that explains it 20:24:42 huh, wonder why my graph calculator makes it *left associative* 20:25:08 makes no sense 20:25:19 it's not a very strong convention, since in real math it's done with superscripts 20:25:25 ah true 20:25:46 but haskell uses it, QED :D 20:25:59 oerjan, so... 10^A_0 == A_0 ^ A_0 and 10 < A_0 20:26:28 * AnMaster unloads his intuition module 20:27:47 possibly 2^x = A_0 ^ x for any infinite cardinality 20:28:23 um ok 20:29:28 ah here is one "intuitive" way of seeing it: 20:29:29 (for A_0 ^ A_0) 20:29:48 recall that any real number can be given as a continued fraction 20:29:56 yep 20:30:11 and at each step of a continued fraction you can choose an arbitrary natural number 20:30:27 so number of reals should be about A_0^A_0 20:30:45 mmm makes sense 20:31:19 now once you have this for x = A_0, larger x may follow with a bit of arithmetic 20:31:32 for x >= A_0, x = x * A_0 20:32:22 um right 20:32:23 2^x = 2^(x*A_0) = (2^A_0)^x 20:33:07 proves that they are all equal from 2 to 2^A_0 ~~ reals 20:33:11 right. The math makes sense if I ignore what A_0 actually stands for :P 20:33:27 oerjan, it is possible to find any given number hm? 20:33:31 what is the continued fraction for pi? :D 20:33:51 you can calculate it as long as you want but there is no known pattern 20:33:57 for e, there is a pattern 20:34:03 oh there is? 20:34:18 lemme google it 20:35:13 -!- Slereah_ has quit (Read error: 60 (Operation timed out)). 20:36:18 e = [2,1,2,1,1,4,1,1,6,...] http://mathworld.wolfram.com/e.html 20:36:53 e = 2+1/(1+1/(2+1/(... etc. 20:36:53 hm 20:36:57 ah 20:37:24 hah I just thought of a way to represent all digits of pi. Quite a lot of cheating but should work 20:37:31 :D 20:37:41 go for it 20:37:44 It is 1, in base pi 20:37:45 :D 20:38:05 you mean 10 20:38:12 owned :) 20:38:16 oerjan, yes, except the 0 key is sticky 20:38:17 :P 20:38:22 very strange 20:38:33 * AnMaster needs to clean the keyboard 20:38:42 r k and ä are also sticky 20:39:35 * oerjan didn't see AnMaster typing jla anywhere 20:39:47 oerjan, ?? 20:40:01 put some r k and in that ;) 20:40:01 why jla 20:40:23 jäklar? 20:40:29 haha 20:42:46 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:11 hm interesting 20:43:28 oerjan, is it known if pi is finite or infinite? 20:43:46 in digit count I mean 20:43:48 it is transcendental, which is stronger than irrational 20:43:56 as is e 20:44:40 not the solution to any polynomial equation with rationals 20:45:45 how was that proved? 20:47:01 I mean that pi and e are transcendental 20:47:14 complicated 20:47:30 ah well 20:48:25 http://en.wikipedia.org/wiki/Lindemann-Weierstrass_theorem 20:49:55 bye 20:50:00 -!- Mony has quit ("À vaincre sans péril on triomphe sans gloire..."). 20:50:05 oerjan, complicated indeed 20:50:20 too complicated at this time of the night. Yawn 20:50:45 (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 AnMaster: pi has infinite digits, yes 21:52:56 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:01:54 Sorry. 22:02:05 :D 22:05:28 actually my real dream is to it to some of those motorbikes that use to drive around the central city on weekends 22:05:32 *to do it 22:05:41 * oerjan swats his bad fingers 22:06:49 i mean, they are modified to _sound_ like flies, so should be treated like it 22:08:16 Well, my networking setup has become even *more* bizarre. 22:08:21 I've got 3 VLANs going. 22:08:33 * oerjan read that as networking soup 22:08:55 One is bridged to the Internet, one is routed into VPNs, and one is my personal LAN. 22:09:15 and this somehow seemed rational at the time? 22:09:22 It does. 22:09:42 Though half of it is an excuse to play with VLANs. 22:10:10 Which aren't that hard to set up in Linux, actually. 22:10:38 pikhq: Half of your face is an excuse to play with VLANs 22:10:40 ooooh burn 22:11:05 tusho: you burned? coffee too hot? hm, coffee... 22:15:06 * oerjan slurps loudly 22:16:12 oerjan: I do not have coffee right now 22:16:42 * oerjan does, although not top quality 22:17:58 i am considering coffee in the near future. 22:18:41 of course you're british, so maybe it was tea... 22:19:53 oerjan: not in prescence of tea either although i do like tea 22:20:00 i mean... tea is nice... 22:20:31 so it is 22:24:37 -!- jix has quit (Nick collision from services.). 22:24:47 -!- jix has joined. 22:25:18 mmm 22:25:22 oerjan: should i get some tea or coffee? 22:25:38 YES 22:26:30 oerjan: i hate languages that have || and && returning booleans 22:26:36 they should return one of their two arguments damnit 22:26:39 :D 22:26:53 * tusho switches oerjan to C 22:26:55 oerjan: should i get some tea or coffee? 22:27:07 3 22:28:42 since i don't have any tea (well, less than about 10 years old), you cannot have it either 22:28:54 oerjan: interestin 22:28:54 g 22:28:58 that's only fair 22:29:38 possibly 15 years 22:32:52 oerjan: do you prefer coffee or tea 22:33:29 i drink far more coffee 22:36:43 oerjan: not the question 22:36:49 darn 22:38:56 this coffee is not particularly good... 22:39:26 with good coffee, it's more even 22:40:12 also it depends how my stomach is feeling 22:42:09 i think i'll go for tea soon... quite tired and feel like being warmer 22:42:57 NOOOO! DAMN YOU! LETTING ME SIT HERE WITH MY AWFUL COFFEE 22:44:18 oerjan: let's put it this way 22:44:25 there's gonna be far worse coffee out there 22:44:29 also, you HAVE coffeee 22:44:31 *coffee 22:44:34 not that bad, surely 22:45:13 i think just hot water would have been an improvement :D 22:45:32 oerjan: ah. yes. likely. 22:45:36 oh 22:45:37 ha 22:45:38 (I misread) 22:45:44 oerjan: well... 22:45:48 it's coffee, isn't it? 22:45:56 i mean, sure there are different goodnesses 22:45:58 technically, yes 22:46:02 but it's not like coffee can be a terrible thing. 22:49:13 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 oerjan: that must be pretty bad coffee... 22:50:46 Nescafe Gold, actually 22:53:43 i keep it for emergencies. apparently this wasn't one. 22:53:55 http://news.bbc.co.uk/1/hi/4174519.stm 22:54:27 read it before, i think 23:19:41 oerjan: i have decided on tea! 23:19:44 i think. 23:20:06 whateve 23:20:16 see if i care 23:21:16 may the fleas of a thousand camels descend upon your nether regions 23:21:32 oerjan: i'll send you some tea D: 23:22:22 heh 23:22:31 -!- jix has quit ("CommandQ"). 23:52:35 -!- Slereah2 has quit (Read error: 113 (No route to host)).