00:03:21 -!- Corun has joined. 00:38:08 -!- Slereah2 has joined. 00:44:08 -!- augur has joined. 00:44:27 ize back! 00:46:01 Ize in the back of ur hed! 00:46:07 -!- Slereah__ has joined. 00:47:41 zomg 00:47:44 GET OUT OF THURR 00:51:21 -!- Slereah2 has quit (Read error: 60 (Operation timed out)). 00:54:25 So, I'm going to make a web site where multiple people can upload separate one-track MIDIs given a predetermined key, time signature and tempo, and then it mixes them together so you can see how terrible the result is. 00:54:40 The concept was invented (probably re-invented) by some friends of mine, they call them masterpieces. 00:54:50 Anyway, I think this website deserves a time challenge. 00:55:06 e.g. how fast can I make a sort-of-complicated web site :P 01:01:27 -!- Slereah__ has quit (Read error: 60 (Operation timed out)). 01:06:49 -!- Sgeo has joined. 01:12:23 -!- tusho has quit. 01:12:41 -!- Slereah2 has joined. 01:22:54 -!- Slereah2 has quit (Read error: 60 (Operation timed out)). 01:23:04 -!- Slereah__ has joined. 02:05:00 GregorR: :) 02:26:34 -!- Slereah2 has joined. 02:30:01 -!- Slereah__ has quit (Read error: 60 (Operation timed out)). 02:35:59 -!- Slereah2 has quit (Read error: 60 (Operation timed out)). 02:38:54 -!- Slereah__ has joined. 02:48:08 -!- Slereah2 has joined. 02:50:37 -!- Slereah__ has quit (Read error: 60 (Operation timed out)). 02:53:01 -!- calamari has joined. 03:05:35 -!- Slereah__ has joined. 03:05:40 -!- Slereah2 has quit (Read error: 60 (Operation timed out)). 03:13:41 -!- Slereah2 has joined. 03:20:26 -!- Slereah__ has quit (Read error: 60 (Operation timed out)). 03:20:37 -!- adu has joined. 03:21:11 oklopol? nice 03:28:06 -!- Slereah2 has quit (Read error: 60 (Operation timed out)). 03:44:13 oklopol isnt here :( 03:44:24 its ok 03:44:29 you are :) 03:44:59 -!- Corun has quit ("Yarr."). 03:47:11 i am! :o 04:07:10 augur: so what do you do? 04:07:32 augur: I like to learn about as many proglangs as possible 04:07:45 augur: then I focus on ones I like in detail 04:08:51 uh 04:08:59 i like to find interesting and new paradigms 04:29:23 -!- ihope has quit ("ChatZilla 0.9.82.1 [Firefox 2.0.0.15/2008062306]"). 04:40:22 -!- Sgeo has quit (Remote closed the connection). 05:05:23 -!- pikhq has quit ("leaving"). 05:14:12 augur: my favorite so far is a certain thing I don't have a name for 05:14:30 ? 05:14:46 its like OOP only the kind that only Smalltalk and Io are good approximations to 05:15:09 its like Javascript's prototype-based classes 05:15:25 its like Python and Mathematica 05:16:01 have you used Prolog? 05:16:08 its a mind-f*** 05:16:40 i like prolog. but its nothing magical. 05:16:53 Have you heard of Meta? 05:17:00 Have you heard of Subtext? 05:17:26 Have you heard of Funge? 05:17:27 meta no, subtext maybe 05:17:29 funge, boring. 05:18:00 http://www.cwi.nl/htbin/sen1/twiki/bin/view/Meta-Environment 05:18:01 http://www.subtextual.org/ 05:18:41 augur: have you heard of the language i'm designing? 05:19:14 i dont know, whats it called 05:20:12 I don't have a name for it yet, but was thinking of calling it "uh" or "xylo" or "rose" 05:21:46 the core idea of my lang is that it is a strongly-typed language with both homogeneous and heterogeneous built-in data structures 05:22:59 the major benefit I see from this is that it allows reflection since you can represent a for-loop or a function-def as a first-class object 05:25:39 by having sets, maps, lists, ordered maps builtin, it adds new expressiveness to seemingly simple operators 05:26:46 so "case x [a: b, c: d]" would be different than "case x {a: b, c: d}" 05:33:41 -!- adu has quit. 05:35:35 -!- GreaseMonkey has joined. 05:41:54 GregorR, about MIDI: it is painful to parse 05:43:00 funge, boring. <-- stop insulting ;P 05:43:23 :P 06:40:52 AnMaster: That's why you use preexisting libraries, of course. 07:35:52 -!- CakeProphet has left (?). 07:44:41 -!- calamari has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:22:15 -!- seveninchbread has joined. 09:07:07 GregorR, I don't know any for parsing midi 09:07:25 I would actually find one useful 09:07:35 so where can I find one? 09:27:28 http://www.flickr.com/photos/psygnisfive/tags/sky/ 09:27:44 AnMaster: http://staff.dasdeck.de/valentin/midi/ 09:27:52 AnMaster: First result searching for "PHP MIDI" 09:34:54 php ugh 09:35:02 GregorR, for use in C? 10:23:32 -!- tusho has joined. 10:40:14 GregorR: not one track 10:40:16 it should be like 10:40:19 10 second samples 10:40:28 which are looped and mixed and effect'd and repeat'd randomly 10:40:31 as the full track in the result 10:40:43 if you submitted stuff droney enough you'd end up with some weiiird ambient music :P 10:46:01 GregorR: i mean, it might actually sound good. 11:03:34 -!- GreaseMonkey has quit ("Remote closed the previous member app"). 11:08:04 -!- olsner has joined. 11:16:09 1200 spänn för en terabyte-disk är ju helt okay 11:18:16 ... but 500-750GB seems to be cheaper per GB than the terabyte disks 11:18:28 -!- tusho has left (?). 11:18:32 -!- tusho has joined. 11:18:33 -!- tusho has left (?). 11:18:38 -!- tusho has joined. 11:32:21 tusho, already here 11:32:25 early for you 11:32:34 1200 spänn för en terabyte-disk är ju helt okay 11:32:35 ... but 500-750GB seems to be cheaper per GB than the terabyte disks 11:32:51 hrrm 11:32:57 AnMaster: same time as yesterday, roughly 11:33:01 Well, about 30 minutes earlier. 11:33:03 AnMaster: that's what *I* said :P 11:33:08 jag har bara plats för en SATA-disk till 11:33:22 aj då, då är du väl så illa tvungen att köpa den största som finns 11:33:36 well better use English or tusho will feel left out 11:33:52 quite 11:34:09 unless you replace one or more disks with a new one, or get a wardrobe computer as a receptacle for additional disks 11:34:15 in any way I would do a clean gentoo install on it, my current partitioning scheme is quite messed up 11:34:27 -!- seveninchbread has quit ("lolwhut?"). 11:34:41 olsner, I mean the mobo only got one more SATA connector 11:34:47 I think the case can hold 3 more disks 11:34:53 or maybe 2 more 11:35:17 as I already got an old PATA (80 gb) + a SATA (350 GB) 12:09:42 % uptime 12:09:42 12:09pm up 105 days 15:54, 0 users, load average: 1.59, 2.04, 2.00 12:09:44 105 days uptime 12:09:45 :D 12:10:50 14:10:42 up 228 days, 4:46, 12 users, load average: 0.00, 0.00, 0.00 12:10:58 228 days and completely useless (load 0). 12:11:34 And no UPS. I can pretty much use "uptime" to check when the previous blackout was. 12:12:57 Hmm, the laptop-turned-Xen-server apparently survived previous electricity problems, because it's got an uptime of 273 days now. 12:17:30 fizzie: Thing is, this computer goes on standby at night. 12:17:32 So it's kind of cheating 12:19:46 Ohhh. Yes, it's a bit easier that way. 12:20:40 fizzie: I _have_ left it on overnight. 12:20:42 And it's not that loud. 12:20:47 But, you know. I don't need it in the night. 12:20:50 Unless I'm running a torrent. 12:23:42 Yes, I was actually thinking of doing the suspend-it-at-night thing for my workstation (which is bit of loudish for bedroom use) if I ever get motivated enough to move elsewhere the one last service (postgres) running on it that the web-server-laptop depends on. 12:32:36 -!- seveninchbread has joined. 12:32:56 Might be an idea :-p 12:38:16 On the other had, the irregular cat-induced noises are more distracting than the low hum from the computer, and I still manage to sleep well enough to need two alarm clocks to actually wake up. So I guess it's not a priority. 12:38:48 Of course turning it off would conserve power and Save The Planet, I guess. 12:40:07 fizzie: But standby KILLS TREES 12:40:18 p.s. lol colloquy is using 98% of cpu brb. 12:40:21 -!- tusho has quit ("And then-"). 12:40:44 -!- tusho has joined. 12:54:24 -!- oklopol has joined. 12:55:06 back 12:55:08 turned out i'm not sure how the rewrites work 12:55:18 perhaps it's pen and paper time 12:56:15 oklopol: want another infuriating game? 12:56:27 http://www.geocities.jp/z_gundam_tanosii/home/applet/Main.html 13:15:47 what's it about?= 13:15:54 ah, loaded at last 13:17:06 tusho: that's a retarded game 13:17:15 oklopol: no it 13:17:17 's not! 13:17:22 it's super mario bros 13:17:24 but crazy 13:19:07 well yes, it's similar in graphics, just worse movement, uglier, and tons more annoying levels 13:19:20 and i don't even like smb 13:25:05 but yeah, that's kinda infuriating, another game where everything is trivial, you just don't know what you have to do, and have to explore blindly. 13:25:33 iwbtg at least offered a few minutes of challenge once you figured out what hazards the level held 13:26:17 i think i know the rewrite rules now, time to do the pythonification 13:26:43 the movement is intentional 13:28:48 and that has to do with anything because..? 13:30:17 your face 13:30:19 of course it's intentional, it's not like the code to make it slide around and always jump the same amount wrote itself 13:31:06 right, my face, forgot all about it 14:03:23 -!- Corun has joined. 14:38:15 but yeah, that's kinda infuriating, another game where everything is trivial, you just don't know what you have to do, and have to explore blindly. 14:38:18 text adventure! 14:41:20 -!- olsner has quit. 14:42:01 AnMaster: *BEEP* 14:42:04 tushoia 14:42:12 revision 5461 (C) 1987 Ifnocmo systems 14:42:15 -!- seveninchbread has quit (Remote closed the connection). 14:42:24 LOADING tush.glo......................................Done 14:42:28 hahah 14:42:28 Initializing... 14:42:31 ^L^L^L 14:42:33 Room 14:42:35 You are in a room. 14:42:36 > 14:42:37 Ifnocmo? 14:42:48 I don't understand. 14:42:49 > 14:42:51 can't speel can you? 14:42:55 revision 5461 (C) 1987 Ifnocmo systems 14:43:11 Infocom stole my name, actually. 14:43:13 > 14:43:15 hah 14:43:21 look 14:43:31 You are in a room. It is infinitely large. There is a cat here. 14:43:32 > 14:43:33 KILL 14:43:37 You kill the kat. 14:43:40 DIE YOU UGLY FUCKER 14:43:42 It grows a k in the process. 14:43:43 thx. 14:43:45 Inventory: kat 14:43:46 > 14:43:56 right 14:44:07 two can play this game! 14:44:17 yes right was "go to right"... 14:44:48 unless it is one of those games using compass direction instead? 14:45:21 Correct. 14:45:21 > 14:45:38 > west 14:45:42 > right 14:45:54 You go west forever and end at the edge of the infinite room. 14:45:58 There is a model of the earth there. 14:46:19 investigate earth 14:46:59 You look carefully and can see yourself typing away on the keyboard the line "investigate earth". 14:47:06 Interestingly, a few seconds later, you see tusho typing the line: 14:47:08 You look carefully and can see yourself typing away on the keyboard the line "investigate earth". 14:47:09 > 14:47:42 > get earth 14:47:54 You pick up the earth and stick it in your endless pockets along with the kat. 14:47:54 > 14:48:11 > north 14:49:04 tusho? 14:49:06 You go north forever. 14:49:13 In front of you is everything. 14:49:13 > 14:49:19 > look 14:49:42 You look at everything. 14:49:43 -!- atsampson has quit (Read error: 113 (No route to host)). 14:49:45 It's vaguely disconcerting. 14:49:50 You are there. 14:49:51 > 14:49:57 dig 14:50:27 > dig 14:50:27 You dig everything, by which you mean the slang term for appreciating it. 14:50:31 Yourself says "Hello". 14:50:31 > 14:50:33 ahaha 14:50:46 > up 14:50:59 You fly into the sky. Yourself flies up too. 14:50:59 > 14:51:12 > east 14:51:33 You go east and bash into yourself. 14:51:40 You say "oof". Yourself says "ow". 14:51:40 > 14:51:55 > say "What is the goal of this game?" 14:52:06 "You must find that in yourself." 14:52:06 > 14:52:13 > south 14:52:23 You go south, and see a door. Yourself opens it. 14:52:23 > 14:52:25 -!- atsampson has joined. 14:52:28 > enter 14:52:42 You enter the door, and yourself follows behind. 14:52:47 You are in heaven. 14:52:48 > 14:52:53 > score 14:53:20 You have 4 points. 14:53:20 > 14:53:30 > look 14:53:44 You stub your toe. 14:53:44 > 14:54:02 eh? what do you mean? 14:54:56 .. 14:54:59 What do you mean. 14:55:20 "stub your toe"? I'm sorry but I don't understand what that means, I'm not a native speaker after all 14:55:37 Bashing your toe on the end of it, basically. 14:55:46 often happens when you trip when walking. 14:55:52 ah 14:55:59 > 14:56:59 > 14:57:24 south 14:57:48 You go south. There is a forth wall there. 14:57:49 > 14:58:05 dig 14:58:09 look 14:58:19 AnMaster: Wait, is forth wall an english idiom that you don't get 14:58:24 oh? 14:58:28 no I don't get it indeed 14:58:42 The 'forth wall' is the imaginary world seperating, e.g., characters in a TV show from the audience. 14:58:53 'breaking the forth wall' is like when a character looks at the camera and talks to the audience 14:58:58 ah 14:59:41 > 15:00:05 hrrm... 15:00:12 > inventory 15:00:24 You have a kat and the world. 15:00:47 loot world 15:01:48 You loot the world. 15:01:49 You get TNT. 15:01:50 > 15:02:18 use TNT and back away to a safe distance from the wall 15:02:35 You break it. You see two people typing at computers behind the wall. 15:02:39 You look at them. They look at you. 15:02:40 > 15:02:57 > chat 15:03:39 You turn to them. They turn to you. "Hi, I'm AnMaster" you say. "No, you're the character I'm playing. _I'm_ AnMaster." "Nuh-uh. In this game, you are your own character." 15:03:40 > 15:04:34 > chat to the other one 15:05:05 """"""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""""stack overflow 15:05:06 > 15:05:21 what? 15:05:34 (I am the narrator, so I am relaying messages in "quotes". However, I am quoting what I am saying, which is the current line I'm typing. So, infinite loop.) 15:05:41 ahah 15:05:43 hehe 15:06:39 > 15:08:08 > quit 15:08:40 You quit the room into the portal which contains the rooms of both tusho and AnMaster. 15:08:44 > 15:09:24 > exit 15:09:27 ^C 15:09:39 You can never quit this game. 15:09:40 > 15:09:50 [Adventure Lad sez: This game is real life!] 15:13:06 > 15:35:14 -!- pikhq has joined. 15:49:54 -!- ais523 has joined. 15:50:22 hi tusho 15:50:34 aaaagh! 15:50:36 and I just came back too 16:01:41 -!- tusho has quit ("And then-"). 16:01:59 -!- tusho has joined. 16:03:51 oklopollll! 16:09:11 -!- Slereah2 has joined. 16:17:11 -!- Hiato has joined. 16:22:30 -!- Slereah2 has quit (Read error: 60 (Operation timed out)). 16:23:12 -!- Slereah2 has joined. 16:30:32 augurrrrrrrrrrrrr 16:30:39 hey :) 16:30:41 ::bite:: 16:30:43 hows it goin 16:31:31 chillin 16:33:45 -!- Slereah2 has quit (Read error: 60 (Operation timed out)). 16:34:00 -!- olsner has joined. 16:38:40 -!- Slereah__ has joined. 16:45:34 -!- Slereah2 has joined. 16:49:17 -!- Slereah__ has quit (Read error: 60 (Operation timed out)). 16:53:23 -!- Slereah__ has joined. 16:56:01 -!- Sgeo has joined. 16:56:25 -!- olsner has quit. 16:58:40 -!- Slereah2 has quit (Read error: 60 (Operation timed out)). 17:01:02 -!- Slereah__ has quit (Read error: 60 (Operation timed out)). 17:06:12 ais523: didn't notice you there 17:06:16 i implemented eodermdrome 17:06:20 well, the part of it i know 17:06:22 oklopol: great 17:06:25 graph rewriting & parsing 17:06:48 that's probably the most important part, doing the rest of it should be easy from there 17:06:56 atm i'm using python lists of the form (node, [connection]) as the graph representation. 17:07:01 so it's slow like hell 17:07:13 but quite easy to fix, i just didn't want to make a nice interface for myself 17:07:29 I didn't expect it to be fast 17:07:32 -!- lilja has joined. 17:08:17 well it's not that slow 17:08:27 except for the fact i'm using a sucky data representation 17:08:53 but it's basically just a matter of abstracting all the weirdness away and i can change the structure easily 17:09:14 the problem is i just have that one ring example to test with 17:09:25 no idea if it works for others, as the code is very, very ugly atm :P 17:13:21 http://www.vjn.fi/pb/p565155612.txt 17:13:42 looks good 17:13:46 not very readable output, i could make a parser into the letter form i guess 17:13:49 maybe I'll have to come up with an example... 17:13:59 just checked, and at least @ step 7 it seems to be correct 17:14:35 i'll prettify the code a bit now, do you read python? 17:14:48 yes, I can read python 17:14:53 I've written bits in it before 17:15:02 but I normally only use it for OO stuff, and I don't do OO very often 17:19:27 -!- ais523_ has joined. 17:19:55 -!- ais523 has quit (Read error: 104 (Connection reset by peer)). 17:19:57 -!- ais523_ has changed nick to ais523. 17:20:10 [17:20] [CTCP] Received CTCP-PING reply from ais523: 21 seconds. 17:20:17 sorry about that, I'm having connection trouble 17:20:22 what did you say recently, if anything? 17:20:49 back 17:21:08 wb tusho 17:24:25 -!- timotiis has joined. 17:24:55 i didn't say anything 17:24:59 ok 17:25:03 i will now though 17:25:04 so 17:25:13 i haven't taken into account the case where 17:25:14 err 17:25:43 you have like a rewrite abcd abc == drop more than just a connection 17:25:50 i mean drop an actual node 17:26:02 the original example just had a connection drop 17:26:06 ah, ok 17:26:11 but it should be simple 17:26:25 although abcd abc would be a bit strange, it would drop a 'tail' at the end of any three connected nodes 17:26:32 because anything could link to the a, b, or c 17:26:40 but the d would have to link only to the c 17:27:12 #define cons(a,b) a,b 17:27:16 #define car(a,...) a 17:27:25 #define cdr(a,...) __VA_ARGS__ 17:27:29 :D 17:27:40 you need extra parens 17:27:41 but yeah 17:27:41 tusho: but you can't have an eval, so that's of limited use 17:27:54 http://www.vjn.fi/pb/p646231414.txt 17:27:58 ais523: well cpp isn't tc 17:27:59 but it's still fun 17:28:00 besides you can do it even in C89, using nested parens 17:28:05 i don't expect you to be able to read that, but you might be able to test it 17:28:27 it's not too unreadable oklopol 17:28:29 rewrite does have some comments, they might give some hints 17:28:32 oh? 17:28:34 nice 17:28:37 oklopol: OMFG - 17:28:37 import copy 17:28:39 it's an import!!1111 17:28:40 :DDDDDDD 17:28:46 your oklo license is revoked. 17:28:47 yeah, someone slap me 17:29:22 but hey, i'm using it because i'm doing functional & imperative changes so randomly dispersed i have no idea whether i even need the copies! 17:29:30 well i do, but i didn't when i imported it 17:32:50 okay i think it can drop nodes now 17:34:55 okay, it looks like it works 17:35:50 oklopol: starting with bacadae, what happens when you use the rewrite rule ab dcbcecf? 17:36:04 rewriting abc with ab->a and ab->b give results a_c and bc, of course could both produce either result, but in practise this somewhat proves it worked 17:36:07 hmm 17:36:09 let's see 17:36:17 just coming up with another example off the top of my head 17:37:38 http://www.vjn.fi/pb/p545325321.txt 17:37:43 dunno if that's correct. 17:38:10 * tusho notices the irony of supertux on os x 17:38:43 basically you have a star, and you kinda blow it up into new starts 17:38:45 *stars 17:38:46 yep 17:38:50 can you explain the format you're using? 17:38:53 yeah 17:39:05 [(Node, [Node])] 17:39:25 why are there a lot of nodes that don't link to anything? 17:39:29 each element E in the list represent the node first E connected to all of (second E) 17:39:34 err 17:39:39 because the a that's dropped 17:39:47 can be the link to what's keeping it together 17:39:53 also everything seems to be connected to [11] 17:39:55 which doesn't seem to exist 17:40:02 oh, well that is prolly wrong. 17:40:38 i'll try and debug 17:44:15 -!- timotiis_ has joined. 17:45:34 ais523: it correctly leaves some guys without connectinos 17:45:36 connections 17:45:42 ok 17:45:47 but, i need to rename shit as i rewrite 17:45:47 so 17:45:58 well anyway, i need to 17:46:02 and i have a bug there 17:46:09 forgot to rename some of the connections, so 17:46:18 the 11 you see there, is only 11 in the connection lists, and 13 as the actual node 17:48:49 ah, right, right, the problem is just that i'm doing the renamings one by one 17:49:14 so if you have *interconnected* new cells, some of them will refer to the old guys, some to the renamed ones 17:49:23 so i just need to do a separate renaming loop 17:54:48 after 1 rewrites 17:54:48 [(0, []), (2, []), (4, []), (5, []), (13, [14, 15, 16, 17]), (15, [13]), (16, [13]), (17, [13])] 17:54:56 looks correct now 17:55:02 wait 17:55:25 wait i'll show the actual result 17:55:30 -!- timotiis has quit (Read error: 110 (Connection timed out)). 17:56:21 http://www.vjn.fi/pb/p535322355.txt 17:56:45 first step looks correct, unless you want it to do something cleverer in that situation, i didn't check the rest 17:56:51 that's wrong, I think 17:56:54 hmm 17:56:58 because it isn't changing the graph at all 17:57:03 you end up with the same graph on every step 17:57:10 is that so 17:57:16 just looked at the first one 17:57:17 * oklopol debugs 17:57:28 the first one is also wrong 17:57:54 umm, what should the result be then? 17:58:03 initial state: 17:58:06 [(3, [0, 2, 4, 5]), (0, [3]), (2, [3]), (4, [3]), (5, [3])] 17:58:09 rewriting from 17:58:12 [(8, [6]), (6, [8])] 17:58:15 to 17:58:18 [(11, [6, 9, 10, 12]), (6, [11]), (9, [11]), (10, [11]), (12, [11])] 17:58:21 current match: 17:58:25 [(3, 8), (0, 6)] 17:58:27 after 1 rewrites 17:58:30 [(0, []), (2, []), (4, []), (5, []), (13, [14, 15, 16, 17]), (15, [13]), (16, [13]), (17, [13])] 17:58:34 so 17:58:44 current match tells us what was matched against what 17:58:59 hmm... 17:59:03 oklopol: that match is incorrect; because the 8 is on only one side of the rewrite rule, it's not allowed to match 3 because they have different degrees 17:59:17 oh? 17:59:26 i see, didn't know that 17:59:29 things on both sides of the rewrite rule can have extra connections 17:59:33 things on only one side can't have 17:59:40 I think I said this before, but possibly I wasn't clear 17:59:43 okay, that's fixable 17:59:51 well i missed all your rewriting explanations 17:59:54 ah, ok 18:00:03 just took the obvious approach 18:00:06 and I need to get around to writing a spec and some examples 18:00:10 but yeah, that's an obvious enhancement 18:00:13 ya 18:00:19 i'll fix that, should be a simple job 18:03:35 I'll spec up the I/O too while I'm at it 18:07:40 hi ais523 18:07:58 hi AnMaster 18:08:19 ais523, anything you wish to speak about? 18:08:22 cfunge or such 18:08:26 not immediately 18:10:48 -!- timotiis_ has quit (Read error: 104 (Connection reset by peer)). 18:16:11 -!- Corun has quit ("This computer has gone to sleep"). 18:17:49 http://www.vjn.fi/pb/p311541526.txt 18:17:58 ais523: what about this one? in case you can see right away 18:18:00 i'd have to draw 18:18:14 well i'll drawify 18:19:47 it fails. 18:19:48 darn 18:20:25 not much though 18:20:36 and the match is correct 18:21:08 it seems 3 is, for some reason, renamed to 14 18:24:13 how about now? http://www.vjn.fi/pb/p463545331.txt 18:24:21 hehe 18:24:24 forgot debug info there :P 18:24:35 also a typo in the debug info. 18:24:48 that looks right 18:24:50 but i now realize that's almost crucial 18:24:55 good, good 18:25:01 let's make sure the old one still works :) 18:28:02 lol, actually seems the match now fails for that one. 18:28:34 i'll debug, damn i wish i wasn't this stubborn, i could just have written the program well-structured to begin with :P 18:31:11 oklopol: a well-structured oklopol program would be weird 18:31:15 but perhaps fun 18:31:35 classes when appropriate, legible names, use of the standard library features, whitespace in the right places... 18:31:37 it'll never happen 18:31:37 :p 18:31:57 -!- tusho has quit (Remote closed the connection). 18:32:07 bye tusho... 18:32:09 oh actually once again the actual program logic was correct, i just failed to call the functions right \o/. 18:32:13 -!- tusho has joined. 18:32:14 wb tusho 18:32:17 specifically 18:32:25 if you rewrite from A to B 18:32:29 you need the same namespace for them 18:32:39 i forgot to pass the same namespace, passed the empty dict 18:33:06 oklopol: one thing which would be nice but not necessary would be to put the graphs back into eodermdrome-format for printing 18:33:10 classes when appropriate, legible names, use of the standard library features, whitespace in the right places... 18:33:12 yay! 18:33:13 ;P 18:33:22 ais523: i know, wondered whether i should do that 18:33:37 tusho: i actually use classes quite a lot 18:33:48 but true, not always where appropriate 18:33:52 makes it too easy 18:33:53 oklopol: well yeah, but not very consistently and you have loads of standalone functions operating on classes 18:33:55 and too verbose 18:33:55 which is weird :p 18:33:59 yeah 18:34:09 also, i think a more legible oklo program could actually be shorted 18:34:11 *shorter 18:34:18 due to the whole 'pillage the standard library' thing 18:34:33 usually i just import functions, my own random shit library 18:34:43 yes, this is hypothetical 18:34:44 :p 18:35:16 whitespace will indeed probably never happen 18:35:23 why? 18:35:23 in python, that is, gets so ugly 18:35:29 oklopol, you code in python right? 18:35:32 usually 18:35:41 so your indention whitespaces will be right at least? 18:35:42 i don't like it when there are empty spots. 18:35:55 well yes 18:35:58 oklopol, foo(bar, quux) 18:36:02 space should be there 18:36:04 ;P 18:36:06 i always do indentation correct, python has taught me that 18:36:09 god no 18:36:14 that looks awful 18:36:14 why not? 18:36:17 ... 18:36:30 dunno, why yes? 18:36:31 oklopol, why does it "looks awful" 18:36:44 objectively 18:36:48 it is more readable 18:36:49 err, because there isn't a space between foo and bar anywhere, i guess 18:36:54 makes it look kinda unbalanced. 18:37:03 well do GNU style then: 18:37:07 foo (bar, quux) 18:37:13 "objectively, it is more readable"? 18:37:26 that's definitely subjective 18:37:34 oklopol, I remember reading some paper on it 18:37:38 I reserve a space between foo and the rest for when foo is a keyword 18:37:40 years ago 18:37:54 Deewiant, as in sizeof? 18:37:54 AnMaster: some papers suck 18:38:03 or for, while, whatever... 18:38:09 oklopol, a scientific studdy yes 18:38:16 while (x); but foo(x); 18:38:18 Deewiant, yes I do put in a space for if/while and such 18:38:23 but not for sizeof() 18:38:41 AnMaster: i don't really believe in stuff that stuff can inherently be easier to read. 18:38:47 i can get used to anything in about a day 18:38:58 but whatever, who cares about this shit 18:39:03 oklopol, well then you can get used to the style I suggest too ;P 18:39:06 whitespace is trivial to add yourself 18:39:10 AnMaster: but it's more work for him 18:39:14 hm 18:39:14 AnMaster: or you can get used to mine. 18:39:15 heh 18:39:34 or we can do what i was originally doing: not read each others code :) 18:39:38 oklopol, not really, because I do believe that certain stuff "can inherently be easier to read" 18:39:48 well have fun believing 18:40:06 oklopol, compare a hex dump of machine code to asm 18:40:09 which is easier to read? 18:40:16 -!- Corun has joined. 18:40:23 ais523: more examples / IO rules done soon? 18:40:30 oklopol, ? 18:40:34 I was working on something else 18:40:46 oklopol, don't tell me they are the same, because then you are lying 18:40:48 AnMaster: okay, i agree some structures of whole programs are easier to navigate within. 18:40:49 but the IO rules are pretty simple: 18:40:54 than others 18:41:04 rules can have a set of characters in parens before or after them 18:41:08 or both 18:41:10 oklopol, and indention is better than all the code on one line? 18:41:26 as in the whole file on one line 18:41:30 a rewrite rule with chars in parens before it can only be applied by removing one of those chars from the start of stdin 18:41:37 duh, you can't navigate if there isn't an easy way to find where logical lines begin or end 18:41:45 and a rewrite rule with a char in parens after it writes that char to stdout when it's applied 18:42:03 and ofc there can be more than one rewrite rule, and they run like in Thue, that is whichever rule matches will run 18:42:30 oklopol, and what about newlines but no indention, just lots of nested { } but no indention change at all? 18:42:43 (this doesn't apply to python of course) 18:42:51 AnMaster: this is all a navigational issue. 18:42:51 oklopol: just grep for DO or PLEASE 18:42:58 -!- lilja has quit ("KVIrc 3.2.0 'Realia'"). 18:42:59 I believe that {} always implies indentation, but just stuff like if/for/while necessarily doesn't 18:43:01 i believe some structures are easier to navigate through 18:43:17 oklopol, inherently easier? 18:43:49 well yes, but this is an algorithmic difference; not something people are born with, but something you get for any visual system. 18:43:52 Deewiant, well C doesn't force you to indent 18:43:57 in fact only python does afaik 18:44:10 yes, and I find it annoying that python does 18:45:32 bah 18:45:40 I support that bah... 18:45:56 bahs for everyone 18:45:58 well, I like to not be able to indent sometimes 18:46:16 before python, i didn't indent at all, thought indenting was lame 18:46:17 I like the Haskell method: pretty indentation-based blocks, but you can just use { } instead if you prefer 18:46:26 later, i've realized it actually is handier 18:46:36 lame :-D 18:46:56 well yeah, you shouldn't make programming too easy for yourself :D 18:47:04 >_< 18:47:15 or, well, easy for others to read, i guess that was another issue 18:47:19 the thing that annoys me about indented code is that the indentation doesn't really help with very long block 18:47:21 s/$/s/ 18:47:32 it always helps 18:47:33 haskell does it pretty prefectly 18:47:37 it's just diminishing returns 18:47:55 I like the Haskell method: pretty indentation-based blocks, but you can just use { } instead if you prefer <-- sounds very nice 18:48:26 yes 18:48:31 DM also does that, iirc 18:48:47 dm? 18:49:09 dangermouse? 18:49:10 the thing that annoys me about indented code is that the indentation doesn't really help with very long block <-- it doesn't help as much you mean?, well... I got to say long blocks should be refactored when possible 18:49:25 well, yes 18:49:35 I mean it's no good for visual matching of the start and end of a block if you have to scroll 18:50:12 yes which is why you shouldn't have a block longer than about 30 lines if you can avoid it 18:50:16 there are exceptions 18:50:22 for example a huge switch case 18:50:25 DM = DreamMaker language 18:50:30 It's used by BYOND 18:50:33 Sgeo, and wtf is that? 18:50:35 BYOND? 18:50:44 developer.byond.com 18:50:49 Build Your Own Net Dream 18:50:54 err.. !? 18:51:06 byond.com it lets people make their own 2d tile-based-ish games somewhat easily 18:51:13 Windows-only though :( 18:51:20 sigh. not yet another toolkit for such 18:51:21 And not Free, but it is free 18:53:04 i recall making stuff in games factory 18:53:07 god that was shitty 18:53:32 is that the thing with little 32x32 pictures flying around? 18:53:45 gf? 18:53:52 or byond 18:54:54 -!- Corun has quit ("This computer has gone to sleep"). 18:54:55 gf let you have pictures of any sizes, and calculated normals from the drawings quite well 18:55:18 byond uses icons of fixed size 18:56:24 although the collisions did fail especially with a larger amount of objects 18:56:33 not that my games usually work any better in that sense :P 18:57:00 *occasionally 18:57:23 the best is to code it in a real language 18:57:28 say, C or even C++ 18:57:32 ais523: AnMaster distracted me and i'm too lazy to scroll up, so i'll go over what i think i recall you said 18:57:33 so 18:57:40 AnMaster: it's not a very good troll any more. 18:57:40 ()ab->rf would 18:57:42 you can stop saying 18:57:52 err... 18:57:52 tusho, well compared to game factory 18:57:53 or such 18:57:54 ... 18:57:57 "AHA! But I'll end this discussion with: Your language is not real and lazy. C and C++ winzorz!!12121123123123817812381689`923`9223" 18:57:58 tusho, read before you troll 18:58:01 actually i have little idea 18:58:04 . 18:58:06 oklopol: never work because there's nothing in parens 18:58:06 tusho, I agree python would work too 18:58:07 AnMaster: 'the best is to code it in a real language' 18:58:08 that would be enough 18:58:10 (efg) abc rf 18:58:12 'say, C or even C++' = useless 18:58:19 ais523: can you go over the semantics once more? 18:58:23 tusho, they were just examples 18:58:31 would replace abc with rf (i.e. delete it and create a two-element graph elsewhere) if e, f, or g was next on the input string 18:58:36 tusho, sorry I forgot: "INCLUDING BUT LIMITED TO" 18:58:45 I didn't know I would have to write a legal document... 18:58:47 but limited to, yeah. 18:58:50 :) 18:58:51 err 18:58:56 NOT LIMITED TO. 18:58:58 oklopol: ok, something in parens before a rule means that one of those characters has to be on stdin for the rule to match (the character is removed afterwards) 18:59:02 see I suck I writing legalspeak 18:59:04 tusho, :P 18:59:07 oklopol: and something in parens after a rule is printed out whenever the rule matches 18:59:09 so I'd rather not 18:59:47 ais523: so basically all this happens at a separate level from the subst-engine 18:59:52 yes 18:59:57 it's just preconditions and side effects 19:00:12 also, a program is just multiple rules like that 19:00:23 and they can be matched whenever they match 19:00:24 like Thue 19:00:29 \n-separated= 19:00:30 s/matched/used/ 19:00:30 ? 19:00:44 oklopol: I was going to have whitespace-separated, but that's ambiguous with the parens 19:00:50 so you could write eodermdrome poetry 19:00:50 yes 19:00:56 ya. 19:01:01 maybe output should be parens in the middle of a rule 19:01:05 then it's unambiguous 19:01:47 or just, like, require them everywhere, and have . be the null requirement / null input 19:01:57 err. 19:02:03 null input / output, that is 19:02:17 a bit ugly, probably, most of the time you won't be doing I/O 19:02:23 and presumably, a program ends when no rules match 19:02:24 but yeah, this is just bikeshedding, if i'm using the term correctly 19:02:55 right there's prolly be like a few rules that do the actual io 19:03:38 btw looks like it's IO-complete in that you can have an arbitrary function between I and O 19:03:42 is that the case? 19:04:10 say you have a separate input for each char, and a separate output for each char 19:04:29 since you can also have the arbitrary rule, you can do anything between taking the inputs 19:04:52 output can be anything quite trivially 19:06:11 hmm, actually... 19:06:18 let's say it's IO-complete 19:06:34 you have to have all inputs ready and usable all the time 19:06:49 so it's possible they all trigger at once, and you can't know the order in which the inputs came 19:07:05 oklopol: no, they only trigger on the first char of stdin 19:07:09 because it's not specified whether any possible locking will reach the other input nodes before the next input is taken 19:07:12 and remove the char when they trigger 19:07:20 ais523: yes, that's not what i said 19:07:22 i meean 19:07:23 *mean 19:07:24 so I think it's IO-complete 19:07:37 let's say you need to read a's and b's, and the order is important 19:07:47 then you have a rule marked (a) that makes a change 19:07:54 now you need to have your program in a state where it can read either 19:07:54 and a rule marked (b) that changes the same thing a different way 19:08:10 it can flunctuate between these two states, but i think the problem still occurs 19:08:15 the problem is... 19:08:17 err... 19:08:20 say a comes first 19:08:24 hmm 19:08:57 actually, if it flunctuates, and it's in the a state, getting the a in would prolly trigger the lock on taking b as input, before the state could fluctuate to taking b in 19:09:10 *fluctuate/flunctuate everywhere, i don't remember which it is 19:09:22 fluctuate's the real world 19:09:29 s/world/word/ 19:09:31 well i remember it's the first, but i didn't when i wrote that 19:09:34 ya 19:09:50 anyway, forget what i said there, i'm pretty sure it's io complete too, now. 19:09:53 let me see if I can come up with an example which would record the sequence of a and b 19:09:56 so I think it's IO-complete 19:09:59 go for it 19:09:59 what does that mean? 19:10:01 STDIO? 19:10:03 File IO? 19:10:06 Network IO? 19:10:13 AnMaster: like Brainfuck, can manage arbitrary IO on stdin and stdout 19:10:17 AnMaster: that it can input to output through any function 19:10:20 ah STDIO then 19:10:31 *map input to output 19:10:37 AnMaster: no 19:10:38 AnMaster: different concept 19:10:45 if you have "..." outputs ... 19:10:47 it's not IO-complete 19:10:48 we're higher up here :P 19:10:51 you can't write a fibonacci prorgam 19:11:36 starting with abcdefgab, you can use (a) ab acdaf (b) ab acdeaf 19:11:43 wait 19:11:52 (a) ab acdafg (b) ab acdeafg 19:12:02 basically, for every function F from strings to strings, a program can be written to map input to output through the function F 19:12:09 means IO-completeness 19:12:31 yes, that's it 19:12:38 well, every computable function 19:12:39 ais523: why abcdefgab, why not just abcdefga? 19:12:58 and yeah, every computable function 19:13:01 oklopol: giving it a tail to start with 19:13:12 err, i think those are equivalent 19:13:13 it works by extending the tail, putting triangles and squares on it for a and b 19:13:19 whoops 19:13:22 I meant abcdefgah 19:13:27 yeah, thought so 19:13:46 that even ends with gah 19:14:13 ais523: that says nothing about order 19:14:33 oklopol: what, you mean order on the input? 19:14:38 ababbbab will give an equivalent result to what aaabbbbb gives 19:14:44 well, equivalent set of possible results 19:14:55 ais523: well yeah, that was what my point above was about 19:15:14 oklopol: no, they give different results 19:15:29 at least with my corrected version 19:15:29 hmm, well yeah, but there are results both can give 19:15:33 hmm 19:15:34 (a) ab acdafg (b) ab acdeafg 19:15:39 oklopol: I don't think there are 19:15:42 why not try it? 19:15:52 i haven't added input 19:15:59 but yeah 19:16:03 i could on paper 19:16:55 ais523: well 19:17:06 let's say you have "ab" @ stdin 19:17:14 yes 19:17:19 then the first rule can run 19:17:26 but the second rule can't, because there isn't a b at the start of stdin 19:17:32 now you take two random adjacent nodes in the ring 19:17:44 oklopol: ab doesn't mean two random adjacent nodes! 19:17:45 these random nodes can be the exact same ones with input ba too 19:17:47 the b isn't in the second string 19:17:55 so it only matches a node of degree 1 19:17:57 * oklopol slaps head 19:18:14 ais523, btw my CFFI won't work but now I see how I could make it work 19:18:26 yes, yes, i corrected your typo, so it's only fair you correct my massive semantical error :P 19:18:29 will need a few days work on the specs though (no pun intended) 19:18:41 -!- cherez has quit (Remote closed the connection). 19:18:57 -!- cherez has joined. 19:19:33 and the ab after the first sub will again only match the tail 19:19:37 god i'm stupid. 19:19:52 yes, that's how it works 19:20:17 although i do think this kind of stuff is tons easier to write than read 19:20:32 probably 19:20:34 like Unlambda 19:20:37 ya 19:20:56 shop closes soon, need to visit it now 19:21:12 i'll add io tonight, and make the actual interp, that should be quite trivial 19:21:29 decide on the syntax before that, if you have the time 19:21:31 -> 19:21:57 ok 19:24:43 -!- olsner has joined. 19:32:18 god i love graphs 19:32:53 i need to make something to draw them up for me, might be nice to make a graphical IDE to eodermdrome. 19:32:59 not many tarpits have one :D 19:33:29 of course the ascii part of it is the point 19:33:31 -!- atsampson has quit (Read error: 104 (Connection reset by peer)). 19:33:31 but anyway 19:33:39 -!- atsampson has joined. 19:34:28 i've always considered graph rewriting something very fundamental and conceptually beautiful, but i now realize this is actually the first time i implement it, or even see it in action, except for manual runs 19:34:57 we've played a graph rewriting game with a few friends, but that got a bit too complex 19:36:10 also another idea i had, i should make something that converts a graphica graph, a graph with values and tags for nodes, and tags for the possibly directed connections 19:36:14 into 19:36:28 an undirected graph with no extra info 19:36:45 and back, of course 19:37:14 so that you'd encode all the direction data, and contents of the nodes into pure graph structures 19:37:32 graphica just has numbers and lists 19:37:55 as data types 19:38:22 well actually my implementation also has strings, but you can't see that anyway 19:38:32 ais523: done with syntax possible? 19:38:46 i'm going to leave soon, for about an hour 19:38:59 and i imagine you'll be gone just before i get back :P 19:39:12 oklopol: I suggest whitespace-delimited, input in parens before a command, output in parens inside a command 19:39:12 so, if you finish it, leave a link or something behind 19:39:15 that's unambiguous 19:39:23 yes 19:39:28 i like it 19:39:30 and a command is the two halves of the rewrite rule separated by whitespace 19:39:43 also you can have input and output on the same command if you like 19:39:52 and closing paren must be the first char 19:39:57 if it's any of the chars given 19:40:03 huh? 19:40:06 ah. 19:40:12 right, nice 19:40:14 like in [] in regexes 19:40:23 yeah. output is limited by that ofc 19:40:30 though 19:40:40 i mean 19:40:47 i need to make something to draw them up for me, might be nice to make a graphical IDE to eodermdrome. 19:40:47 not many tarpits have one :D 19:40:48 heheh 19:40:52 limited as in, makes some stuff harder. 19:41:09 not limited as in makes it non io-complete 19:41:20 except for characters you can't write on the prog code 19:41:39 ais523, does the language have comments? 19:41:43 and where are the specs.. 19:41:53 ,, is a comment 19:42:00 , comment in between these , 19:42:03 ah 19:42:04 ok 19:42:09 AnMaster: specs are this channel 19:42:13 hehe :P 19:42:14 but I should write them up sometime 19:42:18 ais523, good :) 19:42:21 tomorrow? 19:43:05 AnMaster: maybe 19:43:13 ais523: you'll get the full interp tomorrow, unless i'm given an excessive amount of sexual tasks or something tonight 19:43:18 see ya all -> 19:43:19 is offsetof() standard C? 19:43:22 -!- oklopol has quit (Client Quit). 19:43:25 no 19:43:32 )(/%=(/% 19:43:45 or hmm, it might be a macro somewhere actually 19:43:49 Deewiant, does all major implementations have? 19:43:54 why do you need it, anyway 19:43:57 AnMaster: it's C99 I think 19:44:18 evidently it's C90: http://en.wikipedia.org/wiki/Offsetof 19:44:20 anyway it's possible to write it yourself, just difficult 19:44:27 and exactly 19:44:31 except that I'd have said it's trivial :-P 19:44:52 ah 19:45:25 AnMaster: you can write it yourself 19:45:36 #define offsetof(st, m) ( (char *)&((st *)(0))->m - (char *)&((st *)(0)) ) 19:45:36 it's trivial, it's trivial 19:45:37 :P 19:45:45 tusho: you just copied that off Wikipedia 19:45:48 besides it doesn't always work 19:45:55 why not 19:45:56 that depends on the way pointers are implemented 19:46:03 what about typeof(), that is a GCC extension right? 19:46:06 how so 19:46:07 Deewiant: because adding offsets to NULL isn't defined on some architectures 19:46:09 AnMaster: yes 19:46:09 AnMaster: yes 19:46:12 hrrm 19:46:36 ais523: wow, what kind of architectures 19:46:49 Deewiant: all the ones on which NULL is a special value and isn't just some value in memory 19:47:11 i.e. the ones that represent NULL differently from all other pointers, think struct pointer {void* address, bool isnull} 19:47:21 wow 19:47:25 what arches does that? 19:47:28 well, surely the compiler can anyway tell that that boils down to essentially the offset of ->m 19:47:36 Deewiant: if it could 19:47:38 then it'd support offsetof 19:47:54 "support offsetof"? what do you mean 19:48:13 it would be possible to implement offsetof still, just more difficult 19:48:20 tusho: it still can support offsetof, you just have to implement it differently 19:48:20 no, it'd be just as easy 19:48:24 what i mean is 19:48:28 they'd implement is natively 19:48:29 the difference would be that you have to give it a variable 19:48:30 if they were clever enough to tell 19:48:35 well sure 19:48:38 but that'd be a compiler extension 19:48:42 Deewiant: I agree that when you have variables it's easy 19:48:50 and since this is C, we do have variables. :-) 19:48:58 gcc has __builtin_offsetof 19:49:06 where is oklopol :< 19:49:10 use that, it's probably more optimal!! 19:49:14 see ya all -> 19:49:17 * oklopol has quit (Client Quit) 19:49:20 Deewiant, duh :P 19:49:24 Deewiant, stop being an idiot 19:49:33 Deewiant, it is just for those arches 19:49:34 ~ 19:49:34 Deewiant: it's 7 seconds faster 19:49:43 (so it actually takes -7 seconds to run) 19:49:50 over 9000 times faster 19:49:53 you LOSE 7 seconds running time 19:49:57 just by including it in your program! 19:49:58 Deewiant, also there is another case where that is useful: macros can evaluate parameters more than once 19:50:00 remember that 19:50:14 AnMaster: quick, make a file consisting of 1000000000000 __builtin_offsetof's 19:50:17 unless it's documented that they don't 19:50:24 cfunge will finish running before it's even started! 19:50:24 Deewiant, http://gcc.gnu.org/onlinedocs/gcc/Offsetof.html#Offsetof 19:50:43 stop being idiots you two 19:50:44 and, in the case of offsetof, why would you give it anything in which how many times it's evaluated matters 19:50:52 Deewiant, no reason 19:51:04 i'd comment that i'm not being an idiot and arguably the way you optimise cfunge is more idiotic 19:51:05 but i won't 19:51:06 :) 19:51:08 yeah, so in this case it doesn't matter at all 19:51:19 anyway the only issue here was if offsetof() was standard C or not 19:51:22 but it is standard 19:51:24 so :) 19:51:30 no it's not 19:51:34 :| 19:51:34 ah 19:51:35 yes it is 19:51:35 yes it is 19:51:36 :P 19:51:38 it is... 19:51:40 >_< 19:51:50 >_< 19:51:53 our eyes hurt 19:51:56 why? 19:52:08 mine don't 19:52:21 <>_<> 19:52:34 >>_<< 19:52:43 ><_>< 19:52:46 <<_>> 19:52:58 >>_>> 19:53:02 <<_<< 19:53:05 ><_<< 19:53:11 <<_<> 19:53:11 <>_<> 19:53:19 tusho, that one has been done... 19:53:22 yes 19:53:26 i felt like breaking it 19:53:27 COMBO BREAKER!! 19:53:32 :/ 19:53:34 and yeah 19:53:35 ROUND 2 19:53:35 <>_>< 19:53:41 >_< 19:53:49 fail 19:53:51 ~_~ 19:54:04 ø–ø 19:54:09 ö_ö 19:54:10 ¬…¬ 19:54:19 »_« 19:54:20 µ_µ 19:54:20 ç≈ç 19:54:28 ∑_∑ 19:54:37 o¸o 19:54:44 ô†ô 19:54:46 $\inf\_\inf$ 19:54:53 ×_× 19:54:54 -!- lilja has joined. 19:55:04 Deewiant, hey TeX is fun :P 19:55:15 ›_‹ 19:55:20 ≥_≤ 19:55:27 ≥≤ 19:55:39 ∞_∞ 19:55:41 ≤≥ 19:55:42 ≤_≥ 19:55:43 o§o 19:55:43 ≤__≥ 19:55:45 ≤___≥ 19:55:50 anyway 19:55:54 ∞_∞ 19:55:59 I already did that one... 19:56:02 $\inf\_\inf$ 19:56:04 see? 19:58:12 AnMaster: you did it in tex. 19:58:20 ·‚· 19:58:27 yes and? 19:58:29 ⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄ 19:58:37 °‹‡°· °‚·°—‚‚‚‚±—°°·‡⁄ ‚·°™⁄fl‡fifi⁄™‹›fi 19:58:43 ŒËÈ„ŒÊÁ„ÊÁ‰„ËÁÊŒ„‰ÈËÁÁÁÁÈØ∏ÈØ∏”ØØ”’∏”’”’ 19:58:43 ⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄⁄ 19:58:43 err? 19:58:45 that's just a lot of /? 19:58:48 ÅÍÓÌÏÌÅÍÎÌÓÔJHDKJFHÒÔÒÚÍÅÚÚÆÒÚÆ 19:58:49 what is that good for 19:58:53 ÛÛÇı◊ÙÇıˆÇ˜ˆı˜ˆ¯ˆ¯˜˜˜ˆ˘¯˜¯˘¿˘¯¿¿˘ 19:59:01 AnMaster: Not /. ⁄. 19:59:09 they look the same here 19:59:11 ............ 19:59:15 1/3. 1⁄3 19:59:17 compare 19:59:21 the same 19:59:23 exactly 19:59:29 not exactly the same, AnMaster. 19:59:30 except one got a . 19:59:31 ... 19:59:33 after it 19:59:42 ⁄ 19:59:44 / 19:59:45 / 19:59:47 ⁄ 19:59:48 / 19:59:49 tusho, they are exactly the same in bitstream vera sans 19:59:49 compare. 19:59:56 a/b 19:59:57 a⁄b 20:00:01 tusho, they are exactly the same in bitstream vera sans 20:00:09 then bitstream vera sans is broken. 20:00:18 Bitstream Vera Sans Mono 9 20:00:25 well duh 20:00:26 monospaced 20:00:30 yes 20:00:33 of course I sue that on irc 20:00:34 ... 20:00:45 I'm using Dejavu Sans Mono and I just get boxes for the latter :-/ 20:00:48 I wouldn't use a variable font width in my terminal would I 20:00:58 ˘¯¯¯˜¯˘ˆ¯˘˜ 20:00:59 Deewiant, well dejavu got it here too 20:01:38 on linux, programs can generally fill in from other fonts 20:01:40 Deewiant, try a more recent version of dejvavu? 20:01:43 or it depends on the program I guess 20:01:46 I have the most recent 20:01:49 hrrm 20:01:53 Deewiant, this is konsole 20:01:55 on windows, firefox at least does it 20:02:00 but PuTTY doesn't seem to 20:02:07 Ò˜ÍÚÅˆËÈ„Ó·°ÊÍÎ87Y*‡Á*&Y*¥•¶¥•¶¥•¶¥ª•¨ªº^ºª¡`˚ªº˚ 20:02:09 so if it's not in the font, it just displays a box 20:02:11 same result in the xchat on the same bnc 20:02:16 same font there 20:02:40 like said, on linux most programs do it, on windows I'm not sure but at least PuTTY doesn't. :-P 20:02:44 k 20:02:53 Deewiant, rather GTK and KDE does it 20:02:58 but maybe not other onew 20:02:59 ones* 20:03:11 tusho, they differ in the monospaced courier new btw 20:03:12 maybe, I don't know at what level this kind of thing would happen 20:03:14 slightly 20:03:29 Deewiant, the font engine I guess 20:03:38 which for gtk apps would be pango 20:03:44 for KDE I think it is in QT 20:03:47 as well as for firefox. 20:04:10 Deewiant, I do sometimes get boxes even here though 20:04:19 or was it cairo? well, whatever 20:04:32 um cairo draws images iirc 20:04:40 Description: A vector graphics library with cross-device output support 20:04:42 that's cairo 20:04:49 [I] x11-libs/pango 20:04:51 Description: Text rendering and layout library 20:08:32 -!- Corun has joined. 20:14:01 oklo is gone? did we have to remove him from the channel to put him in the topic? 20:15:15 olsner: yes 20:15:19 it was painful 20:15:24 he screamed for days 20:15:27 but it had to be done 20:15:52 well, I understand your reasoning, but isn't he less fun in the topic than in the channel? 20:16:09 you'd think, but just wait until he wakes up 20:16:19 the topic will be more fun than that time I wrote a bot that did rule 101 in the topic. 20:17:26 tusho, rule 101? 20:17:31 rule 101? is that one of the TC ones? 20:17:34 cellular automata, dude 20:17:37 olsner: yuppers 20:17:37 ah 20:17:44 i also wrote a bot that made the topic into a ticker 20:17:45 tusho: nicers 20:17:47 hello world 20:17:50 dhello worl 20:17:50 tusho, where are these rules classified? 20:17:52 ldhello wor 20:17:54 rldhello wo 20:17:56 orldhello w 20:17:58 etc 20:18:03 and a 'folder' 20:18:05 hello world 20:18:07 hello wordl 20:18:11 hello wodlr 20:18:13 hello wdlro 20:18:15 hello dlrow 20:18:18 hellodlrow 20:18:21 helldlrow o 20:18:24 heldlrow ol 20:18:27 hedlrow oll 20:18:29 hdlrow olle 20:18:31 dlrow olleh 20:18:36 repeat ad infinitum 20:18:51 tusho, where are the rules like rule 101 classified? 20:19:12 AnMaster: google 20:21:33 it's kind of like an 8-dimensional categorization of the possible cellular automaton rules 20:27:02 olsner: what do you mean? 20:28:08 lilja: nah, just obfuscating 20:28:38 hrrr 20:56:06 -!- pikhq has left (?). 20:56:36 -!- oklopol has joined. 20:58:00 i was thinking about something like, you have a global time, and call/cc, a continuation will carry the time stamp of whenever it was created, and the global time will tick each time something is called, and evaluation order is explicit 20:58:11 hi oklopol 20:58:23 now, you can have conditions on the timestamps 20:58:23 so 20:58:42 hi ais523 20:59:04 oklopol: having fun in the topic, are we? 20:59:27 so that you get like, say, five continuations in, and if the first is earlier than the second, then the third is called with the fifth, otherwise the forth is called with the fifth 20:59:55 also i thought it was the fourth wall 21:00:22 olsner: yes, very 21:00:51 now say you could output a continuation as its timestamp 21:00:52 lol 21:00:53 http://www.youtube.com/watch?v=8mwKq7_JlS8 21:00:57 12 year old explaining jQuery 21:01:04 must be Tusho :D 21:01:07 ? 21:01:11 augur: that link is so old he's probably died of age 21:01:12 oh 21:01:13 youre 12 and a total jQuery whore 21:01:13 I saw that ages ago 21:01:14 ha 21:01:42 i recall tusho calling me names for not having seen it about a year ago when he showed it to me 21:01:48 oh god this is so funny 21:01:54 oklopol: no i didn't 21:01:59 hes so adorable! 21:02:02 of course no name calling was actually present, and it was less than a year ago, but you get my point 21:02:05 tusho: indeed you didn't 21:02:05 augur: he's not a very good speaker is he 21:02:08 um, er, uhhhh 21:02:08 that's irrelevant 21:02:14 no hes not 21:02:17 i'd be worse 21:02:19 hes horrible 21:02:19 id be like 21:02:22 21:02:23 hi 21:02:24 er 21:02:25 can i go now 21:02:35 im not watching this, even if he explains lots 21:02:41 yeah, tusho's the master of adorable 21:03:00 he needs to relax 21:03:07 someone should've gotten high with him before he went on stage 21:03:30 it'd been more awesome if he was a star presenter ala presentation zen stuff 21:03:39 yeah it's not good if kids get high alone 21:03:48 they shuold always have their parents with them 21:03:51 *should 21:04:16 what's jquery? in 7 words 21:04:29 oklopol: javascript library 21:04:29 a really shitty javascript framework tusho loves. 21:04:34 does ajax and dom manipulation 21:04:39 and augur hates it because he can't get it working 21:04:42 i didn't actually watch that when tusho showed it, just memorized the beginning so i could tell people it's old! 21:04:46 its not me who cant get it working 21:04:50 and calls its writer an idiot because he can't personally get it working 21:04:58 uh 21:05:07 ive never even bothered to touch it 21:05:17 its the ressig's own examples that dont work 21:05:43 when the person who designed it cant make his shit work in Safari or Firefox, then I'm not going to give it much attention. 21:06:49 * tusho rolls eyes 21:06:52 he works for mozilla. 21:06:56 of course it works in firefox. 21:07:01 thats even worse 21:07:05 since ive seen it NOT work in FF. 21:07:25 i guess the thousands of people using jquery in ff and safari are just hallucinating huh 21:07:42 and because you, one person, can't get it working in either, it's obviously totally broken and shit in both and could not possibly be a problem at your end 21:07:45 i dont know, i cant speak for thousands of people that i'm not. 21:08:07 but i can only make judgements based on my experience. 21:08:07 Try other sites that use jquery? 21:08:23 im not saying nothing in jQuery works, mind you 21:08:44 but that its unnecessarily buggy. 21:08:50 i'm saying that "augur's computer is made out of sticks and rocks so its FF is different from everyone else's" 21:08:58 ais523, hm updated IFFI yet? 21:09:00 to work? 21:09:05 AnMaster: no, sorry 21:09:18 ais523, any other work in C-INTERCAL? 21:09:24 where is all the flamewar, people 21:09:25 no, I've been doing other things 21:09:28 ICFP, then sleeping 21:09:29 I still look forward to seeing a C/CLC-INTERCAL FFI 21:09:31 at some point 21:09:33 how old was tusho again, augur?' 21:09:35 :P 21:09:43 my memory's a bit fuzzy 21:09:47 25 and hot as fuck 21:09:53 lol wot 21:10:26 you know its true! 21:10:56 i think theres a t-shirt hell shirt that says 21:11:05 "I swear officer, I didn't know she was 13!" 21:11:42 *12 21:11:51 does the t-shirt say 12? 21:11:52 whatever 21:12:04 also, bash 21:12:07 augur: does the t-shirt say that tusho's female? 21:12:22 "Women try to act all mature, but then you stick your cock up their ass and they're like, 'I'm only 13!!!'" 21:12:22 also, zsh 21:12:37 zsh.org is not a site of funny quotes from irc. 21:12:44 nor is bash.org 21:12:46 oh snap 21:12:58 hah 21:13:01 ksh? 21:13:14 http://youtube.com/watch?v=TcxpbhM0DaA 21:13:44 i was recently in germany and i can confirm that all germans are exactly like that. 21:15:29 anyone look at my continuation idea? 21:15:49 oklopol: I did, it reminded me a bit of Feather and a bit of TwoDucks 21:15:53 augur, I don't get it... 21:16:09 anmaster: what? 21:16:14 http://youtube.com/watch?v=TcxpbhM0DaA 21:16:34 tusho: oh snap 21:16:52 ais523: well they're just continuations though, there can be no paradoxes or anything 21:17:03 augur, context? 21:17:15 oh snap 21:17:39 oklopol: yes, I know, but that sort of lang is good for implementing Feather in 21:17:59 augur, context of video 21:18:00 ... 21:18:05 oh. 21:18:15 its from a volkswagen commercial. 21:18:21 I see... 21:18:33 http://www.youtube.com/watch?v=cv157ZIInUk 21:18:48 -!- olsner has quit. 21:18:54 its not from that one 21:18:59 http://www.youtube.com/watch?v=j1vxfGBEMmM&feature=related 21:19:01 it's from that one 21:19:05 i know its not but thats not the point 21:19:23 http://www.youtube.com/watch?v=cv157ZIInUk <-- contains the "oh snap"? 21:19:55 however one comment is highly accurate "He sounds like a german forrest gump! LOL" 21:19:56 all you need is to see one video to understand it. 21:19:57 yes I agree 21:20:09 but I still don't get the point of that strange commercial 21:20:23 yes I can see why he says "oh snap" because the car broke 21:20:40 but I just don't get the point of that commercial 21:20:52 there is no point! 21:20:57 um 21:21:02 the point is to be completely bizarre and strange and thus memorable 21:21:07 blergh 21:21:14 I hardly ever watch TV 21:21:26 neither do i but i remember these from a few years back 21:21:33 I do read newspapers which has some ads but are normally logical ones 21:21:41 I use adblock when browsing 21:21:44 they were quite humorous back when they came out because they were hilarious 21:22:02 augur, well are commercials still as absurd? 21:22:16 dunno, i dont watch tv anymore. 21:22:23 podcasts have replaced by TV watching habits 21:22:26 save BSG 21:22:35 which is now off the air for a fucking year those cunt motherfuckers 21:22:43 I remember seeing an *OLD* commercial 21:22:51 from the 1950s 21:22:55 some time back then 21:23:02 for a VW 21:23:24 something about a cowboy driving in a VW instead of using a horse 21:23:33 I wish I could find it again it was fun 21:24:38 http://youtube.com/watch?v=tRghMpfZXig 21:24:41 this one? 21:25:25 * AnMaster checks 21:26:08 yes but the narrator spoke in English 21:26:20 yeah well thats nowhere near as funny then. 21:26:23 :P 21:26:35 eh? 21:26:44 I don't understand german 21:26:54 anyway it was a Texas accent I remember that 21:28:00 its humorous to have a german dude hawking a VW by saying that cowboys rustle cattle with them 21:28:33 as if thats going to make any sense to an german urbanite in the 70s 21:29:46 -!- Hiato has quit ("Leaving."). 21:36:15 -!- Sgeo has changed nick to RightBack. 21:36:37 -!- RightBack has changed nick to Sgeo. 21:44:11 ais523, I didn't know you had a page on wikipedia before 21:44:18 http://en.wikipedia.org/wiki/Alex_Smith_%28The_Simplest_Universal_Computer_Proof_contest_winner%29 21:44:20 just found it 21:44:24 yes, I know of that page 21:50:15 ais, is that really you? 21:50:19 yes 21:50:24 http://www.wolframscience.com/prizes/tm23/alex_smith_bio.html << oh. 21:50:30 I thought everyone here knew that by now 21:50:32 i was gonna rape you but you're not my type 21:50:36 also: neckbeard. :( 21:50:48 nah, just a bad photo 21:51:20 still, not my type. :P 21:51:42 back 21:51:43 so, how DID you proove 2,3 was universal? 21:51:52 augur: my proof is online, if you want to read i 21:51:54 not mathematically but conceptually 21:51:54 s/$/t/ 21:52:10 augur: by describing a compiler from cyclic tag systems into it 21:52:11 augur: scared of math? 21:52:27 it caused a bit of controversy, because the resulting programs were infinitely long, but they're pretty simply structured 21:52:44 i dont know enough of the math to grasp the proof. ive never found anything that can explain it in any reasonable way. 21:52:47 infinitely long programs? lol 21:52:59 augur: well, you can't give a finitely long tape to a Turing Machine, it would barf 21:53:00 jeez, even I grasped the proof a little 21:53:05 and I sux at mafs 21:53:07 so you code 2,3 with Java? 21:53:13 I don't think there's anything particularly difficult in the proof 21:53:15 it's just long 21:53:20 augur: no, no Java there at all 21:53:21 lol! he made a joke about java! 21:53:23 i grasped the 4 pages i read completely :) 21:53:27 they're just as fresh as jokes about MS 21:53:28 I wrote some example Perl programs 21:53:30 tusho, i havent even looked at the proof yet so i 21:53:31 ais523: he meant: infinitely long programs 21:53:36 tusho: oh 21:53:38 he was making an incredibly witty comment about the verbosity of java 21:53:39 oh ho ho 21:53:40 dont even know what it will be like. :P 21:53:48 then they made me translate them into Mathematica, and the resulting programs were a lot slower 21:53:52 also harder to read 21:54:15 tusho dont be so confrontational 21:54:18 ::rapes tusho:: 21:54:26 raping is pretty confrontational 21:54:27 I find 21:54:35 not that, you know, I have any prior experience. 21:54:37 quiet you! ::rapes your mouth:: 21:54:53 you and your silly games 21:55:12 dont worry, oklopol, you know i only love you. 21:55:28 :) 21:56:10 tusho's just a receptacle of imaginary interblog cum 21:56:24 :\ 21:56:26 it's vaguely creepy when you word it like that. 21:56:26 :| 21:56:33 actually it's vaguely creepy anyway but,. 21:56:42 its absolutely hilarious, dont deny it 21:59:20 perhaps i should read the proof someday 22:01:14 olp 22:06:25 o 22:06:30 oko 22:06:56 okoko 22:07:01 okokoko 22:07:26 o 22:07:26 o 22:07:46 -!- atsampson has quit (Read error: 101 (Network is unreachable)). 22:08:10 http://www.ubergizmo.com/photos/2007/2/username-panties.jpg 22:08:18 the first thing i thought of after seeing that was oklopol. x.x 22:09:28 Username: [ oklopol ] 22:09:30 Password: [ augur ] 22:09:36 :D 22:14:22 <3 22:17:38 -!- atsampson has joined. 22:17:58 i'd so buy them for you oklopol 22:18:14 but then i feel i'd seem like some weird old chickenhawk 22:18:32 so i think i'll have to deliver them to you in person to reassure that i am not, infact, a chicken hawk. 22:18:50 -!- augur has set topic: augur <3 oklopol. 22:18:53 :P 22:19:44 -!- tusho has set topic: augur <3 violating freenode topic policy. 22:20:06 you know it baby 22:20:20 what policy? 22:20:27 AnMaster: logs must be linked 22:20:33 in the topic 22:20:35 -!- tusho has set topic: http://tunes.org/~nef/logs/esoteric. 22:20:41 what if there is no logs for a channel? 22:20:45 AnMaster: that's fine 22:20:46 hubhubhuub 22:20:50 most channels aren't logged 22:20:54 -!- augur has set topic: augur <3 oklopol. also, logs: http://tunes.org/~nef/logs/esoteric. 22:20:56 -!- tusho has set topic: http:tunes.org/~nef/logs/esoteric. 22:20:56 but if there are logs, you have to let people know they exist 22:20:57 GOLF 22:21:02 -!- augur has set topic: augur <3 oklopol. also, logs: http://tunes.org/~nef/logs/esoteric. 22:21:05 -!- tusho has set topic: http:tunes.org/~nef/logs/esoteric. 22:21:05 >| 22:21:08 i hate you :( 22:21:14 -!- AnMaster has set topic: logs at http:tunes.org/~nef/logs/esoteric. 22:21:16 <3 22:21:18 -!- tusho has set topic: http:tunes.org/~nef/logs/esoteric. 22:21:19 but that link doesnt work :D 22:21:20 Where's the // 22:21:28 -!- AnMaster has set topic: http://tunes.org/~nef/logs/esoteric. 22:21:31 Sgeo: tuso's golfing the topic 22:21:36 s/tuso/tusho/ 22:21:41 ais523, also that would be per-channel policy, not network wide... 22:21:41 it works without ?/ 22:21:42 *// 22:21:45 AnMaster: no 22:21:47 it's network wide 22:21:49 check freenode's tos 22:22:00 if you have public logs you must link them otherwise it is a violation of privacy 22:22:00 $ w3m http:tunes.org/~nef/logs/esoteric 22:22:00 w3m: Can't load http:tunes.org/~nef/logs/esoteric. 22:22:03 it works without ?/ 22:22:06 LIAR 22:22:08 whatevs 22:22:08 -!- ais523 has set topic: http://tinyurl.com/6bts8x. 22:22:13 tinyurl? 22:22:14 Pfft. 22:22:15 More lik 22:22:15 lynx says: 22:22:15 e 22:22:17 HUGE URL 22:22:17 Alert!: Unsupported URL scheme! 22:22:25 tusho: I was golfing it 22:22:35 http://hugeurl.com/ 22:22:36 besides hugeurls don't fit in IRC, generally speaking 22:22:41 we need a largebutnothugeurl.com 22:22:47 -!- tusho has set topic: http://vjn.cc/e. 22:22:53 thx to oklopol's url service 22:22:59 does not work. 22:23:10 shit 22:23:14 http.com ? 22:23:22 -!- tusho has set topic: vjn.cc/x. 22:23:23 INTERNET.COM 22:23:31 * Sgeo likes alnk.org 22:23:34 ITS HOW YOU GET ONTO THE INTERNET 22:24:51 The following URL: 22:24:51 http://hugeurl.com/ 22:24:51 has a length of 19 characters and resulted in the following TinyURL which has a length of 23 characters: 22:24:51 http://tinyurl.com/z0cx 22:24:53 how ironic 22:24:57 it is longer... 22:25:05 Eww vjn.cc uses 302 22:25:20 IMO, URL redirection services should use the permanent one 22:25:24 EWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWWW1!1q212683782346823462934612936213872e12ye8734y458ty5487ty54t87 22:25:53 -!- ais523 has set topic: Logs: http://tinyurl.com/6d9eog. 22:25:56 try previewing that 22:26:10 tinyurl should have something in its script that will only return a new url if its actually shorter. 22:26:19 ah, pity 22:26:21 it doesn't work directly 22:26:29 augur, lie 22:26:30 I went and redirected TinyURL to itself multiple times 22:26:32 augur, see above 22:26:46 ais523: that's LONGER 22:26:49 -!- tusho has set topic: http://vjn.cc/x. 22:26:50 anmaster: what? 22:26:53 how is that a lie? 22:26:56 it was a SUGGESTION 22:27:06 suggestions cant be lies as they contain no claims to truth 22:27:11 tusho: yes, I know it is 22:27:16 who owns vjn.cc, btw? 22:27:24 #vjn, it's some channel oklopol is in 22:27:29 ah 22:27:30 volimo or something I think the owner is called? 22:27:35 vjn.fi is their main site 22:27:37 alnk.org has something like that 22:27:44 ais523, 22:27:46 "Custom alias (optional):" 22:27:48 yay 22:27:56 The following URL: 22:27:56 http://tinyurl.com/recursive 22:27:56 has a length of 28 characters and resulted in the following TinyURL which has a length of 28 characters: 22:27:56 http://tinyurl.com/recursive 22:27:56 [Open in new window] 22:28:16 -!- atsampson has quit (Read error: 104 (Connection reset by peer)). 22:28:21 AnMaster: classic 22:28:23 try clicking on that link 22:28:25 Well, not quite.. http://alnk.org/1gingerpuppy 22:28:28 yes doesn't work 22:28:29 I know 22:28:31 -!- atsampson has joined. 22:28:34 is it supposed to do something special? :( 22:28:58 ais523, the link that the error page provides is broken 22:29:13 -!- Slereah__ has joined. 22:29:17 http://www.urlfan.com/local/slereah_23_machine/73267573.html 22:29:19 xrl.us is probably the shortest one 22:29:21 What the hell is this? :o 22:29:32 Sgeo: yes, I know 22:29:57 looks like ais's proof of 2,3 22:30:01 Slereah__: I don't get that at all 22:30:03 Nah. 22:30:08 AnMaster: vjn.cc/one-letter 22:30:09 vs 22:30:11 xrl.us/sdfsdf 22:30:13 It's a thing I put on pastebin 22:30:17 And it somehow ended here 22:30:24 What is this website? 22:30:26 Slereah__: Someone linked to it. 22:30:30 And that website saw the link. 22:30:31 oh, wait 22:30:34 So it noted that it had been linked. 22:30:34 that IS 2,3 22:30:37 hahahahahahahahaha 22:30:44 oh man 22:30:46 (Someone = the pastebin's main page) 22:30:49 thats funny 22:30:50 tusho, www.vjn.cc/c 22:31:00 What, does it gater every damn link in the universe? 22:31:03 AnMaster: don't use them all ;) 22:31:06 www.vjn.cc/n 22:31:07 :) 22:31:07 Slereah__: no, it spiders sites lookin' for links 22:31:11 by blahhhgers 22:31:24 Bleh, I searched myself, only 1 hit 22:31:26 How peculiar 22:31:26 i have nothing to blog about :( 22:31:37 but ive started taking photos like CRAZY! :O 22:31:44 http://vjn.cc/z *PARENTAL GUIDANCE* 22:31:50 have i shown? 22:31:55 wtf. 22:31:57 goatse is down. 22:32:03 But... How did it end here? 22:32:11 I only posted the link here, I think 22:32:13 Slereah__: their spider found it. 22:32:15 goatse.ca? 22:32:15 tusho: is that a scam to get people to look at goatse? 22:32:16 lame. 22:32:17 and the pastebin main page 22:32:19 will have found it 22:32:20 ais523: maybe :) 22:32:46 Meh. 22:32:51 Goatse is so pass. 22:33:22 Quite. 22:33:39 yeah. 22:33:48 i jerked off to that shit when i was tushos age! 22:34:15 What, 52? 22:34:35 :O 22:34:38 tusho you lied to me! 22:34:38 T_T 22:34:46 Here's a tip : if he invites you for candies 22:34:47 i thought you were 51! 22:34:49 Refuse. 22:35:02 unless they're tasty rohypnol candies. i love those. 22:35:02 I think he is around 22-30 22:35:04 in age 22:35:19 We should cut him in half 22:35:27 And count the rings. 22:35:48 AnMaster: you're logical, right? what evidence do you have for believing i'm not 12? 22:36:06 tusho, the way you act 22:36:19 you act too much grown up to be that youn 22:36:19 elaborate? 22:36:30 yet you act too young to be over 30 22:36:45 tusho, this is just a subjective feeling of course 22:36:49 nothing I can prove 22:36:59 I can prove it. 22:37:01 if i acted too grown up why the heck would I pretend to be 12 22:37:13 that's not a very grown up thing to do unless I was a paedophile 22:37:15 tusho, well why the heck are we all in this irc channel? 22:37:18 Because I am tusho's father. 22:37:24 I did his mom. 22:37:41 Slereah__, blergh you should have gone on some star wars line 22:37:41 #esoteric isn't the best channel for pedos 22:37:42 not that 22:37:48 Try #naruto 22:37:51 .. 22:37:55 anmaster: lol. 22:37:55 that wasn't what I meant 22:38:01 we all do strange things here 22:38:05 code esolangs for example 22:38:14 I haven't done anything in a while 22:38:16 so pretending you are 12 when you aren't, not that strange 22:38:20 I'm back to warhammer right now :o 22:38:24 anmaster thinks tusho acts grown up, and rodger and i think he acts childish. 22:38:47 i think anmaster is 2 years old. 22:38:48 augur, he does act childish in some ways yes 22:38:52 augur, what?! 22:39:03 stop insulting me :( 22:39:04 well if a 12 year old is a grown up to you 22:39:11 you must be REALLY young 22:39:15 augur, no but I don't think he is 12 22:39:18 in reality 22:39:21 I think he is lying 22:39:24 you have no sense of humor 22:39:29 augur, anyway I'm 18 22:39:37 AnMaster: would you like proof. 22:39:37 augur, correct. I'm from Sweden 22:39:40 omg i got a plushy bear when was in riquewir :o 22:39:42 what did you expect? 22:39:50 sweden huh 22:39:51 are you a hot swedish boy? 22:39:52 most people here act older than they actually are, I think 22:39:57 oh tusho, i want proof! :o 22:40:04 it would prove one of two things: either i'm a chipmunk, i'm 12, or there's another 12 year old/chipmunk who has said 'octothorpe esoteric' 22:40:06 Guys 22:40:13 augur, I'm a slightly fat (trying to exercise) Swedish 18 years old male 22:40:14 How long has tusho been 12? 22:40:21 tusho, your social security number + stuff I can verify it? 22:40:22 since august 22, 2007 22:40:26 AnMaster: lawl. 22:40:26 probably for under a year 22:40:30 there see? i was right 22:40:35 tusho, what? 22:40:56 tusho, send me a scan of your ID documents 22:40:59 both front and back 22:41:00 very funny 22:41:08 augur: what should i say 22:41:08 for the $10000000 22:41:14 I think I started chatting when I was 12 22:41:20 what? 22:41:21 to be able to transfer to your bank account 22:41:22 ;P 22:41:24 tusho, :Å 22:41:27 ;P* 22:41:33 what should you say?? 22:41:40 anmaster: give me your pic. 22:41:43 I started internet 8 years ago :o 22:41:50 augur, I don't have any on the computer 22:41:54 Man was I retarded 22:41:57 take some, bitch 22:42:04 ive been on the net since like.. 22:42:09 1996 maybe? 22:42:10 augur, nor will I put it up on internet 22:42:11 I used things like "ne1" 22:42:20 1998 or so for me 22:42:32 tusho dont lie 22:42:38 200n where n i a number I don't remember 22:42:38 you would've been 2 years old 22:42:42 I had modem before 22:42:48 so I used it a little 22:42:50 not much 22:42:52 augur: ... 22:42:53 4 22:42:59 uh 22:42:59 1995, 1996, 1997, 1998 22:43:03 I definitely chose "Sgeo" 2001 or earlier 22:43:05 er 22:43:06 well 22:43:08 3.5 kind of thing 22:43:14 but it definitely was 1998-early1999 22:43:26 well ok, obviously it depends on the part of the year you were born 22:43:40 well as I'm 18, our family had internet since 1665 or 1996 22:43:42 err 22:43:45 1995* 22:43:45 i was just doing 12-(2008-1998) 22:43:47 augur: so for my audial proof, what should I say 22:43:49 or 1996* 22:43:56 who said anything about audio proof? 22:43:57 1665 22:43:57 XD 22:44:03 1665!!! 22:44:03 augur: i am recording a sample of my voice as proof of my age. 22:44:06 typo that I corrected 22:44:07 duh 22:44:09 ....................... 22:44:12 anyway 22:44:15 oh. i was hoping for video. 22:44:16 Can't voice be manipulated? 22:44:28 augur: but i look crap. 22:44:29 I had internet myself since 2002 or 2003 iirc 22:44:31 Sgeo: yes, but not particularly effectively 22:44:33 http://www.youtube.com/watch?v=f5AJYqQFYTw 22:44:34 2004 maybe 22:45:01 <3galipoka 22:45:03 i don't think older people act any different than younger ones. 22:45:05 i wanna be galipoka :O 22:45:19 augur: hokay - 22:45:20 galipoka? 22:45:32 ^ link ^ 22:45:38 * tusho uploads 22:45:43 the kids hilarious. 22:45:48 tusho: did you fail the upload of the logs, or did vjn.cc fail? 22:46:01 hes like 8 years old or something and hes pretty funny 22:46:16 i think volimo just hacked that together without testing it, it may suck 22:46:27 http://filebin.ca/kdyagq/wtf.mp3 22:46:33 also in case people use up all the god ones, i may steal them back :P 22:46:41 http://filebin.ca/kdyagq/wtf.mp3 <-- official voice proof 22:46:51 regular voice version followed by chipmunk version (not modified) 22:47:15 tusho: do a galipoka style video. 22:47:19 augur: no. 22:47:24 aw cmon, it'd be funny! 22:47:24 XD 22:47:31 if the second part of the mp3 doesn't convince you nothing will 22:47:33 :p 22:48:06 augur: listened to it? 22:48:16 AnMaster: and you. 22:48:18 i so dont believe it 22:48:22 http://www.youtube.com/watch?v=f5AJYqQFYTw <-- I watched half a minute, well quite well done, but I hate that music style 22:48:23 augur: believe what 22:48:24 whatever it is 22:48:24 its too high pitched 22:48:32 and, uh, well 22:48:33 i'm 12 22:48:34 what can I say :p 22:48:45 yes but it doesnt sound like a twelve year olds voice. 22:48:54 what does it sound like then 22:49:04 like you pitch shifted it. 22:49:08 i didn't :| 22:49:11 yes it does 22:49:16 although I agree it sounds like it 22:49:18 but i didn't 22:49:29 if you didnt then you're hilarious 22:50:06 look I think tusho is way older 22:50:15 he even admitted at one point iirc 22:50:15 AnMaster: what would prove it. 22:50:16 ignoring that you sound like a horribly stereotypical proper english kid 22:50:21 a few days agoi 22:50:23 ago* 22:50:27 what 22:50:28 no i didn't 22:50:38 gasp! 22:50:39 that "he like everyone else had substracted 10 years from his age" 22:50:40 ... 22:50:41 tusho you've lied to me! 22:50:47 hah 22:50:48 not that I have 22:50:50 I am 18 22:50:53 augur: AnMaster: http://filebin.ca/upgdhg/wtfb.mp3 22:50:53 well, Wikipedia says I'm 21 22:50:57 note the quite isn't correct 22:51:01 that one fades in pitches 22:51:05 so you know it's not altered 22:51:22 fades in pitch? whats that in real audio speak 22:51:29 augur: i start off low and go high smoothly. 22:51:32 :P 22:51:37 that means nothing lol 22:51:48 pitch shifting can is unaffected by that 22:51:51 that can be edited 22:51:55 yes, but it goes low at the start 22:51:58 well 22:51:59 relatively low 22:52:00 yes and? 22:52:11 i'm not an EXPERT AUDIO MODIFICATIONER, that's what 22:52:12 :p 22:52:12 the beginning is clearly a child taklign 22:52:15 *talking 22:52:16 so you say 22:52:24 regarding the tusho clip 22:52:25 oklopol, well no 22:52:41 tusho, so what do you work with? 22:52:51 ok seriously 22:52:51 AnMaster: ? 22:52:53 is it just me 22:53:03 or is tusho's most recent voice sample absolutely hilarious 22:53:12 i like the 'five' at the end 22:53:13 augur, I think it is unfunny 22:53:21 AnMaster: why 22:53:31 anmaster has no sense of humor 22:53:35 because he fail so much at audio editing 22:53:36 we've already established this 22:53:45 augur, I do like some humours books 22:53:52 i have not edited it once, AnMaster 22:53:54 jesus 22:53:54 :p 22:53:57 like the Discworld novels 22:53:59 oh 22:54:00 i swear. 22:54:04 and I do like monty python 22:54:11 tusho, is this your little brother then? 22:54:17 no, it's me 22:54:18 tusho, look you *act* all grown up 22:54:20 jesus fuck. 22:54:36 you admitted to having used internet in 1998-1999 22:54:38 here, i'll say "fuck you AnMaster", do you think my little brother would say that? :p 22:54:39 well wtf 22:55:11 look there is no way I will believe you are anything below 16-17 22:55:17 AnMaster: what about photo evidence. 22:55:23 would that be my little brother too? 22:55:25 i'll take video evidence. 22:55:27 tusho, could be someone else 22:55:31 but photo evidence is fine. 22:55:32 a random pic from the net 22:55:36 or a random video 22:55:37 AnMaster: what if I held up a sign saying #esoteric 22:55:42 i could put it on 4chan. 22:55:46 yes, i think it's the funniest thing i've ever heard 22:55:48 augur: nothx. 22:55:52 hmph 22:55:54 XD 22:55:56 tusho, photoshop or gimp? 22:55:59 i wouldnt anyway. i cant stand 4chan 22:56:03 i gotta stop takling without being @ the bottom of the backlog 22:56:11 AnMaster: you seem to think I'm an awesome image and audio manipulator 22:56:13 :p 22:56:16 but I'll hand-write it 22:56:26 even so 22:56:30 take a pic of that 22:56:32 merge 22:56:41 *I* could do it with a few minutes work 22:56:44 what evidence can I give you, AnMaster 22:56:47 what would be conclusive :P 22:56:57 tusho, nothing except meeting you in person 22:57:01 or real time talking 22:57:06 real time talking 22:57:06 over voip with pic 22:57:06 I can do that 22:57:09 got skype? 22:57:15 open source software only 22:57:20 i figured that :) 22:57:24 cmon tusho, pics 22:57:25 link me one that isn't gtk 22:57:26 tusho, got fgcom? 22:57:27 and that has os x binaries 22:57:31 and i'll do it 22:57:33 tusho, got fgcom? 22:57:35 yeah pics 22:57:37 what is fgcom 22:57:48 nude pics so we see yours haven't descented yet 22:57:52 tusho, 22:57:53 http://squonk.abacab.org/dokuwiki/fgcom 22:57:59 yes, definitely nudes. 22:58:04 i'll decline. 22:58:10 darn, so close 22:58:12 XD 22:58:27 AnMaster: i don't want to download a flight simulator 22:58:28 now *i* could easily be 12. 22:58:31 thankyouverymuch 22:58:33 ah, how about ninjam 22:58:39 tusho, that's the only voip I got installed, but sure point me to some other 22:58:42 oklopol, you'd be too sexy for a 12 year old 22:58:44 ninjam is open source 22:58:45 will need to set it up though 22:58:46 ninjam.com/download.php 22:58:59 asterix? 22:59:05 hah 22:59:05 i have skype, do i need to skype with you tusho? 22:59:12 augur: that wouldn't prove it to _anmaster_ 22:59:13 err 22:59:14 but you could record it 22:59:18 ill record it yes 22:59:21 asteriks 22:59:26 err 22:59:28 asterisk 22:59:31 that is the spelling 22:59:46 augur: k, in a min 22:59:47 asterix was a comic from france 22:59:47 tusho, and yes doing it with augur would work 22:59:59 augur, yes and asterisk is a open source voip system 23:00:06 i'll only do it with oklopol. 23:00:06 asterisk is bloated 23:00:09 and stuff. 23:00:10 but i'll skype with tusho. 23:00:17 tusho: psygnisfive 23:00:20 tusho, well fgcom use asterisk 23:00:30 do what with me? 23:00:32 ofcourse, if you and anmaster had ichat we could just use that to get a 3 way going 23:00:35 augur, you need video conference 23:00:39 IT oklopol 23:00:39 ID 23:00:41 i have ichat, but you know. 23:00:44 otherwise you could use a filter 23:00:45 IT even 23:00:45 it's CLOSED SOURCE!!2871628112 23:00:47 (besides that it's os x only) 23:00:56 AnMaster: I am not doing a video conference 23:00:58 augur, does it exist for 64-bit linux? 23:00:59 anmaster is lame for now using os x 23:01:00 you are totally paranoid 23:01:09 not* 23:01:14 ahah 23:01:17 so that is it 23:01:22 you will use a voice filter 23:01:23 good try 23:01:24 anmaster: dunno. you could install GNUStep and maybe it'll work 23:01:26 -!- RedDak has joined. 23:01:30 AnMaster: wtf. 23:01:38 augur, different ABI of course 23:01:38 does anyone else think AnMaster is mentally insane. 23:01:42 :D 23:01:43 ABI? 23:01:48 i think AnMaster is mentally hilarious 23:01:50 oklopol, get skype :O 23:01:56 augur, Application Binary Interface 23:02:06 i wanna hear sexy finnish 23:02:19 :D 23:02:25 lol 23:02:34 perhaps some day 23:02:45 make some day today 23:02:51 oklopol, yxi kaxi kolmi (free style spelling league) 23:02:57 I guess I'm totally wrong about spelling 23:03:15 cmon tusho 23:03:20 yes 23:03:21 in a second 23:03:22 jeez 23:03:22 yksi kaksi kolme 23:03:27 while you get your little brother? 23:03:37 a womb 23:03:37 :p 23:03:44 i suggest you ask him something about monads 23:03:51 oklopol, interesting 23:03:52 BUT I DONT KNOW ANYTHING ABOUT THEM MYSELF 23:03:55 HOW WILL I UNDERSTAND 23:04:11 well hrrm 23:04:32 augur: everyone knows enough to test whether the other one knows 23:04:40 i dont :( 23:04:40 augur, what about lambda calculus? 23:04:47 oh yes i know about that :D 23:04:55 well I don't much 23:04:59 i know what ill do! :o 23:05:07 i cant say it here tho, he might coach his little brother 23:05:12 indeed 23:05:12 but i know just the thing! :D 23:05:22 back 23:05:25 AnMaster: you don't know lc? 23:05:37 oh man itll be brilliant having a 12 year old comment on this. 23:05:38 haha 23:05:43 quite. 23:05:44 so 23:05:45 anmasters lying 23:05:48 i'll add you on skype augur 23:05:48 everyone knows LC 23:06:04 oklopol, not much 23:06:13 anmaster, its simple 23:06:24 ok augur 23:06:25 -!- Corun has quit ("This computer has gone to sleep"). 23:06:26 what is your skype name 23:06:26 AnMaster: you should, it's the most important thing in the world 23:06:26 also 23:06:27 lambda . 23:06:28 set up a recorder 23:06:29 thats all there is 23:06:30 psygnisfive 23:06:32 tusho: psygnisfive? 23:06:34 im doing the recorder now 23:06:39 ok 23:06:42 augur: ready? 23:06:49 no wait 23:06:57 ask me something about monads or something 23:07:31 oh dont worry 23:07:33 i know what to ask ;D 23:07:54 um 23:07:55 :| 23:07:58 ready? 23:08:09 no child wait 23:08:10 jesus 23:08:50 call refused 23:08:51 :-| 23:09:46 o 23:11:54 ok. recording imminent 23:13:25 AnMaster: will you accept this as evidence 23:13:56 tusho, video? 23:14:00 no video 23:14:05 why not? 23:14:06 i don't want to do a video chat. 23:14:06 he refuses video 23:14:09 :| 23:14:11 until later 23:14:17 first date, etc. 23:14:18 oh snap 23:14:20 then we're gonna have cyber video sex 23:14:29 hahha 23:15:25 anyway I can see several flaws: 23:15:26 perhaps i should leave esoteric and return with another nick, and tell everyone i was 7. 23:15:33 1) tusho said he used internet back in 1998 23:15:37 and?! 23:15:41 he would have been 4 years then 23:15:44 yes 23:15:48 I got my first computer at 3 23:15:51 as a christmas present.. 23:16:00 and you programmer on it? 23:16:04 you could do that back then? 23:16:08 no 23:16:14 i learned to program like early 2004 23:16:25 tusho, and you where how old then? 23:16:30 also what is your IQ? 23:16:32 because... 23:16:40 i dunno my iq 23:16:46 did that work 23:17:00 2) You seem to have a larger "knowledge base" than an average or even unusual 12 year old would have 23:17:02 tusho started the same age as i then 23:17:13 oklopol, good one 23:17:19 because I think ehird was older 23:17:20 except we had a comp when i was born 23:17:36 i was like 7 when i started programming 23:17:53 oklopol, so ehird claimed he was older? 23:17:57 did he? 23:18:06 tusho: i learned to program like early 2004 23:18:16 oklopol: whatevs 23:18:23 well due to these flaws I will not fully accept until I see a video conference 23:18:25 doesn't that make it like 7 23:18:55 I will "slightly accept" it after the audio stuff 23:18:56 hahaha 23:19:05 hahahaha 23:19:05 augur refuses to talk about monads 23:19:06 >:| 23:19:17 he doesn't know shit! 23:19:19 bust him 23:19:21 bust him bad 23:19:23 so ignoring that tusho sounds like hes on helium 23:19:24 augur, what about that lc then? 23:19:34 augur: here, shall I quote the y combinator 23:19:36 oh its over, i think youll be convinced enough 23:19:47 so ignoring that tusho sounds like hes on helium 23:19:52 you mean: voice filter 23:19:53 ? 23:20:02 :D 23:20:03 augur: i am going to call you 23:20:08 and quote the two basic monad function's types 23:20:10 BE PREPARED 23:20:25 what funcs? 23:20:33 bind and return 23:20:37 ah right 23:20:38 wtf 23:20:40 it's still ringing 23:20:43 but it's connected 23:20:47 i can hear you fine 23:20:53 LET'S TRY THAT AGAIN 23:21:09 -!- Corun has joined. 23:21:17 tada 23:21:18 :D 23:21:19 ais523, there? 23:21:21 lol. 23:21:27 yes 23:21:29 ais523, what was the name of the intercal compiler? 23:21:29 oh this was brilliant 23:21:37 C-INTERCAL, or ick 23:21:42 ick is the filename 23:21:42 err 23:21:44 augur: post the monad types! 23:21:44 ais523, I mean 23:21:46 debugger 23:21:47 i wanna hear the monad types 23:21:49 sorry for typo 23:21:50 yuk 23:21:50 ais523, ^ 23:21:54 but you invoke it as ick -y 23:21:59 oh ok 23:22:02 that explains 23:22:05 why I couldn't find it 23:22:17 the debugger's stored as a .a file 23:22:21 and compiled into your program 23:22:27 augur: filebin.ca 23:22:30 for uploading the NOMADZ 23:22:51 ais523, I see but bleh 23:22:57 aw it didnt capture my voice so noone has context 23:23:03 looks like we'll have to do this again 23:23:03 augur: duh 23:23:04 it has two sources 23:23:07 pick Skype on one 23:23:07 ais523, which reminds me, I had an idea of cfunge debugger over sockets 23:23:09 QUIET YOU 23:23:09 and Microphone on the other 23:23:12 either unix sockets or tcp ones 23:23:16 incidentally, why don't people use ar rather than tar for packaging files? 23:23:19 it was invented for the purpose 23:23:40 augur: SHUT UP ABOUT SCHEME 23:23:43 <_______________________________________< 23:23:43 hahaha 23:23:57 SCHEME MAKES ME KILL MYSELF 23:23:58 -!- RedDak has quit (Read error: 104 (Connection reset by peer)). 23:24:00 DO YOU WANT ME TO KILL MYSELF 23:24:02 ;__________________________________________________; 23:24:12 :DDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDDD 23:24:12 -!- GreaseMonkey has joined. 23:24:18 hi greasie :PDD 23:24:18 oklopol: GET SKYPE 23:24:21 you need to be there for this 23:24:28 lilja has scype 23:24:32 *skype 23:24:33 oh my god XD 23:24:36 i said oklopol 23:24:37 not lilja 23:24:44 anmaster im so sorry this was useless XD 23:24:46 but i don't wanna dl :< 23:24:50 augur: fine. 23:24:54 i'll quote the nomad types again. 23:24:55 i asked him about scheme and he muttered "oh god" 23:25:09 I FEEL COMFORTABLE WITH NOMADS. MONADS. 23:25:20 well 23:25:23 i asked him about web 2.0 and he muttered it again 23:25:24 he can't do scheme? 23:25:27 that's not 23:25:32 oh well 23:25:41 there we go 23:25:44 monamonads. 23:25:48 oh god that was hilarious 23:25:51 tusho isn't that clever, he just reads wikipedia fast 23:25:55 haha 23:25:56 oklopol, haha 23:26:10 ok 23:26:13 video chat 23:26:17 no 23:26:19 augur: upload the file 23:26:21 is the only thing that will convince me 23:26:22 of that monomads 23:26:27 HAHAHA 23:26:29 monomads? 23:26:29 it should be sufficiently convincing 23:26:31 wtf is that 23:26:33 AnMaster: nomads/monads 23:26:38 even if it's not convincing it's funny 23:26:40 nomads? 23:26:42 monads I heard 23:26:48 though I don't know what it is 23:26:51 AnMaster: NOMADS!!!!!!!111 23:26:52 or 23:26:54 rather I do 23:26:58 but I don't understand monads 23:27:00 augur: I am eagerly awaiting the mp3. 23:27:01 ;_; 23:27:08 im trying to figure out how to save it lol 23:27:12 augur, I'm awaiting the ogg 23:27:18 hahaha 23:27:20 as mp3 is a semi-closed format 23:27:25 nomads are quite a lot easier to understand than monads 23:27:29 AnMaster: ... thus proof that I am older than 12! 23:27:39 oklopol: I disagree 23:27:50 "Nomadic people, also known as nomads, are communities of people that move from one place to another, rather than settling down in one location. There are an estimated" 23:27:50 hmm, well i can't say i know much about nomads. 23:27:51 yes... 23:27:52 augur: anyway 23:27:54 you select it 23:27:55 in the library 23:27:57 then choose export to disk 23:27:57 but that is unrelated 23:28:00 voila 23:28:03 oh theres a library 23:28:04 yeah, that was what i knew 23:28:12 if that is all, i'd say that is simpler than monads 23:28:14 ! 23:28:36 oklopol, help: # For Haskell Nomads, see Monad (functional programming). 23:28:38 click that 23:28:42 nothing about nomads 23:28:46 only about monads 23:28:51 or are they the same? 23:28:54 HEY AUGUR 23:28:56 I'M WAITING 23:29:09 AnMaster: if you think i'm wrong about functional programming, just assume you misunderstood my joke :P 23:29:16 you C bitch! 23:29:30 oklopol, I think that *I* know next to nothing about functional programming 23:29:32 I admit that 23:29:36 ok uploading 23:29:41 yay 23:29:48 oklopol, I do know enough to hack a bit of elisp 23:29:57 -!- ais523 has quit ("(1) DO COME FROM ".2~.2"~#1 WHILE :1 <- "'?.1$.2'~'"':1/.1$.2'~#0"$#65535'"$"'"'&.1$.2'~'#0$#65535'"$#0'~#32767$#1""). 23:29:59 AnMaster: here comes yer EVIDENZE 23:30:09 wellnowwhat.net/transfers/Tusho%20on%20Monads.mp3 23:30:24 that could have been rehearsed 23:30:33 what about the lambda calculus bit? 23:30:33 AnMaster: oh just listen to it 23:31:09 AnMaster: listened to it? 23:31:14 and I guess you still think it's a voice filter huh 23:31:21 it sounds too much like one, tusho :P 23:31:27 oh thanks 23:31:31 doesn't convince as it doesn't check knowledge 23:31:31 I love your assesment of my voice 23:31:39 you decide exact topic 23:31:47 fine 23:31:53 i tell you what AnMaster 23:31:55 i'll call augur 23:31:55 tusho, however... "EVIDENZE" 23:31:57 you say a subject 23:31:59 and i'll talk about it 23:32:02 that proves you are 12 23:32:03 no dont say it HERE 23:32:05 ;P 23:32:07 say it to ME in PM 23:32:10 so no coaching can occur 23:32:12 tusho, ^ 23:32:12 OK 23:32:15 ready for that? 23:32:16 hm 23:32:21 let me think of one 23:32:27 multiple ones, AnMaster 23:32:29 switch half-way 23:32:32 so you know it's not rehearsed 23:32:39 hm good point 23:32:43 im beginning to hope you're not 12, tusho 23:32:48 why 23:33:13 because your personality and mannerisms in skype are almost attractive in their completely psychotic nature 23:33:18 lmao 23:33:43 i loved the nomads cry :P 23:33:47 yes 23:33:47 :D 23:33:55 and it doesn't match tusho on irc 23:33:58 and the clap of hands 23:34:02 that was brilliant 23:34:07 AnMaster: ready? 23:34:11 i would be terribly disappointed if i were attracted to a 12 year old 23:34:14 I told augur yes 23:34:14 your cock is way too small. 23:34:17 lmao 23:34:24 wait 23:34:31 * tusho waits 23:34:46 * tusho WAITS 23:34:49 AnMaster: /me WAITS 23:35:08 i am waiting AnMaster HOW LONG DO YOU WANT ME TO WAIT 23:35:23 i'm beginning to hope tusho is not 12 too 23:35:28 im waiting AnMaster 23:35:30 :______: 23:35:37 elaborate lies like that are awesome 23:35:45 ok topic decided 23:35:52 or topics rather 23:35:54 wish i was a mythomaniac or something 23:35:56 augur, ready? 23:36:02 augur, do it 23:36:19 lmao 23:36:40 i dont know funge AnMaster 23:36:48 also I can't do voice atm due to ppl sleeping in next room, however if anyone want any proof I can do it around UTC tomorrow over asterisk 23:36:58 there is another topic too 23:37:01 so... 23:37:16 you only need one of them 23:37:39 AnMaster: done. 23:37:48 i assume augur will be uploading 23:37:48 anyway another odd thing: why is it that you seem so eager to convince me 23:37:52 yes I hope so 23:37:56 and because you're so eager to deny it 23:38:32 tusho, it is just that most time, on irc, you act like in the range 15-25 23:38:39 or maybe even 17-25 23:38:40 http://www.wellnowwhat.net/transfers/Tusho%20doesnt%20know%20Funge%20damnit.mp3 23:38:51 AnMaster: there you go 23:38:54 augur, and the other topic? 23:39:04 the first thing I said was "i've got my wikipedia page ready, hah" 23:39:07 ah 23:39:10 the net connection is skippy 23:39:15 oh well 23:39:59 omg tusho is so funny :D 23:40:07 okay, after this one i have to say i'm not all that sure that's tusho :P 23:40:26 hes so british :D 23:40:32 lol 23:40:40 AnMaster: is that evidence enough? 23:40:42 and not 12 at all 23:40:52 tusho, you were reading from wikipedia I think 23:40:59 and yes I agree with augur 23:41:02 AnMaster: find that quote on wikipedia. 23:41:05 that doesn't seem all that interactive 23:41:10 and it looks like photo evidence will have to be had. 23:41:11 fine. 23:41:12 oklopol, indeed 23:41:14 i'll take a fuckin' photo 23:41:15 :/ 23:41:17 video! 23:41:20 video, fine 23:41:21 just a sec 23:41:38 well now i have to find my recordy app 23:42:15 i'll take a photo meanwhile 23:42:56 actually i'll wait 23:43:09 guys, were gonna have to do this in 15 minutes 23:43:12 dinner. :P 23:43:25 augur: aw come on. 23:43:28 :-| 23:43:35 * oklopol installed skype 23:43:42 well I'm going to sleep shortly 23:43:45 oklopol: your name? 23:43:56 oklopol 23:44:31 god 23:44:38 you actually calling me? 23:44:40 yes 23:44:51 just a sec, need to prepare my little brother 23:44:54 tell him what to say, etc. 23:44:58 OK 23:44:58 yeah 23:45:02 he's ready 23:45:06 nice 23:45:13 i can hear you typing. 23:45:16 tell him to say "hi oklo i like scheme" 23:45:24 hehe :P 23:45:34 say it more like *sch*eme 23:45:38 not sceme 23:45:40 oh 23:45:45 hmmhmm 23:45:50 :D 23:46:02 i make everyone laugh 23:46:03 :D 23:46:17 i don't even know where the microphone is here 23:46:18 oklopol! :D 23:46:29 night 23:46:32 augur: i am dictating everything people say in here! 23:46:44 tusho: is that actually you tyuping 23:46:44 ? 23:46:46 typing 23:46:52 no jkersjkesjkjoopkopklklml 23:46:53 ah :) 23:47:01 oklopol are you on skype? 23:47:05 dfx ,.fjvail;djtlsdfgjdslkgjklsdjgsdlfjg ldsgjas;ldgjklsdfghklsdhrpaeishtweiohtdfogiuhsdfighsitvhjoi[cf jeiosqwjiofherioarhtiudutypitsrotpjkrjneilrjnflksdthwijftiupow4nrtfiojrtw 23:47:21 i just wrote an os in oklotalk 23:47:23 in like 5 seconds 23:47:23 :D 23:47:24 gotta say i'm not entirely sure what to think about tusho now. i never really doubted he was 12 before this :P 23:47:28 :D 23:47:35 oklopol, are you getting video? 23:47:36 or just talking 23:47:37 :'( 23:47:39 ok afk 23:47:41 that's actually like 7 different tokens 23:47:49 augur: he's making some noise 23:47:55 i was whimpering because YOU DOUBTED ME 23:47:57 i don't really talk 23:47:59 :D 23:48:02 what, ever 23:48:15 i don't talk either 23:48:20 as you can see ,I only say unintelligable things 23:48:30 well i like it 23:48:33 grauh nuer glayi beurn 23:48:39 hmm 23:48:49 say that again, k? 23:49:01 :) 23:49:03 HUHUHUH GEDDIT 23:49:03 so funny. 23:49:06 SAY "THAT" AGAIN 23:49:08 AHAHAHHAHAHAHAHHAHAH 23:49:10 :D 23:49:12 shit 23:49:15 my voice filter broke 23:49:20 fixed it 23:49:40 lilja: I CAN HEAR YOU 23:49:41 WITH MY EYES 23:49:42 ER 23:49:43 EARS 23:49:49 that was really a typo 23:49:53 :| 23:50:07 tusho: that's just my voice filter. 23:50:09 your keyboard is loud 23:50:09 tjaja 23:50:14 klunk clank krunk 23:50:23 i could say the same thing about yours 23:50:25 KLUNK CLANK 23:50:25 KRUNK 23:50:27 CLUNAK 23:50:30 CHICKEN 23:50:46 should I say 23:50:47 nomads 23:50:49 ???????????? 23:50:50 yeah 23:50:51 do :D 23:51:09 tusho: so, you live with your pants? 23:51:12 as in, parents 23:51:22 i don't live with my pants. i don't have pants 23:51:24 i am a poor orphan 23:51:25 :( 23:51:29 :D 23:51:38 well i was just wondering, are trey like deaf? 23:51:42 *they 23:51:52 they're DEAD you insensitive clod 23:51:55 I just told you I'm an ORPHAN 23:51:56 :( 23:52:14 well you're a funny orphan, then, but sorry for your loss 23:52:23 yeah i'm the funniest orphan ever 23:52:41 tap tap tap tap 23:52:47 dfgkljkljdgrjklfgjknefvkl;tkl;rtkjlvciodfl;56l;,copt5 23:52:48 you'reso funny you could prolly get your parents to laugh by telling a joke about the accident they died in 23:52:56 *you're so 23:52:56 that hurts my brain 23:53:15 i hope you're not actually an orphan, or i might be conceived as mean :) 23:53:21 hah 23:53:23 -!- Corun has quit ("Leaving"). 23:53:29 krrrrrrr 23:53:33 say 23:53:36 shall I read out lines in #haskell 23:53:41 :D 23:53:47 err, shuuure 23:54:12 one wacky style per line! 23:54:15 that's what you get with my irc reading service 23:55:13 lilja: it sounds like you're talking in english played back 23:55:17 :-| 23:55:24 FINNISH: English, backawrds. 23:55:29 or backwards 23:55:48 -!- pikhq has joined. 23:55:49 you're just talking nonsense now to fuck with me 23:55:49 admit it 23:56:11 :D 23:56:16 yes, that's the case 23:56:21 have a video of my empty chair 23:56:39 ize back! 23:56:53 tusho: can you tell us a story? 23:57:02 about what 23:57:06 but not the same as before 23:57:08 oklopol, are you on skype 23:57:09 damnit 23:57:11 augur: yes 23:57:13 let's have a group chat! 23:57:13 augur: well yeah 23:57:16 xD 23:57:30 group chat GO 23:57:34 augur: you'd better record this 23:57:34 oh god 23:57:51 depends, augur 23:57:53 do you want to record video of 23:57:54 people... i will not talk :P 23:57:55 MY EMPTY CHAIR? 23:58:25 well a silent chat like this is fine by me+ 23:58:28 *me 23:58:34 oh my god i'm BLACK 23:58:54 :-| 23:58:57 I AM GIVING YOU INSTRUCTIONS 23:58:58 STERNLY 23:58:59 :-| 23:59:08 wait 23:59:09 it's pronounced 23:59:12 oh klo pol?! 23:59:13 wow 23:59:19 thats how i say it 23:59:20 I THOUGHT IT WAS PRONOUNCED: 23:59:51 this is ridiculously ridiculous