00:01:35 Certainly not my intent. I think whether you consider this an edge case (implied: uninteresting) or an pathological case (implied: interesting) is a matter of opinion. I also think perhaps there would be less heated debate about this or that system being universal if we had a richer set of definitions to work with. 00:01:46 I'd glance in ais523's direction but he's not here. 00:02:26 I totally find myself unable to care. 00:04:04 Ah well. I find myself need to take off, too. 00:04:09 Evening, all. 00:04:16 -!- cpressey has quit (Quit: Leaving.). 00:07:59 -!- MizardX has quit (Ping timeout: 260 seconds). 00:14:05 -!- tombom has quit (Quit: Leaving). 00:16:11 alise, I'm dead 00:16:26 Cool. 00:18:06 http://alt.org/nethack/userdata/Sgeo/dumplog/1218251507.nh343.txt 00:36:21 -!- BeholdMyGlory has quit (Remote host closed the connection). 00:37:55 "Shoes 3" ;; what? you can't do that; it's why's! 00:39:38 Is that a Ruby joke? 00:39:43 Not a joke. 00:40:09 -!- zzo38 has joined. 00:40:32 Can you please tell me why my program is slow, and how to make it fast? (The SDL channel won't help me, they just complain about my codes instead) 00:40:38 http://sprunge.us/WEdQ http://sprunge.us/EdXC 00:41:04 for(;i--;p++) { 00:41:07 * Sgeo o.Os 00:41:43 Does SDL wait for vblank normally, does that make it slow? 00:42:06 while (i--) is a neat way of looping n (n = original value of i) times with values 0..n-1 each appearing once in the loop 00:42:26 MegaZeux is faster and uses less CPU time, even though MegaZeux does a lot more things when redrawing the screen. 00:42:37 A a a a a a 00:42:52 olsner: Neat? It's ... normal :P 00:42:53 B b b b b b 00:43:19 normal to me is a "for (i=0;i that doesn't work though 00:43:35 since it's in reverse order 00:43:37 olsner: But if the order doesn't matter, surely doing it in reverse way is more efficient? 00:43:56 for pretty much all other looping patterns I still need to do careful analysis to figure out what they do 00:44:01 I think it's the sort of efficiency that you worry about last 00:45:19 IMO it starts being relevant at approximately the same time you'd start rewriting stuff in assembly anyway 00:45:55 In the case of for(;i--;p++) it has to do both -- and ++ 00:46:24 And if it is writing in assembly, that means it will not work on the other computer. That is why C is used 00:47:06 a more obvious way would be something like for (i=1;i<=n;i++) { /* use p[i] */ } 00:47:50 olsner: Maybe to you it is more obvious, but not to me 00:48:11 How much do you program in C? 00:48:56 - 00:50:32 -!- coppro has quit (Remote host closed the connection). 00:51:55 -!- coppro has joined. 00:51:56 -!- coppro has quit (Changing host). 00:51:56 -!- coppro has joined. 00:52:17 I like to think of it as a lot, but I might actually be writing more e-mails than C :/ 00:53:07 It should be obvious what the program does, because it even tells you what it does, and is more obvious for C programmers, too. 00:53:43 You still didn't answer my question though, why is it slow and uses a lot of CPU time, even though MegaZeux is fast and takes less CPU time? 00:54:11 oh, I didn't read the code, I only read Sgeo's quote 00:54:39 I write ~no emails. 00:54:57 oh noes, literate programming... I can't find the code for all the text :( 00:56:03 Must...download...cloud-cat-poster.tif... 00:57:28 Is waiting for vblank making it slow? 00:58:42 does the SDL backend you use (X-windows?) actually support palette formats or is it simulating them by converting to RGB-something in software? 00:58:49 zzo38: Well, see how much time the SDL screen update call takes relative to other code? 00:59:33 I can try 00:59:50 olsner: I am using Win32, but it is meant to work on all small-endian computers 00:59:52 pikhq: How do you calculate ReplayGain for MP3s on Linux? I'm wary of MP3Gain... 01:00:52 Never mind; mp3gain works. 01:01:02 -!- wareya has quit (Ping timeout: 265 seconds). 01:02:03 * Sgeo zaps a /death at alise 01:02:39 alise: mp3gain outputs tags in a retarded format that Quod Libet won't accept. 01:02:54 alise: I used Quod Libet's replaygain *plugin* to do it. 01:03:56 -!- Flonk_ has joined. 01:04:08 -!- Flonk_ has quit (Client Quit). 01:05:00 pikhq: Nope, nope, there is a way. 01:05:04 mp3gain -s i 01:05:08 That writes to ID3v2. 01:05:15 *mp3gain -h skillz* 01:05:17 alise: Oh, so that makes it not-dumb. Good. 01:05:28 Well, APEv2 is a perfectly acceptable and superior tagging format, it's just that nobody uses it. 01:05:42 The people who use APEv2 also use Musepack. 01:06:22 I have found out, that, yes the |SDL_UpdateRect| command is making it slow. But without that, it won't draw the picture on the screen. 01:06:33 It's not that APEv2 is inherently dumb, it's that nothing *uses* APEv2. 01:06:59 And if I'm in a position to use something with better *tagging* format support, I'm also in a position to use something with better audio formats. 01:07:08 *cough*AAC*cough* 01:07:10 -!- Flonk has quit (Ping timeout: 272 seconds). 01:07:40 pikhq: Alas, there is the occasional gem distributed only in the muchly-lossy form. 01:07:54 alise: Yes. 01:07:58 I have a wonderful little set of ditties here that is available only at 128 kbps. 01:08:26 Obscure music is hard to find in FLACs. 01:08:35 Or music made by a madman. 01:09:01 Yes. 01:24:29 pikhq: I'd even say this album needs /track ReplayGain inside the album ReplayGain/, but then I can seriously entertain the idea that the schizophrenic mixing is entirely intentional. 01:24:37 Such is life. 01:25:00 Hmm. OED 3rd edition came out today. 01:25:19 They still use IPA. 01:25:26 Yup. 01:25:32 Bah. 01:25:51 It doesn't make sense! IPA is dialect-specific, and as a consumer product, IPA is useless as a pronunciation guide 01:25:53 *guide. 01:26:06 Sorry, no, someone claimed it did but it's rather the "Oxford Dictionary of English". Bleh. 01:26:22 ? 01:26:24 XD 01:26:25 pikhq: [[As of 10 June 2010, the editors had completed the third edition from M to rococoesque.]] 01:26:26 yesah 01:26:27 *yeah 01:26:44 The Oxford Dictionary of English (formerly The New Oxford Dictionary of English, often abbreviated to NODE) is a single-volume English language dictionary first published in 1998 by Oxford University Press. This dictionary is not based on the Oxford English Dictionary and should not be mistaken for a new or updated version of the OED. It is a completely new dictionary which strives to represent as faithfully as possible the current usage of English words. 01:26:47 alise: Yeah, well. The OED proper is not much of a consumer product. 01:26:50 How misleading. 01:26:55 pikhq: Yes, but... the concise OED is. 01:27:00 Okay, true. 01:27:18 And that should at *least* have a dialect-neutral pronounciation guide as well. 01:27:20 pikhq: Besides, as a scholarly work, a specific dialect should not be picked. So they have to list multiple IPAs. 01:27:23 Which is a bit ludicrous. 01:27:53 alise: At least it's a percieved-standard dialect... Could be worse. 01:27:55 The concise OED (and possibly the OED proper) of olden days (60s) had a wonderful pronunciation system based on unobtrusive punctuation like | and ' along with little lines above the words. 01:28:00 The SDL_UpdateRect slow is OK, since is in a different thread, I think it just waits for vblank. And it uses less CPU time than the main program (which is not the initial thread), when that is happening. 01:28:05 pikhq: Wait, they don't list multiple pronunciations? Just RP? 01:28:07 Jesus. 01:28:19 alise: Just RP. 01:28:25 That's hideous. 01:28:31 Nobody even speaks RP. Just the BBC. 01:28:38 Even the Queen is slowly drifting to Cockney. 01:29:00 alise: Could be worse. Imagine if they had it use Scottish English. 01:29:10 Or Geordie. 01:29:11 Or, for more insanity, Scots. 01:29:40 alise: I saw something written with IPA, and I couldn't read it because it was not my dialect. I suppose it is a little bit like listening to someone with a strong accent and you can't understand them? Not quite, it is different. 01:30:02 zzo38: IPA's merely hard to read without some study. 01:31:02 http://upload.wikimedia.org/wikipedia/commons/4/42/RPGA_international.svg And, as you can see here, it is not accent-neutral. 01:31:19 Wait, that's just text. XD 01:31:31 [ɪntəˈnæʃənəɫ] & [ɪɾ̃ɚˈnæʃɨnəɫ] 01:31:44 RP and General American, respectively. 01:31:49 It looks prettier in the picture though. 01:31:53 pikhq: No, the reason I couldn't read it is because it is not my dialect. I speak rhotic but they wrote the IPA in non-rhotic, and that is why I cannot understand. 01:31:53 True. 01:32:09 pikhq: I can't remember whether my accent is rhotic or not. 01:32:24 I'm not sure it's the same as my region, because my accent is rather generic. 01:32:33 zzo38: There's not much of a difference between rhotic and non-rhotic in IPA. 01:32:43 I definitely pronounce my r's, but that might not mean much. 01:32:53 But I don't even know if I say an r in "hard". 01:32:54 From wikipedia: A rhotic speaker pronounces the letter R in hard; a non-rhotic speaker does not pronounce it in hard. 01:32:55 I can't tell. 01:32:56 zzo38: Not that the General American has ɚ instead of ə for the rhotic vowel. 01:33:05 s/Not/Note/ 01:33:21 LOL 01:33:22 http://en.wikipedia.org/wiki/English_English 01:33:25 alise: Got a microphone? 01:33:31 Scottish English, Irish English and English English. 01:33:40 pikhq: Yes. I don't know if I have the drivers, but I'll try. 01:33:56 Can I use rec(1)? How? 01:33:59 Don't feel like installing audacity. 01:34:37 alise: Though imperfect, cat /dev/dsp > foo 01:34:41 :P 01:34:44 -!- cal153 has quit. 01:34:49 Yielding format? 01:34:53 Raw? 01:35:08 How many bits, etc.? 01:35:17 Hmm. 01:35:22 pikhq: Not /dev/dsp; "rec" yields nothing. 01:35:29 Apparently I can't. 01:36:01 Raw PCM, 8 bit, mono, 8 kHz. 01:36:08 * alise just tries Audacity. 01:36:14 Order city. 01:36:39 That works. 01:36:40 No, when the main program is waiting, the video thread takes 78% CPU 01:36:46 Such a low volume my microphone is at; why? 01:36:51 Why does that seem to be such a universal occurance? 01:36:55 *occurence 01:37:03 *occurrence 01:37:03 grr 01:37:10 alise, I'm now a lawful valk 01:37:16 erm, dwarf valk 01:39:55 pikhq: Uploading. 01:40:02 pikhq: I think this is how I usually pronounce "hard": http://filebin.ca/owtjja/hard.wav 01:41:00 OTOH, I pronounce "ass" and "arse" very differently (the former as slang apparently arose from the latter under non-rhoticity, says WP) 01:41:04 (or rhoticity? I dunno.) 01:41:59 alise: That is ridiculously non-rhotic. 01:42:15 pikhq: Yes; I think it may be slightly more rhotic when I'm not thinking about the damn thing. 01:42:29 But I suppose I neglect the little /r/. 01:44:05 No, you're neglecting the little /ɑ˞/, instead opting for /ɑ/. 01:44:14 Well, whatever. :) 01:44:23 RP is rhotic, yes? 01:44:33 No. 01:44:33 Nope. 01:44:34 Non-rhotic. 01:44:35 Okay. 01:44:40 I guess I'm in good company. :P 01:44:52 The thing is, rhoticism is a change in the *vowel sounds*, not an actual consonant. 01:45:39 My accent is actually delightfully non-specific; despite living in the north east for all the time I can remember save maybe one or two memories, I don't seem to have any facets of its accents. 01:45:50 But I clearly don't speak RP either. God knows what I speak. 01:45:54 IT's rather plain. 01:46:23 From that short snippet there, I'd have to go with "stereotypical, non-specific British". 01:46:23 *It's 01:46:43 (which is, of course, distinct from RP in that you actually hear people who talk that way) 01:46:43 My accent is quite similar to RP, except not with the ridiculous broad A shit. "I'm taking a BARTH". 01:46:54 And, you know, not nearly as stuck-uply precise. 01:47:03 Quite. 01:47:28 My accent is what happens when you take General American and make it stuck-uply precise. :P 01:48:20 Like a trainwreck had an abortion! 01:48:24 :P 01:49:02 I found one of the problems in my program! One of them was a misplacement of a SDL_Delay(1) command 02:04:06 -!- Dereckson has joined. 02:04:13 Hi 02:11:10 Hi. 02:11:50 * Sgeo dies 02:11:55 To a unicorn 02:15:02 -!- augur has quit (Remote host closed the connection). 02:15:22 -!- augur has joined. 02:16:38 * alise wonders how amusing an infobot in here would end up 02:17:35 -!- wareya has joined. 02:19:13 -!- alise_ has joined. 02:23:00 -!- alise has quit (Ping timeout: 252 seconds). 02:29:40 rational but oogid 02:33:03 -!- alise_ has left (?). 02:33:05 -!- alise_ has joined. 02:33:43 * pikhq is too lazy to do dinner 02:33:50 * alise_ is too lazy to dinner do 02:34:03 * pikhq is, in fact, too lazy to freaking make instant noodles 02:34:12 Which is probably for the best. 02:34:40 But I like to consume 400% of the RDA of sodium per bite! 02:34:51 YAY SODIUM 02:36:17 You know, the Falcon language has maybe one good feature. 02:36:31 It lets you specify "only do this on the first/last/not first or last elements of the list" in a foreach. 02:36:38 I want that. 02:38:12 * pikhq is somewhat stunned.... 02:38:19 So, they have instant noodles in North Korea. 02:38:24 It is consumed by the elite in the country. 02:38:38 Everyone else is too poor to consume what is the cheapest food item. 02:39:55 :-D 02:43:09 http://pastie.org/1103350.txt?key=xrp0wgb90ehjpcilts9uw 02:43:12 My task: Make this work. 02:43:31 Hmm, that last @on should have some indicator that it has to be addressed to the tbot. 02:43:36 *to the bot. 02:43:54 s/@on/@told/. There. 02:48:23 Grr 02:48:28 Showers should not be rare 02:49:10 pikhq: Quick! Procure a word like "message", but that has the connotation of being addressed to you. 02:50:07 alise_, maybe Falcon doesn't suck that badly/ 02:50:31 alise_: Juugoto. 02:50:34 Sgeo: Maybe it absolutely freaking does and you have the worst taste ever. 02:50:40 pikhq: An English word. Preferably. 02:50:52 alise_, I still have not expressed an opinion other than unexciting 02:50:59 alise_: It's a neologism in Japanese, too. :P 02:51:06 Also, going to take a shower in 10min 02:51:38 @on.message(r'\?(.*)') 02:51:38 def consult(ctx, topic): 02:51:38 but 02:51:44 @on.something(r'(.+?) is (.+)') 02:51:44 def enlighten(ctx, topic, knowledge): 02:51:52 alise_: Recimissum. 02:51:54 Happy now? 02:51:58 The former triggers on anyone saying ?foo as a mesage; the latter triggers on someone addressing the bot. 02:52:07 pikhq: Okay, I guess I'll just put an underscore in the name. :P 02:52:07 how ruby 02:52:12 "Addressed", tada. 02:52:15 nooga: How Python. 02:52:32 alise_: ITS A VALID ENGLISH WORD THAT MEANS "RECEIVED MESSAGE" DAMMIT. 02:52:38 pikhq: INDEED IT IS 02:52:41 (neologism but still) 02:52:42 pikhq: BUT STILL 02:52:51 http://www.google.com/search?q=Recimissum 02:53:04 Yes, it's a neologism. 02:53:15 One that you evidently just made up now :P 02:53:22 Yes, it's a neologism. 02:53:26 neoneologism 02:53:30 From recipere + missum. 02:53:46 I declare Recimissum a good name for an email client. 02:53:46 (the in-English cognates being receive and message) 02:54:22 alise_: Are you going to write a email client, now? 02:54:51 zzo38: Probably not. 02:55:21 pikhq: On an altogether more random note entirely, do you spot any major suckage in the way that infobot plugin is written? (i.e. the imaginary plugin API) 02:55:35 I basically tried to write something that didn't suck and now I have to make it work... 02:56:07 I have one idea for esolang, where each instruction has 2 bytes (where 1 byte is not necessarily 8 bits), and first is address of next instruction and second is each bit turns on one register, and they transfer registers in that way. Including instruction XOR register. 02:56:27 alise_: test 02:56:34 ^echo alise_:test 02:56:38 -!- Quadrescence has quit (Quit: omghaahhahaohwow). 02:56:41 !echo alise_:test 02:56:44 !sh echo alise_:test 02:56:47 alise_:test 02:56:48 alise_:test 02:57:27 alise_: A message is not send to you if you send to a channel you are on, but it is sent back to you if you put your own name as the recipient. 02:57:45 That is how IRC works 02:58:10 zzo38: Which is technically correct and entirely useless, as it ignores the ubiquitous convention of "nick: ..." to specifically address a message to someone on a channel. 02:58:14 Which is, of course, rather useful for bots. 02:59:01 -!- Quadrescence has joined. 02:59:14 I have written a IRC bot too, it requires to be send a message to them directly, even if it is on a channel 02:59:56 This way it won't interfere, but any messages that are meant to be public can be seen by anyone, such as messages to observe a game play 03:01:05 Huh 03:01:16 alise_, the Valkrie quest leader is the Norn 03:01:29 And then, you can set up a macro to send commands to that IRC bot. 03:01:34 Valkyrie 03:01:54 (At least in the IRC client I use, setting up such macros is simple) 03:03:51 I can't get the lyrics to SG-1's theme tune out of my head. 03:04:05 (Simply assign a function key (F1 to F12), and then tell what sequence of keys it corresponds to! Usually the CLEAR code comes first, to clear the line, and then "PRIVMSG targetname :" and then you can type in the command. Example: I have F1 set up as my login macro.) 03:04:59 Sgeo: Quick, talk about some crappy VR game to take my mind off it. 03:05:29 Maybe I can sing Stargate Infinity's theme tune instead? 03:05:32 >:D 03:05:38 Do the IRC clients you use, use a dialog box to login? 03:05:43 I looked that up on YouTube a second ago and vomited; worst "song" ever. 03:05:46 zzo38: No. 03:05:54 Bye for now 03:06:04 alise_: Then do you use a macro to login? 03:06:17 zzo38: My client logs in automatically. 03:07:05 -!- augur has quit (Ping timeout: 240 seconds). 03:07:20 Like, by a configuration settings? 03:07:25 Yes. 03:07:30 OK 03:08:10 Do you have to configure the password, too, if there is one? (I prefer not to configure the password. So I enter it before pushing F1, and it is masked so that it is hidden from the screen) 03:10:28 There is one. I don't care about IRC nearly enough to worry about my password. 03:12:10 alise_, Built by ancients so long ago.. 03:12:24 The Stargate lay 'til we broke the code 03:12:26 Bye 03:12:31 Sgeo: I will now kill you. 03:12:41 ^5 03:12:53 Heck, those lyrics are actually worse than the ones the writers just came up with in three seconds for the DVD commentary. 03:12:59 Which are still stuck in my head despite your efforts argh. 03:13:08 coppro: What kind of smiley is ^5, anyway? Ohhh, high five. 03:13:09 If you have a password but you don't configure it, but it is configure login automatically, then that won't work, unless you tell it to ask you the password every time? IRC requires the password before you login. 03:13:13 coppro: I GED IT. 03:14:00 We don't need ^5 anymore. 03:14:01 ^? 03:14:05 Now is better 03:14:10 ... 03:14:12 What XD 03:14:23 No, that is no good either, let's try again... 03:14:24 ^! 03:14:33 No, still wrong 03:14:43 -!- SgeoN1 has joined. 03:14:47 What, exactly, are you trying to do, zzo38? 03:14:49 ^ 03:14:54 There, now is better for sure! 03:15:29 alise_: What do you think? 03:16:16 zzo38: I have absolutely no clue whatsoever what you think ^5 means, or what you are trying to do, or how you are improving it. 03:16:24 I am utterly at a loss and require explanation, or my head may explode. 03:16:49 alise_: I don't know either, actually. But at least I can avoid to be explode. 03:17:02 -!- SgeoN2 has joined. 03:17:12 That ... I am no more enlightened than I was a second ago. 03:18:02 Correct. Correct. Correct,Correct,Correct,Correct,Correct,Correct,Correct. 03:19:06 -!- SgeoN1 has quit (Ping timeout: 252 seconds). 03:28:18 -!- sftp has quit (Remote host closed the connection). 03:34:16 -!- zzo38 has quit (Quit: zzo38). 03:34:55 -!- alise_ has changed nick to alise. 03:37:06 -!- augur has joined. 03:39:14 Uh oh, the WHY ARE YOU DOING THAT police are attacking me in #python! 03:40:25 What are you doing? 03:40:30 __dict__ stuff. 03:40:57 Afk 03:43:11 -!- Mathnerd314 has quit (Ping timeout: 240 seconds). 04:00:14 Ah, nice hot shower 04:02:45 zzo38, ^5 is high five 04:02:54 Oh 04:17:05 -!- oerjan has joined. 04:29:05 bye 04:29:08 -!- alise has quit (Quit: Leaving). 04:57:46 -!- SgeoN1 has joined. 05:01:24 -!- SgeoN2 has quit (Ping timeout: 252 seconds). 05:03:31 -!- zeotrope has joined. 05:05:56 -!- mycrofti1 has changed nick to mycroftiv. 05:08:17 -!- SgeoN1 has quit (Read error: Connection reset by peer). 05:09:09 -!- augur has quit (Remote host closed the connection). 05:51:53 -!- fizzie` has quit (Quit: jumpin' jumpin'). 05:51:56 -!- fizzie has joined. 05:52:32 -!- fungot has joined. 05:55:22 -!- oerjan has quit (Quit: leaving). 06:54:10 -!- cal153 has joined. 07:19:54 -!- MizardX has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:00:34 -!- coppro has quit (Quit: Lost terminal). 08:01:02 -!- cheater- has joined. 08:02:00 -!- coppro has joined. 08:02:01 -!- coppro has quit (Changing host). 08:02:01 -!- coppro has joined. 08:02:16 -!- cheater00 has quit (Read error: Operation timed out). 09:15:08 -!- tombom has joined. 10:04:45 -!- GreaseMonkey has joined. 10:10:40 -!- comex has quit (Ping timeout: 276 seconds). 10:13:34 -!- comex has joined. 10:14:34 -!- jix has quit (Read error: No route to host). 10:36:54 -!- comex has quit (Ping timeout: 252 seconds). 10:40:20 -!- comex has joined. 10:55:22 -!- Slereah has quit (Ping timeout: 255 seconds). 10:56:57 -!- comex has quit (Ping timeout: 272 seconds). 11:00:03 -!- Slereah has joined. 11:01:43 -!- comex has joined. 11:21:18 -!- GreaseMonkey has quit (Quit: New quit message. Entering 2006 in style.). 11:50:51 -!- comex has quit (Ping timeout: 240 seconds). 12:10:24 -!- comex has joined. 12:15:03 -!- comex has quit (Ping timeout: 260 seconds). 12:21:40 -!- comex has joined. 12:26:54 -!- comex has quit (Ping timeout: 252 seconds). 12:50:45 -!- Phantom_Hoover has joined. 13:05:19 -!- zeotrope has quit (Ping timeout: 276 seconds). 13:11:19 -!- Wamanuz has joined. 13:17:51 -!- Flonk has joined. 13:19:31 -!- comex has joined. 13:24:10 -!- comex has quit (Ping timeout: 276 seconds). 13:36:49 Who is this comex person? 13:43:41 -!- Zuu has quit (Read error: Connection reset by peer). 13:49:36 -!- Zuu has joined. 13:52:51 -!- CakeProphet has quit (Quit: Lost terminal). 13:53:05 -!- derdon has joined. 13:53:47 -!- comex has joined. 14:00:16 -!- FireFly has joined. 14:00:19 -!- comex has quit (Ping timeout: 246 seconds). 14:13:55 -!- nooga has quit (Ping timeout: 272 seconds). 14:14:39 -!- nooga has joined. 14:15:16 -!- distant_figure has joined. 14:15:25 -!- distant_figure has quit (Client Quit). 14:16:03 -!- distant_1igure has quit (Quit: underflow). 14:17:25 -!- MigoMipo has joined. 14:19:34 -!- oerjan has joined. 14:21:19 Phantom_Hoover: um i'm pretty sure comex is an old regular. 14:22:03 oerjan, by regular do you mean he has the same relation to "regular" as IWC has to "irregular"? 14:22:17 well at presently, maybe 14:22:42 -!- distant_figure has joined. 14:22:45 it _is_ of course possible i know him from elsewhere 14:27:11 it seems he has been in all of here, #haskell and agora 14:29:31 -!- BeholdMyGlory has joined. 14:46:48 -!- Zuu has quit. 14:47:02 -!- Zuu_ has joined. 14:47:04 -!- Zuu_ has changed nick to Zuu. 14:47:55 -!- Zuu has quit (Changing host). 14:47:55 -!- Zuu has joined. 14:48:26 -!- alise has joined. 14:59:12 Front panel displays must be rediscovered! 14:59:17 -!- jix has joined. 15:05:57 -!- BeholdMyGlory has quit (Remote host closed the connection). 15:16:33 Random thought: DC implemented in M4. 15:16:46 The 2 UNIX esolangs united. 15:21:30 -!- Quadrescence has quit (Read error: Connection reset by peer). 15:21:35 -!- Quadrescence has joined. 15:26:47 -!- cheater- has quit (Read error: Connection timed out). 15:27:33 -!- cheater- has joined. 15:54:45 -!- augur has joined. 16:11:07 Phantom_Hoover: um i'm pretty sure comex is an old regular. <-- yes he is 16:11:12 I seen him for ages 16:11:46 Phantom_Hoover, you forgot sed 16:12:02 (the third unix esolang, and unlike m4 it is in POSIX) 16:19:04 -!- cheater- has quit (Ping timeout: 276 seconds). 16:20:30 -!- sftp has joined. 16:21:32 -!- cheater- has joined. 16:21:43 http://xkcd.com/782/ ... lol. 16:23:03 Vorpal, sed makes a dc program into one understandable by the m4 interpreter. 16:23:27 Gregor, I found that one very weak. 16:23:44 It's kinda obvious, but chuckleworthy :P 16:23:45 I assume it's parodying a trope of which I have no knowledge. 16:24:00 Oh, it is? You don't know the Ancient Indian Burial Ground trope? 16:24:05 No... 16:24:27 And I felt cheated, since at first glance it looked to have hatguy in it. 16:24:50 Phantom_Hoover, hah 16:24:51 Nope, just once-off hairgirl. 16:25:11 A friend of mine once asked me to recommend a hat to buy that would be most similar to the hat that hatguy in XKCD wears :P 16:25:26 http://xkcd.com/782/ ... lol. <-- wtf 16:25:39 Hatguy is very inconsistently named in the text summaries that ONR searches. 16:26:03 Sometimes he's hatguy, other times man with hat, man with black hat, hat guy... 16:26:50 I quite often find myself referred to as "hat man" 16:27:11 It's a nickname that generates itself with no intervention by me :P 16:27:13 Gregor, IT ALL MAKES SENSE NOW! 16:28:15 -!- Phantom_Hoover has changed nick to Vonlebio. 16:28:29 .... 16:28:34 -!- Gregor has changed nick to VanLabia. 16:29:00 VanLabia, stop defiling my good name! 16:29:57 http://tvtropes.org/pmwiki/pmwiki.php/Main/IndianBurialGround 16:30:06 it already references the xkcd :D 16:30:12 Dear god... 16:30:20 oerjan: Wow, xkcd made it to TvTropes so fast X-D 16:30:56 VanLabia: well IWC frequently does too... 16:31:08 -!- VanLabia has changed nick to Gregor. 16:32:38 oerjan, yeah, but that's at least in part because DMM is fairly involved with it. 16:32:56 hm 16:33:36 i'm not sure he adds his _own_ comic as reference, though. could be considered bad taste 16:34:00 -!- cpressey has joined. 16:34:04 but he has referenced tvtropes often enough in iwc 16:34:16 Yes, but as a result his comics tend to explicitly use and reference tropes, making them very suited for examples. 16:34:18 *+annotations 16:35:13 of course wikipedia had enough trouble with xkcd that i think they made a policy specific for it 16:35:59 "Anyone making articles based on xkcd is banned. No exceptions." 16:36:09 If it is not that, I shall be very disappointed. 16:36:13 hah 16:37:00 http://en.wikipedia.org/wiki/Wikipedia:Xkcd_in_popular_culture 16:37:25 well an essay, not a policy 16:38:14 http://xkcdwikiwatch.blogspot.com/ 16:40:17 muh 16:40:23 hey i was going to mention that 16:40:53 "muh"? 16:41:21 hum 16:41:44 * Zuu 's lame way of attracting attention 16:41:58 It was the wrong channel though :) 16:43:08 I've observed before that xkcd's format is increasingly similar to that of SMBC. 16:43:13 Zuu Zen 16:43:34 Nah, just Zuu 16:43:47 Although not quite so much in the last couple of weeks. 16:43:49 * oerjan swats Zuu -----### 16:43:59 Eeek! 16:44:20 you cannot say "muh" without getting the reference. bah! 16:44:45 * Zuu is confused 16:45:32 http://en.wikipedia.org/wiki/Mu_(negative) 16:45:48 oerjan, what about the 'h' on the end? 16:46:14 details 16:46:15 I love how PyObjC is like this "Mac thing". 16:49:00 Er, yeah, to the degree that it's setup script actually has Mac-specific calls in it. BRILLIANT. 16:49:25 무 16:55:13 -!- sftp has quit (Read error: Connection reset by peer). 16:55:57 "This wiki does not, however, recommend desecrating Burial Grounds in India purely on the basis of this loophole." 16:58:18 * Vonlebio barely stayed on that page. 16:58:35 * oerjan only recently returned to it 16:58:43 cpressey, well, noöne else uses Objective C. 16:58:47 Not AFAIK. 16:59:27 I mean, there's a bit of software out there written in it, like Oolite, but it's so Mac/*step specific that it's not very portable. 16:59:27 -!- sftp has joined. 16:59:45 Vonlebio: Pity. Not that I'm a fan of the language or anything. 17:00:00 I mainly just want to run webkit2png. 17:00:13 cpressey, well s/not very portable/requires GNUStep to run on Windows and Linux. 17:00:18 s/./// 17:04:14 I sometimes wonder if this planet is trying to complexity itself to death. 17:06:11 Why? 17:06:37 Because of the "we must design MORE LANGUAGES" mentality? 17:08:18 Sort of, among other things. 17:08:35 Wasn't thinking about languages specifically. 17:09:08 hm 17:09:39 oerjan, lost in tvtropes? 17:09:50 well, the same page 17:09:52 oerjan, I managed to avoid following links 17:10:00 * Vonlebio didn't 17:10:21 I have already been whipped away to McNinja, and show no signs of stopping. 17:10:24 i haven't clicked many, anyway 17:10:41 oh, in that case 17:10:42 I clicked one, the ominous fog one 17:10:44 *MWAHAHAHA* 17:11:09 I learnt how to prevent myself from following links 17:11:15 it is like zen 17:12:20 I like Objective C, I think it's much better than C++ 17:12:34 "I will not follow the link. The link is in my mind. There is no link." 17:13:19 pitty that it's practically usable only under OSX 17:13:30 Vonlebio, w3m -dump is useful for the feebleminded 17:13:35 that renders it without links 17:13:37 just the text 17:14:13 nooga: That part is what makes no sense to me. What other languages are so OS-dependant? 17:14:21 * Vonlebio has read enough of TV Tropes that he can avoid a massive tab explosion. 17:15:07 Vonlebio, that isn't the way to do it, the way to do it is self control 17:15:13 "Massive Tab explosion" is what happens when you shake up a can of Tab really vigorously before you open it. 17:15:36 Vorpal, I'll do it the way I want, FASCIST 17:15:47 :P 17:16:03 cpressey, or mix mentos with tab 17:16:07 cpressey: it's not the language, it's the library 17:16:45 cpressey, well, as I touched on, there are free versions of large parts of the libraries. 17:16:48 there is no sense in writing ObjC without any libs 17:17:10 WTF 17:17:26 this script relies on pyobjc for two values: obj.YES and obj.NO. 17:17:40 nooga: That part is what makes no sense to me. What other languages are so OS-dependant? <-- VAX shell language? 17:17:42 lol 17:18:18 cpressey, http://en.wikipedia.org/wiki/GNUstep 17:19:11 No, wait, it needs "AppKit" 17:19:18 This is horrible 17:19:23 I hate "scripters" 17:19:35 "Scripters"? 17:19:55 Non-programmers who write scripts. 17:20:08 I guess the quotes weren't necessary... 17:20:23 What's it meant to do? 17:22:11 Apparently GNUStep doesn't support PyObjC fully. 17:22:13 Render a web page and save it as a png. Should only need WebKit to do that 17:24:27 So I guess I'm going to try stripping this "useful Mac script" down to something that I can actually run 17:24:39 cpressey, well... 17:25:47 I think I've encountered a web-page-to-PNG renderer that only uses WebKit. 17:25:48 Or look for some other tool to do this 17:25:52 Although it might need X. 17:26:10 Yeah, that's a thing. Headlessness needed. 17:26:34 http://www.blogs.uni-osnabrueck.de/rotapken/2008/12/03/create-screenshots-of-a-web-page-using-python-and-qtwebkit/ is the relevant script. 17:26:46 Vonlebio: Thanks. 17:27:39 It needs QT, though. 17:28:27 I need it to render to svg with embedded png for images! 17:30:26 Vonlebio: If it runs headless, I don't care. Actually, even if it doesn't, I can probably live with that. I'll need to run X in a VM though. Ugh. 17:30:58 cpressey, I recall headlessness being mentioned in a discussion elsewhere about a bot that uses that script. 17:32:58 Oh, it seems to need some form of X server running. 17:34:39 Yes it does. Well, ... 17:35:25 cpressey, what do you need this for? 17:35:51 cpressey, what does "headless" mean here? 17:35:58 It can run on a displayless computer? 17:36:58 Vonlebio: It means I don't want to have to mess with graphics. Apparently that means "xvfb". 17:37:20 Xvfb is eas... gah. I should never even attempt to say anything. 17:38:06 cpressey, well, you might want to try making the script work yourself. 17:38:17 I used to run Matlab under Xvfb, because with "-nodisplay" some image-drawing functions randomly segfaulted every now and then. 17:39:01 Vonlebio: That's what I'm doing. And... WOW, was that ever interesting. 17:39:28 cpressey, interesting in what sense? 17:39:36 Oh, I see. It spit the png out to stdout :) 17:40:12 Interesting in the "wow, that's clever!" sense or interesting in the "AAAAH it's trying to kill me with a screwdriver!" sense? 17:40:25 Oh, yeah, that got me too. 17:40:27 screwd. sens. 17:40:54 "-x Start an 'xvfb' instance" 17:41:37 And, it worked! Nice. I am happier now. 17:42:03 Oh, it supports it as a cmdline option. Also nice. I just ran it manually. 17:42:07 xvfb i mean 17:42:22 cpressey: but scripting languages are programming languages 17:42:57 nooga, yeah, but they're more accessible to the uneducated. 17:43:26 like Java? 17:43:29 or C#? 17:44:36 It's more that they let you write code without thinking about its overall structure. 17:44:42 Who would write a screengrabber with Java? 17:44:48 Java and C# don't have that tendency. 17:44:53 * Vonlebio instantly regrets asking that 17:45:44 Hi Vonlebio. 17:45:49 You new here? 17:46:11 alise, no, PH. 17:46:21 I changed on a whim. 17:46:30 I'll probably go back by tomorrow. 17:47:44 I've observed before that xkcd's format is increasingly similar to that of SMBC. ;; but worse 17:48:11 I love how PyObjC is like this "Mac thing". 17:48:11 Er, yeah, to the degree that it's setup script actually has Mac-specific calls in it. ;; nobody, and I mean nobody, uses objc outside of either OS X or GnuStep 17:48:13 and only morons use GnuStep 17:48:47 I mainly just want to run webkit2png. ;; I think webkit/objc is os x-specific 17:48:57 gnus don't step, they stampede 17:49:07 Or people who wrote Mac software and later thought "hey, it would have been nice if this was portable". 17:49:30 -!- augur has quit (Ping timeout: 240 seconds). 17:49:52 -!- augur has joined. 17:50:00 Render a web page and save it as a png. Should only need WebKit to do that ;; paul hammond is a programmer afaik 17:50:17 alise: A MAC programmer. 17:50:21 They barely count. 17:50:54 alise: Anyway, problem solved. 17:51:30 cpressey: Hey hey hey, there are some cool mac programmers. :) 17:52:15 I'm dead serious when I say that all Mac programmers are scum, of course. 17:52:54 :p 17:53:38 cpressey, why? 17:54:07 I was a Mac programmer for about 3 months! 17:54:17 Whoosh. 17:57:44 Vonlebio: Was this that course where they taught you to program in HyperCard? 17:57:54 No. 17:58:23 music tagging is so subtle. i love it 17:58:23 It was when the only computer I had was a Mac, and I was beginning to learn to program. 17:59:09 pikhq: Wow, I actually found what I consider an error, not merely a difference of opinion, in MusicBrainz. 17:59:15 alise: Oh? 17:59:16 I mean, sure, it's /justifiable/, but I still think it's Wrong. 17:59:25 So I was only a Mac programmer in a pedantic sense. 17:59:38 pikhq: http://musicbrainz.org/release/4b374b09-2e39-47a3-9819-8a0eae21db66.html All the tracks were released as untitled; names for them, sans brackets, were then posted on their website. 18:00:01 pikhq: In my opinion, they should either stick to the release - in which case they should all be "[untitled]" - or go with the posted names, thus removing the brackets. 18:00:07 alise: That's genuinely wrong. 18:00:09 As it stands, neither source agrees with the names they are given in MusicBrainz. 18:01:00 pikhq: But it's talked about above the track names, so presumably it's been "agreed "on. 18:01:04 *"agreed" on. 18:01:04 Bleh. 18:02:19 pikhq: Meanwhile, I'm consdiering using mutagen (Quod Libet / Ex Falso's Python tagging module) to create a defuck_musicbrainz_tags script. 18:03:21 That is, eliminate albumartist if albumartist = artist for all tracks, eliminate albumartistsort, eliminate arranger, eliminate artistsort, eliminate asin, eliminate catalognumber, simplify date to just year, eliminate engineer, eliminate format, eliminate label, eliminate language, eliminate mixer, eliminate musicbrainz_*, eliminate performer, eliminate producer, eliminate release*, eliminate script. 18:03:32 Because good god that's excessively retarded tagging. 18:04:24 Oh, eliminate barcode too. And isrc. 18:04:32 -!- cheater00 has joined. 18:04:51 -!- iamcal has joined. 18:05:59 "This program is distributed in the hope that it will be useful" 18:06:04 AND THAT HOPE IS LEGALLY BINDING 18:06:09 :D 18:06:36 "I violated your license? Oh really? But you state on your website that 'this program is a useless piece of shit'. Doesn't sound like you HOPE IT WILL BE USEFUL... I'm suing your for VIOLATING YOUR OWN LICENSE." 18:06:41 *logic* 18:06:55 -!- cal153 has quit (Ping timeout: 255 seconds). 18:07:28 -!- Dereckson has quit (Quit: brb). 18:07:28 cpressey, what would that mean in practise? 18:07:34 -!- cheater- has quit (Ping timeout: 276 seconds). 18:08:09 * Vorpal ponders putting "this program is distributed in the absurd hope that it will prove useful to someone" in a befunge-98 program 18:08:48 Vorpal: What would it be like if we all lived in gigantic egg cartons? 18:09:02 cpressey: Sexy. 18:09:08 -!- Flonk_ has joined. 18:09:28 cpressey, problematic unless they were protected against the rain and snow in some way 18:09:41 pikhq: there's a music player twritten in \sh. 18:09:47 http://zomg.alioth.debian.org/ 18:09:51 It supports (last|libre).fm. 18:10:00 cpressey, what do you think? 18:11:01 cpressey, well? 18:11:14 i had a dream that i installed alsa 18:11:17 then i woke up and laughed at myself 18:11:18 Vorpal: Don't diss NextStep. Charles Sanders Peirce used NextStep. 18:11:26 cpressey, I haven't done so 18:11:33 cpressey, also who is that? 18:11:58 -!- Flonk has quit (Ping timeout: 246 seconds). 18:11:58 Firstly, >_< 18:12:01 Secondly, ... 18:12:02 ah googling indicates he can't have 18:12:05 -!- Flonk_ has changed nick to Flonk. 18:12:10 Thirdly, . . . you don't fucking know who peirce is 18:12:22 Vorpal: I disagree. The pony is a perfectly integral part of the portrait. Without it, the balance of the middleground would be all off. 18:12:26 * pikhq should get coffee. And breakfast. 18:12:48 cpressey, want some dried frog pills, old chap? 18:14:38 * cpressey should go to the bank. And get lunch. 18:20:47 -!- asta has joined. 18:20:54 asta! 18:20:59 *pasta 18:21:07 hi 18:21:31 Be ye new to this garden of wonders? 18:22:01 well 18:22:02 not sure yet 18:22:13 what is this channel about? 18:22:24 Ostensibly, esoteric programming languages. 18:22:51 I didnt know of such a language 18:22:59 called like that 18:23:23 Well, http://esolangs.org/wiki/Brainfuck is probably the canonical example. 18:23:44 oh 18:23:50 those binary like languages 18:23:56 sorta 18:24:21 asta, machine code is pretty tame compared to some esolangs. 18:24:42 well 18:24:45 I don't really know 18:24:45 xd 18:25:09 Vonlebio: Except for the bit about machine code not being meant to be output by humans. ;) 18:25:26 pikhq, that only deters those without motivation. 18:25:42 Vonlebio: True. 18:25:51 With ^V and a meta key, you can type most bytes, AFAIK. 18:26:47 like 18:26:54 * Vonlebio reconsiders 18:27:19 !sadol :i+19@i(3!i!"1 :i-i1 18:27:20 10 9 8 7 6 5 4 3 2 1 18:27:38 * pikhq notes that Chromium takes quite some time to build 18:27:55 -!- asta has quit (Quit: Saliendo). 18:28:21 hehe 18:28:24 Damn, another sane mind we can't destroy. 18:29:32 another random newcomer that was blown away 18:29:36 :D 18:30:35 alise: By *god* the Brainfuck Scheduler is impressive. 18:31:05 what? where? 18:31:12 "BFS is unrelated to the brainfuck programming language." 18:31:28 nooga: It's only called "Brainfuck" because it's really absurdly simple, not due to any relation with the language. 18:31:33 I had something angry to shout, but I have forgotten what it was. 18:31:54 Brain Fuck Scheduler. 18:31:56 Not Brainfuck :P 18:32:04 DEATH TO THEM 18:32:05 Sorry. 18:32:40 url plz 18:32:49 nooga: google 18:32:55 con kolivas requires no linking! 18:33:58 But it's not ESOTERIC! 18:34:06 ah 18:36:29 Bloody kernel programmers, stealing our names for things. 18:37:50 -!- jcp has quit (Ping timeout: 240 seconds). 18:38:14 pikhq: Also flaw of MusicBrainz: They use "", don't and .... 18:38:30 Not “”, don’t and …. 18:40:19 pikhq: This is clearly UNACCEPTABLE! 18:40:23 " * P′′ was the first "GOTO-less" imperative structured programming language to be proven1,2 Turing-complete." 18:40:28 alise: ALL HAIL UNICODE 18:40:47 In '64? That seems a very long time... 18:40:57 Vonlebio: ago? 18:41:06 pikhq: Of course, how to tag something that is /listed on the only website it's distributed on with a "..."/ is another matter entirely. 18:41:11 And I have no idea what the matter is. 18:41:14 No, since Church and Turing. 18:41:27 -!- jcp has joined. 18:41:43 Vonlebio: well, computers were very immature in 60s 18:41:52 *the 60s 18:41:53 programming moreso 18:41:56 everyone just goto'd 18:42:19 alise, true, but the theory was fairly old. 18:42:20 alise: why? 18:42:26 nooga: 'cause they were 18:42:34 i mena 18:42:37 huh 18:42:39 i meant 18:42:39 i mena haskel 18:42:48 *haskal 18:42:49 nooga, name a machine that supports structured programming on a machine level. 18:43:15 nevermind 18:43:35 i got new flatmate 18:44:07 guy's from Nigeria and uses ghetto-like english 18:44:17 i can't understand him at all 18:48:56 pikhq: Actually, the tracks of that album are arguably titled "untitled", not [untitled]... 18:49:03 Terribly confusing. 18:50:13 nooga, name a machine that supports structured programming on a machine level. 18:50:13 nevermind 18:50:16 awesome XD 18:50:52 Come to think of it, it's not even certain that the title is ( ). 18:55:14 I name it "Evanine". 18:55:53 cpressey, what? 18:56:05 A machine that supports etc. 18:57:29 print a[0]; print a[1]; print a[2]; etc 18:57:37 == for x in a { print x } 18:57:46 it supports etc.! 19:01:11 -!- augur has quit (Ping timeout: 240 seconds). 19:04:00 -!- Vonlebio has quit (Ping timeout: 265 seconds). 19:05:43 -!- Vonlebio has joined. 19:06:05 What supports etc.? 19:07:39 Vonlebio, there is a brainfuck CPU iirc 19:08:00 Vorpal, hardly mainstream 19:12:01 Vonlebio, well no 19:12:10 Vonlebio, you didn't specify that 19:17:53 -!- Gregor-W has joined. 19:18:01 zomgsicles! 's my last day at this internship! 19:18:53 Gregor-W, NOT WRITE PAPER ON WEBERNETS ANY MORE? 19:19:09 Still write papers on webernets! 19:19:16 (And according to the OED, it's "Interweb") 19:21:29 interns write papers on the internet, silly 19:22:37 *interweb 19:22:52 * oerjan swats Gregor-W -----### 19:23:13 that _clearly_ misses an n 19:23:53 oerjan: http://www.economist.com/blogs/johnson/2010/08/new_words 19:24:11 internwebernets? 19:25:21 also that clearly states that it wioll not haven been the OED 19:25:41 * oerjan swats Gregor-W again -----### 19:26:12 (for still not getting the pun after being prodded) 19:26:38 I see the pun, but I refuse to get it. 19:27:10 i know it felt strange, like an anti-pun 19:31:56 "As pointed out in the comments, these are additions to the one-volume Oxford Dictionary of English, and not the grand and celebrated OED. That changed the tenor of things a bit." 19:32:00 people are mistaking the two a lot recently 19:34:07 D'aww boo. 19:34:55 Fekking ODE. Such bullshit. 19:35:27 -!- augur has joined. 19:35:28 Oh ODE, how thee are. An ode. 19:35:56 Odeor. 19:36:01 Oh dear. 19:48:29 -!- wareya_ has joined. 19:50:58 -!- wareya has quit (Ping timeout: 258 seconds). 20:00:23 -!- sftp has quit (Remote host closed the connection). 20:01:47 interns write papers on the internet, silly <-- augh 20:03:25 ets write the internet on paper 20:04:03 oerjan, and damn you beating me at the ode to ODE 20:08:17 an odious sentiment 20:12:11 alise, by hand? 20:13:34 these are ets, they probably use telekinesis 20:13:37 Vonlebio: yes. 20:13:42 oerjan: that too 20:13:46 they use telekinesis to move their own hand. 20:14:09 alise, what kind of et is it? 20:14:26 well in nethack they're a & 20:14:29 * alise is shot 20:16:00 alise, fascinating. 20:16:13 Major, minor or mail? 20:19:08 Et. 20:19:12 (You do get it, right?) 20:19:57 http://pastie.org/1104745.txt?key=oxr3tpcdipt865rkbqzjog 20:20:01 In which Python gets gnarly. 20:20:12 *self.handlers.append 20:21:28 Erm, I need to handle flags == None 20:21:30 *None. 20:22:34 You can hardly call it gnarly if you haven't overridden a double-underscore method somewhere yet! 20:22:35 alise, of course I get it. 20:22:45 I'll have you know that I am a scholar of Latin! 20:22:59 cpressey: Can it count as more gnarly if this is from an /IRC bot/? 20:23:46 # FIXME: Handle exceptions (call some exception handler?) 20:23:48 alise: A bit, but it depends a lot on what's calling it. If you're somehow actually managing to use the decorator syntax to apply this, then TOTALLY YES. 20:24:01 Well, that is an appropriate way of handling exceptions. 20:24:33 I haven't been able to tolerate decorators since I saw those "monads" in Python. 20:24:51 cpressey: 20:24:53 @on_message(r'^\?(.*)$') 20:24:54 def consult(ctx, topic): 20:24:54 topic = topic.lower() 20:24:54 if topic in wisdom: 20:24:54 ctx.reply('%s is %s' % (topic, wisdom[topic])) 20:24:55 else: 20:24:57 ctx.reply(random.choice(dunno) % (topic,)) 20:25:09 Then TOTALLY YES. 20:25:14 cpressey: i.e., if a message comes in that looks like "?foo bar", we dispense some wisdom about it. 20:25:23 Wisdom-enhancing process: 20:25:25 @on_addressed(r'(.+?) is (.+)') 20:25:25 def enlighten(ctx, topic, knowledge): 20:25:25 wisdom[topic] = knowledge 20:25:25 ctx.reply(random.choice(thanks)) 20:25:40 i.e. "botte: dung is awesome" -> "?dung" "dung is awesome" 20:25:43 alise, this wouldn't be for Rodney, would it? 20:25:46 also "botte, x" 20:25:48 Vonlebio: no, it's for botte 20:25:52 I decided to finally write botte v1 20:25:57 and this is the infobot plugin ("wisdom") 20:26:13 Will it interpret esolangs? 20:26:16 I wasn't aware decorators could take a 'self' like that. I feel very dirty now. 20:26:30 cpressey: How is it taking a self? 20:26:33 cpressey: Oh, no, that's my doing. 20:26:39 def load_plugin(self): 20:26:40 env = { 20:26:40 'on_message': self.on_message, 20:26:40 'on_addressed': self.on_addressed, 20:26:40 'Unhandled': Unhandled, 20:26:40 } 20:26:41 ... 20:26:55 I /could/ put them in a separate object, but it's more convenient to use "self.bot" and the like, so I keep them in the Plugin class. 20:27:26 Yes. That is exactly what you are scoring the gnarly points with. 20:27:46 It's not actually that gnarly, just... overly indented. 20:27:56 alise, yes, but will it interpret esolangs?? 20:28:01 Vonlebio: yes. 20:28:14 and non-esolangs (I was executing arbitrary code before HackEgo and EgoBot, back in the day) 20:28:18 Which ons? 20:28:21 s/ons/ones/ 20:28:22 all of them. 20:28:27 and a variety of commands ranging from completely useless to vaguely useful 20:28:36 and commands to look up -- dictionaries, wikipedia, google, etc. 20:28:38 probably a karma system 20:28:46 basically it's the One Bot to Rule Them All 20:28:51 and i've been promising to write it for over a year now 20:29:15 this is just v1, i will undoubtedly rewrite the entire infrastructure many times before it can do all that 20:29:25 fungot: Are you going to take that sort of talk without a fight? 20:29:25 fizzie: because you can have a k in it 20:30:17 I guess that was a "yes". 20:30:27 fizzie: he accepts my bot's superiority because i can have a K interpreter 20:30:31 whereas fungot, being written in befunge, cannot. 20:30:32 alise: so parrot was based around gcc? 20:30:40 `addquote alise: so parrot was based around gcc? 20:30:41 alise: esolangs.org/ wiki/ index.php?title=main_page use exact numbers. you can imagine. and it probably no longer say that our aim cost/ user is pretty low 20:30:44 fungot: Sure, let's go with that. 20:30:44 alise: currently fnord. 20:30:56 216| alise: so parrot was based around gcc? 20:30:59 Vonlebio: Oh, and, of course, a Better Log Bot. 20:31:17 alise, i.e. able to handle Unicode nicely? 20:31:27 Or being told to shut up if we need it to? 20:31:28 Well, clog does, the web server just doesn't tell you. 20:31:35 -!- derdon has quit (Read error: Connection reset by peer). 20:31:38 Vonlebio: With logs imported from clog and fizzie's logs in a unified format, new logs appended 24/7, a nice web interface (no need to reformat or get a headache) 20:31:44 For when we discuss top secret things. 20:31:44 No shutting up, don't say stupid shit in here :) 20:31:54 But SECRET THINGS. 20:31:57 Oh. 20:31:59 And greppable logs too. 20:32:04 And always in UTC format (reformatting the older logs). 20:32:11 Greppable = web interface to regexp and freetext search 20:32:11 But what if we need to discuss SECRETS? 20:32:16 both, that is 20:32:19 and author search 20:32:23 and date constraints 20:33:15 Vonlebio: I think this is a pretty clean infobot plugin: http://pastie.org/1104765.txt?key=oqqptogcuv8u5318ladxa 20:33:23 Without the colourful responses, it'd only be a few lines. 20:33:26 infobot? 20:33:38 Vonlebio: infobot is the thing that lets people give definitions of stuff, then recall them later 20:33:59 These things are cool. 20:34:35 for instance, a serious use: 20:34:36 botte: brainfuck is probably the most popular esolang, invented by Urban Müller in 1992 20:34:36 expert: Duly noted. 20:34:36 ... 20:34:36 ?brainfuck 20:34:36 noob: brainfuck is probably the most popular esolang, invented by Urban Müller in 1992 20:35:06 Not so serious: 20:35:07 botte: botte is afraid of introspection 20:35:07 expert: Ah! I get it now. 20:35:07 ... 20:35:07 ?botte 20:35:08 person: botte is afraid of introspection 20:35:16 ( botte: lolcode is an abomination) 20:35:34 -!- Gregor-W has quit (Ping timeout: 252 seconds). 20:35:38 hmm, i should support are as well as is 20:35:41 "esolangs are sweet" etc. 20:35:50 alise, lolcode isn't that bad. 20:35:58 Yes; yes it is. 20:35:59 Although it's rather boring. 20:36:48 A bunch of incompetent morons with a retarded enough sense of humour to think a language based on lolcat speak is amusing, forming Committees and having Design Discussions to create a Versioned Specification combining the most braindead ways of implementing conventional, boring but somehow altered to be moronic, language facets. 20:37:16 SimonRC took part in the specification of one to troll them; he managed to get them to include two different ways of doing the same thing just because he argued about it. 20:37:19 That bit is bad. 20:37:24 (Like, the exact same thing.) 20:37:30 Vonlebio: That bit -- you mean all of it? 20:37:35 Yes. 20:37:50 Although I thought having "GTFO" for break was mildly amusing. 20:37:51 omg they haz a spec? 20:38:20 cpressey, didn't you know? 20:38:43 OMG CPRESSEY ARE YOU FALLING BEHIND ON WEBTERNET MEME-NEWS??? 20:38:55 cpressey, YES HORRIBLE ISN'T IT? 20:39:58 alise, maybe it's boring, conventional stupidity taken to the max. 20:40:39 I haven't been able to tolerate decorators since I saw those "monads" in Python. 20:40:40 whaaat 20:40:45 monads in python? 20:40:51 No, "monads". 20:40:55 ah 20:41:03 Vorpal, link? 20:41:05 Python's type system can't do monads, AFAIK. 20:41:34 yes that is what I thought 20:41:38 so link to the "monads" 20:41:41 http://www.valuedlessons.com/2008/01/monads-in-python-with-nice-syntax.html 20:42:02 It might be possible in a certain sense, though. 20:42:42 Since Python has first-class types(/classes), so you perhaps might be able to have something like functors etc. 20:43:44 " I'm using ">>" (__rshift__) overloaded to mean "bind". " <-- aaaaaaaargh 20:43:51 I hate operator overloading abuse 20:43:54 Yeah, that's heresy. 20:44:02 He should have overloaded >>=. 20:44:11 Vonlebio, it's just as bad as C++ bitshifting of strings into stdout/stdin 20:44:25 Vorpal, does python have that separately? 20:44:31 Vorpal, well, it's at least slightly justified 20:44:40 And why do you keep talking to yourself? 20:44:44 argh 20:44:45 as we all know string+string is abuse 20:44:47 Vo 20:44:48 and 20:44:48 it should be string*string! 20:44:58 highlight last spoken 20:45:03 Vonlebio, see the issue? 20:45:11 Vorpal, I do. 20:45:17 Vonlebio, change nick :P 20:45:37 Vonlebio, NEVER! I made this nick up with my own sweat and blood! 20:45:53 You just stole a word from Jabberwocky! 20:45:54 apparently monads are "estoric" 20:46:12 an 'estoric coinage 20:48:12 cpressey, I thought nomads were the esoteric ones 20:48:16 as coined by ehird 20:48:44 Define nomads? 20:48:58 i didn't invent monads dammit 20:49:02 it's just an old /prog/ meme 20:49:04 Vonlebio: The cpressey school of monads doesn't regard them as having anything to do with types. For whatever you might care about that. 20:49:26 The Retarded Monkey School of Nomic is comprised entirely of stoned English teachers. 20:49:31 For whatever you might care about that. 20:49:37 Vonlebio, ask alise 20:49:49 The motto is "I SAY I DO" / "THEREFORE I DO", except in Latin. 20:50:11 cpressey, well, monads are, by definition, functors. 20:50:41 alise: Oh, is that what it translates to? I always thought it was something about throwing your own poo around. But, my Latin is pretty shoddy. 20:51:03 cpressey: Yes, well. 20:51:22 ANTE SHITTUS ERGO SELF SHITTUS can be deceiving. 20:51:48 See my above comment re: Latin. 20:52:31 Vonlebio: where? 20:52:50 Around "ets". 20:53:55 cpressey, what does the cpressey school of monads say? 20:54:10 That a monad is something with bind and return? 20:55:52 http://en.wikipedia.org/wiki/Monad_(category_theory) 20:56:05 That a monad is an encapsulation of the pattern of passing an argument between a set of functions. 20:56:18 Erm ... no. 20:56:22 It really, really isn't. 20:56:25 See, for instance, the continuation monad. 20:56:30 What you're describing is the STATE monad. 20:56:34 Which is one, single monad. 20:56:57 cpressey, you seem to be using a lot of professional developmenty terms here. 20:57:14 So the continuation monad isn't intended to pass a continuation between a set of functions? That's... quite surprising. 20:57:43 cpressey: No, the continuation monad performs the continuation-passing transform. 20:57:43 cpressey, most monads are used to pass some kind of state "behind the scenes", but how they do this varies considerably. 20:57:56 -!- sftp has joined. 20:58:00 Vonlebio: Yes, well. I develop software. Surprise? 20:58:03 s/most/a lot of/ 20:58:14 cpressey, no. 20:58:51 -!- augur has quit (Ping timeout: 245 seconds). 20:59:03 Anyway, the Maybe monad hides state, i.e. whether any computation fails, but it doesn't use hidden arguments. 20:59:40 That's not hiding any state at all. 20:59:48 pikhq, fine. 21:00:04 In hindsight, that was not really correct. 21:00:54 s/really/at all/ 21:01:06 -!- augur has joined. 21:02:25 pikhq: Do you mean "support" the CPS transform, i.e. run code that has been transformed into continuation-passing style? Because I can't see how a monad could possibly "transform" code in that sense. 21:03:04 cpressey: please read the cont monad source 21:03:16 alise: No. Me want English. 21:03:30 tough, you can't explain something like this to someone with such a broken mindset on it :p 21:03:35 [207317.177787] gnome-settings-[1874]: segfault at 8 ip 00007f330e009d16 sp 00007fff1bac08b0 error 4 in libclipboard.so[7f330e007000+5000] 21:03:41 ARGH EVERYTHING LOOKS BROKEN 21:03:44 "In functional programming, a monad is a kind of abstract data type constructor used to represent computations (instead of data in the domain model)." 21:03:48 Vorpal: Ha ha. 21:03:56 Vorpal, stop dragging our THEORY down. 21:04:03 Vonlebio: that's not even good theory 21:04:06 that's just crap 21:04:10 Vonlebio, what? 21:04:12 * Vonlebio was quoting WP. 21:04:14 I see no theory at all here. 21:04:38 cpressey: newtype Cont r a = Cont { runCont :: (a -> r) -> r } 21:04:46 instance Monad (Cont r) where 21:04:47 return n = Cont (\k -> k n) 21:04:47 m >>= f = Cont (\k -> runCont m (\a -> runCont (f a) k)) 21:04:57 -!- oerjan has quit (Quit: Good night). 21:05:04 It really truly does the continuation-passing transform. 21:05:11 pikhq: well, almost 21:05:13 do notation does the rest 21:05:15 Wow, neat. 21:05:25 alise: Well. Yeah. 21:05:26 in fact do notation does most of it 21:05:31 but it's still more than just passing an argument around 21:05:42 if we had type synonyms as instances in a proper way 21:05:43 -!- augur has quit (Ping timeout: 258 seconds). 21:05:44 we could say, more simply, 21:06:13 Yeah, I have no idea what that's doing. 21:06:32 cpressey, can't you see he's TYPING? 21:07:08 instance Monad ((a -> r) -> r) where 21:07:09 return n = \k -> k n -- i.e. take a continuation, give it the returned value 21:07:09 m >>= g = \k -> m (\a -> f a k) -- i.e. take a continuation, run m with our continuation; pass the result on to f, and tell f to use the continuation we got as its continuation 21:07:58 * Sgeo should probably shave 21:08:11 what's the IRC terminology for the sender of a message, be it a server or a user? 21:11:59 alise, what about "sender of a message, be it a server or a user" 21:12:16 Sgeo, why!? 21:12:21 Sgeo, beard >> no beard 21:12:28 Vorpal: one word. 21:12:37 Vorpal, beard isn't a monad. 21:12:42 Vonlebio, :P 21:12:46 alise, no clue 21:12:49 bbiab 21:13:58 alise: like, the direct sender, the guy I got the message directly from, as opposed to the guy whose name is in the message's prefix? 21:14:28 Warrigal: the guy in the :... beginning. 21:14:32 I guess "sender". 21:14:34 -!- wareya_ has changed nick to wareya. 21:14:42 Oh, so it is the guy in the prefix. 21:16:12 Yeah, "sender" or "origin". 21:17:27 -!- derdon has joined. 21:20:27 pikhq: I still have to say I disagree, based on what I learned "the continuation-passing transform" is. If you have a program written in non-CPS, the continuation monad cannot turn it into a program written in CPS. It could /support/ you, or some compiler, doing that transformation: you could rewrite the code in CPS in a way that uses that monad. Presumably we simply have different understandings of what the "transfor 21:20:30 Warrigal: Got a better name than "reply_to" for -- say ": PRIVMSG :" -- if target = me { sender } else { target } 21:20:33 ? 21:20:40 i.e. "where to send replies to" 21:21:48 Not unless you want to call it "window" or something. 21:22:56 heh 21:23:03 Warrigal: maybe "postcard" 21:23:05 (replies on a ...) 21:23:19 cpressey: It does perform that precise transform on code written using >>= and return. :) 21:23:43 However, it only really provides this on code within that monad. Because monads are not magic. 21:24:16 cpressey, it doesn't CPSify normal code; it allows code to be written in CPS easily. 21:24:42 And I'm failing to see how this is substantially different from abstracting away (encapsulating) a "continuation" parameter to a bunch of functions. 21:26:35 Indeed you are failing in such a manner. 21:27:40 Perhaps I should clarify -- when I used the word "encapsulate" I did mean to imply that the monad can "do stuff that you can't see" with the extra argument. If that implication wasn't conveyed strongly enough, I could see how you would think I was only talking about the state monad (= don't do anything to the extra argument.) 21:28:38 Like, if it wasn't obvious: in the absence of monads, the CPS transform *adds* an argument to all your functions. 21:29:15 cpressey, monads don't necessarily have a hidden argument. 21:29:19 Again, Maybe. 21:29:54 How would you implement those patterns if you didn't have monads? 21:30:11 cpressey, well, Maybe can be done without monads. 21:31:05 cpressey, http://www.haskell.org/all_about_monads/html/meet.html 21:32:22 -!- alise has changed nick to botte. 21:32:43 -NickServ- Invalid password for botte. 21:32:44 shitfuck 21:33:24 -!- botte has changed nick to alise. 21:35:19 -!- Vonlebio has quit (Quit: Leaving). 21:35:37 -!- Vonlebio has joined. 21:40:46 File "/home/ehird/src/botte/plugins/wisdom.py", line 23, in consult 21:40:46 if topic in wisdom: 21:40:46 NameError: global name 'wisdom' is not defined 21:40:48 Wut? So is. 21:41:50 Is not! 21:42:18 It is. 21:42:27 It'll be my namespace fuckery that's breaking it... 21:46:38 Incidentally, I was wondering if it was possible to do dependent types in Python in some form. 21:47:10 By "form" I mean "horrifically ugly hack", of course. 21:47:36 does habnabit ever do anything but interrogate you so he can tell you you're doing the wrong thing? 21:48:30 Habnabit? 21:48:44 #python dominator 21:49:18 "how can i do a, b, c?" don't do that what are you trying to do? "I am trying to ..." don't do that 21:49:20 etc. 21:49:25 and no question ever finds a simple answer. 21:49:35 you know the type 21:49:42 WE INTERROGATE YOU ABOUT WHAT YOU WANT TO DO, NOT ACTUALLY ANSWER YOUR QUESTIONS! 21:49:45 Because we CARE! 21:50:40 alise, you lose points for capitalising all of questions and thus missing the Qu ligature. 21:52:26 i'm using another font now 21:52:26 so ah 21:52:27 *ha 21:52:51 TRAITOR 21:53:14 How can you use a font without the Qu ligature‽ 21:56:03 Vonlebio, the same way I can use dejavu sans mono 9pt for irc? 21:56:09 Vonlebio: Well, you're not going to like my answer to that (the Maybe monad thing.) 21:56:57 Well, I might. 21:57:05 I want to hear it in any case. 21:57:53 You can have a perfectly usable Maybe without treating it as a monad, yes? 21:58:03 You can, yes 21:58:14 Then, as monads go, it's a degenerate case. 21:58:27 But treating it as a monad makes code far better. 21:58:46 It's shorter and more easily maintained, and you get the do syntactic sugar. 21:59:03 Vonlebio: Uh. ... 21:59:09 And you can use State and Cont without treating them as monads. 21:59:20 -!- Mathnerd314 has joined. 21:59:27 It's just going to be horribe. 21:59:35 *horrible. 21:59:41 That's missing the point very much. 21:59:46 Heh.... there's nick called McHazard on this IRC network... Wonder what kind of thing would McHazard be in McDonalds? :-> 22:00:01 cpressey, what is the point? 22:00:20 In any case, it's not a "degenerate case" of monads. 22:00:29 pikhq: How did you get Quod Libet to display multi-disc albums reasonably? 22:00:37 You can have a perfectly usable Maybe without treating it as a monad, yes? 22:00:41 Uh. 22:00:41 No. 22:00:44 It is a monad, and it obeys the monad laws; there's no other definition. 22:00:44 Not in the way the Maybe monad does it. 22:00:58 Ilari: any item on the mcdonald's menu 22:01:41 !haskell :i Maybe 22:01:42 How about Supersize coke, supersize fries, chicken salad with low-fat dressing? 22:01:46 data Maybe a = Nothing | Just a -- Defined in Data.Maybe 22:01:57 Ilari: Psht, salad? 22:03:41 Well, the hamburger would contain too much protein and too much good fats, so it isn't optimal here... :-) 22:03:42 cpressey, I mean, if you redefine monads, you can say whatever you want about them. 22:03:56 Vonlebio: True. 22:04:05 Ilari: Well. It's arguable whether McDonald's hamburgers even contain meat. :P 22:04:18 If a cpressey-monad is an encapsulation of extra parameters, then you are entirely correct. 22:04:34 But that's not what a computer science-monad is. 22:05:05 Vonlebio: Nor a category theory monad either, which is also slightly different, I agree. 22:05:16 category theory monad = computer science monad 22:05:20 alise: No. 22:05:23 yes. 22:05:26 cpressey, yes. 22:05:33 It's got a more specific name in category theory. 22:05:41 i don't think so. 22:06:32 DAMMIT QUODLIBET 22:06:35 cpressey, it's not immediately obvious, no 22:06:41 I'll declare war on Germany! 22:07:22 "As a minor terminological mismatch, the term monad in functional programming contexts is usually used with a meaning corresponding to that of the term strong monad in category theory, a specific kind of category-theoretical monad." 22:07:25 -WP 22:08:11 That's beside the point though. 22:08:25 -!- augur has joined. 22:08:51 cpressey, OK, and a cpressey-monad is nothing to do with a CS-monad. 22:09:00 Or a CT-monad. 22:09:10 Vonlebio: It's not a CS monad, but it's related. 22:09:22 I actually think I'm trying to get at the idea of an SE monad here. 22:09:43 SW? 22:09:44 i.e. *why* would you pick a monad to implement your solution? because your solution follows a certain pattern. 22:10:00 cpressey, true, but that pattern is not a cpressey-monad either. 22:10:08 Or not exclusively. 22:10:37 Again, see the Maybe example I linked. 22:10:46 The pattern is dealing with simple failure cases. 22:12:25 Hm, OK. I might be able to restate my idea. But it would be nice to have a more sophisticated counterexample than Maybe. 22:13:36 cpressey, well, Cont, but that's a point of contention for you. 22:16:43 No, I can't. I give up. 22:16:51 *kant. 22:17:14 cpressey, hang on, IIRC Real World Haskell has some practical use cases for monads. 22:17:38 Vonlebio: I know practical use cases for monads; I'm trying to *generalize* from them, is the problem. 22:17:45 alise, Fine Structure? 22:17:52 Sgeo: haven't read. 22:18:28 cpressey, well, often it's to make some bookkeeping easier. 22:18:45 I *think* that's basically what Maybe, State and perhaps Cont do. 22:19:28 Vonlebio: Yes, but that's probably a little too general. 22:21:33 I /think/ I finally have a tagset I'm happy with now. 22:22:01 cpressey, well, there are lots of less general patterns for which you'd use monads. 22:22:07 Keeping track of state, for instance. 22:22:16 Some ad: 22:22:17 "If you can imagine it, you can build it! Create games and worlds in this building game." 22:22:29 Well, of course I'm going to click 22:22:38 [ker-ching] 22:22:58 It seems to be some lego thing 22:23:15 "ROBLOX IS a kid-friendly place on the internet where your children can exercise their creativity in a moderated online environment." 22:23:29 So if you imagine, say, horsecat rape, you can't build it. 22:23:32 What a ripoff. 22:24:16 Call the ASA! 22:24:50 Actually what all this is making me realise is that modern audio and tagging formats SUCK for anything vaguely resembling classical music. 22:24:54 "Don't like our clothes? Make your own!" 22:25:05 Sounding like a crappy Kaneva so far 22:25:11 The honking-big-audio-file + time-tagged metadata file approach is beginning to look appealing to me. 22:25:34 Of course, if there's any scripting-like stuff, I want in 22:26:30 "Featured Free Game:" 22:26:35 "By: NINJAKID09" 22:26:38 That's promising 22:26:57 Never trust someone with numbers in their screen name. 22:26:59 -!- augur has quit (Ping timeout: 265 seconds). 22:27:03 pikhq: Do you know anything about your country's copyright office? 22:27:04 * cpressey hopes NINJAKID09 is not one year old. 22:27:20 Sorry ais523. 22:27:25 "User forum: Scripting forum" 22:27:36 -!- cheater00 has quit (Ping timeout: 245 seconds). 22:27:39 SERIOUSLY HOW DO I FIND THIS IN THE US COPYRIGHT OFFICE'S WEBSITE 22:27:44 It's Lua 22:27:49 maybe it's only copyrighted in canada :P 22:28:13 alise: what? 22:28:21 coppro: do you have "canada" on highlight? 22:28:23 http://www.roblox.com/Forum/ShowPost.aspx?PostID=13247888 22:28:28 alise: no, I just walked in 22:28:30 i'm trying to look up the copyright registration for an album to determine its true title 22:28:37 it was recorded, released etc. in canada 22:28:41 ah 22:28:47 so i'm trying to see if canada's IP office has a search form 22:28:50 (the US one turned up nothing) 22:28:51 it doesn't 22:29:15 at least, not a good one 22:29:19 coppro: a bad one will d 22:29:20 *do 22:29:36 here we go 22:29:38 http://www.ic.gc.ca/app/opic-cipo/cpyrghts/dsplySrch.do?lang=eng 22:29:40 http://www.ic.gc.ca/app/opic-cipo/cpyrghts/dsplySrch.do?lang=eng 22:29:42 ok, i'll try band name first, then label names 22:30:14 I don't think there are any pure social areas in Roblox 22:30:18 coppro: sheesh, how come the insidious claws of copyright are so untamed like this :) 22:30:25 you can't even look shit up to see whether it's copyrighted! 22:31:00 alise: because the Berne convention did away with registration to obtain copyright 22:31:11 alise: Given that... what coppro said 22:31:20 coppro: i'm still uncertain that was a good idea 22:31:24 I was going to say, it wuold make more sense to have a registry of public-domain works instead 22:31:40 Not in that? Copyrighted. 22:31:48 yuck 22:32:03 cpressey, would it help your quest for monad patterns to look at more of the existing monads? 22:32:04 Not saying it's not a stupid idea 22:32:08 * Sgeo vaguely hopes that it's not inappropriate for adults to be in Roblox 22:32:19 Vonlebio: Only if you know of some EXCITING ones. 22:32:26 yuck ;; to cpressey's comment? 22:32:32 agreed 22:33:05 cpressey, well... Parsec uses a monad, but that's a) a bit opaque and b) basically an instance of the State general case. 22:33:18 coppro: but albums will surely be registered explicitly by the record label? 22:33:29 alise: possibly 22:33:50 it appears it is not in their database. rats. 22:33:58 a record label probably has enough internal documentation to make registration redundante 22:34:01 *redundant 22:34:30 wikipedia claims it's one thing with the other title being referred to as an "also known as...", it's seemingly mostly listed as the wikipedia title on amazon, but discogs, musicbrainz and their (admittedly slapdash) official website refer to it as the other one 22:34:36 so i have absolutely no idea what the real title is 22:34:43 (they're minor variations on each other) 22:34:45 cpressey, the things in Control.Monad for me are: Cont, Error, Fix, Identity, Instances, List, RWS, Reader, ST, State, Trans and Writer. 22:35:03 coppro: ok, can i demand they give me their db? :D 22:36:07 Reader and Writer are basically the two halves of State. 22:36:09 -!- GreaseMonkey has joined. 22:38:28 Grr 22:38:33 It just _assumes_ that I'm a child 22:38:43 Not only that, but that my email address is my parent's 22:38:58 Sgeo didn't like the signup form for disneybarbiedollcompany.com 22:39:00 *.com. 22:39:13 *disneybarbiedollcompanyplayhouse.com. 22:40:01 http://pastie.org/private/4daesglfyhtm3td2b9d1a 22:40:52 Sgeo, you're evidently the guy from All You Zombies. 22:40:57 "Users can type their own messages to other users. Every message is filtered to allow only pre-approved words and phrases." 22:41:05 ha 22:41:15 Vonlebio, I don't get it 22:41:29 Sgeo, yes, and Google exists. 22:41:32 Sgeo: newspeak! 22:42:21 Vonlebio: *“—All You Zombies—” 22:42:25 Vonlebio, oh, I've heard of it before 22:43:43 alise, I can't be bothered to type Heinlein's weird dashes. 22:43:56 Vonlebio: And quote marks. 22:44:11 alise, indeed. 22:44:21 Technically, if you're on a linear medium where you can't italicise the names of works, you should call it ‘“—All You Zombies—”’. 22:44:39 Or if you really like using double quote marks and don't mind distorting the name of the work, “‘—All You Zombies—’”. 22:44:59 Or if you really like using double quote marks and don't want to distort the name of the work, ““—All You Zombies—””. 22:45:21 Or just say "RH's AYZ" and we'll all know what you mean. 22:45:29 Or, if you like abbreviations and destroying the name of the work... damn it, cpressey 22:45:44 cpressey: That's not so likely. :) 22:53:56 You're right, better make that "RAH's AYZ". 22:54:45 rhayz 22:54:55 imbcp 23:01:33 • 23:12:03 alise: WAITAMINIT 23:12:10 You were coding web apps in Ruby? 23:13:08 cpressey, huh? 23:13:32 Vonlebio: I just remembered her saying something about that a few days ago 23:13:35 YOU THINK YOU KNOW SOMEONE 23:13:45 I am appalled! 23:14:37 -!- ais523 has joined. 23:15:54 -!- MigoMipo has quit (Quit: Quit). 23:20:01 ais523, I found a fatal flaw in your Wolfram TM universality proof. 23:20:14 Vonlebio: really? 23:20:21 what do you think it is? 23:20:44 Your screen name is half numbers; as such, you are statistically 7 years old. 23:20:50 -!- derdon has quit (Ping timeout: 265 seconds). 23:21:07 heh 23:21:36 and even if I'm a bit young for a mathematician, it doesn't mean I can't prove things 23:21:42 it was mostly a programming problem 23:21:56 alise is quite a bit younger than me, for instance, but an excellent programmer 23:22:11 ais523, true, but his screen name contains no numbers 23:22:38 really, though, if I used a different screenname, would it matter? 23:22:40 -!- ais523 has changed nick to scarf. 23:22:52 See? The proof is instantly reliable. 23:23:04 Little known fact: "scarf" is short for "scarface". 23:23:15 hmm, not intentionally 23:23:23 Now, would YOU trust a proof coming from Organized Crime? 23:23:34 cpressey, if it were correct, yes 23:23:39 cpressey: you're jumping to conclusions here 23:23:57 Sgeo, you support criminal mathematics? 23:23:58 most people with facial disfigurement are probably not actually criminals 23:24:01 I'd trust a proof made by blind monkeys if it were correct 23:24:10 scarf, yeah, that's what they tell you. 23:24:17 except in the case that there are so many laws that are hard to remember that most people have probably broken several by accident 23:24:54 scarf, all mathematics is wrong. 23:25:04 Quod erat demonstrandum. 23:25:05 certainly possible 23:25:16 but you can prove things given that it's correct 23:25:48 And if it's incorrect, you can prove everything! 23:25:52 23:26:39 Sgeo: nah, the "a contradiction implies anything" proof would be similarly suspect 23:27:42 this is much like the whole free-will vs. determinism thing; there is no plausible advantage you can gain from not believing you have free will, because if you do, you're correct and thus working from correct assumptions, and if you don't, it doesn't matter what you believe as it won't make any difference 23:27:57 alise is quite a bit younger than me, for instance, but an excellent programmer 23:27:59 * alise adds to CV 23:28:25 heh, I might /just/ be famous enough that that testimonial actually works 23:28:28 although I doubt it somehow 23:28:40 alise, that's, like, two steps of testimony from Wolfram. 23:28:42 alise: WAITAMINIT 23:28:42 You were coding web apps in Ruby? ;; technically, they were quite interesting web apps, and i got fed up of rails and started creating crazy frameworks in a day or so, but yes 23:28:53 Vonlebio: Yeah -- two steps higher. Two BIG steps higher. 23:29:08 Cheers mate! 23:29:26 scarf, quick, endorse me, too. 23:29:39 Vonlebio: testimony from Wolfram would be considered a negative by many people... 23:29:53 scarf, so the buffering makes it even better! 23:30:26 I can just say "I was endorsed by winner of mathematics prize Alex Smith". 23:30:29 cpressey: why? :P 23:30:58 Vonlebio: inventor of several popular specialist programming languages 23:31:11 alise, true enough. 23:31:11 (they're popular in the specialism (or, however you say it) they were invented in) 23:31:20 hmm, what have I invented esolang-wise that's actually popular? 23:31:20 And nearest thing to a creator of Feather. 23:31:29 alise: Oh, I dunno. Something about recognizing and pointing out the steps being *higher* I guess. 23:31:31 out of all my langs, Underload's the only one which caught on to any extent 23:31:47 scarf: well, they're popular in here 23:31:50 and only among a few people 23:31:51 as a topic of discussion 23:31:52 alise: really? 23:31:56 You know, after the Forth Bridge being painted, that's going to have to be my incompletable task. 23:32:02 scarf: Underload is awesomeness. 23:32:04 scarf: well ... occasionally 23:32:16 as popular as any single non-standard (in the sense of pop standard) can be 23:32:17 can you name another esolang I've created, straight off? (Feather doesn't count) 23:32:35 I did just look up on your wiki page right now to see how popular they were, so I can't answer that now. 23:32:35 scarf: Er - the one with the arithmetical operators. I don't remember its name :/ 23:32:44 Forte? 23:32:48 I would have guessed Eodermdrome and Thutu, I think, given a bit of time. 23:32:55 Forte I didn't quite realise was yours. 23:33:11 the main idea was blatantly stolen from CLC-INTERCAL 23:33:14 who else's could it be? 23:33:21 nobody's 23:33:23 scarf: Formula 23:33:23 i just didn't make the link 23:33:28 C-INTERCAL? 23:33:29 cpressey: ah 23:33:37 Vonlebio: I didn't invent C-INTERCAL 23:33:52 nor any other dialect of INTERCAL, fwiw 23:33:55 implementing != inventing 23:34:09 and I didn't even start the compiler 23:34:42 And the link to ESR rather spoils any CVing. 23:34:59 scarf: Also I remembered *of* Black and Eodermdrome, but didn't remember they were yours. 23:35:14 people are remembering Black over BackFlip? 23:35:20 that is interesting 23:35:23 (If "remember of" is acceptable English. I think it's allowy.) 23:35:30 so do I 23:36:22 scarf: in news more sundry, botte appears to be materialising onto my hard disk 23:36:32 botte the IRC bot? 23:36:41 One bot to rule them all. 23:36:52 alise, what languages will it support? 23:37:10 -!- FireFly has quit (Quit: swatted to death). 23:37:18 scarf: yep 23:37:23 logger too 23:37:29 (as well as storage of past logs, web interface to such) 23:37:32 Vonlebio: all of 'em. 23:37:35 ##nomic could do with one 23:37:50 scarf: yeah, but i'm still sufficiently pissed off at wooble that i won't go into ##nomic. 23:38:01 (are you still following Agora, btw? all I see is a few attempts to become active followed by a long space of nothing) 23:38:13 i keep meaning to, but the unit sort of gets in the way 23:38:23 ah 23:38:29 even when it's only three days a week 23:38:44 any idea how I can send plaintext emails to the lists, given that my laptop's power supply caught fire? 23:39:00 alise, MUMPS? 23:39:00 you use that outlook web monstrosity thing, right? 23:39:11 Vonlebio: well, no. 23:39:13 not any more, I use Yahoo! Mail 23:39:21 scarf: ew 23:39:22 because it's the one I distrust the least out of the three main ones 23:39:26 but agreed, ew 23:39:42 the outlook web access account is now redirected; I think theoretically, every time I send through it I'm faking headers 23:39:51 but the SMTP server doesn't seem to mind 23:39:52 I sort of just let Google handle my emails because in an ideal world I'd run my own server, and in a less than ideal world I don't have much that is life-destroying in them. 23:40:09 Or, really, anything that is life-destroying. 23:40:16 scarf: ok, can you install software on your current machine? 23:40:22 I don't have a current machine 23:40:24 this is a borrowed one 23:40:31 so "in theory but people would yell at me" 23:40:36 scarf: do you have the ability to SSH? 23:40:44 I doubt it, this is Windows 23:40:52 scarf: well, you do have telnet 23:40:55 hmm, evil idea: I think this has telnet 23:40:58 scarf: proposal: 23:41:00 snap 23:41:03 scarf: telnet to some shell account server 23:41:07 (shouldn't be too hard to get an account) 23:41:13 use mail(1) 23:41:14 etc 23:41:15 nah, I thought of a much simpler plan 23:41:17 telnet to agoranomic.org 23:41:20 type the email by hand 23:41:22 well, that works 23:41:26 but is, you know 23:41:27 an abomination 23:41:28 I've done it before, in order to fake headers 23:41:55 and really, it's the way email is MEANT to be sent 23:41:59 scarf: google.com/search?q=online+mail+sender 23:42:22 if those let you fake from addresses, I'd expect them to be spam-blacklisted 23:42:33 if they don't, then agoranomic.org will reject them for being unknown 23:43:18 true enough 23:43:31 alise: Is botte written in twisted? 23:43:33 scarf: how do you intend to send from yahoo mail when telnetting from some random ip, then? 23:43:38 cpressey: no; twisted gives me the heebie jeebies 23:43:44 I was just planning to fake the from address 23:43:44 alise: I suspected as much 23:43:47 cpressey: probably i'll use asynchat etc. from standard python 23:43:53 cpressey: also, twisted Does Too Much For Me :-) 23:43:56 agoranomic.org doesn't care, I know that from experiment 23:43:58 alise: we're beginning to use it here (at work...) 23:44:08 presumably, if I put comex's address on there or something, everyone would yell at me 23:44:12 twisted is a good idea, just not properly done My Way 23:44:27 also, it's not pythonic 23:44:30 I was hoping it was more minimalistic than it apparently is 23:44:31 it uses zope.interface 23:44:36 >:( 23:44:37 also, newlines 23:44:50 scarf: > 23:44:50 true python is full of lambdas and colons 23:44:52 *? 23:44:56 heh 23:46:25 Actually I think instead of Bot subclass-of IRCBot (or whatever) I'll end up having 23:46:37 Bot has-a IRCClient 23:46:59 Bot subclass-of IRCBot sounds backwards 23:47:06 scarf: i just don't want to call it botte 23:47:11 since classes will be doing "self.bot = one of these" 23:47:16 self.botte = ... just looks weird 23:47:22 scarf: fine, Bot subclass-of IRCClient 23:47:24 you get my point 23:47:26 assuming you're using standard not-real-OO-the-other-one terminology 23:47:33 (where real-OO = Smalltalk) 23:47:42 but I think having the IRCClient as a component of the bot is better 23:48:27 heteroillogical! 23:49:48 Well, the bot could naturally have many clients that connect to many things in the outside world. So, yeah. 23:49:59 well, that too. 23:50:13 the bot won't handle if you tell it it's "botte" but it has to connect as botte_. 23:50:19 my policy, register your damn bot nicks. 23:50:41 what about ghosts? 23:50:47 the bot should probably be able to handle two alts 23:50:56 just to be able to /ns ghost itself 23:50:56 scarf: no (it could theoretically handle N alts) 23:51:02 i think i might add ghost support 23:51:05 inside IRCClient itself 23:51:15 but that'll just be part of the internal connection code 23:51:28 once it's actually responding to stuff, it will pretend it's called botte, even if it's not. 23:52:48 Now I just need #freenode to get off their asses and give botte a new password; one I actually know. 23:53:33 and why do you need a reset password for this account ? 23:54:01 alise: did you set its email? 23:54:10 i hope so, let's put it that way. 23:54:12 if you didn't, might be hard to prove you actually own the account 23:54:15 -NickServ- Registered : Dec 28 14:08:13 2009 (33 weeks, 4 days, 06:23:42 ago) 23:54:15 wait 23:54:18 i can just get it dropped, can't i? 23:54:22 even if it wasn't mine 23:54:22 yep, that's probably easier 23:54:26 -NickServ- Last seen : Dec 30 04:17:27 2009 (33 weeks, 2 days, 16:14:28 ago) 23:56:09 scarf: hah, i think it's registered to @eso-std.org 23:56:16 they've just sent an email and i haven't got it 23:56:17 haha 23:56:18 now i've asked for dropping 23:56:22 my case must look real good right now 23:56:44 alise: :) 23:56:52 alise: all i can say, you don't own the domain 23:57:40 Er, well no one does? whois eso-std.org -> NOT FOUND 23:57:53 Exactly. 23:59:06 -!- alise has changed nick to botte.