00:32:16 -!- Arrogant has joined. 01:10:06 -!- ihope has joined. 01:10:28 Hmm. mIRC and expired at that. 01:12:52 What's the Church numeral 0 in Iota? 01:17:52 Heck: what are s and k in Iota? 01:18:43 Oh, heh. *i*i*i*ii and *i*i*ii. 01:27:07 Grr. What's the identity function in Iota? 01:28:01 Really? The I combinator? Hmm, that means *ii. 01:29:39 So the Church numeral for 0 in Iota is **i*i*ii*ii? 02:21:09 Ooh, this Unlambda abstraction stuff is cool. 02:31:59 But programs can get *very* long. 02:41:13 -!- ihope has quit. 03:03:02 -!- kipple has quit (Read error: 110 (Connection timed out)). 03:05:44 -!- cmeme has joined. 03:06:22 -!- wildhalcyon has joined. 03:06:32 * wildhalcyon hates his computer 03:07:29 * GregorR hates wildhalcyon's computer too. 03:08:00 Thank you for your hateful, hateful support Gregor XD 03:10:56 8-D 03:33:01 I gave a piece of music of mine to a friend who's in school getting a bachelor of music right now, and he told me that it was "good, for Gregor" 03:33:15 Probably the least helpful comment ever :-P 04:11:53 hmm, what kind of music? 04:17:13 -!- wildhalcyon has quit (Read error: 104 (Connection reset by peer)). 04:19:34 Bye all! 04:20:25 -!- Sgep has quit (Remote closed the connection). 04:49:27 -!- puzzlet_ has changed nick to puzzlet. 05:14:51 hm 05:24:55 Yay! 05:24:58 The Kill Yourself song! 05:30:48 eh? 05:31:33 http://www.codu.org/Kill_Yourself.ogg 05:31:53 (Mind the singing voice, it's under construction ;) ... no, I am not holding my nose, my voice is /that/ terrible) 05:39:29 waiting for codu.org... 05:42:22 * Robdgreat ponders an esoteric section for his website 06:35:20 -!- nooga has joined. 06:35:24 hi 06:36:39 wb 06:36:44 sup nogga 06:36:46 er 06:36:50 sup nooga 06:37:02 :) 06:37:07 n 06:37:12 hi Robdgreat 06:37:44 oh yeah I was supposed to try again to figure out SADOL 06:38:22 :D 06:38:29 and? 06:39:01 and I forgot 06:39:04 hehe 06:39:08 :)) 06:39:09 I need to write a language 06:39:14 I must be the only one here who hasn't 06:39:21 who actually does any talking 06:39:50 well 06:40:08 SADOL was created when i was taking bath 06:40:38 oh? 06:40:49 when i was on holiday in my grandma's house 06:41:04 (no computers there) 06:41:09 -!- Arrogant has quit (" HydraIRC -> http://www.hydrairc.com <- The future of IRC"). 06:41:13 my head asplode 06:41:38 ? 06:42:34 i just tried to say that the best ideas are made when you away from your computer 06:42:35 it's from a Strong Bad game. you shoot the figure's head and if you miss it bounces back at you and says "YOUR HEAD ASPLODE" 06:42:52 no I got what you meant 06:42:53 hehe 06:42:58 I was referring to the language itself 06:43:29 ah 06:46:03 hehe 06:46:09 i've got funny log 06:47:04 http://nooga.int.pl/sadol/ 06:47:04 I think that's how perl was invented. 06:47:12 :))) 06:48:08 PERL IS EVIL 06:48:25 i luke it 06:48:28 like* 06:48:44 how can you possibly like that tool of the devil? 06:49:24 hehe 06:49:28 mostly teasing 06:49:34 * Robdgreat ponders. 06:49:47 I think a site called "The Padded Cell" is well-suited to esoterica 06:49:59 huh 06:50:06 my website. 06:50:06 it's not evil 06:50:29 I know. I was joking 06:50:36 I just can't use it to save my life 06:50:38 it's nice, however not as nice as ruby :DDDDDD 06:50:45 I have yet to try ruby 06:51:42 http://p206.ezboard.com/bthepaddedcell71381 << this padded cell? 06:52:34 no 06:52:38 www.thepaddedcell.org 06:52:53 I'm about to create esoteric.thepaddedcell.org 06:52:56 or something similar 06:53:10 esolang? 06:53:25 esoteric 06:53:30 cool 06:55:10 hehe 06:55:14 i like that page 06:55:17 thanks 06:55:20 my host is being slow 06:56:11 but as a webdesigner i tell you: layout is not too nice 06:56:21 how so? 06:56:36 not too bad 06:56:51 but it can always be better :) 06:56:57 so can anything 06:57:04 offer some suggestions 06:58:53 Don't you wish that actually worked? :) 06:59:15 hm 06:59:35 I definitely need to write a music-based language. 06:59:38 if you don't mind i can write a suggestion in xhtml and css :)) 06:59:55 Making it esoteric enough already ;) 07:00:26 well I've been meaning to migrate to xhtml 07:00:38 never bothered familiarizing myself with it until recently 07:00:57 but that's a separate issue from my layout 07:01:05 I can make the exact same site in xhtml 07:02:13 yea i know 07:02:18 heh 07:02:21 got to go 07:02:24 school waits 07:02:28 bye 07:02:33 -!- nooga has quit ("Leaving"). 07:04:12 that was helpful 07:04:24 GregorR, I was thinking of a music-based language the other day 07:04:40 well, not sure what you mean exactly, I was thinking of a tonal language 07:05:10 The problem is, I would like to make a music-based language where I could actually write a proper composition and feed it in, but the concept of programming lends itself to very, well ... bad music XD 07:05:30 I would probably feed it a .midi, not a .ogg/.mp3/.wav, so it would be music-based, not tone-based. 07:10:19 yah 07:19:00 seems you should make a GOOD interpreter to implement an OGG/MP3 music source code which sounds good enough 07:19:28 hah 07:19:31 you're out of your mind 07:19:33 XD 07:19:42 i think MIDI is an easy choice 07:19:50 Yes. 07:21:25 A "cop-out" if you will? :) 07:23:21 in detail, there could be several ways of music source code 07:23:54 first one is the way of beatnik(i'm not sure about spelling) 07:24:20 each musical scale would be an instruction 07:24:33 http://esoteric.thepaddedcell.org 07:24:45 heh 07:24:52 but this will make a BAD music 07:25:24 well not really... it's up to the composer 07:26:31 or as we once mentioned, pattern-based way like Udage or Glypho could work 07:26:36 If each instruction is a tone, you would have to either A) have lots of nops and make very atonal music or B) make terrible music :) 07:26:53 And pattern-based ones don't take length into account at all, which I'd like to. 07:27:06 ooh 07:27:14 hadn't considered that angle 07:28:02 could you achieve multithreading via polyphony? 07:28:05 muhuhahah 07:28:30 chord is kinda problem when i try to implement udage music 07:29:02 i want there some chords in music, but don't know how to interpret them 07:29:35 ok how are you implementing this? 07:29:42 Right now ... I'm not 8-D 07:29:55 well, I meant Gs30ng_, in theory 07:30:09 -!- Gs30ng_ has changed nick to Gs30ng. 07:30:19 i.e. how are you imagining this being implemented 07:30:39 would you be using actual recording, or midi? 07:30:50 probably midi 07:31:07 ok. you could conceivably work off of the root note of a chord 07:31:11 Actually, chords are even difficult with midi, if it was recorded rather than created in software :-P 07:31:23 :-P 07:31:31 SILENCE 07:31:42 * Robdgreat holds up his hands dramatically. 07:31:43 Or one could interpret what the chord actually is (CM, Cm, C7, Caug5, etc) and work with that 07:31:54 yeah 07:32:14 That would be the guitarist's solution :P 07:32:23 Whereas the pianist would tell you to interpret every note ;) 07:32:28 right 07:32:40 what i have to do is checking 2 arbitrary notes and check them same or different 07:32:53 since that's the way how udage works now 07:33:02 Umm, with a midi, that's mind-bogglingly simple. 07:33:11 a.val1 == b.val1 07:33:33 my english is going insane 07:33:37 Heheh 07:34:09 oh if only I spoke Korean 07:34:30 nonono 07:34:34 Korean is EVIL 07:34:38 :] 07:34:43 it's like... 07:34:44 like Perl? 07:34:51 yeap 07:34:56 oh dear lord 07:35:01 natural language version of perl. 07:35:16 ridiculously complex 07:35:47 only nooga will be the one here who can speak more complex language 07:36:24 nooga is misguided 07:36:59 i heard that Polish is more complicated than Korean 07:37:12 well Korean is, even like the concept of perl 07:37:19 There is more that one way... blah blah 07:37:46 NOOOOOOOOOOOOOOOOOOOOOOOOOO 07:37:49 * GregorR sobs. 07:38:18 you've got million ways to say something and they are all delicately different 07:38:51 you should learn them all 07:39:01 to understand Korean 07:39:28 and, oh well, it's like Udage 07:39:31 I'll stick with English and Spanish 07:39:37 A can mean various things 07:39:45 it's up to what comes before A or after A 07:40:17 Robdgreat: By the way, did you notice your freudian typo of devisland.net? 07:40:32 typo? 07:40:40 no, I typed penisland.net on purpose 07:40:49 because it's a funny name 07:41:02 By the way, penisland.net actually = pen island.net, worst domain fo-pa [sic] ever XD 07:41:10 yes 07:41:14 I know this. 07:41:16 Even worse than www.GoTahoe.com = www.GotAHoe.com 07:41:28 it's a big joke 07:41:36 I mean 07:41:44 the site isn't a big joke 07:42:00 the fact that they named their site that is 07:42:05 that reminds me long ago, a friend of mine scribbled on my notebook which contains assignment 07:42:11 Ahahaha, I see, they don't actually have anything XD 07:42:16 well it was english class 07:42:26 there was a sentence like... 07:42:34 He was a tennis player. 07:42:52 a friend of mine scribbled on it and tennis became pennis 07:43:23 i didn't aware of it until i gave it my teacher 07:43:50 Play incompetent! 07:43:54 PLAAAAAAAAAAAAAY INCOMPETENT! 07:44:13 Though if you know the word "incompetent", you may be unable to ; 07:44:15 *;) 07:51:14 there. a nice graphic for my placeholder page 07:54:27 AHAHAHAHAHAHAHAHAHAHHAAHHAH 07:55:16 :) 07:55:44 I'd like to think that's a popular image concept 07:55:57 but google images didn't really turn up anything so I had to make my own 07:56:18 <3 photoshop 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:38 but it's 2am so I guess I should get to bed 08:01:40 night night 08:01:49 -!- Robdgreat has changed nick to Robdgre[a]t. 10:22:47 -!- kipple has joined. 13:07:44 -!- jix has joined. 13:26:45 -!- Gs30ng has quit (Read error: 110 (Connection timed out)). 14:35:49 -!- nooga_ has joined. 14:37:07 hillo 14:44:05 hallo 14:50:11 kipple: hallo is german 14:52:44 it's norwegian too 14:52:54 don't know about hillo 15:09:13 -!- J|x has joined. 15:16:55 -!- Keymaker has joined. 15:17:16 kipple: here 'hillo' means 'jam' 15:17:35 anyways, gotta go :) just came to say that.. 15:17:37 -!- Keymaker has quit (Client Quit). 15:27:57 -!- jix has quit (Read error: 110 (Connection timed out)). 15:33:04 kipple 15:33:11 say something in norwegian? 16:05:42 ha 16:05:47 -!- nooga_ has changed nick to nooga. 16:12:16 noe på norsk 16:21:48 -!- Gs30ng has joined. 16:21:58 Grouped 16:31:36 hehe 16:31:44 kipple: nie wiem co powiedziales heh :) 16:48:11 spicht hier jetzt jeder in seiner muttersprache? 16:48:15 -!- J|x has changed nick to jix. 16:52:04 naa ja 17:05:51 hehe 17:06:00 trying to write a quine in sadol 17:06:06 i don't even know how to start 17:06:12 i'm so stooopid 17:06:22 and i must learn spanish -.-'''' 17:06:25 ]ha 17:06:27 i hate spanish 17:45:11 -!- nooga has quit. 18:55:29 Ã¥ 18:55:31 8-D 18:55:36 I can write all the funky characters 8-D 19:01:54 -!- wildhalcyon has joined. 19:58:11 -!- Sgep has joined. 20:01:37 moin wildhalcyon, Sgep 20:01:44 hi 20:01:48 thanks Jix 20:01:50 How you doin btw? 20:02:05 hm... 20:02:07 ;) 20:02:14 that's a difficult question 20:02:31 oops... guys appear when i decided to sleep 20:02:42 Gs30ng: bad decision then 20:03:05 Right... 20:03:15 well it's 4 o'clock in the morning here 20:03:38 its 7pm here 20:03:41 i don't want to sleep but i should 20:03:45 wait 20:03:47 no ^^ 20:03:51 9pm 20:03:57 d'oh 20:26:02 -!- Gs30ng has quit (Read error: 110 (Connection timed out)). 21:31:52 -!- jix has left (?). 21:39:59 -!- wildhalcyon has quit (Read error: 104 (Connection reset by peer)). 21:40:42 -!- wildhalcyon has joined. 22:30:08 -!- GregorR-L has joined.