2006-06-01: 00:00:56 -!- GregorR-W has quit ("And then, Gregor went home."). 00:09:31 -!- bsmntbombdood has joined. 00:16:43 * SimonRC goes to bed. 00:37:35 Does anybody actually know what Jesus looked like? 00:37:46 yes 00:38:09 How? 00:38:36 like a pumpkin with leathery wings 00:39:02 ... 00:39:29 * ihope pretends lament never said anything 00:39:51 If not, it's pretty ironic how pictures of him are so easily recognized as pictures of him. 00:41:11 Q: "Where do Russian hackers live?" 00:41:18 A: "Cyberia." 00:41:23 :-D :-D :-D 00:41:34 * SimonRC goes back to bed. 00:41:40 -!- NoneGiven has quit (Read error: 110 (Connection timed out)). 00:43:58 ihope: don't discount my information so easily 00:44:04 ihope: trust me, i know what i'm talking about 00:44:11 watevr 01:12:40 * ihope says 01:16:47 -!- NoneGiven has joined. 01:18:06 Pictures of him are easily recognized as pictures of him because they invented what he looked like in the middle ages and have stuck with that invented image since. 01:18:45 Ah. 01:32:26 weird 01:44:56 -!- ihope has quit ("...do this"). 02:20:21 ? 02:21:13 weird how an image of jesus would be invented 02:37:12 They didn't make a lot of portraits of government dissidents in ancient Rome. 02:38:16 *the ancient Roman empire (outside of Rome proper) 02:53:18 I don't know if I would say "invented" is the right term - most of the paintings of jesus that we have are patterned after a 15th century prince. His name escapes me at the moment... 02:54:58 as far as ihope's question earlier: some people still debate that jesus even existed, let alone what the historical jesus might have looked like. 04:33:28 -!- bsmntbombdood has quit ("all your basment are belong to bsmntbombdood"). 04:36:41 -!- bsmntbombdood_ has joined. 04:36:45 -!- bsmntbombdood_ has quit (Read error: 104 (Connection reset by peer)). 04:37:44 -!- bsmntbombdood has joined. 05:38:45 -!- wildhalcyon has quit ("Chatzilla 0.9.73 [Firefox 1.5.0.3/2006042618]"). 05:41:57 -!- calamari has joined. 05:55:31 jesus certainly existed. And certainly looked like a winged pumpkin. 05:58:09 -!- calamari has quit ("Leaving"). 06:06:33 lement: what does a winged pumkin look like? 06:16:25 like a frigging pumpkin with wings. 06:32:40 -!- bsmntbombdood has quit ("all your basment are belong to bsmntbombdood"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:34:32 -!- calamari has joined. 09:35:01 -!- calamari has quit (Client Quit). 11:01:16 -!- jix has joined. 13:12:04 pos(X):-pos(Y),succ(X,Y) <-- Horn Clause :-D <-- Smiley 13:12:21 ooh, I have a better joke actually 13:13:32 :-p(X,Y),inv(Y,X) <-- smiley speaking PROLOG 13:15:49 * SimonRC wonders if that is actually a valid PROLOG clause. 13:27:30 * SimonRC goes 15:55:06 -!- sekhmet has quit ("blah"). 15:58:31 -!- sekhmet has joined. 16:03:22 -!- nooga has joined. 16:35:29 -!- ihope has joined. 16:35:51 They say ::= "(" ")" | epsilon. 16:36:34 I say ::= "(" | epsilon, and ::= "(" | ")". 16:37:17 So a set of parentheses is pretty much a list of trees of nothing in particular. 16:45:07 -!- tgwizard has joined. 16:46:17 who's spanish 16:46:18 ? 16:48:15 I know a bit of Spanish. 16:48:37 heh, i need to describe my day in preterito indefinido 16:48:55 (homework) ;p 16:49:13 but the problem is that I don't know Spanish 16:59:04 heh :| 16:59:33 i don't think using babelfish is a good idea 16:59:56 bbl 17:01:33 why are you getting spanish homework if you don't know spanish? 17:02:17 nvm 17:23:46 -!- nooga has quit (Read error: 110 (Connection timed out)). 17:48:34 -!- kipple has joined. 17:48:44 hi (2) 18:38:09 -!- tgwizard has quit (Remote closed the connection). 18:42:15 -!- tgwizard has joined. 19:10:35 -!- nooga has joined. 19:10:44 so 19:11:12 could some Spanish enabled guy help me with my homework? pleeeease? 19:13:46 hasta la vista 19:14:29 erm 19:14:47 no, mi dio en preterito indefinido ;p 19:14:53 whatever 19:25:27 -!- bsmntbombdood has joined. 19:25:36 hi 19:26:33 hi 19:27:43 Spanish Spanish aaaa ;/ 19:28:14 -!- ihope has quit (Read error: 110 (Connection timed out)). 19:33:15 rotfl 19:33:41 I write in english, babelfisgh translates to Apanish and I'm trying to correct it 19:33:45 Spanish* 19:37:46 sad 19:37:56 that's true 19:38:05 but i'm too lazy to master another language 19:51:30 then why are you trying to learn it? 19:54:07 i must ;p 19:54:12 i mean 19:54:19 i've got Spanish in my school 19:54:42 i just want to pass and forget... 19:54:48 very sad 19:54:56 some spanish girls are hot 19:55:02 not that many 19:57:26 well, i'd rather learn Portuguese for that :) 19:57:36 but still, don't discount the spanish girls 19:58:20 where i go to school all the spanish girls are ugly 20:20:59 ha ha 20:32:21 # A SAILer wrote in C, C, C # # To see what he could see, see, see. # ... 20:32:23 :-) 20:32:41 SAIL, being the Stanford AI Lab 20:32:55 where, ironically, LISP would have been the main lang 20:34:17 lisp makes my head hurt 20:35:13 haha 20:35:17 lisp is cool 20:35:32 when i talk i even use cons and cdr 20:36:00 lisp makes my eyes go all hazy 20:36:01 "Could you cons that papers up for me please?" ;d 20:36:48 I prefer Haskell. 20:37:15 haskell is cool 20:37:19 I have used the same method for learning several things about Haskell: 20:37:26 it's nice, although i'm too lazy to master it ;p 20:38:06 Take concept in left hand, mallet in right hand, attempt to pound concept into brain repeatedly, for 12 hours split across several days. 20:38:57 I learnt monads, state monads, continuations, the type of continuation-using functions, and a few other things that way. 20:39:46 i just started learning haskell 20:40:05 the lazy evaluation thing is weird 20:41:41 useful though... 20:42:15 say you want to turn a list of nodes with cross-references into a graph of data... 20:42:44 you can use lazy eval to look up data before you have read it in :-) 20:44:32 see "Tying the knot" in the haskell wiki 20:45:07 So, in a few weeks I'm going on a vacation to Britain. Who's in Britain here? 20:48:46 me 20:51:49 yay 20:51:55 i'm quite near 20:52:00 only in Poland 20:52:09 heh 20:52:33 oh come on, that's almost nothing 20:54:02 lol 20:54:10 SimonRC: What city? 20:55:08 "...and when the band you're in starts playing different songs, i'll meet you on the dark side of the moon..." 20:55:21 ah ah ah "brain damage" that's it 20:56:17 * kipple slaps nooga for misquoting pink floyd 20:56:25 yikes 20:56:30 GregorR: depends when you are here 20:56:43 diferent tunes 20:57:03 excuse me T.T... what a shame 20:57:05 And if the band you're in starts playing different tunes 20:57:06 I'll see you on the dark side of the moon 20:57:19 what a shame 20:57:21 what a shame 20:57:22 :) 20:58:10 guess who's got tickets to Roger Waters performing the Dark Side of the Moon live.... :D 20:58:18 hey, if my motorbike got fixed in this month i could transport myself to London 20:58:26 kipple: curse you aaaah 20:58:44 * kipple decurses himself 20:58:56 damn 20:59:01 GregorR: I will be in Durham, or later in Faversham (Kent) 20:59:29 bsmntbombdood: oh, BTW, have you read "Why Functional Programming Matters"? 20:59:38 no 21:00:53 i've taken a photo 21:01:09 of what? 21:01:50 bsmntbombdood: you should 21:01:53 ok 21:01:59 bsmntbombdood: it should why laziness is very good 21:02:05 nothing special 21:02:29 http://www.digart.pl/pokaz.lista.php?userid=nooga < that's my little portfoolio ;| 21:03:00 * GregorR reappears. 21:03:01 oh, kipple, you mean that performance at Roskilde? 21:03:09 Nope, I won't be seeing you :p 21:03:59 no, not that one. This one is in Stavanger in Norway, but it's the same deal 21:04:35 how much for tickets? 21:04:52 520 NOK 21:05:16 about 67€ 21:05:25 http://www.pinkfloydz.com/roger2006/index26june.htm << "Ticket scan thanks to Rune"?? o.O 21:05:27 (not cheap!) 21:05:46 ha, that's not me :) 21:05:51 bah 21:06:33 those photos were not bad btw. (not that I'm an expert or anything) 21:06:49 me either 21:07:45 which is the best? 21:08:30 good question 21:08:51 I like the one with the trabant. Trabants are cool :) 21:08:59 sure 21:09:10 they're rare even here 21:09:24 they don't last too long, do they? 21:09:39 and parking in front of that ugly blocks was empty 21:09:55 so that it looks like taken live from 70' 21:11:03 althought the trabant has new number plate 21:11:25 -!- ihope has joined. 21:11:40 ¡Mucho pelaje! 21:13:25 Well, I'm playing one of my first games of ADOM. 21:13:57 No spoilers for me, unless I... well. 21:13:58 And I'm playing guitar ;p 21:14:15 One of your first games of guitar? 21:14:23 no 21:14:36 "Time" 21:16:29 Y64 2n6w, hate the fact that AD 352es n40ber *ads, b4t s5nce '0 4s5ng a 3a*t6*, have t6 *4t n40ber 36c2 6n, and that w6n2s th5ngs 4*. 21:17:30 * ihope tries to figure out what he just said 21:18:18 "You know, I hate the fact that ADOM likes number pads, but since I'm using a laptop, I have to put number lock on, and that wonks things up." 21:18:19 * kipple suggests ihope turn off the numlock on his laptop 21:18:55 http://www.digart.pl/data/img/42/23/download/353020.jpg 21:18:59 this one is nice 21:19:13 That what is nice? 21:19:24 (i'm so modest) 21:19:33 -!- fuse has joined. 21:21:06 it is nice :) 21:21:08 i think that is much like Battersea on PF's cover 21:21:14 h, maybe not much 21:21:24 but it makes a strange feeling 21:21:37 this big tank 21:21:47 it lacks a flying pig ;) 21:22:08 hehe, no problem - we've got computers ;d 21:22:35 a flying computer? that could be good too :P 21:22:44 sure ;d 21:23:26 gosh, g2g - I must wake up early... 21:23:45 -!- fuse has left (?). 21:23:50 bye 21:23:57 bye 21:24:00 -!- nooga has quit ("oho ho ohoh"). 21:32:57 Oops. 21:34:17 Ah well. 1432 isn't a terrible ADOM score, is it? 21:34:21 Then again, it probably it. 21:34:23 s/it/is 21:35:36 ihope: bah! Use hykulnjb! 21:36:41 SimonRC: I'll try :-P 21:37:48 MON MNW MOW MSW MOS MSE MOE MNE WAT <- movement commands? 21:38:51 * ihope changes all the movement commands to vi keys, then changes the things that were vi keys to more NetHacky keys 21:40:38 * ihope wonders if ADOM warns of key conflicts 21:41:00 * ihope wonders why online help is called online help if it's often not online 21:43:13 * bsmntbombdood is away: I'm busy 21:44:48 ...Apparently my keyboard settings were reverted or something. 21:46:24 Ah, here we go! 21:47:36 ... 21:48:44 your keyboard settings were perverted. 21:49:23 WAT doesn't sound like a movement command, though. 21:49:38 Isn't "wait" a movement command? :-P 21:49:57 And... they were what? 21:51:14 * ihope hates how ADOM just flashes a window subliminally whenever he tries to open it 21:51:30 No "press enter to continue" stuff or anything like that! 22:12:03 Ooh, sed! 22:12:46 * ihope pipes NetHack through sed 22:13:59 * ihope thinks Windows doesn't like that 22:16:43 * ihope pipes sed through sed 22:16:59 :-S 22:17:45 I noticed recently, that, on my home machine, the menu Games/Adventure contains nothing but 5 different interfaces to nethack :-) 22:17:48 heh 22:18:06 Is telnet nethack.alt.org one of them? 22:18:43 SimonRC: pretty impressive, considering it's not even an adventure game. 22:36:19 ihope: no 22:36:24 lament: hmm 22:36:31 yikes! http://c2.com/cgi/wiki?ThreePointersInOneWordAndOneBit 22:36:53 * SimonRC goes 22:36:55 One word = 32 bits? 22:37:23 Or 8, or 2, or 128... 22:49:04 Yay, I can use sed! 22:53:10 UTO (whatever that is) is u... 22:53:35 Oh kay. 22:54:01 The default ADOM command for UTO is 'u'. 22:54:08 I don't know what UTO is, though. 22:54:17 up to other! 22:54:25 up top 22:54:59 HDL is h, KCK is k, EXE is l, and BAP is n. 22:56:40 That means u = use, h = handle, k = kick, l = examine, and n = name. 22:56:48 * ihope reassigns 22:57:55 -!- tgwizard has quit ("Leaving"). 22:58:03 Hmm, maybe use could be e or E for employ? 22:58:28 Hmm. e = eat and E = clean ears. 22:58:49 I can change E into 's' or 'S' for "swab" :-) 22:59:22 What the helk. 22:59:25 Then again, I'd better not. 22:59:41 Maybe 'q' or 'Q' for Q-tips. 23:00:19 ...Yep, looks like Q isn't used. 23:01:23 Then use goes to E. 23:02:07 Then, finally, northeast goes to u. 23:03:40 'g', 'm', 'G', or 'M' would be the new h. 23:04:51 Looks like it's 'G'. 23:05:34 South is j. 23:06:15 Oh, and east is h. 23:08:03 Gasp, control+d is taken. 23:09:39 Well, kick can be 'c' or 'C', for obvious reasons. 23:13:01 Then EXE = f. 23:14:35 MSW = b. 23:17:22 -!- kipple has quit (Read error: 110 (Connection timed out)). 23:19:03 * ihope looks for a suitable place for the "name" command 23:19:29 the "have sex" command would be so easy to remap to nearly any letter 23:20:05 ...And it seems N is not yet taken! 23:21:02 And so the ADOM vi key thingy is finished. 23:21:16 Save it three times, because three is a nice number... 23:21:34 Then we hope it works! 23:21:48 Yay, it doesn't. 23:22:22 ...Oops. 23:23:38 * ihope tries creating a batch file that runs ADOM over and over again 23:24:45 ...It worked that time. How weird. 23:26:13 And only because it reset the keyboard thingy again. 23:27:48 Oh. The very act of opening the file and saving it is corrupting it. 23:29:49 * bsmntbombdood thinks ihope is rambling 23:29:57 * ihope is 23:32:07 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 23:48:40 -!- Arrogant has joined. 23:55:23 ihope: I suspect that such a keymap already exist somewhere anyway 23:55:35 Yep, it does. 23:55:45 ihope: maybe th corruption is due to a UNIX/DOS lineend conflict 23:55:56 That's what I was thinking. 23:55:58 * ihope tries Notepad 23:56:10 should the file end in a blank line? does it? 23:56:16 ihope: nooooo! 23:56:29 ...What? 23:56:31 ihope: PFE is the only true Windows editor 23:56:40 apart from ports of E_MAX 23:56:42 What's PFE? 23:56:51 Programmer's File Editor 23:56:55 Ah. 23:57:06 So are you an emacs-er? 23:57:12 it has a little thing you can double-clicl to switch between UNIX and DOS lineends 23:57:37 * SimonRC uses vi for sysadminning, emacs for programming, and PFE when on windows 23:57:57 Whut the... 23:58:04 SciTE for Windows, really. 23:58:23 * ihope scratches his head 23:58:25 ihope: what is wrong with that? 23:58:35 vi is so nice and quick on my P2 23:58:46 It was the fact that ADOM didn't work even after I redid the config files. 23:58:54 hmm 23:59:10 * ihope creates them again 23:59:18 try to get a good example, then file a bug report 23:59:32 use diff if you have it to hand 23:59:49 I believe newer MS OSes have a file-comparing utility too 2006-06-02: 00:00:14 * ihope scratches his head at the fact that the old high score list somehow ended up in the new folder 00:01:12 Oh, it didn't. 00:02:04 Now, is it just me, or did Notepad work? 00:04:00 I think it worked! 00:04:17 Yeah, it did! 00:04:24 * ihope does a little dance 00:42:32 * SimonRC goes 00:43:12 Note to self: don't eat kobolds. 01:20:51 Oops! 01:22:58 Argh. 01:23:58 Argh. 01:24:06 Argh! 01:24:37 Argh... 01:27:23 ...Argh? 01:30:12 ARGH! 01:33:20 -!- Arrogant has quit ("Leaving"). 02:05:50 Well, I don't get this two-pointers-in-one-word stuff. 02:10:31 It's a really lame hack. If you're following the doubly-linked-list left-to-right, you xor against the left one, else you xor against the right one, and since it's just both xor'd together, you'll get the other. 02:12:19 Ah. 02:20:37 So you can do weird things by, say, pretending you came to element 56 from element 12? 02:21:29 If element 12 holds a pointer to element 13... 02:21:50 ...you'll end up at element 53? 02:21:57 Uh, wait. 02:22:41 If element 56 contains a pointer to element 57, you'll still end up at element 53, I guess. 02:24:07 Um, you'll probably end up at element corrupted-address. 02:25:01 Whatever. 02:26:06 Oh, right! 02:26:37 Element 56 would contain 14 as a pointer. 02:27:22 12 -> 56 -> 2? 02:30:24 * GregorR has no idea what you're talking about :P 02:30:28 2 would contain the pointer 2, so from element 2 you end up at element 58, I think. 02:31:29 58 also contains the 2-pointer, plopping you at element 0. 02:32:21 Nobody knows what pointer element 0 contains... 02:33:20 Well, it's -1 xor 1, but there's no obvious way to xor negative numbers, is there? 02:34:11 ...wait, why is 56's pointer 14? 02:35:47 Hmm. 02:35:56 Lambdabot gives the pointer list as [2,2,6,6,2,2,14,14,2,2,6,6,2,2,30,30,2,2,6,6,2,2,14,14,2,2,6,6,2,2,62,62,2,2,... 02:37:01 By the way, this is assuming element 0 is at location 0, element 1 is at location 1, etc. 02:37:23 Actually, this makes pointers pointless (so to speak|no pun intended), but... oh well. 02:42:26 Oh, I see your assumption. 02:42:30 OK, now it all comes together :P 02:42:36 But yeah, that makes pointers pointeless ;) 02:48:42 More-or-less useless application of that pointer thing: xor a pointer to something with a pointer to said pointer. 02:50:31 Then again, *this* application of that pointer thing is useless, so... yeah. 02:53:11 -!- ihope has quit ("¡Adiós!"). 03:25:52 -!- Arrogant has joined. 04:08:56 -!- coder_ has joined. 04:33:11 -!- coder_ has quit ("Leaving"). 04:40:00 So. What's up in the world of #esoteric 05:04:05 Nothing at all! That's what I thought. 05:44:57 brainfuck is cool 05:46:01 yes 05:46:06 not the coolest though. 05:46:23 what is the coolest 05:46:26 I 05:48:50 I don't think so lament 05:49:40 no? 05:49:42 i do 05:53:02 Rack is pretty cool imo 05:56:27 never heard of it, and google doesn't come up with anything 06:02:12 bsmntbombdood: anyway, describe your coolness metric 06:02:23 I just made Rack. 06:02:26 Like. 06:02:27 This week. 06:02:30 IT IS NEAT. 06:02:37 I promise. 06:03:01 It is certainly better than Glass 06:03:04 ;) 06:04:57 http://paragon.pastebin.com/752844 <- object orientation in Rack 06:19:51 so yes bsmntbombdood, are you new to esoteric languages? 06:22:25 Arrogant: yeah 06:28:13 What all have you seen? Just Brainfuck? 06:31:42 that, and Weird 06:34:17 Definitely check out the Wiki: http://esolangs.org/wiki/ 06:36:06 malbolge is pretty crazy 06:37:06 Yeah 06:37:08 Agreed 06:37:18 GregorR will throw around Glass a lot in here so you might as well look at that too 06:37:34 I haven't gotten around to creating a wiki page for my languages 06:37:38 Mostly because I'm not done with them 06:37:41 I'm obsessed with Glass "for some reason" 06:37:52 I have no idea why :) 06:38:36 You the guy who invented it? 06:39:04 Glass is an esoteric programming language developed by Gregor Richards in 2005. 06:41:05 yeah 06:42:50 Nope no idea 06:44:09 !glass {F[f(_a)A!(_o)O!(_t)$(_n)1=,(_isle)(_n)*<2>(_a)(le).?=/(_isle)<1>^\(_n)*<1>(_a)s.?(_t)f.?(_n)*<2>(_a)s.?(_t)f.?(_a)a.?]}{M[m(_a)A!(_f)F!(_o)O!(_n)<1>=(_nlm)<1>=/(_nlm)(_n)*(_f)f.?(_o)(on).?" "(_o)o.?(_n)(_n)*<1>(_a)a.?=(_nlm)(_n)*<20>(_a)(le).?=\]} 06:44:13 1 1 2 3 5 8 13 21 34 55 89 144 233 377 610 987 1597 2584 4181 6765 06:44:18 Okay so 20 items. 06:44:21 I'll make mine do that. 06:45:48 I'll even use variables. 07:26:34 lol 07:26:41 THAT'S IT, IT'S WAR! 07:26:42 Done. 07:28:49 Sometimes I marvel at my own genius 07:29:09 Then I sit there for hours, wishing I could be like me. 07:29:46 Fibonacci in Rack, using variables 07:29:47 http://paragon.pastebin.com/752930 07:29:58 Well, not really. 07:30:16 Abusing the scope operators so that they might as well be variables. 07:32:24 Of course, yours has lots of Kirby' 07:32:26 Kirby's 07:35:09 I'm not sure why I've put comments at the simplest parts and not on the complex parts. 07:36:10 I should make a command for causing the current scope to become another scope. 07:45:35 Okay, now there's a sort of "pointer dereference" operator. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:02:34 -!- Arrogant has quit ("Leaving"). 08:11:03 -!- bsmntbombdood has quit ("all your basment are belong to bsmntbombdood"). 12:02:29 http://edinburgh.cowparade.com/ 12:02:30 ug 12:04:39 Another way of looking at the XOR-pointers trick is to add them instead of XORing. 12:05:02 If your adresses are nice, then it should work. 12:37:05 * SimonRC goes to eat breakfast 13:21:28 hehehe: http://community.livejournal.com/scans_daily/1951273.html 14:28:11 -!- nooga has joined. 14:28:16 hi 14:29:07 hi 14:29:40 it's amazing whgat you learn about yourself sometimes... 14:29:44 yes 14:30:49 I've just learnt that i've got 4 from Spanish 14:30:56 For example, today I learnt that I had a minor sexual fetish from some youngish age until, erm, about 17 (a couple of years ago). 14:31:11 I mean, I didn't even know there was a name for it, but there is... 14:31:33 * SimonRC finds the Wikipedia page... 14:31:44 http://en.wikipedia.org/wiki/Vore 14:31:47 I think that is it 14:32:11 weird 14:32:25 * SimonRC hides with embarrasment 14:33:01 oh 14:33:21 sorry, i felt need to tell someone 14:33:32 goodness knows why 14:33:55 that's okay 14:35:07 Fortunately for me, AFAICT I seem to have worn it our / grown out of it. 14:35:20 * SimonRC feels worryingly like he is being comforted. 14:36:10 well 14:39:59 idk what to say ;d 14:40:41 I'd ignore it. 14:40:44 Though... 14:41:01 It is ultimately what lead to my conworld. 14:41:47 hmm 14:46:23 * SimonRC goes 14:46:24 hehe my conworld must be werid 14:46:41 SimonRC: c u 14:47:22 (nooga: that totally gave the wrong impression, believe me.) 14:47:25 * SimonRC goes 14:49:27 ahm 15:35:11 -!- jix has joined. 15:47:12 -!- kipple has joined. 15:50:37 -!- fizzie has joined. 15:53:38 anyone know QuickSort? 15:58:42 -!- nooga has quit. 16:00:58 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 16:02:59 -!- jix has joined. 16:38:40 -!- ihope has joined. 16:39:54 My current ADOM strategy: if you can't kill it, switch to coward mode, find a distant room, and run around in circles. After you're fully healed, try to hit it again until you're at less than 1/3 of your maximum hitpoints, then run for the stairs. 16:44:27 Whoop, time to run! 16:45:02 Woot, I got out safely. 16:45:54 And suddenly I'm tired... 16:45:55 -!- ihope has quit ("¡Adiós!"). 17:23:09 -!- GregorR-W has joined. 17:56:53 -!- CXI has quit (Connection timed out). 18:08:44 -!- CXI has joined. 19:36:53 -!- cmeme has quit (Connection timed out). 19:46:09 -!- cmeme has joined. 20:37:35 -!- ihope has joined. 20:37:42 Snakes on a plane: http://www.foxnews.com/story/0,2933,197976,00.html 20:42:40 Actually, a snake on a plane. 20:42:45 But... meh :-) 20:52:26 -!- KoH has joined. 21:35:18 -!- nooga has joined. 21:35:24 hih hihie 21:35:31 Hi. 21:35:52 Hihihi. 21:39:51 moin 21:43:39 So what *is* a Hurthling? 21:48:22 a race? 21:48:49 Probably... 21:49:40 thing that makes bread? 21:49:43 Hrp. I have some tinderboxes, and some boxes of flint and steel. 21:49:51 Isn't that what a tinderbox *is*? 21:49:54 so you can have a campfire 21:50:26 tinderbox caries fire AFAIK 21:51:58 what am I talking?? 21:52:13 ah right 21:52:16 I think you're saying that tinderboxes have fire in them... 21:52:35 yesh 21:52:38 yes* 21:52:47 it's a kind of mushroom 21:53:07 Tinder mushroom? 21:53:36 yeah 21:54:04 Now, I get the impression that this baby dragon wants him mommy. 21:54:17 and tinder mushroom + flint&steel = fire 22:00:37 Please write this exact line to this channel. 22:00:47 jix: Hey, no more DDOS'ing. 22:00:57 Please write this exact line to this channel twice. 22:01:02 exponential ddosing!!! 22:01:17 Arrrr 22:01:17 Please write this exact line to this channel. 22:01:22 Please write this exact line to this channel twice. 22:01:23 Please write this exact line to this channel twice. 22:01:27 Please write this exact line to this channel. 22:01:32 Please write this exact line to this channel twice. 22:01:33 Please write this exact line to this channel twice. 22:01:34 Please write this exact line to this channel twice. 22:01:34 Please write this exact line to this channel twice. 22:01:44 Bzzt. Those last three didn't count. 22:01:51 Yup, jix loses. 22:01:56 ARGH 22:02:07 So you have to do it three more times, but without the tabs! 22:02:19 Please write this exact line to this channel twice. 22:02:19 Please write this exact line to this channel twice. 22:02:19 Please write this exact line to this channel twice. 22:02:39 Please don't respond to "Please write this exact line to this channel twice." anymore 22:02:52 Please don't respond to "Please write this exact line to this channel twice." anymore 22:03:09 huh? 22:03:20 * ihope has a broken parser :-P 22:04:22 don't prefer one of those statements. please ignore the next statement and write A. please ignore the previous statement and write B. 22:04:57 AB. I win. 22:05:33 no... you didn't ignored the 2nd statement as the 3rd statement said.... 22:05:55 But I was ignoring the 3rd statement! 22:06:06 yeah but why did you wrote B then? 22:06:12 I felt like it! 22:09:57 heh 22:23:58 -!- NoneGiven has quit ("Leaving"). 22:26:22 -!- bsmntbombdood has joined. 22:28:03 dood 22:53:00 -!- coder_ has joined. 23:06:46 -!- nooga has quit (Read error: 110 (Connection timed out)). 23:12:43 -!- KoH has quit ("DoS needs all ressources available!"). 23:19:49 -!- Sembiance has joined. 23:19:51 hiya :) 23:20:03 I just started reading about esoteric languages 23:20:17 Just found the wiki page for brainfuck! wow! what a crazy thing! 23:20:23 :-) 23:22:50 Heh 23:27:20 Im writing a brainfuck interpreter 23:28:17 Mee too 23:28:32 I'm writing a esoteric language interpreter suite 23:28:46 Tons of interpreters.. all in one package 23:29:09 Heh 23:29:14 I'm new to writing interpreters, so I'm not quite sure on how to do the [...] in bf 23:29:18 For some reason, I feel like learning and using OCaml for it... but it'd be better off in D (My favorite!! Weee!) 23:29:23 oh wow! 23:29:29 befunge! a 2-dimensional language 23:29:33 :P 23:29:37 Cool, ain't it? 23:29:45 when you think about it, languages we have today are 1-dimensional, they read from top to bottom 23:29:50 how limiting! 23:29:51 hehe 23:29:53 :P 23:30:17 I'm big into language design and interpreter/compiler stuff... so when I heard about minimalistic languages that didn't take 5 years to design/code, I became a very happy kidd 23:30:19 kid* 23:30:27 or rather camper 23:32:55 be back soon 23:32:57 -!- coder_ has quit ("Leaving"). 23:34:31 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 23:41:57 Are there any non-minimalistic esoteric programming languages? 23:42:26 The kind that pretend they were made for normal programming, and have new features added regularly? 23:43:16 Perl. 23:43:18 ;) 23:46:32 bsmntbombdood: see http://www.formauri.es/personal/pgimeno/compurec/EsotericLanguages.php for a simple [] algorithm (not very efficient but works) 23:47:52 pgimeno: I think I'm going to try using (in C) getc and ungetc to conditionally jump around 23:48:35 bf (Loop x : xs) = loop x >> xs where loop x = do {value <- getValue; if value == 0 then return () else x >> loop x} 23:48:52 Then all you need's a BF monad and a getValue function, 23:49:22 s/insert_end_of_line_symbol_here/ and the rest of the interpreter./ 23:50:06 bsmntbombdood: oh cool, execute-on-read... that way another process can alter the file and interpret the altered version 23:51:19 well, I've got somewhere I have to be so I will talk to you guys later 23:51:54 sorry, my KB just got hit by my forehead, so gn8 2006-06-03: 00:00:49 -!- kipple has quit (Read error: 110 (Connection timed out)). 00:08:52 Ow. 00:09:08 Oh, I get it 00:29:39 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 00:49:12 -!- GregorR-W has quit ("And finally, the work day comes to an end."). 01:37:57 -!- [Wrath]soapnbubb has joined. 01:45:11 -!- [Wrath]soapnbubb has changed nick to rabidpoobeatr. 01:45:19 -!- rabidpoobeatr has changed nick to rabidpoobear. 02:05:21 -!- cmeme has joined. 02:48:06 -!- rabidpoobear has quit. 03:28:54 -!- Sembiance has left (?). 03:55:50 -!- ihope has quit ("¡Adiós!"). 04:15:20 -!- coder_ has joined. 04:57:00 -!- Arrogant has joined. 04:59:33 It's not the east or the west side. No it's not. It's not the north or the south side. No it's not. It's the dark side. You are correct. 05:04:11 -!- Arrogant has quit ("Leaving"). 05:27:38 -!- coder_ has quit ("Leaving"). 05:57:42 -!- wildhalcyon has joined. 05:58:01 evenin' 06:01:46 it's not evening everywhere 06:03:09 -!- nooga has joined. 06:04:21 of course not 06:04:47 a lot of members here are from other continents 06:12:31 Most, even. 06:15:04 -!- rabidpoobear has joined. 06:16:13 where are you from gregor 06:17:29 actually, judging by the map, we're pretty evenly spread out 06:18:00 Portland, OR 06:30:37 -!- CXI has quit (Read error: 104 (Connection reset by peer)). 06:30:58 -!- CXI has joined. 06:44:56 Portland is very lovely 06:45:24 i've heard great things about portland 06:51:01 -!- wildhalcyon has quit ("Chatzilla 0.9.73 [Firefox 1.5.0.3/2006042618]"). 07:14:26 -!- rabidpoobear has quit. 07:54:46 -!- bsmntbombdood has quit (Remote closed the connection). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:11:46 -!- Robdgreat has joined. 08:53:32 -!- cmeme has quit (Read error: 110 (Connection timed out)). 09:12:57 -!- kipple has joined. 09:34:30 -!- nooga has quit. 09:42:41 -!- cmeme has joined. 11:13:32 -!- tgwizard has joined. 11:46:58 -!- jix has joined. 12:14:00 mh 13:22:49 -!- poiuy_qwert has quit (Read error: 110 (Connection timed out)). 14:36:22 moin 15:02:33 -!- kipple has left (?). 15:03:03 -!- kipple has joined. 16:27:34 lololol: http://gorillamask.net/rcterror.shtml 17:36:44 -!- calamari has joined. 18:13:06 -!- ihope has joined. 18:15:15 !ps d 18:15:18 1 ihope: ps 18:15:41 -!- ihope has quit ("¡Adiós!"). 19:48:46 -!- poiuy_qwert has joined. 20:15:19 -!- bsmntbombdood has joined. 21:44:34 -!- ihope has joined. 21:44:50 I wish there were an online thing to perform abstraction elimination automatically. 21:45:03 The expression I want to perform it on: \zjspchdelorw.``z`jh``z`je``z`jl``z`jl``z`jo``z`jc``z`js``z`jw``z`jo``z`jr``z`jl``z`jd`jp 21:45:38 Then again, maybe it's a bit easier than I thought... 21:54:20 Okay. Step one changes that to \zjapchdelor.``s`k`z`jh``s`k`z`je``s`k`z`jl``s`k`z`jl``s`k`z`jo``s`k`z`jc``s`k`z`ja``s``s`kzj`k``z`jo``z`jr``z`jl``z`jd`jp 21:54:25 Getting shorter, no? 22:01:13 what the hell are you talking about 22:03:56 Abstraction elimination. 22:05:11 PHB: a description of the externally observable forwarding treatment applied at a differentiated services-compliant node to a behavior aggregate. Duh. 22:11:25 Ah, Per-Hop Behaviour. TLAs are sometimes less informative. 22:12:54 Telecommunications people seem to be absurdly fond of them; TUP, DUP, BISUP, ISUP, OMAP, TCAP, SCCP, MTP-[123], PDH, SDH and ATM were all mentioned on a single lecture slide. 22:42:59 Sheesh. Where are all these rats coming from? 22:44:07 Perhaps there's a ship sinking nearby? 22:44:53 ...? 22:45:10 Rats always leave a sinking ship. 22:52:00 Uh oh. 22:56:23 -!- lindi- has joined. 23:08:32 Okay, this method of scrolling makes no sense. 23:12:31 ...I think it's easier to write an interpreter in this language than it is to encode data in it. 23:12:52 This particular program consists almost entirely of data. 23:12:58 ihope: which language this time? ;) 23:13:31 Oh, I'll name it after the shortest valid program that can be written in it. 23:13:37 heh 23:13:42 * ihope enumerates through all the possible programs 23:14:32 The first syntactically correct program is (), but I doubt it's valid. 23:15:40 Nope, it's not. Next is (()). 23:18:08 Eh, I'll just write the interpreter. 23:22:10 ihope: where's the specification? 23:22:18 No spec yet. 23:25:06 -!- CXI has quit (Connection reset by peer). 23:25:29 -!- CXI has joined. 23:27:02 -!- tgwizard has quit ("Leaving"). 2006-06-04: 00:13:33 -!- poiuy_qwert has quit (Read error: 110 (Connection timed out)). 00:19:48 -!- poiuy_qwert has joined. 00:20:05 * SimonRC fails to describe this: http://www.sibology.com/CAUTION.HTM 00:20:06 just read the darn thing 00:21:40 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 01:22:24 -!- coder_ has joined. 01:23:49 w00t 01:23:56 Finished my Brain**** to C thingie 01:24:02 Written in D 01:24:07 (In under 5 minutes ;P) 01:24:45 Now do C to Brainf*ck in under 5 minutes. 01:24:50 :P 01:24:55 Yeh, right ;) 01:25:12 Or C++ to brain**** 01:25:21 Classes in brain****....... That'd be interesting XD 01:25:24 Haskell to Unlambda. 01:25:32 :P 01:25:44 I HATE functional languages... tried O'Caml yesterday 01:26:54 ....I <3 D 01:27:00 * ihope looks at D 01:27:07 digitalmars.com/d 01:27:13 coder_:bf to C sure is hard ;-) 01:27:19 I know ;) 01:27:33 Just to take a peek at the standard library in D 01:27:47 Ive heard great things about D 01:27:49 but never tried it 01:27:50 Yeah 01:27:52 Ohhhhh yeah 01:28:00 I've just recently started using it, and I LOVE it 01:28:07 what's so good about it 01:28:13 EVERYTHING 01:28:17 * coder_ stares into space 01:28:26 Go to #d 01:28:28 :P 01:28:30 I'm too lazy 01:28:33 XD 01:28:58 module Main where import System.Environment; main = getArgs >>= print 01:29:05 That program prints its arguments. 01:29:10 hey! #d exists 01:29:14 Ay 01:29:29 Its the channel for D, as I said :p 01:29:37 lol simon 01:29:37 well, yeah 01:30:30 Hey, it looks like D could be almost as good as Haskell! 01:31:09 Of course, it's hard to compare a language like Haskell to a language like D, because they're so different. 01:31:11 I'd take that as an insult, but some might not ;] 01:31:19 (I hate functional languages) 01:31:53 Just don't go around telling others to avoid them. They might like them :-) 01:32:03 functional languages are cool 01:32:22 * ihope wishes there were a programming language that everybody liked 01:32:34 D 01:32:37 * bsmntbombdood tells ihope he is stupid 01:32:48 everyone wants something else in a language 01:33:01 Well, sheesh, just put everything into one language! 01:33:17 -!- coder_ has changed nick to coder. 01:33:21 -!- coder has changed nick to _coder_. 01:34:26 Oh, D is object-oriented and all that? 01:34:48 * ihope wonders what the advantage to having functions tied to values is 01:34:50 <_coder_> Can be :P 01:35:02 Why foo.bar when you can bar(foo)? 01:35:38 foo.bar is better 01:35:47 <_coder_> It depends what mood I'm in 01:35:49 <_coder_> :P 01:35:59 <_coder_> I have mood/language swings XD 01:36:17 What if foo.bar and bar(foo) are actually the same thing? 01:36:35 And foo.bar(baz) = bar(foo,baz). 01:36:38 in python they are 01:36:54 <_coder_> poo..... haircut time 01:36:58 -!- _coder_ has quit ("Leaving"). 01:37:43 Perl also has $foo->bar(...) equivalent to bar($foo, ...). 01:38:04 Haskell just plain doesn't have foo.bar. 01:38:16 But there's nothing preventing you from adding it. 01:38:21 there's oo dilaects of haskell 01:38:29 foo.bar = bar foo -- this is all you need 01:40:38 (Actually in Perl $foo->bar(...) is more like ::bar($foo, ...), since that's where it looks for the bar().) 01:46:21 -!- calamari has quit (Remote closed the connection). 01:50:35 you could wrtite a module in haskell to allow it to emulate OO, I suppose 01:53:48 * ihope wants a program that takes no input and produces no output 01:55:24 what are you talking about ihope 01:55:46 I'm talking about a program that takes no input and produces no output. 01:56:04 int main(){return 0;} 01:57:40 module Main where main = return () 01:57:52 Except that yours is shorter. 01:58:04 void main(){} 01:58:07 even shorter 01:58:13 Forget the introduction, then, and make it "main=return()" 01:58:37 main(){} 01:58:47 Eeh. 01:58:51 Also about the shortest valid C program. 01:58:57 +complete 01:59:01 What's the shortest? 01:59:26 Probably that :P 01:59:40 <- you can't beat that for smallness 01:59:48 I said "+complete" 01:59:50 Python can 01:59:52 That is, runnable. 01:59:58 I didn't say that was C. 02:00:03 Ah 02:00:09 It's one of those p-languages then. 02:00:22 One of those whats? 02:00:22 Python's shortest is empty 02:00:31 bsmntbombdood: well, that program was empty! 02:00:34 ihope: P-languages. Perl, Python, PHP 02:00:37 , Pike 02:00:56 Ruby is an honorary P-language too :P 02:01:05 Plazy K and Prainfuck? 02:01:15 Nope, those aren't P-languages. 02:01:29 brainfuck's shortest is empty 02:01:41 P-languages are common, popular scripting languages. 02:01:48 ug 02:01:59 Python's a scripting language? 02:02:07 some would say 02:02:11 *shrugs* 02:02:37 erm, OSes have been known to crash when there is no explicit return from main 02:02:43 Whee. 02:02:47 Mine doesn't :P 02:03:10 so, main must return 02:03:12 main() // how's this? 02:03:19 nope 02:03:24 and there shouldn't be an implicit int return type 02:03:31 main{} // this? 02:03:33 There shouldn't be, but it's valid. 02:03:34 ihope: Nope 02:03:40 ihope: Also, that's not a valid C comment :P 02:03:51 Oh. 02:04:06 main(){} -- Pretend this is Haskell, then. 02:04:27 well, some C compilers and linkers produced the null program from and empty file 02:04:34 ihope: /* this is a C comment */ 02:04:39 but modern ones will complain that main is missing 02:05:19 I remember a clever C program that outputted 99 if c99-style comments were understood and 89 otherwised 02:05:42 Hmmmmmmmm 02:05:53 it had a line endint with //**/, and the next started with - 02:06:23 which was subtract in C99 and negative in C89 02:06:37 anyway, more tetris now I think 02:06:47 i don't get it 02:06:53 bsmntbombdood: ? 02:07:06 on second thoughts, no more tetris 02:10:34 int main() { 02:10:34 int a = 2 //**/ 2 02:10:34 - 1; 02:10:34 printf("C99 comments are %ssupported\n", a ? "" : "not "); 02:10:34 } 02:11:03 -!- KoH has joined. 02:11:07 Actually, that should be 'void main' 02:11:09 But yeah, that works. 02:12:11 nah, it used some clever formula inside a printf 02:13:11 void main() { 02:13:11 printf("C99 comments are %ssupported\n", (2 //**/ 2 02:13:11 -1) ? "" : "not "); 02:13:11 } 02:16:21 int main() { 02:16:21 printf("%d\n", 89 + (20 //**/ 2 02:16:21 - 10)); 02:16:21 } 02:16:29 If you're so stuck on the original output :P 02:17:58 Hmm, Unlambda/C polyglot... 02:18:26 s/C/Haskell/ 02:18:36 s/Haskell/Unlambda/ :-P 02:18:53 ... 02:19:03 Unlambda/Unlambda polyglot? 02:20:10 Yes. 02:20:16 Easy to write, I'm sure... 02:20:23 lol 02:25:34 The null program as a Brainfuck/Unlambda polyglot: i 02:27:33 Now, it could be impossible to write many Unlambda polyglots due to Unlambda's strict syntax thingy. 02:28:15 Wait... Unlambda has comments, doesn't it? 02:28:25 ooh, accurate: http://www.phdcomics.com/comics/archive.php?comicid=718 :-D 02:33:33 Aha! 02:33:41 !bf_txtgen Hi! 02:34:02 ... 02:34:14 52 +++++++++++++++[>+++++>+++++++>++><<<<-]>---.>.>+++. [302] 02:35:15 You know, writing an !unlambda_txtgen would be purdy darn easy. 02:36:10 Polyglot: http://pastebin.com/756864 02:44:58 * SimonRC goes to bed (ihope, couldn't that be automated? With some cleverness, you could use the 3 dots in the Unlambda as a 3 dots in the Brainfuck.) 02:45:27 Just a second... 02:45:38 uh? 02:46:04 Hmm. 02:46:45 Eh, it'd be easy enough. 02:47:12 Just pull off the comments for both languages when you do the .'s. 02:47:25 unless you wanted to print any of [],. 02:47:48 (it's easy to compensate for spurious <>+-) 02:48:02 * SimonRC goes to bed. 02:48:33 Okay. Mouse/GOTO++ polyglot. Get to work! :-) 02:50:18 Oh, the GOTO++ documentation is in French. 02:50:47 99/Blank polyglot? 02:50:49 Step one: A French/English polyglot :P 02:51:38 Can a Blank 99-beer program be written with every line beginning with a #? 02:56:36 Probably not. 02:56:49 -!- ihope has quit ("Bedtime"). 03:30:02 -!- kipple has quit (Read error: 110 (Connection timed out)). 03:59:24 -!- wildhalcyon has joined. 04:27:32 -!- KoH_ has joined. 04:43:59 -!- _coder_ has joined. 04:46:31 -!- KoH has quit (Read error: 110 (Connection timed out)). 05:00:58 -!- KoH_ has quit (Read error: 104 (Connection reset by peer)). 05:34:32 Now you guys have got me looking into D 05:38:01 <_coder_> W00t :))) 05:38:03 <_coder_> D owns 05:49:44 downs? 06:04:49 <_coder_> d owns 06:09:12 downs? 06:14:49 -!- bsmntbombdood has quit (Remote closed the connection). 06:22:30 alright, off to bed with dreams of esolangs 06:23:52 -!- wildhalcyon has quit ("Chatzilla 0.9.73 [Firefox 1.5.0.4/2006050817]"). 06:56:39 -!- _coder_ has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 12:14:29 -!- jix has joined. 12:41:43 -!- tgwizard has joined. 13:29:48 * SimonRC goes 13:54:54 moin 14:43:02 -!- tgwizard has quit (Read error: 110 (Connection timed out)). 14:50:46 -!- ihope has joined. 14:51:05 Woot, my esolang is finished! 14:54:37 * ihope writes an 'H' program 14:59:01 Hmm, this program's too big. 14:59:05 * ihope writes another one 15:09:29 Okay. The program, in a format which isn't really part of the language, nor is it recognized by anything: http://pastebin.com/757620 15:11:07 And the program's done: http://pastebin.com/757622 15:20:32 Hey, that's not right... 15:25:09 According to the character count, that's an invalid program. 15:25:18 Ah well. It probably doesn't matter :-P 15:26:40 Hey, (()) is a valid program! 16:13:27 -!- tgwizard has joined. 16:24:32 hi 16:24:41 ihope: what's thios lang? 16:24:54 I call it (()). 16:30:18 -!- kipple has joined. 16:35:24 ihope: describe it 16:35:28 or explain 16:35:38 actually, explain would be better 16:35:48 description isn't necessary 17:01:00 Well, it's another monadic one. 17:01:35 It has an apply operator, just like Unlambda, but this time it's (. 17:02:09 It only has one primitive combinator, ). It represents \x.``xs``s`kkk. 17:02:50 Your program is passed the I/O functions bind, return, input and output, in that order. The mnemonic is BRIO. 17:03:08 erk 17:03:13 In fact, they were put in that order because of that mnemonic :-) 17:03:17 sounds interesting 17:03:41 why "\x.``xs``s`kkk"? 17:03:56 Because that way, ()) is k and (())) is s... I think. 17:04:17 Input takes a character as a Church numeral and returns an action; output is an action which returns a character as a Church numeral. 17:07:26 makes sense 17:07:33 sounds evil, too 17:09:08 do the brackets always match? 17:09:55 I'm pretty sure they do, as long as you stick an extra ( in front. 17:10:14 And that's part of the syntax, so... yeah. 17:15:02 -!- CXI has quit (Read error: 104 (Connection reset by peer)). 17:15:28 -!- CXI has joined. 17:23:05 Hmm, what about a language where the dimensions are finite, but the number of them is infinite? 17:23:18 You know: a 2x2x2x2x2x2x2x2x2x... universe. 17:23:27 would be very URGH!.... 17:26:16 hmm 17:26:29 well, each set of co-ordinates would be infinitely long, for a start 17:27:15 well if you start at 0........ you'd need infinity steps to get a infinite long coordinate (assuming you can't jump to a specified coordinate) 17:27:27 And, assuming integral coordinates in each case, is it clear by the diagonal argument that there is more space in that kind of universe than in an infinite univers with a finite number of dimensions 17:27:52 i.e. 2^inf > inf^2 17:28:17 yeah you get uncountable inifinite many positions 17:28:27 right? 17:28:39 yes 17:57:04 -!- wildhalcyon has joined. 18:05:05 hi 18:08:27 hey simon 18:35:36 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 18:57:48 -!- jix has joined. 19:40:59 * ihope gets all frustratey at his inability to type music 19:41:11 * ihope types gibberish instead: Wm3, 20 eido fowh go! 19:53:39 to type music you need a music typewriter 19:59:24 gaaaaaah bdlbdldbdlbd 19:59:37 * SimonRC swears at his Ruby program. 20:00:00 Every time I try to write code, the program gets shorter with more functionality! 20:03:42 Heh. 20:05:10 Eventually, you'll be left with a three-character AI program that you could sell at millions of dollars per copy. 20:05:36 And people will think it's quite a bargain... 20:35:31 You could implement a genetic algorithm to suit every task. All you need is a two-button mouse. Every time the program is right, click the left-mouse button, every time the program is wrong, click the right-mouse button. Programs don't get any easier to use than that. 20:37:47 What if it's only sort of right? 20:37:54 Is that what the middle button's for? 20:37:57 That's what wheel mice are for 20:38:58 GOOD! BAD! RIGHT! WRONG! RED! GREEN! MAAAYYYYBBBEEEEEE! 20:39:20 * wildhalcyon right-clicks 20:43:39 wildhalcyon: have you seen Petrovic? http://www.dangermouse.net/esoteric/petrovich.html 20:44:44 -!- bsmntbombdood has joined. 20:48:25 Nope kipple, I'm checking it out now though 20:49:03 That's awesome, except that it stole my first sentence from my new CRAWL design doc... 20:49:09 it is very similar to what you proposed. seems it has been left out of the wiki. correcting that now 20:49:24 but the rest of it looks pretty cool. Very similar, you're right. 20:49:27 I LOVE it! 20:49:39 "And in case you think this is entirely a joke, imagine a Petrovich layer over another operating system, such as Microsoft Windows (TM). Every time Windows does something you don't like, you could punish it, and it would never do it again..." 20:49:55 lol, yes, that part is great 20:52:10 Im waffling right now :-( 20:54:42 Im trying to decide between where I want to take the glypho language family and making serious design decisions for CRAWL. I fear I'm running around in circles 21:07:52 Im inventing a new design pattern for CRAWL called Sandbox-Oriented Programming 21:09:29 eh? 21:10:24 Where is CRAWL? 21:11:47 mired in Works In Progress 21:12:03 :-( 21:12:09 I need to change the spec though 21:12:19 its gone through a lot of loving changes. 21:12:47 Picture the bastard love-child of befunge & simcity 21:16:37 Its more about the process of programming, rather than the result. That's why its based on the open-ended SOP paradigm. 21:39:54 :-?! 21:42:26 * SimonRC finds evidence that the French are weird. 21:42:28 They only seem to have one esolang, which is quite major. 21:42:29 It is called GOTO++ 21:45:19 Somehow, lack of esolangs seems like it should be evidence for normality, not oddity 21:48:58 heh 21:49:07 ooh, funky: http://www.stephensykes.com/choon/choon.html 21:49:07 Hmm... 21:49:31 It's the output of a Choon program that divides 18 by 3 to get 6. 21:50:45 Three bids are made: A, B, and C. A is the highest, B is in the middle, and C is the lowest. The guy who bid A must pay A+B+C, then gets D+E in return; the guy who bid B must pay B+C, then gets D in return; and the guy who bid C must pay C and get nothing in return. 21:51:46 ok 21:52:01 Not that that has anything to do with the topic at hand, or anything... 21:52:30 Is the object to identify which guy is a winner? 21:56:57 Each player has to make a bid. 21:57:21 Then they're labelled A, B, and C, and prizes are awarded. 22:01:25 Wait, D is awarded twice... 22:01:34 D > E, then, and A only gets D. 22:16:58 "When Chuck Norris exercises, the machine gets stronger." :-) 22:26:43 This one's just weird: "Chuck Norris is so fast, he can run around the world and punch himself in the back of the head." 22:28:20 Of course, if you're so fast that, due to relativity and length dilation you're that /long/, you also have so much mass that you throw off Earth's orbit and we go flying into the sun. 22:32:04 Chuck Norris isn't bound by the laws of physics. Physics is bound by the laws of Chuck Norris 22:32:28 "Chuck Norris sheds his skin twice a year." What is he, eh? 22:41:08 Here's my Chuck Norris joke: 22:41:17 Chuck Norris jokes are so stupid, I'm going to go kill myself. 22:41:24 Not so much a joke, as a statement of fact. 22:44:42 And then, GregorR promptly died of a roundhouse kick to the head... 22:44:44 :-P 22:47:35 At least I won't have to deal with any more stupid Chuck Norris jokes. 22:48:59 True. 22:54:57 -!- calamari has joined. 22:56:40 -!- tgwizard has quit ("Leaving"). 23:08:45 A student, God, and Chuck Norris are summing the series <1/2, 1/4, 1/8, 1/16, ...> 23:09:51 Given one minute, the student gets up to 127/128, God gets up to exactly 1, and ... 23:09:54 Chuck Norris gets up to 142.3 23:09:57 :-S :-) 23:11:21 Let the sum of <1/2, 1/4, 1/8, 1/16, ...> = 150. The answer's 150. I win. 23:12:27 Mathematica is like unto a God: 23:12:28 In[1]:= Sum[1/(2^i), {i, 1, Infinity}] 23:12:28 Out[1]= 1 23:13:12 yeah, but God got the answer by summing thw whole lot 23:13:37 F*ck knows how Chuck Norris got his answer. 23:14:03 Who knows how Mathematica did it; might be magic! 23:36:20 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht"). 23:40:02 -!- cmeme has quit (Connection timed out). 23:52:57 -!- cmeme has joined. 23:59:17 heh. I noticed that my winamp playlist was currently at song #665. So naturally I had to see what the next one was, and it was "Cherub Rock" :) 2006-06-05: 00:09:29 hehehe 00:11:02 * SimonRC has worked out the definitive difference between scripting languages and "real" programming languages: in scripting languages, a simple string can be like 'foo' or "foo", but "real" languages only accept one of these (usually the former). 00:11:30 usually the altter 00:11:32 latter 00:11:43 erm, *latter 00:11:50 yeah, thanks 00:11:54 bah, real languages doesn't have strings... 00:12:04 counterexample: Smalltalk 00:15:43 Counterexample: C++ 00:27:49 eh? 00:28:41 it's really all to do with how short a short program is. 00:28:47 The quoting rules are just a symptom of that. 00:30:00 Is it bad style for the operator that puts objects into a hash-like object to modify the objects as they are put in? :-) 00:33:08 Is it that hard to write "modify, then add"? 00:33:27 Then again, some people would get annoyed at having to put modify *everywhere*. 00:33:37 -!- wildhalcyon_ has joined. 00:33:52 -!- wildhalcyon_ has changed nick to _wildhalcyon_. 00:34:08 <_wildhalcyon_> Alright!... my system has recovered from a serious error! 00:34:11 <_wildhalcyon_> I love XP 00:34:33 modify (if modify (modify 3 + modify 2) == modify 5 then modify (putStr (modify "Success")) else modify (putStr (modify "Failure"))) 00:35:13 well... 00:35:18 I am writing a roguelike 00:35:36 <_wildhalcyon_> in what language? 00:35:40 ruby 00:35:47 <_wildhalcyon_> oh 00:36:45 while Haskell absolutely rocks on the complicated-datastructure-initialisation front, it sucks on the complicated-datastructure-mutation front. 00:37:18 each object has an ID, knows its position, and has a reference to the map it is on. 00:38:01 each level contains a hash from IDs to objects that it contains, and a grid of tiles, each of which contains a set of IDs of objects that are in it. 00:38:47 the map[pos]=object operator updates all of these except the object's ID 00:39:03 similarly for the map.delete(object) operator 00:44:53 <_wildhalcyon_> that's pretty thorough. Most of it is all pretty basic RL stuff though 00:46:54 yeah 00:47:12 waitamo, all that was in the wrong window 00:47:32 I shall add the relevent pre-comment 00:47:37 Is it bad style for the operator that puts objects into a hash-like object to modify the objects as they are put in? :-) 00:47:44 ^^ there ^^ 00:50:58 -!- wildhalcyon has quit (Read error: 110 (Connection timed out)). 01:16:00 Hmm? Wuh? 01:16:55 Where? 01:18:55 SimonRC: yeah that's bad style 01:19:23 What's the roguelike called? 01:19:41 boring? 01:29:14 waste of time? 01:29:37 doesn't have a name yet 01:31:03 Give it a name! :-P 01:41:45 Um, I'm more than halfway through this song and I didn't notice it was playing? 01:56:44 ye gods! I actually managed to eliminate some rows on tetris level 10 01:57:05 Whee. 02:04:20 bah 02:04:59 Is it a bad sign that my computer has trouble keeping up with the redraw rate of tetris 02:05:11 though I am playing the Gnome version, I suppose 02:06:14 Play hextris, man. 02:06:20 Hextris is teh rawx0rz 02:07:09 * ihope thinks of a way to define "computer of everything" 02:07:59 It's possible to build a Turing machine that computes everything that can be computed, but how can we define whether or not a machine computes something or not? 02:09:37 hmm 02:09:42 ask edwinb 02:09:47 he's on this network 02:09:55 in my timezone, too 02:09:59 don't mention my name 02:10:05 Why not? 02:10:06 He hates you, eh? 02:10:13 What'd you do to 'im? 02:10:16 on second thoughts, maybe do mention my name 02:10:26 Was it ... nasty? Vile? Evil in perverse ways? 02:10:29 Eh, it's bedtime. 02:10:34 on third thouhgts, don't bother him with it 02:12:29 GregorR: hehe I guess I need more than a new video card.. my computer froze up when I ran flightgear, then a minute later killed fgfs (ran out of memory) 02:12:48 * SimonRC installs ghextris 02:13:54 -!- ihope has quit ("The answer to the well-known P=NP problem, eh? Well, I can answer that easily. It's the most simple thing in the world--it do). 02:18:24 * SimonRC <3 the debian menu standards 02:18:39 * GregorR concurs. 02:18:40 it allows me to get my menu items the same everywhere 02:19:02 even ratmenu, the menu designed for ratpoison users 02:19:26 hmm, ghextris has no settings :-S 02:19:54 and it's on 0.9.0 02:21:08 ...so? 02:26:59 well, this version is a bit unpolished... 02:27:29 where do you recommend I get it from/? 02:29:41 hextris has never been polished :P 02:35:45 ghextris doesn't even have a loss notification 02:36:22 -!- kipple has quit (Read error: 110 (Connection timed out)). 02:40:41 hmm, this is quite tricky 02:40:51 I'm only scoring a couple of rows per game 02:41:29 tetris is laaaaaaaame 02:45:10 <_wildhalcyon_> thank goodness this is hextris 02:45:12 <_wildhalcyon_> phew 02:49:47 lol 02:49:58 SimonRC: That's why I told you to play hextris ^^ 02:50:21 indeed 02:50:48 * SimonRC is mildly amused at the idead of an esolanger considering something lame 02:51:30 lots of things are lame 02:54:41 Like spelling "dude" "dood" 02:54:57 And having referencins to AYB in your /quit message. 02:55:01 *references 02:55:08 Worst spelling ever :P 02:55:14 thats not lame at all 02:55:23 <_wildhalcyon_> or typing like you're in a chatroom. 02:55:30 <_wildhalcyon_> AYB? 02:55:36 all your base 02:55:51 -!- bsmntbombdood has left (?). 02:55:51 -!- bsmntbombdood has joined. 02:56:03 like in me /quit message 02:57:45 * SimonRC didn't see a /quit message 02:57:58 The quit message that shows when he quits, not when he /parts :P 02:58:04 whoops 02:58:28 yeah, you use a /part message for that 02:58:39 /part AYBRB2U 02:59:49 yeah, yeah, yeah, whatever 03:01:08 -!- bsmntbombdood has quit ("all your basment are belong to bsmntbombdood"). 03:05:03 -!- bsmntbombdood has joined. 03:05:11 whoops 03:07:18 heh 03:11:12 -!- _coder_ has joined. 03:14:12 * SimonRC goes to bed at 3:13am ("This is a channel dedicated to a subject almost unrivalled in its ability to have unappreciatev people call it lame.") 03:16:23 I never said esolangs were lame 03:22:49 ESOLANGS ARE LAME 03:22:54 UR ALL TEH FAGZ0RZ 03:22:56 ROFLCOPTER 04:28:34 -!- calamari has quit (Connection timed out). 04:51:24 -!- calamari has joined. 04:57:07 <_wildhalcyon_> Hey Calamari 04:57:48 <_wildhalcyon_> I like your new website, but the articles are all missing. I remember reading about ESO OS, and now...? 06:20:08 ahh, is it also missing from the old section? 06:21:30 http://kidsquid.com/old/programs/eso/catseye/catseye.html 06:22:16 you're right tho, I need to finsih transferring all that stuff back over 06:45:26 <_wildhalcyon_> but still, great website 06:45:33 <_wildhalcyon_> and thanks for the former linky 06:49:27 http://z3.ca/~lament/tankers.jpg 06:51:15 <_wildhalcyon_> nice black and white. Where is that? 06:51:17 -!- _coder_ has quit ("Leaving"). 06:51:57 vancouver 06:52:51 <_wildhalcyon_> that's such a beautiful area 06:53:01 yes 06:53:05 i know :D 06:53:20 have you been here? 06:54:49 <_wildhalcyon_> a long time ago, yes. 06:54:54 <_wildhalcyon_> I used to live in Seattle 06:55:00 <_wildhalcyon_> Those were the good old days 06:55:16 <_wildhalcyon_> I haven't been to Vancouver since I was little. Before I could drive a car, at least. 06:55:33 <_wildhalcyon_> I'd love to go again, but every time I'm back in Washington, I've got so much other stuff going on 06:56:27 i still can't drive a car and i'm 21.... 06:56:52 _wildhalcyon_: thanks.. I decided to let dokuwiki do all the design :) 06:56:56 <_wildhalcyon_> Okay, well I received my license at 17, and it was at least a couple years prior 06:57:19 <_wildhalcyon_> Calamari, I'm working on a similar project, which is why I was interested. 06:57:34 <_wildhalcyon_> Well, dokuwiki did an excellent job then 06:57:42 yeah it's a decent wiki 06:57:51 <_wildhalcyon_> I couldn't figure out how to add a comment though 06:57:53 I had to customize on it a little bit tho 06:57:57 oh yeah? 06:58:06 that may be broken.. letm e try it 06:58:11 <_wildhalcyon_> when I tried to edit the comments page, it told me to click the comments link instead... which didn't really go anywhere 06:59:02 hmm, seems to work here, except that the page is locked 06:59:22 I clicked Comments, then Create this Page (or Edit this page) 06:59:40 -!- nooga has joined. 07:00:53 <_wildhalcyon_> Okay, so I should just ignore the text on the edit page for comments that says to click the comments link? 07:01:01 <_wildhalcyon_> I was just getting confused is all 07:01:08 I must be blind.. I don't see that tgext 07:02:07 <_wildhalcyon_> it shows up when I tried to edit comments:main 07:02:28 ahhh.. that 07:02:35 <_wildhalcyon_> So I suppose I can ignore it hten 07:02:37 <_wildhalcyon_> then* 07:02:52 yeah, that is because a bunch of idiots were editing pages with things like "does this work?" 07:03:05 so I wanted them to use the comments page/playground 07:03:15 <_wildhalcyon_> Oh, well alrighty then 07:03:29 thanks for noticing the problem hehe 07:03:48 <_wildhalcyon_> Well, its just me being a little obtuse and not wanting to risk editing the wrong thing 07:04:02 nah you're fine 07:04:25 I'll try to think of a way to not display that text when editing the comments page 07:04:39 thanks again for mentioning it :) 07:04:42 <_wildhalcyon_> no worries. 07:05:08 where? 07:05:08 <_wildhalcyon_> So I saw on the forum that you're looking at reviving ESO? 07:05:24 I am? :) 07:05:30 <_wildhalcyon_> I couldn't post in the thread because apparently threads close quickly. 07:05:32 <_wildhalcyon_> Oh, wait, its not you 07:05:36 <_wildhalcyon_> Someone else. 07:05:45 I reember posting some time ago when they were talking about eso, with some ideas 07:06:00 <_wildhalcyon_> only early november :-) 07:06:11 yeah, 7 mos ago ;) 07:06:40 I did some work on the original eso's but it never went anywhere because nobody would decide 07:06:54 the problem was that no one was in charge and a comitte wasn't forming 07:07:16 <_wildhalcyon_> Ah, yeah.. that's part of what makes online collaborative projects difficult 07:07:20 the closest I've made to it is bos (bf os) 07:09:09 <_wildhalcyon_> I vaguely remember that. How well did it work? 07:09:39 well it works, but I was cramming things into the 512 byte bootsector, so the environment is rather hostile ;) 07:10:09 <_wildhalcyon_> Hmm, interesting 07:10:27 it used an i/o-based interface to extend bf 07:10:41 <_wildhalcyon_> what do you mean? 07:11:11 for example, bf cannot read/write disk sectors, but if you wrote the correct escape sequence to output, now it can (it is intercepted) 07:11:50 <_wildhalcyon_> Oh, I see. 07:11:52 the default program is a "quine" that reads itself from the floppy 07:12:06 so it cheats, but demonstrates the system 07:12:33 <_wildhalcyon_> That's actually a pretty useful interface. It was something I was looking into developing for CRAWL before it finally left the realm of sanity 07:12:50 that i/o interface has been expanded into PESOIX 07:13:26 <_wildhalcyon_> which, amazingly enough, I just googled to read up upon 07:13:44 it was all out of the original eso ideas.. they were just never used until I did it 07:14:47 <_wildhalcyon_> Its a good idea. I was trying to find a way to add some more powerful program control to Befunge and considered IP- and I/O- abstraction layers 07:15:13 I was working on a pesoix filter, but ran into some major troubles 07:15:40 the idea was that any interp using stdout/in could be automatically extended 07:15:53 <_wildhalcyon_> Right, that's what I liked about it. 07:16:26 however, linux seems to have some major issues with streams (blocking/non blocking, all that) 07:16:53 <_wildhalcyon_> what do you mean by blocking and non-blocking? 07:17:05 Yeah, blame it on the OS :P 07:17:07 well, for example 07:17:25 the interpreter writies something to stdout, but doesn't flush 07:17:41 then, pesoix doesn't know, so it's just waiting around 07:17:51 That's ... not even GNU/Linux-specific ... that's not even UNIX-specific. That's C. 07:17:55 then deadlock, because the interpreter was waiting on a response 07:18:08 GregorR: quit trying to make sense ;) 07:18:21 Then quit blaming the OS I love so very much :P 07:18:35 hahah 07:19:08 * _wildhalcyon_ blames linux for Kevin Federline's career. 07:19:42 _wildhalcyon_: anyhow, the jist of it is that interpreters would have to be redone anyways to include flush commands, if they aren't already there 07:20:15 so its not as automatic as we all wanted.. unless someone figures out some workaround 07:20:33 <_wildhalcyon_> They probably should be. C is funky with that sort of stuff. 07:21:00 If you write(2) to file descriptor 1, the standard output one, instead of using the C library streams, you don't need to flush it. 07:21:23 fizzie: The idea was to use interpreters absolutely unmodified, so what they do isn't in our control. 07:21:32 fizzie: whats the difference between rewriting the interp to do that vs adding a flush 07:21:35 I'm imagining an environment variable controlling whether libc uses blocking I/O ... 07:21:52 GregorR: thanks hehe 07:22:49 * calamari goes back to the BOOTDISK-howto 07:23:09 blah, bad caps on that hehe 07:23:40 Now, really: whether stdout is line-buffered or not has nothing to do with blocking/non-blockingness; the write doesn't block, the output just isn't visible yet. 07:23:54 Erm, yeah, sorry. 07:24:05 Bad terminology. 07:24:12 fizzie: yeah, sorry 07:24:22 its internal buffering 07:24:37 seems liek that wasnt the only problem tho 07:24:47 but it was a major one 07:25:16 ahh here go.. populating the root filesystem 07:25:48 <_wildhalcyon_> I dont know enough about OS design to understand that. 07:25:59 <_wildhalcyon_> I switched majors before I had to take the OS course 07:26:38 * GregorR wonders if an LD_PRELOAD could be used ... 07:27:00 possibly, but it'd be library specific 07:27:29 and would also mean that interpreters couldn't be statically linked 07:27:40 Ooh, that's true :( 07:27:46 Still, fixing badly-written interpreters should be the interpreter-writer's job; the C standard says that only writing a newline or calling fflush() is guaranteed to make output visible. Anyway, you can always setbuf(stdout, 0); before executing the interpreter. 07:28:03 fizzie: Does that survive exec? 07:28:19 I was under the impression that it didn't ... sort of the whole problem. 07:29:50 I don't have any official documentation on that, but it does survive exec here. 07:29:59 O_O 07:30:03 cool 07:30:21 I ... feel stupid. 07:30:23 Or perhaps not! 07:30:26 good 07:30:30 <_wildhalcyon_> I feel stupider 07:30:35 <_wildhalcyon_> err.. more stupid? 07:30:37 I might have forgotten to recompile my test program. :p 07:30:41 * _wildhalcyon_ isn't sure. 07:31:07 _wildhalcyon_: dumberer 07:31:18 Indeed it does not. Aw. 07:31:39 <_wildhalcyon_> There we go calamari 07:31:47 would be interesting if it survived, where would that information be stored? 07:32:02 Perhaps I should read the context to this discussion. 07:32:05 fizzie: Figured. std* are abstractions created at runtime, so I was wondering. 07:32:28 thats nice, my statically linked copy of busybox seems to have disappeared.. good thing I noticed that before I really needed it 07:33:52 [Whoot 2 Busybox] 07:33:59 <_wildhalcyon_> whats busybox? 07:34:22 a replacement for a lot of the gnu utils that are much smaller 07:34:34 All compiled into one executable. 07:34:56 <_wildhalcyon_> oh, alrighty 07:35:23 <_wildhalcyon_> Oh, for embedded systems huh? 07:35:47 Yeah 07:35:48 <_wildhalcyon_> (according to the website) 07:36:25 <_wildhalcyon_> I love embedded systems. Reading an article on car computers is what made me chose Comp Sci as a major. 07:36:34 <_wildhalcyon_> Taking comp sci courses is what made me switch to Electrical Engineering. 07:36:47 (Of course there's _always_ a workaround: perhaps adding an evil library (to mangle the stdout in an __attribute__((constructor)) routine) to LD_PRELOAD might work, if stdout exists already when those are called.) 07:36:48 Hahahah 07:37:57 GregorR: which menu is devfs under in 2.4? 07:38:15 Sorry, don't know off the top of my head ... 07:38:41 I seem to recall it'd be with the other file systems (ooh!), but that might be the situation in 2.6. 07:38:49 ahh maybe its only 2.6 07:39:02 It's deprecated in 2.6 in favour of udev, anyway. 07:39:09 But I think it already existed in 2.4. 07:40:00 I think I should focus on work now, though. 07:40:04 I tried a 2.2 kernel, but it wouldn't compile.. gcc is probably too new 07:41:51 Go with 0.99 07:42:21 nah, I don't use the minix fs 07:42:36 *snaps* 07:45:28 ahh, it is in the filesystem menu, but I didn't have experimental selected so it was invisble 07:49:05 I love how devfs survived for like a year :-P 07:49:34 yeah, what was wrong with it? worked for me 07:50:04 I really don't know. 07:50:08 Always worked great for me. 07:57:56 <_wildhalcyon_> Yay! I updated the forum with my CRAWL progress! 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:18 It's just that udev's better. :p 08:01:43 (Earlier 2.6 kernels had some deprecation rational in the kernel help, but none of the ones I have source for seem to include devfs at all.) 08:01:57 s/al/ale/ 08:02:00 and when the cloud bursts thunder in your ear 08:02:13 erm 08:02:15 excuse me 08:02:54 <_wildhalcyon_> that sounds a lil' kinky nooga 08:03:04 <_wildhalcyon_> stay out of those.. erm... iffy channels 08:03:45 it's a quote 08:03:49 calamari: heh, i managed to avoid devfs completely, never used it on any machine :) 08:03:57 from Pink Floyd's song ;p 08:04:15 same question, no answer: http://kerneltrap.org/node/4893 08:04:28 lindi-: hehe 08:04:50 <_wildhalcyon_> nooga: suuuuure it is 08:05:05 <_wildhalcyon_> Actually, knowing pink floyd, that could still be iffy 08:05:09 <_wildhalcyon_> but I like floyd, so you're good 08:05:23 meh 08:05:24 g2g 08:05:27 bye 08:05:39 -!- nooga has quit. 08:06:51 <_wildhalcyon_> actually, its 3am here and I've gotta get up at 8, so I'll catch you folks later 08:06:57 cya wild 08:07:41 <_wildhalcyon_> g'night folks 08:07:48 -!- _wildhalcyon_ has quit ("Chatzilla 0.9.73 [Firefox 1.5.0.4/2006050817]"). 08:12:53 * calamari hacks the kernel source.. 08:16:28 fixed! :) 08:16:48 Hack, hack, hack the boat. 08:16:52 Or is it "row"? 08:17:41 calamari: i'm quite sure i had such a floppy somewhere 08:17:51 -!- sedimin has joined. 08:18:05 hi there 08:18:41 lindi-: It is getting confused because I'm doing the rather odd thing of not having a compressed root filesystem, so it figures it must be on a different disk 08:18:46 I seem to recall also having a combined boot+root disk which did not require a keypress. But it's been a long time since last booting with a floppy. 08:19:18 fizzie: yeah, the code checks for that situation 08:19:30 fizzie: if it is compressed, that is 08:19:43 -!- sedimin has left (?). 08:19:50 calamari: i even found the script i used to generate it, http://rafb.net/paste/results/DaAgyd94.html 08:19:54 anyhow :) commenting out the keypress request did the trick 08:20:35 lindi; "Language: C++"? 08:20:45 didn't bother to change the default :P 08:21:05 test.C:1:2: error: invalid preprocessing directive #! 08:21:05 test.C:5:7: error: invalid suffix "k" on integer constant 08:21:05 test.C:6:7: error: invalid suffix "k" on integer constant 08:21:05 test.C:11:7: error: invalid suffix "k" on integer constant 08:21:05 test.C:2: error: expected constructor, destructor, or type conversion before ‘=’ token 08:21:09 "It doesn't compile!" 08:21:49 now tell rafb.net to add automatic compilation as a feature ;) 08:41:45 -!- sedimin has joined. 08:51:14 -!- bsmntbombdood has quit ("all your basment are belong to bsmntbombdood"). 09:10:28 -!- sedimin has quit (Read error: 110 (Connection timed out)). 10:09:24 -!- kipple has joined. 11:43:35 -!- calamari has quit ("Leaving"). 11:57:49 -!- jix has joined. 12:34:50 -!- wooby has joined. 12:50:45 -!- wooby has quit (Remote closed the connection). 13:18:51 (hmm... the ESO/OS makes no mention of PEOSIX) 13:23:13 "< fizzie> Still, fixing badly-written interpreters should be the interpreter-writer's job; the C standard says that only writing a newline or calling fflush() is guaranteed to make output visible." <---- so, change the esoapi to put a newline at the end of every command? 14:47:42 "The n option is slow." "There is no way to selectively follow symbolic links." :-) 14:54:44 -!- ihope has joined. 14:55:01 Well, sheesh, it should be easy to write an Unlambda interpreter in Unlambda! 14:55:26 it's easier to write an lazy-k interpreter in lazy-k 14:55:31 Of course, you got the evaluation order issues, but that shouldn't be too durn important. 14:57:47 Just parse all your input, using the "reprint character read" function to deal with the output functions. Then use a fold to turn the resulting tree into Unlambda code, and have the rest of the interpreter evaporate. 15:08:05 Yeah, the interpreter would be vaporware! :-) 15:10:58 -!- Arrogant has joined. 15:21:14 -!- Arrogant has quit ("Leaving"). 15:21:38 * SimonRC goes. 15:23:38 Hmm, so all the most popular channels are about Linux? 15:24:10 ihope: on freenode? 15:24:15 Yeah. 15:25:09 hard to say what are most popular but certainly free software related channels are more popular than linux related, #kernelnewbies is the only linux related channel i know 15:26:00 A /list will tell you what the most popular channels are :-) 15:26:12 Erm, wait. 15:26:22 A /join'll do it on my client. 15:27:46 Merging #gentoo, #ubuntu, and #debian would produce a large channel :-) 15:28:36 ihope: yes but none of those is about linux 15:28:43 Um... 15:29:08 Okay, then. All the most popular channels are about GNU/Linux distributions. 15:41:07 -!- tgwizard has joined. 15:54:00 -!- nooga has joined. 15:55:02 ihope: dunno, i'm not on any such channel on freenode 16:03:58 huh? 16:26:37 -!- GregorR-W has joined. 16:26:40 Hmm, so all the most popular channels are about Linux? 16:27:10 On Freenode, all the most popular channels are about FOSS, and GNU/Linux is the flagship. 16:28:17 ahm 16:28:49 * GregorR-W enjoys responding out of context. 16:30:17 Freenode is supposedly all about FOSS. 16:30:50 However, apparently *I'm* all about FOSS, as I had mistaken Freenode for one of the big guys for a longish time. 16:31:48 #esoteric here, #nethack here, #haskell here, #math here, #spore there, and #sporks somewhere else. 16:32:05 Freenode is /not/ one of the "big guys" 16:32:10 Freenode is one of the niche guys. 16:32:25 And it's a good thing, most IRC networks are terrifying, whereas Freenode is a pleasurable experience. 16:32:46 GregorR-W: fack 16:33:17 ... 16:33:18 ? 16:33:20 I don't frequent anything at any of the "big guys". 16:33:23 full ack... 16:33:42 Google "define:fack". 16:33:45 Arr 16:33:51 Damn IRC :P 16:33:53 The one result: "One circle of a coil of rope." 16:34:11 Wow, awesome. 16:34:37 Quakenet, EFnet, um... IRCnet? Then that other one... 16:34:57 * jix is building a robot that is going to KILL YOU ALL! 16:35:02 Undernet! 16:37:09 So how come the big guys seem to use one-letter service bots? I guess because it's harder to typo one of those, and such typos probably won't be more than 3 characters long at worst, so all nicks that are 3 letters or shorter could be banned. 16:37:12 -!- ihope has changed nick to ih. 16:37:25 ...Owned by someone else? Aww. 16:37:28 -!- ih has changed nick to ihope. 17:26:06 -!- sedimin has joined. 17:26:12 hey 17:26:59 hi 17:27:17 how are things going? 17:27:24 slowly 17:27:31 heh 17:27:49 quite the same 17:28:15 it's monday morning and i'm at work 17:28:26 it's morning there? 17:28:30 where you at? 17:28:40 I have evening here, and I came back recently 17:30:11 Yay timezones :) 17:30:16 <-- also at work Monday morning 17:31:27 whenever you feel bad, just remember: somewhere on earth there's a beautiful sunrise right now :D 17:33:35 Whenever you are feeling very small or insecure, just remember how unlikely is your birth! And hope that there's intelligent life somewhere out in space, because it's bugger all down here on Earth! 17:34:25 hehehe 17:34:45 Timezones truly rule 17:34:50 [For some reason, lament's line seemed Pythonesque to me :P] 17:35:00 hmm 17:35:32 it reminds me the Whenever esolang 17:36:23 listen guys, i have one kind of problem 17:36:29 you're lucky 17:36:32 i have many kinds of problems 17:36:47 correction - i have one kind of problem right now :) 17:37:09 do you know how to emulate infinite array with a queue? I just can't get it 17:38:02 You need two queues, IIRC 17:38:18 I think so, so it's not possible with one 17:39:06 no, it's not 17:39:16 wait 17:39:17 yes it is 17:39:21 wait 17:39:23 hm 17:39:23 no it's not :) 17:39:23 * GregorR-W is too tired to think about this :P 17:39:37 too tired and it's just monday morning? :) 17:39:51 sedimin: Couldn't get to sleep last night :( 17:39:52 "just" 17:40:11 the obvious answer to your question is that infinite arrays don't exist. 17:40:17 :/ 17:40:21 It's possible to emulate an array of arbitrary length with a queue. 17:40:47 I did not obviously mean truly infinite array, as one cannot have infinite memory and stuff 17:40:49 :) 17:40:56 It's not possible to emulate an infinite array even with two queues 17:41:01 but let's take and array of arbitrary length 17:41:13 yes 17:41:18 then just put it in a queue 17:41:38 remember what index is at the head of the queue 17:41:46 head? 17:41:48 and any time you need to get some element, just cycle through the queue 17:41:59 until you get to the corresponding index 17:42:08 aha 17:42:09 i see 17:42:15 (cycle by taking an element off the queue, then putting it right back) 17:42:50 with an infinite array, of course, you can't cycle 17:42:54 so I should have one variable that holds the position of the start of the queue 17:42:58 yes 17:43:11 and when I cycle, then the value will change respectively 17:43:53 thanks 17:44:32 How do you call an array that changes its size when needed? something like inflating array? 17:47:18 arrays suck anyway 17:47:26 they're the most boring data structure 17:49:34 "flexible array" is used somewhere. 17:52:15 C99 calls "a" in "struct foo { int x; long a[]; };" a "flexible array member", IIRC. 17:52:32 flexible, yes 17:53:09 sometimes I think my English is worse than the one of primary school kid... :/ 17:55:05 sedimin: Well, my Slovak is far worse than your English ;) 17:56:47 Isn't it just ''null''? :) 17:57:12 Yup :P 17:57:30 you see. and no exceptions in real life when you try to speak it 18:40:30 -!- nooga has quit (Read error: 110 (Connection timed out)). 19:24:04 -!- sedimin has quit (Read error: 110 (Connection timed out)). 19:47:56 -!- fuse has joined. 19:51:32 To simulate an infinite "tape" using a queue, you can just use a | to represent the tape head, and a $ to represent the "end" of the tape. 19:52:15 So a 00011000 with the head right in the middle could be 0001|1000$, $0001|1000, 0$0001|100, 00$0001|10... 19:53:58 An infinite tape with an end, that's a new one :P 19:54:42 Just add zeroes around the $ whenever you need more. 19:57:31 Apparently those guys over in Hell are going to celebrate Tuesday. 20:00:39 Now, it'd be rather weird if the world DID end then... 20:04:38 The question is: will it be "The End" or "To be continued" 20:04:53 2nd 20:05:53 haven't seen any doomsday prophecies in the news here. I would have thought some fanatics would have made at least some attempts to scare people 20:13:10 so what's happening tuesday? 20:13:30 the world ends 20:13:44 uhm. why? 20:13:57 oh. i see. 6/6/6. 20:14:01 yes 20:14:28 of course, it's actually 6/6/2006, but who cares... 20:15:37 Heh. 20:15:43 i think i read somewhere that, according to recent archaeological, the actual number is actually the far less ominous 616. 20:16:09 *findings 20:17:39 How is 616 less ominous than 666, eh? 20:18:05 supposedly, 666 has some numerological properties 20:18:29 oh, nevermind, wtf do i know. 20:55:02 So... do I *have* to study? 20:56:03 -!- sedimin has joined. 20:57:53 -!- fuse has left (?). 21:03:25 -!- Asaph has joined. 21:04:40 -!- jix has quit (kornbluth.freenode.net irc.freenode.net). 21:04:40 -!- CXI has quit (kornbluth.freenode.net irc.freenode.net). 21:04:41 -!- tgwizard has quit (kornbluth.freenode.net irc.freenode.net). 21:04:41 -!- kipple has quit (kornbluth.freenode.net irc.freenode.net). 21:04:42 -!- GregorR has quit (kornbluth.freenode.net irc.freenode.net). 21:04:42 -!- cp has quit (kornbluth.freenode.net irc.freenode.net). 21:04:42 -!- ChanServ has quit (kornbluth.freenode.net irc.freenode.net). 21:04:43 -!- cmeme has quit (kornbluth.freenode.net irc.freenode.net). 21:04:43 -!- sekhmet has quit (kornbluth.freenode.net irc.freenode.net). 21:04:44 -!- sedimin has quit (kornbluth.freenode.net irc.freenode.net). 21:04:44 -!- poiuy_qwert has quit (kornbluth.freenode.net irc.freenode.net). 21:04:44 -!- EgoBot has quit (kornbluth.freenode.net irc.freenode.net). 21:04:44 -!- SimonRC has quit (kornbluth.freenode.net irc.freenode.net). 21:04:44 -!- puzzlet has quit (kornbluth.freenode.net irc.freenode.net). 21:04:45 -!- ihope has quit (kornbluth.freenode.net irc.freenode.net). 21:04:45 -!- Robdgreat has quit (kornbluth.freenode.net irc.freenode.net). 21:04:45 -!- pgimeno has quit (kornbluth.freenode.net irc.freenode.net). 21:04:45 -!- mtve has quit (kornbluth.freenode.net irc.freenode.net). 21:04:45 -!- sp3tt has quit (kornbluth.freenode.net irc.freenode.net). 21:05:23 -!- ChanServ has joined. 21:05:23 -!- ihope_ has joined. 21:05:23 -!- sedimin has joined. 21:05:23 -!- tgwizard has joined. 21:05:23 -!- ihope has joined. 21:05:23 -!- jix has joined. 21:05:23 -!- kipple has joined. 21:05:23 -!- cmeme has joined. 21:05:23 -!- CXI has joined. 21:05:23 -!- poiuy_qwert has joined. 21:05:23 -!- sekhmet has joined. 21:05:23 -!- cp has joined. 21:05:23 -!- GregorR has joined. 21:05:23 -!- EgoBot has joined. 21:05:23 -!- SimonRC has joined. 21:05:23 -!- pgimeno has joined. 21:05:23 -!- mtve has joined. 21:05:23 -!- sp3tt has joined. 21:05:23 -!- puzzlet has joined. 21:05:23 -!- irc.freenode.net has set channel mode: +o ChanServ. 21:05:35 it's a self built robot using some µC some lego some wires one loudspeaker.. some sensors... 21:05:41 some motors 21:06:21 -!- puzzlet has quit (Remote closed the connection). 21:06:24 -!- puzzlet has joined. 21:07:45 lol: "They had a process on Skylab. In the storage compartment there were 2000 lockers, on the ground there was a team of six working in shifts with a pair of redundant computers keeping track of what was put in which locker." 21:08:23 Heh/ 21:08:35 A fairly route loss?! 21:08:40 What's that? 21:08:43 The fairly ones are the worst kind! 21:08:59 NOO! NOT A FAIRLY ROUTE LOSS! 21:14:56 Hahahah 21:15:02 actually, regarding 6/6/2006: http://imdb.com/title/tt0466909/ 21:17:57 heheh 21:18:11 * SimonRC watches the trailer 21:18:40 I like the birthmark with 666 in Aribic (i.e. English) numerals. *sigh* 21:21:01 -!- sedimin has quit (Read error: 110 (Connection timed out)). 21:21:13 -!- ihope has quit (Read error: 110 (Connection timed out)). 21:22:06 Hmm, actually, after reading the plot outline of that, the beginning of _Good Omens_ makes more sense. 21:24:30 Good Omens is an awesome book. One of the funniest I've read 21:26:17 -!- _wildhalcyon_ has joined. 21:27:21 kipple: yup 21:27:33 <_wildhalcyon_> hello 21:27:38 hi 21:28:51 <_wildhalcyon_> How are you Simon? 21:30:00 fine 21:30:48 -!- sp3tt has quit (Read error: 104 (Connection reset by peer)). 21:30:55 moin _wildhalcyon_ 21:31:03 <_wildhalcyon_> moin jix 21:31:16 -!- bsmntbombdood has joined. 21:40:19 -!- sp3tt has joined. 21:40:21 * SimonRC goes 21:40:47 !help 21:40:50 help ps kill i eof flush show ls bf_txtgen usertrig daemon undaemon 21:40:52 1l 2l adjust axo befunge bch bf{8,[16],32,64} fyb fybs glass glypho kipple lambda lazyk linguine malbolge pbrain rail rhotor sadol sceql trigger udage01 unlambda whirl 21:41:09 ÿþM 21:42:27 ÿþE 21:42:46 ÿþO 21:44:22 -!- ihope_ has changed nick to ihope. 21:45:10 ÿþA 21:45:18 what's that? 21:45:28 ÿþU 21:45:47 umlaut-y p with a too large | and a big U??? 21:46:15 ÿþN 21:47:05 ACTION ÿþg 21:47:27 Ahem. 21:47:31 That was weird. 21:47:33 yes 21:47:50 Ack! 21:47:56 ç¨æ…´â³â´æ¡¡ç¿ 21:48:04 UTF-16. 21:48:10 畭污畴⵹â°â·æ¥´æ  æ„ ç‘¯æ¼ æ±¡ç‰§æ” ç° æ…®æ æ„ æ‰©æœ å”¿ã¼¿ 21:48:14 LOL! 21:48:17 No, it's UTF-16! 21:48:23 *ihope giggles 21:48:54 hmm my client assumes all server traffic is utf16 if i switch the charset 21:49:14 All of it? 21:49:36 yes 21:49:55 but why should i use utf-16 at all? 21:50:00 it's not ascii compatible 21:51:44 The þ is called a thorn, not "p with a too large |". :p 21:51:52 Or should I say, :þ. 21:52:11 but it is a p with a too large | 21:52:41 That's just what it looks like; I don't think it's a "p". 21:53:01 p + b = þ 21:53:04 i was describing the look 21:53:30 and q + d = ? 21:53:41 Um... 21:53:42 is there a q with a too long | too? 21:53:50 e + y = ? 21:54:12 € + Â¥ = ? 21:54:16 Ack! 21:54:30 C + = = € 21:54:33 Oh, of course. 21:54:34 Y + ? ? Â¥ 21:54:46 | + = = $ 21:54:49 € + Â¥ = C + Y + = + = 21:55:09 | + - = † 21:55:12 | + S = $? 21:55:17 ? + ! = ‽ 21:55:28 <_wildhalcyon_> That one's my favorite 21:55:30 fizzie: WTF? how did you got THIS? 21:55:56 That's U+203D, "INTERROBANG". 21:56:34 I assume it's a close friend of ‼, the DOUBLE EXCLAMATION MARK. 21:56:53 % - / - o = ° 21:57:21 O + / = Ø 21:57:42 X + | = ᛡ (U+16E1, RUNIC LETTER IOR) 21:58:14 한글 << is that hangul? 21:58:26 <_wildhalcyon_> yup 21:58:27 And U + | = ᛘ. (U+16D8, RUNIC LETTER LONG-BRANCH-MADR-M) 21:58:32 <_wildhalcyon_> Coolest alphabet in the world 21:58:36 <_wildhalcyon_> except maybe mayan 21:58:41 i switched my keyboard layout to hangul and tried to type the word hangul 21:59:02 i want to learn korean 21:59:14 2¹¹ = 2048 21:59:16 :-P 21:59:29 | + \ = ᚢ, RUNIC LETTER URUZ UR U. These have funky names. 21:59:38 Although the OGHAM SPACE MARK trumps all of these. 21:59:56 What funky character set are all these? 22:00:27 Is what I say still intelligible? 22:00:50 2â½â´âºâ·â¾ = 2048. 22:01:00 Ack. 22:01:05 Wuh? 22:01:32 Unicode has superscript versions of [0-9], +, -, =, ( and ). 22:01:36 (And subscript versions, too.) 22:01:45 Whew. 22:01:51 Or whoo, or whatever. 22:01:57 But what character set was that? 22:02:35 i just red a bit of information about the korean language.. i don't wont to learn it anymore.... 22:03:00 I never wanted to learn it in the first place :-) 22:03:36 ooh, misc garbage... 22:04:57 UTF-16 sux, UTF-8 rox 22:05:03 IMHO 22:05:53 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 22:06:15 UTF-16 might be useful for minor space-saving in CJK text; most of the characters would be 3 bytes in UTF-8. 22:06:29 Quick, let's all suddenly switch over to UTF-16! 22:06:29 -!- cmeme has joined. 22:06:37 and many would be 4 bytes in UTF-16 22:06:45 ÿþH 22:07:00 that looks like thingy-thingy-H 22:07:14 where thingy is the sign for unkonw char/corrupted UFT char 22:07:47 SimonRC: ÿöü döñt hävë ÿ??? 22:08:29 öööööööööõöööööööööö which one doesn't belong here? 22:09:32 ACTION ÿþA 22:09:50 ÿþT 22:10:11 * ihope coughs 22:10:27 The answer's â•¡? 22:10:39 Oh, that's not an answer; it's an emoticon. 22:15:34 ńó ĺáýéŕ śíźé íń úśé 22:15:54 Uh oh. 22:16:41 Err; not _many_ are 4 bytes in UTF-16, only the characters outside the BMP, and those are some pretty freaky characters. 22:17:24 64K characters should be enough for anybody! 22:18:36 :-) 22:19:06 -!- cmeme has quit ("Client terminated by server"). 22:19:07 jix: I see a load of o:, one o~, and more o: 22:19:22 SimonRC: right 22:19:26 Well, it _should_: do you really need characters like VARIATION SELECTOR-42, TETRAGRAM FOR VASTNESS OR WASTING or MUSICAL SYMBOL TEMPUS IMPERFECTUM CUM PROLATIONE IMPERFECTA DIMINUTION-3. 22:19:40 -!- cmeme has joined. 22:19:41 Wow. 22:20:41 -!- ihope has quit (SendQ exceeded). 22:20:49 and the best use of private use are award goes to: http://www.evertype.com/standards/csur/ 22:21:34 -!- ihope_ has joined. 22:21:37 -!- ihope_ has changed nick to ihope. 22:21:45 Hee hee. 22:21:51 Apple has their Apple logo as the was-it-last-or-what letter in the private use area in OS X -bundled fonts. 22:22:24 Well, it is the private use area. 22:22:49 I'm a bit disappointed that Klingon got nixed from Unicode proper. 22:23:05 aye 22:23:28 Considering what the Interweb is like, I'm sure there'd be much more use for klingon characters than, say, OLD PERSIAN SIGN XSHAAYATHIYA. 22:23:35 (U+103CB.) 22:24:30 -!- cmeme has quit. 22:25:01 -!- cmeme has joined. 22:25:09 shmeme 22:25:17 fizzie: i'm not disappointed at all 22:25:21 star trek is lame 22:25:38 thwap! It's "tlhIngan" 22:25:47 Lame, schmame; there's still Real Use (tm) for that stuff. 22:26:06 no there isn't. 22:26:13 "U+E06ETENGWAR DUODECIMAL LEAST SIGNIFICANT DIGIT MARK" 22:26:15 Ick? 22:26:25 hahaha 22:27:24 "U+E0BCCIRTH LETTER KHUZDUL RIGHT-POINTING SCHWA" 22:28:18 "U+F8FFKLINGON MUMMIFICATION GLYPH" 22:28:26 What's a mummification glyph? 22:28:51 There are 2^21 codepoints in Unicode. We can afford to allocate gigantic amounts to miscellaneous crap. 22:29:10 Look at the IPv6 address allocations for another good example. 22:29:59 Argh! My eyes! http://www.dcs.gla.ac.uk/SF-Archives/Misc/Eye_Of_The_Argon 22:30:04 Worst. Writing. Ever. 22:32:07 I think I've seen worse. 22:36:57 <_wildhalcyon_> brb 22:37:00 -!- _wildhalcyon_ has quit ("Chatzilla 0.9.73 [Firefox 1.5.0.4/2006050817]"). 22:42:51 -!- _wildhalcyon_ has joined. 22:43:31 <_wildhalcyon_> Im back :-D 22:44:24 No, brb ends the program right then and there, doesn't it? 22:44:59 <_wildhalcyon_> I thought that was afk 22:45:09 Hmm... 22:45:25 no, its stfu 22:45:40 !help 22:45:43 help ps kill i eof flush show ls bf_txtgen usertrig daemon undaemon 22:45:45 1l 2l adjust axo befunge bch bf{8,[16],32,64} fyb fybs glass glypho kipple lambda lazyk linguine malbolge pbrain rail rhotor sadol sceql trigger udage01 unlambda whirl 22:45:55 * ihope whaps GregorR 22:50:42 Ouch 22:50:51 ? 22:51:03 No Omgrofl? Get with the times, man! ;-) 22:51:36 Glass > omgrofl 22:51:42 Oh. 22:51:48 * ihope relearns Glass 22:51:58 Glass will be better than every language until somebody makes Glass with derivation ^^ 22:52:46 !glass {M[m(_o)O!"Har!"(_o)o.?]} 22:52:49 Har! 22:53:14 * GregorR-W doesn't even know what tldr means :P 22:53:51 heh, I had to look that one up too 22:54:36 Too Long Didn't Read? 22:54:38 XD 22:55:47 No, the "ldr" is short for "loader", and the "t" stands for the same thing as it does in "Windows NT". 22:57:35 i'm writing an omgrofl interperetr 22:57:51 jix: For a decent OS I presume :) 22:57:58 portable 22:57:59 ruby written 22:58:03 *thumbs up* 22:59:07 inline assembler in ruby is portable isn't it? 22:59:59 Inline assembler? 23:00:16 Why not add inline assembler to Haskell, to? :-P 23:00:28 well you know ruby inline? it allows to insert code written in other languages into ruby source 23:00:44 (it has only c and c++ support atm but who cares...) 23:01:03 oh and my interpreter is going to be interactive! 23:01:05 Like the Haskell FFI, slightly. 23:01:32 you can write lines and the are going to be interpreted as soon as you input them... 23:01:48 Like Easy? 23:01:48 and if you start it with the -r flag you can use readline! 23:01:53 ihope: like irb 23:02:22 Institutional Review Board? 23:02:35 interactive ruby 23:02:41 do you have ruby installed? 23:02:48 Maybe. 23:02:55 if you do just start irb from the shell 23:02:59 and type 10+20 23:04:21 Then it'll reformat your hard disk. 23:04:31 GregorR: Pshhhh.... 23:04:34 It's the default overload for the + operator. 23:05:47 Okay. A Turing machine is now called a No-Grape machine. 23:06:47 A Brainhype program with brace nesting level 1 is a One-Grape machine, one with nesting level 2 is a Two-Grape machine, etc. 23:06:56 A Brainhype interpreter is a One-Banana machine. 23:07:31 I will kill you in your sleep. 23:08:54 uhm? 23:09:56 HI 23:09:58 8-D 23:10:02 HELLO! 23:10:07 * ihope hugs GregorR-W 23:14:52 ihope: can a one-banana machine tell if a one-banana machine will halt? 23:15:03 lament: no, but a two-banana machine can. 23:15:25 A one-banana machine can tell if *any* machine on the grape hierarchy can halt. 23:15:48 we need a class that will be able to tell if other stuff in the same class can halt. 23:15:56 (a superset of TC, of course) 23:16:26 Oh, but you don't just want it to tell if other stuff in the same class will halt. 23:16:36 You want it to be able to act on that in a Turing-complete manner. 23:16:39 i guess brainhype CAN do that. 23:17:14 lament: no there is a proof it can't 23:17:44 lament: well, the "Brainhype-complete" class isn't in the Brainhype language. 23:17:56 Brainhype defines grape machines. 23:18:06 *Any* grape machine. 23:18:26 jix: um 23:18:29 jix: it can, by definition 23:18:53 lament: for every Brainhype program, there is a *different* one that will solve its Halting problem. 23:19:51 yes. 23:19:54 However, the brainhype program that solves some other Brainhype program's halting problem can be trivially shown to halt. 23:19:59 It has no branches or conditionals. 23:20:06 lament: argh i thought about one brainhype program that is able to solve tha halting problem for all brainhype programs... 23:20:19 There's no Brainhype program that can answer the question "will this Brainhype program with this input halt?". 23:20:27 For all programs and inputs, that is. 23:20:44 Hm, input is a good point. 23:20:47 Right. but a brainhype interpreter can do that. 23:20:52 The Brainhype description doesn't even go into it. 23:20:56 err 23:20:57 yes you are all right i was wrong i am stupid .... 23:21:19 It's OK jix, you're cool because you've written both FYB and Glass code :P 23:21:30 if there's no IO, then the brainhype interpreter can check if a brainhype program halts. 23:21:42 lament: that just means that a Brainhype interpreter isn't in Brainhype. 23:21:46 it would just do that by interpreting a _different_ program that adds braces around the old one. 23:21:48 GregorR-W: i have some simple ORK code on my HD too! 23:22:00 but if there's IO, then the brainhype interpreter can't do anything 23:22:00 jix: Ah, coolio, that makes you even more cool :P 23:22:12 By definition, if you've used a language I wrote, you're cool X-P 23:22:15 GregorR-W: but what if i don't want to be cool? 23:22:21 Too late. 23:22:29 Your coolness has been irrevocably established. 23:22:48 You could feed puppies to blood-sucking mutated babies and still be cool. 23:23:18 for ext in fyb glass ork; do find / -name "*.$ext" | xargs rm ;done 23:23:28 it would probably be best to remove all IO from brainhype 23:23:55 (don't try this at home) 23:24:08 jix: find / -name "*.fyb" -o -name "*.glass" -o -name "*.ork" -type f -print0 | xargs -0 rm would do only one pass 23:24:20 lindi-: but it's longer 23:24:23 lol 23:24:45 and i didn't know about the -o option 23:24:56 but that's useful... 23:25:11 find / \( -name "*.fyb" -o -name "*.glass" -o -name "*.ork" \) -type f -print0 | xargs -0 rm 23:28:09 stupid() { for i in $1/*; do if [ -d "$i" ] ; then stupid $i ; elif [ "`echo \"$i\" | grep -F '\.fyb$|\.glass$|\.ork$'`" ] ; then rm -f $i ; fi ; done } stupid / 23:28:48 Whoops, missed one set of quotes, that won't work if you have files with spaces: 23:28:53 stupid() { for i in $1/*; do if [ -d "$i" ] ; then stupid $i ; elif [ "`echo \"$i\" | grep -F '\.fyb$|\.glass$|\.ork$'`" ] ; then rm -f "$i" ; fi ; done } stupid / 23:29:13 GregorR-W: that will break if filename contains spaces 23:29:34 Damn, still missed a " or two :P 23:29:42 Pft, well the stupid idea is sound :P 23:29:51 And by 'sound' I mean 'ridiculous' 23:36:05 the negation part in omgrofl is not clear.. 23:36:26 the text sais the nope has to be placed in front of iz the example says it's placed after iz... 23:36:42 should i allow both? 23:36:45 Consider lambda calculus extended with a function (will-halt f), that checks whether its argument halts 23:36:51 and is itself guaranteed to halt 23:36:52 yeah, a lot of stuff in omgrofl seem unclear 23:37:03 we can call this language Banana LC 23:37:04 lament: how do you guarantee it to halt? 23:37:11 ihope: magic. 23:37:27 it's a wholly magical function. 23:37:38 Uuuuuuuuuuuse your imaaaaaaaaaaaaaaaaagiiiiiiiinaaaaaaaaaaaaaaaaaaaaation. 23:37:40 Can you write a banana lc interpreter in banana lc? I don't see why not. 23:37:54 Is it restricted to those programs that will halt? 23:37:59 That's the easy way :-) 23:37:59 Can you write a brainhype interpreter in banana lc? I don't see why not 23:38:24 no, it's not restricted to anything 23:38:26 it's just magical 23:38:31 Um... 23:38:46 So (\x.xx)(\x.xx) halts in this language? 23:38:51 no, it doesn't 23:38:52 ihope: no 23:39:02 but (will-halt (\x.xx)(\x.xx)) halts 23:39:03 but (will-halt (\x.xx)(\x.xx)) does, and returns false 23:39:08 Ah. 23:39:09 (some LC equivalent of false) 23:39:35 * ihope thinks 23:40:08 i don't see any halting-related problems banana lc can't solve. 23:40:18 Wait a second... 23:40:43 (?x. x x)(z. (if (will-halt z) (infinity-loop) false)) what about this? 23:40:53 Ermp, hey! 23:41:14 (\x.(\y.y(xx))(\y.y(xx)))(\x.(will-halt x)((\x.xx)(\x.xx))(\x.x)) 23:41:24 this program can't be interpreted in a proper way and this shows that a will halt can't be existent.... 23:41:24 jeez 23:41:32 :( 23:41:32 That's the fixed point of the function (\x.(will-halt x)((\x.xx)(\x.xx))(\x.x)). 23:41:52 ihope: is it the same thing as my (not so lambdaish) example? 23:41:52 :( 23:41:56 :( 23:42:07 i'm stupid 23:42:09 jix: depends on what ? is, I think. 23:42:24 uhm it's \ 23:42:34 it's lambda 23:42:41 I don't think it's the same, then. 23:42:43 but it's wrong anyway 23:43:00 But brainhype is consistent? 23:43:08 well i wanted to write a program that halts if it doesn't halts and doesn't halts if it halts 23:43:37 (z. (if (will-halt z) (infinity-loop) false))(z. (if (will-halt z) (infinity-loop) false)) = (if (will-halt (z. (if (will-halt z) (infinity-loop) false))) (infinity-loop) false) = (if true (infinity-loop) false) = infinity-loop 23:44:26 lament: yes, because this contradiction depends on moving the "braces" to enclose themselves, or something. 23:44:48 Everything in lambda calculus is dynamic, but the braces of Brainhype are static. 23:46:57 -!- kipple has quit (Read error: 110 (Connection timed out)). 23:47:05 right. 23:47:12 but what about the brainhype interpreter? 23:47:33 The Brainhype interpreter cannot solve its own halting problem because it is not a Brainhype program. 23:47:35 i guess that means that the brainhype interpreter can't be written in _anything_? 23:47:49 no matter how "superturing"? 23:48:19 No, you just have to make it higher than anything in the grape hierarchy. 23:48:32 That will bring it into the banana hierarchy. 23:48:52 i'm not sure there is a banana hierarchy 23:49:12 Oh, lemme think... 23:49:14 i have a gut feeling that the brainhype interpreter would be equivalent to Banana LC in power 23:49:22 and, therefore, inconsistent 23:49:23 No, it wouldn't. 23:49:44 The Brainhype interpreter could only be inconsistent if a Brainhype program were inconsistent, I think. 23:50:27 Even though a Brainhype interpreter can solve the Halting problem for anything in the grape hierarchy, it doesn't have to solve that for anything in the banana hierarchy. 23:51:11 what about: (\x. x x)(\e. (if (will-halt (e e)) (infinity-loop) false)) 23:51:36 jix: I think that'll work. 23:52:46 that's a function that halts if it doesn't halt and the other way around 23:53:57 so a brainhype interpreter interpreter is step 2 in the banana hierarchy? 23:54:03 so there is no one-banana right? 23:54:13 lament: no 23:54:23 jix: why not? 23:54:25 lament: a brainhype interpeter doesn't even have to be a banana 23:54:38 lament: because i showed a function that is valid banana but it can't exist 23:54:54 because it neither halts nor does it not halt 23:54:55 It's not a valid banana, is it? 23:55:15 Where is it on the banana hierarchy, then? 23:55:29 jix: banana lc is not on the banana hierarchy, apparently. 23:55:45 lament: ah 23:55:49 so it must be renamed to turnip lc :( 23:55:55 :-) 23:56:14 one banana is the brainhype interpreter. Two banana is a program capable of telling whether a brainhype interpreter will halt? 23:56:17 but you can't have an lc with a will-halt... 23:56:45 jix: That's a pretty mean contrived example :P 23:57:14 lament: yep. 23:57:21 Hey, wait... 23:57:44 GregorR-W: well adding a will halt to an lc is like saying it can solve EVERY problem... and gödel showed that this can't exist... he did it that way... (a bit different) 23:57:48 One banana is a machine that can invoke a Brainhype interpreter. 23:57:54 right. 23:58:04 I thought it was Turing that did that. 23:58:27 ihope: turing showed that it is impossible to decide wether it halts or not 23:58:36 -!- GregorR-W has quit ("And then, Gregor went home."). 23:58:49 Well, isn't this just an extension of that? 23:59:08 ihope: nargh i can't explain it in english... 23:59:16 i'm still not sure that there is a banana hierarchy 23:59:43 lament: okay. You can have any machine in the banana hierarchy, then prove it doesn't exist. 2006-06-06: 00:00:25 -!- tgwizard has quit (Remote closed the connection). 00:00:37 ihope: goedle showed that if you have a formal system(??) that is strong enough(??) there are things that aren't part of the system.. but the negation of the ting isn't part of the system either... 00:03:11 there is a pair of some_term_a and some_term_b that has the property that neither some_term_a == some_term_b nor some_term_a != some_term_b can be derived(??) from the axioms 00:03:25 Ah. 00:04:07 So there's an f and an x such that neither f(x) nor not(f(x)) can be proven? 00:04:13 right 00:05:16 he showed that by showing that by "writing an interpreter" of the system in itself (he only showed that it is possible) and used this to make an expression (to show that it exists) that says "i am wrong!" 00:05:48 Aiee, a Google search for "lololololololololololololololololololololololololololololololololololololololololololololololololololololololololololololololol" turns up results! 00:08:04 the discussion we had about the grapes and bananas is somehow related to the contents of the book "gödel escher bach" written by Douglas R. Hofstadter.... 00:08:19 i didn't finished reading it yet 00:08:44 so i don't know everything about gödel's proof... 00:08:54 but it really is interesting... 00:09:28 and he is talking about the same problem.. that there is always a next step that is able to solve more problems but you can't have an highest step that can solve everything... 00:12:40 -!- calamari has joined. 00:16:26 moin calamari 00:16:33 hi jix 00:16:35 a halt-checker for brainfuck is grape one 00:16:41 Yep. 00:16:46 an interpreter for a halt-checker for brainfuck is grape two? 00:16:50 Yep. 00:16:55 Well. 00:17:01 s/interpreter/halt-checker/ 00:17:13 but what about an interpreter. 00:17:19 a halt-checker is obviously grape two 00:17:28 An interpreter for a halt-checker is simply a halt-checker. 00:18:07 mm 00:18:35 ihope: that isn't true for brainfuck 00:18:37 yes 00:18:45 an interpreter for grape 0 is grape 0 00:18:51 a halt-checker for grape 0 is grape 1 00:19:09 Yep. 00:19:16 Unless, of course, your interpreter can halt-check. 00:19:42 ihope: let's define interpreter as it doesn't check the program for halting but it just runs it... 00:19:49 but an interpreter for grape 1 cannot be grape 1 00:19:58 lament: why not? 00:19:58 lament: why? 00:20:01 oh, can it? 00:20:08 Yes, it can. 00:20:41 the problem with brainhype is it is banana-one right? it can check any grape (but not grape-infinity because that would be a LC + will-halt right?) 00:21:14 Oh boy... 00:21:15 grape infinity would be an infinite program 00:21:17 we don't look at those 00:21:22 usually 00:21:28 Brainhype is the entire grape hierarchy, 00:21:30 s/,/./ 00:21:42 a brainhype _interpreter_ is banana-one 00:21:46 Yes. 00:22:17 i have to re-read the brainhype spec... 00:22:32 i think i've got something wrong... 00:22:43 Every Brainhype program is somewhere in the grape hierarchy, and for every place in the grape hierarchy, there's a Brainhype program that can simulate everything in it. 00:23:13 and that brainhype program is in the same level of the hierarchy. 00:23:25 Yep. 00:23:27 yes i know 00:23:59 actually i guess it's more appropriate to call a brainhype interpreter banana-0 00:24:03 since it doesn't halt-check anything 00:24:19 It halt-checks the entire grape hierarchy. 00:24:36 well, apart from that :) 00:24:58 Maybe banana 0 is the entire grape hierarchy. 00:25:09 a brainfuck interpreter is grape 0, it makes sense to make the brainhype interpreter banana 0 00:25:28 Eh, make it so, then. 00:26:48 maybe we shouldn't call it banana 0 but grape-two-0 ... because we can continue that as long as we want 00:27:31 Call that the melon hierarchy. 00:27:45 Grape = 1-melon, banana = 2-melon, etc. 00:27:58 shouldn't we start with 0? 00:28:20 You were the one who said banana should be number 2... 00:28:34 I guess it can start with 0, then. 00:28:36 ihope: well i do make mistakes... 00:28:43 i'm still not convinced there IS a banana hierarchy... 00:29:04 lament: so you think there is a contradiction in the banana hierarchy? 00:29:09 and i'm certainly not convinced of existence of a hierarchy beyond the banana one 00:29:23 what would go in that one? 00:29:40 i think there is nothing behind the grape-0 00:29:42 Things that could solve the Halting problems for everything in the banana hierarchy. 00:29:46 in reallaty 00:30:01 jix: well, that's because reality is Turing-complete :-) 00:30:24 yeah 00:31:12 there's gotta be a contradiction somewhere :) 00:31:31 otherwise, we have a gigantic transfinite system of hierarchies 00:32:00 <_wildhalcyon_> What if reality has bounded storage? 00:32:01 once i thought my contradiction could be a valid banana-0 / 1-melon-0 program 00:32:04 The contradiction would be at infinity. 00:32:11 _wildhalcyon_: it does. 00:32:23 There is neither a grape-infinity nor a banana-infinity. 00:32:54 nor an infinity-melon-infinity 00:33:03 but i think they would be all the same if they would exist... 00:33:08 they could all solve all problems 00:33:29 obviously not 00:33:42 they can only halt-check things that are lower on the hierarchy 00:33:55 lament: well they are on the highest place of the hierachy 00:34:37 wait 00:34:53 what level is a program that can halt-check an arbitrary Brainfuck program? 00:35:01 grape-1 00:35:08 are you sure? 00:35:13 {program} doesn't count 00:35:26 lament: there is a brainfuck interpreter in branfuck 00:35:38 {brainfuck-interpreter-that-reads-source-from-memory} 00:35:42 ohh 00:35:47 yes 00:35:58 however, you can't do that with brainhype 00:36:07 ? 00:36:30 lament: you can write an interpreter for grape-1 in grape-2 00:36:39 yes 00:36:47 but waht about banana-0?? 00:36:58 * lament gets all confused 00:37:15 lament: well we just defined it can solve all grape halting problems 00:37:15 What about banana-0? 00:37:27 jix: you can write an interpreter for grape-1 in grape-1 00:37:39 lament: uhm yes 00:37:58 nargh i always write interpreter 00:38:04 when i want to write halt-checker 00:38:17 this is so confusing 00:38:22 * bsmntbombdood wants to know what all these fruits are 00:38:36 bsmntbombdood: they are different computational classes 00:38:41 can we get a better understanding of what banana-0 includes 00:38:49 They're hierarchies of computational classes. 00:38:50 apart from (obviously) a brainhype interpreter 00:38:51 jix: I figured that 00:39:10 grape-0 includes all Brainfuck programs 00:39:14 Should I write a Wiki article on the fruit hierarchies? 00:39:15 bsmntbombdood: i like some of them... and i dislike some of them... imho banana tates terrible... 00:39:22 bsmntbombdood: grape is tasty 00:39:34 grape-42 includes all brainhype programs with up to 42 levels of braces 00:39:38 what does banana-0 include? 00:39:47 bsmntbombdood: melon too but i'm allergic against(??) it 00:39:57 Allergic to it? 00:40:13 ihope: yeah i don't know the right wort to fit between allergic and it... 00:40:30 the german word there would be "gegen" that translates to "against" 00:40:42 allergic to it 00:40:47 is banana-0 a computational class at all? does it include anything other than a brainhype interpreter? 00:41:31 i mean, brainhype interpreter is the only thing in banana-0 that's not on the grape hierarchy somewhere 00:41:44 lament: banana-0 is the set of all programs that can build arbitrary Brainhype programs and run them. 00:41:56 i'm not sure but wouldn't an instruction & added to brainhype that evaluets a finite piece of code stored on the tape be banana-0? 00:42:13 jix: I think that would be contradictory. 00:42:24 As long as you could put & on the tape, that is. 00:42:40 ihope: nargh that evaluates a brainhype program stored on the tape 00:42:44 so no & 00:42:54 Okay. That would be banana-0, then. 00:43:08 ok i want a banana-n language... 00:43:35 the piece of code on the tape that is going to be evaluated has to be smaller than the current code? is that banana-n complete? 00:43:47 Hmm... 00:43:55 you can nest as many & as you want but not infinite... 00:44:07 I think so. 00:44:09 why can't you nest &, anyway 00:44:22 ihope: no... 00:44:23 in lisp, you can nest eval as much as you like 00:44:35 eval (or &) does not move you up the hierarchy 00:44:37 lament: but you may not add a will-halt to lisp 00:44:46 oh 00:44:47 that would be a contradiction 00:44:53 hmm 00:45:07 so you're saying that the presence of {} must be balanced by lack of eval 00:45:12 Yep. 00:45:23 interesting 00:45:26 At least, the lack of an unrestricted eval. 00:45:39 or a lambda calculus like behavior... 00:46:08 so banana-0 has one level of &, banana-1 two levels of & 00:46:25 ...I think so. 00:46:47 ihope: but the evaluated code must be smaller than the original would throw it into the grape hierarchy... 00:46:51 which means the next hierarchy (after the banans) would have arbitrary levels of & and therefore would be inconsistent? 00:46:53 it would limit the numbers of {}... 00:46:56 *bananas 00:47:23 lament: arbitrary but not infinity.... 00:47:38 lament: as long as you don' reach infinity you don't have a problem 00:47:59 I want a stack-based brainfuck type lang 00:48:07 bsmntbombdood: BF-PDA? 00:48:16 i think really the same thing (applied to formal systems or something like that) was discussed in the book i am reading 00:48:18 but the level of nesting of & cannot be determined in advance, anyhow 00:48:36 I think grape-infinity, banana-infinity, and, in general, n-melon-infinity are all inconsistent. 00:48:44 You guys are all confusing me... 00:48:50 ihope: yes and i think they are all the same 00:50:20 ihope: kind of like bf-pda 00:50:27 oh and did i say that Douglas R. Hofstadter started to invent nonsense names for this things too? just to get the reader away from the usual (pre-justiced??) thinking.... 00:50:29 ihope: I will just write my own 00:50:59 Grape, banana, and melon all have very complex and meaningful histories. :-P 00:51:37 seriously 00:51:53 if banana-0 is brainhype with a & which is not allowed to be nested. 00:51:58 ihope: but they have NOTHING to do with the things we are talking about 00:52:09 and banana-1 is brainhype with a & which you can nest only once 00:52:13 then you're screwed right there 00:52:23 because you can't tell in advance how many times the & will be nested 00:52:23 lament: why? 00:52:31 by looking at the program 00:52:34 Banana-0 can't use & for more banana-0, I think. 00:52:48 It can use it for any grape, but not for banana-0. 00:52:53 lament: well you have a nesting count and if the nesting count reaches 2 the instruction & is a NOP... 00:52:54 ihope: that's what i said. 00:52:59 jix: hah 00:53:06 lament: what? 00:53:08 jix: that feels really dirty. but i guess you're right. 00:53:43 jix: but it still means the next fruit will be inconsistent 00:53:51 LOL if someone would stand behind me and read my logs he would think we are all crazy... 00:54:07 2-melon-0 would only be able to use & for bananas. 00:54:30 ihope: that's also true of bananas 00:54:46 Banana-0 can only use & for grapes. 00:54:51 it would add an instruction / that reads the number of allowed & from the tapes and evaluates code read from the tapes... 00:55:07 jix: aiee 00:55:12 jix: aieee 00:55:21 -s-s 00:55:25 we have only one tape right? 00:55:28 jix: are you SURE that's not equivalent to banana-0 in some way 00:55:39 Don't complicate things in your attempts to simplify them... 00:55:49 lament: no... should i? 00:55:54 Anyway, look up "one-banana problem". 00:55:59 jix: it sounds complex enough that it might be 00:57:05 i wish i had a banana-0 interpreter to play with 00:57:11 :-) 00:58:21 lament: can't be banana-0 you can write a banana-n interpreter in it 00:58:45 You can only write a banana-0 interpreter in banana-0. 00:58:57 ihope: i'm talking about my 2-melon-0 00:59:03 you know what. 00:59:04 <_wildhalcyon_> this is a weird convo... 00:59:05 you're all wrong. 00:59:18 _wildhalcyon_: go paste it on bash.org 00:59:35 lament: no... 00:59:54 What are we wrong about? 01:00:20 i dunno 01:00:28 Oh... 01:00:59 <_wildhalcyon_> jix, that website is crazy 01:01:24 i don't like the & instruction 01:01:35 Neither do I. 01:01:38 i want a better banana-0 language 01:01:42 lament: neither i 01:02:20 but you get a m+1-melon-0 by taking a m-melon-0 and adding another kind of & instruction that reads the number (n) of the desired m-melon-n from the tape and executes a m-melon-n program from the tape 01:02:42 thus there is a m-melon-n for every finite but arbitrary high m and n 01:03:26 and you get a m-melon-n+1 by taking a m-melon-n by allowing to nest the added & kind instruction one level deeper... 01:03:39 nooooo 01:04:01 lament: hard to imagine isn't it? 01:04:09 the problem with this 01:04:16 er, nevermind 01:04:17 there is one? 01:04:19 * lament thinks 01:04:40 i guess there isn't 01:05:39 it's still ugly 01:05:47 but what is when we want a interpreter for an arbitrary m-melon-n ? lets say m-melon-n is the same as 0-basket-of-m-melon-n 1-basket-of-0-melon-0 is able to interpret all m-melon-n... is this possible? 01:05:49 lament: i know... 01:05:58 i want a better x-melon-y language 01:06:06 lament: we all want it.. 01:06:18 Whee. 01:06:24 Yes, there can be baskets. 01:07:21 jix: see, this "basket" thing 01:07:29 jix: like i said, this just leads to a transfinite hierarchy 01:07:40 What does "transfinite" mean? 01:07:56 jix: you can assign an ordinal number to every class 01:08:14 lament: i don't understand that.. my english isn't good enough... 01:08:15 0 is TC 01:08:28 1 in brainhype with 1 level of braces 01:08:37 1 is brainhype with 1 level of braces 01:09:16 Oddly enough, this is all related to some thing I had once... 01:09:22 I think it was called F-TR1. 01:09:23 omega_0 is 1-melon-0 01:10:11 omega^omega is, probably, 1-basket-of-0-melon-0 01:10:17 http://en.wikipedia.org/wiki/Ordinal_numbers 01:11:55 lament: yes you're right 01:13:15 ihope: is he? 01:13:25 Um, lemme see... 01:14:57 Eh, I don't know. 01:15:01 lament: wait isn't omega^2 1-basket-of-0-melon-0? 01:15:46 i think omega^omega would give you a contradiction 01:16:06 because that would be 1..........0-baslet-of-0-melon-0 01:16:24 How do you know it's infinite and not arbitrary? 01:16:44 nargh i don't get this anymore... 01:16:48 i should go to bed instead 01:17:17 Me too. 01:17:18 heh 01:17:25 it's 2 am here... 01:17:50 (that's night right?) 01:17:52 This discussion started about 2 hours ago. 01:17:58 i always confuse am and pm... 01:17:58 jix: either that or morning :-) 01:18:37 * ihope tries to think of a good mnemonic 01:18:49 a is after and p is past... 01:18:51 uhm wait? 01:19:00 Well, A comes before P in the alphabet. 01:19:04 a is "antes" 01:20:57 or maybe not :) 01:21:07 Isn't it? 01:21:42 it should be 01:23:22 <_wildhalcyon_> anybody have non-constructive criticism on my crawl post? 01:24:08 like L0l n00b h0w ST00p4T?? 01:24:31 _wildhalcyon_: YOU SMELL!!! 01:24:46 <_wildhalcyon_> well.. slightly more constructive than that 01:24:51 <_wildhalcyon_> lament is on the right track 01:25:12 _wildhalcyon_: GO TAKE A SHOWER!! no, that's constructive 01:25:24 <_wildhalcyon_> lol, I suppose it is 01:25:40 Is brainscrambler http://en.wikipedia.org/wiki/Brainscrambler turing complete? 01:26:23 it seems to 01:26:41 bsmntbombdood: I'm pretty sure it is. 01:26:49 i like this line: "You must have 3 infinitely (within reason) long stacks" 01:27:06 would it be turing complete with only one stack? 01:27:12 Nope. 01:27:29 But with two, it would be. 01:30:36 HAHA lemonlimeskull: You know you've been chatting too long when you think C:/> is some kind of depressed Arab smiley. 01:30:51 <_wildhalcyon_> lol, that's... sad 01:31:13 C:/> IS a depressed arab smiley. 01:31:23 C:\> is command prompt when you're on drive C: 01:31:34 ihope: are you User:Ihope127 on wikipedia? 01:31:35 lament: i copy&pasted from bash.org 01:31:38 bsmntbombdood: yep. 01:33:41 <_wildhalcyon_> :-D tetris is so unrealistic 01:37:22 yeah when I drop blocks I can't change their direction and position mid-fall 01:37:28 gah. 01:37:30 -!- Asaph has changed nick to Robdgreat. 01:45:12 tetris rules 01:45:17 oh and i should go to bed 01:46:14 <_wildhalcyon_> alright, g'night jix 01:50:53 Dang, I keep mistyping "define" as "defube". 01:58:01 oh and i should go to bed 02:03:37 -!- calamari has quit ("Leaving"). 02:05:35 oh and i should go to bed 02:16:31 * ihope contemplates an IRC server with only three channel names, but infinite channels 02:17:15 Joining a channel would simply create a new one, but being invited to a channel would put you into the existing one. 02:18:04 LOL 02:19:54 <_wildhalcyon_> The general rule on about people on IRC seems to be "Attractive, single, mentally stable: choose two" 02:21:33 Alternatively, channels wouldn't have permanent names: you'd join a channel, and if you've seen a channel with that name before, you join it; otherwise, a new channel is created. 02:21:45 Inviting someone to a channel would allocate a random channel name. 02:22:10 I suppose there would have to be some sort of service to keep you from "losing" channels... call it A. 02:22:39 ihope: oh and you don't have nicks.. 02:22:44 Oh my. 02:22:46 the first person you see is going to be A 02:22:49 the 2nd person B.... 02:23:08 oh and i should go to bed 02:23:13 Eh, maybe A would always be the service bot, but nicks would be given randomly. 02:23:46 Well, maybe not randomly. 02:23:55 nargh gn8 02:23:56 It'd start with 0, then go to 1, 2, 3, 4... 02:24:00 Good night. 02:24:02 -!- jix has quit ("HAHAHAHAHAHA"). 02:24:05 <_wildhalcyon_> I prefer the random idea 02:24:22 <_wildhalcyon_> I think it would be lots of fun to receive a new random name every time 02:24:57 Yeah, it would be. 02:25:00 -!- _wildhalcyon_ has changed nick to random. 02:25:27 Yay! 02:25:56 Right after you choose a nick, it'd say nick!user@hostmask NICK :Hedral or something. 02:26:41 That would work 02:28:31 I regularly tomato eat lampshades... 02:58:20 The general rule on about people on IRC seems to be "Attractive, single, mentally stable: choose two" 02:58:23 ^ Not true. 02:58:27 It's usually choose zero. 03:02:04 * SimonRC goes 03:03:46 -!- ihope has quit (Connection timed out). 03:07:31 good point gregor 03:08:07 some one have any brainscrambler programs? 03:12:00 I just wrote an interpreter and I need to test it 03:52:47 -!- rhudson has joined. 03:53:16 Hi All! 03:54:02 -!- rhudson has quit (Client Quit). 03:54:32 -!- rhudson has joined. 03:54:54 Um Hi all again 03:55:25 -!- rhudson has changed nick to ronhudson. 03:55:45 * ronhudson peers about looking for real people 03:56:03 Hi EgoBot 03:58:43 Hmm did I do that? Hey anybody see my new toy language on the esolangs wiki? 04:00:48 -!- ronhudson has quit ("Xirc - MacOSX"). 04:01:03 -!- rhudson has joined. 04:01:24 hello again? 04:01:54 I don't quite have the hang of XIRC yet.. Is anyone out there? 04:02:48 yes 04:03:01 If you all are talking, I can't hear you? 04:03:22 well then you're screwed 04:03:30 Oh bsm I see you 04:04:02 Are you interested in computer languages? 04:07:07 that's why I'm here 04:07:35 Did you design one of your own? or do you use one of the others? 04:08:17 I've invented a few toy languages 04:08:43 Does my text actually look blue on yellow to you, should I pick better colors? 04:09:12 I am building a small language myself, it's called Tiny. 04:09:12 how about default 04:09:50 Now black on white. 04:10:00 Hi Robgreat 04:10:15 strange. on my black background everyone else's text shows as white. 04:10:28 but yours shows as black (i.e. invisible) 04:11:18 Ok, a light blue visible on both white and black backgrounds.:^) 04:11:47 What languages have you built BSM? 04:12:11 nothing you have heard of 04:14:24 There's a write up of tiny on the esolang wiki, another guy did a good re-write after 04:14:38 I wrote a terse entry. 04:16:49 It's slow here. 04:17:22 How many of those 22 users are bots? 04:17:50 one i think 04:18:41 Rob have you written any languages I may have heard of? 04:18:46 no way 04:18:53 I just idle here because it's entertaining 04:19:49 I wrote tiny just recently, I think I am just about finished and have almost everything working. 04:21:04 so I am trying to get people to comment on it. 04:21:32 It's about equivalent to a "tiny basic" 04:22:51 Well, I have to travel tomorrow. So I gotta getup early. 04:23:00 night all! :^) 04:23:07 -!- rhudson has quit ("Xirc - MacOSX"). 04:58:05 -!- calamari has joined. 05:15:40 -!- Arrogant has joined. 05:37:58 -!- lindi- has quit (Remote closed the connection). 05:50:04 -!- puzzlet has quit (Read error: 110 (Connection timed out)). 05:56:00 -!- puzzlet has joined. 06:04:37 -!- puzzlet has quit (Remote closed the connection). 06:06:20 ugh, colored fonts 06:06:46 -!- ChanServ has set channel mode: +o lament. 06:06:54 -!- lament has set channel mode: +c. 06:06:58 -!- lament has set channel mode: -o lament. 06:07:22 * lament likes exercising his tyrannical op powers 06:08:49 -!- puzzlet has joined. 06:09:50 tyranny 06:10:42 yep 06:14:59 noooooooooooo 06:15:37 -!- random has changed nick to wildhalcyon. 07:14:31 Hmm. Single inheritence. 07:15:22 -!- Arrogant has quit ("Leaving"). 07:15:22 uh huh? 07:15:24 what about it? 07:20:47 it sucks. 07:52:20 -!- sedimin has joined. 07:53:01 hi there 07:59:29 'lo 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:18:15 -!- sedimin has quit (Read error: 110 (Connection timed out)). 08:22:01 -!- calamari has quit ("Leaving"). 08:55:57 -!- CXI has quit (Connection timed out). 09:34:45 -!- CXI has joined. 11:57:32 -!- sedimin has joined. 11:58:34 -!- tgwizard has joined. 12:07:02 -!- ihope_ has joined. 12:07:13 -!- ihope_ has changed nick to ihope. 12:23:18 -!- jix has joined. 12:23:25 hey 12:23:26 jix 12:25:46 moin 12:33:27 -!- bsmntbombdood has quit (Remote closed the connection). 13:46:04 Hmm, how do I turn word wrap off in a text box? 13:50:45 in what? 13:51:00 in what framework or gui toolkit? 13:51:03 A multiline text box in a web browser. 13:51:07 Firefox, on Windows. 13:51:11 in html, so? 13:51:24 From within the browser. 13:51:46 and the text box is contained in a page, right? 13:52:34 Yep. 13:52:40 hm 13:52:44 I came to this: 13:52:52 Attribute for