2004-11-01: 02:15:09 -!- heatsink has joined. 05:41:51 -!- heatsink has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:42:01 -!- calamari_ has joined. 08:54:58 -!- calamari_ has quit ("Leaving"). 12:19:34 -!- lindi-_ has joined. 12:19:35 -!- lindi- has quit (Read error: 104 (Connection reset by peer)). 16:10:43 -!- ChanServ has quit (ACK! SIGSEGV!). 16:16:46 -!- ChanServ has joined. 16:16:46 -!- irc.freenode.net has set channel mode: +o ChanServ. 19:10:03 -!- lindi-_ has changed nick to lindi-. 2004-11-02: 01:57:39 -!- clog has joined. 01:57:39 -!- clog has joined. 02:28:37 -!- heatsink has joined. 07:26:35 -!- clog has joined. 07:26:35 -!- clog has joined. 07:27:59 Ah, clog is back 07:29:26 so if clog isn't logging the channel, what is? 07:30:19 it does, http://tunes.org/~nef/logs/esoteric/04.11.01 07:33:13 How does it log when it's not in the channel? 07:34:06 http://meme.b9.com/clog/esoteric/04.11.02 07:34:17 maybe that's cmeme? 07:34:57 anyway, goodnight. 07:35:00 -!- heatsink has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 22:42:51 -!- mooz- has joined. 2004-11-03: 00:33:12 -!- heatsink has joined. 01:51:09 -!- calamari_ has joined. 04:39:01 Looks like some of those voting softwares were written in bf: http://www.nbc4.tv/elex2004natl/index.html 04:39:33 Click on California and read the box. Also, click on Maine. 05:01:14 the state results box? 05:02:45 yes 05:03:04 oh, CA looks okay now 05:03:22 ME still has the doppelganger candidate 05:24:33 -!- calamari- has joined. 05:28:48 -!- calamari- has left (?). 05:41:50 -!- calamari_ has quit (Connection timed out). 07:20:40 -!- calamari_ has joined. 07:39:00 -!- calamari_ has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:55 -!- heatsink has quit ("Leaving"). 09:25:18 -!- cmeme has quit (tolkien.freenode.net irc.freenode.net). 09:26:32 -!- cmeme has joined. 09:29:16 -!- cmeme has quit (tolkien.freenode.net irc.freenode.net). 09:30:29 -!- cmeme has joined. 10:21:58 -!- marty61 has joined. 10:29:57 -!- marty61 has left (?). 12:18:51 -!- cmeme has quit (tolkien.freenode.net irc.freenode.net). 12:18:51 -!- ChanServ has quit (tolkien.freenode.net irc.freenode.net). 12:18:51 -!- Taaus has quit (tolkien.freenode.net irc.freenode.net). 12:18:51 -!- mtve has quit (tolkien.freenode.net irc.freenode.net). 12:18:51 -!- cpressey has quit (tolkien.freenode.net irc.freenode.net). 12:18:51 -!- ZeroOne has quit (tolkien.freenode.net irc.freenode.net). 12:20:30 -!- cmeme has joined. 12:20:33 -!- ChanServ has joined. 12:20:33 -!- ZeroOne has joined. 12:20:33 -!- Taaus has joined. 12:20:33 -!- cpressey has joined. 12:20:33 -!- mtve has joined. 12:20:33 -!- irc.freenode.net has set channel mode: +o ChanServ. 12:20:46 -!- cpressey has quit (Killed by sagan.freenode.net (Nick collision)). 12:20:46 -!- cpressey has joined. 12:20:55 -!- Taaus_ has joined. 12:20:56 -!- Taaus has quit (Connection reset by peer). 12:20:58 -!- ZeroOne has quit (Remote closed the connection). 12:21:19 -!- ZeroOne has joined. 14:55:19 -!- cpressey has quit (tolkien.freenode.net irc.freenode.net). 14:55:19 -!- cmeme has quit (tolkien.freenode.net irc.freenode.net). 14:56:30 -!- cpressey has joined. 14:56:30 -!- cmeme has joined. 2004-11-04: 02:16:15 -!- Taaus has joined. 02:16:15 -!- Taaus_ has quit (Read error: 104 (Connection reset by peer)). 05:14:38 -!- calamari_ has joined. 07:16:04 -!- calamari- has joined. 07:17:58 -!- calamari- has quit (Client Quit). 07:33:49 -!- calamari_ has quit (Read error: 110 (Connection timed out)). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 13:21:01 -!- cpressey_ has joined. 13:21:02 -!- cpressey has quit (Read error: 104 (Connection reset by peer)). 15:30:34 chris? 22:52:59 hello :) 22:53:31 -!- cpressey_ has changed nick to cpressey. 22:58:19 the befunge person? 2004-11-05: 00:16:25 yep 01:26:58 -!- cmeme has quit (No route to host). 01:28:14 -!- cmeme has joined. 03:03:59 -!- heatsink_ has joined. 03:40:47 -!- heatsink_ has changed nick to heatsink. 06:44:25 -!- cmeme has quit (Broken pipe). 06:45:27 -!- cmeme has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:45:59 -!- heatsink has quit ("Unconsciousness time..."). 17:11:58 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 17:14:29 -!- cmeme has joined. 17:28:51 -!- woggle has joined. 17:49:14 -!- cmeme has quit (Read error: 232 (Connection reset by peer)). 17:51:40 -!- cmeme has joined. 17:59:16 -!- cmeme has quit (Remote closed the connection). 18:01:41 -!- cmeme has joined. 23:13:26 -!- mesk has joined. 23:13:32 h! 23:59:46 -!- mesk has quit ("Abandonando"). 2004-11-06: 03:54:46 -!- heatsink has joined. 04:25:04 -!- calamari_ has joined. 05:14:00 -!- heatsink has quit (tolkien.freenode.net irc.freenode.net). 05:14:00 -!- ChanServ has quit (tolkien.freenode.net irc.freenode.net). 05:14:00 -!- calamari_ has quit (tolkien.freenode.net irc.freenode.net). 05:14:00 -!- cmeme has quit (tolkien.freenode.net irc.freenode.net). 05:14:00 -!- Taaus has quit (tolkien.freenode.net irc.freenode.net). 05:14:00 -!- mtve has quit (tolkien.freenode.net irc.freenode.net). 05:14:58 -!- ChanServ has joined. 05:14:58 -!- calamari_ has joined. 05:14:58 -!- heatsink has joined. 05:14:58 -!- cmeme has joined. 05:14:58 -!- Taaus has joined. 05:14:58 -!- mtve has joined. 05:14:58 -!- irc.freenode.net has set channel mode: +o ChanServ. 05:15:44 -!- heatsink has quit (tolkien.freenode.net irc.freenode.net). 05:15:44 -!- ChanServ has quit (tolkien.freenode.net irc.freenode.net). 05:15:44 -!- calamari_ has quit (tolkien.freenode.net irc.freenode.net). 05:15:44 -!- cmeme has quit (tolkien.freenode.net irc.freenode.net). 05:15:44 -!- Taaus has quit (tolkien.freenode.net irc.freenode.net). 05:15:44 -!- mtve has quit (tolkien.freenode.net irc.freenode.net). 05:16:22 -!- ChanServ has joined. 05:16:22 -!- calamari_ has joined. 05:16:22 -!- heatsink has joined. 05:16:22 -!- cmeme has joined. 05:16:22 -!- Taaus has joined. 05:16:22 -!- mtve has joined. 05:16:22 -!- irc.freenode.net has set channel mode: +o ChanServ. 06:02:34 -!- calamari_ has quit ("Leaving"). 07:28:49 -!- heatsink has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:36:43 -!- cmeme has quit ("Client terminated by server"). 09:36:56 -!- cmeme has joined. 21:55:04 -!- calamari_ has joined. 23:25:29 -!- calamari_ has quit ("Leaving"). 2004-11-07: 00:00:19 -!- heatsink has joined. 02:58:18 -!- deltab has quit ("BitchX-1.0c19 -- just do it."). 03:20:53 -!- deltab has joined. 03:31:24 -!- jDoctor has joined. 03:31:27 -!- slava has joined. 03:31:30 woos 03:31:37 this place EXISTs 03:31:47 ssh, don't tell anyone! 03:31:56 wont. 03:32:28 but if everyone came here -- you know -- to keep the secret, would it still be a secret? 03:33:34 No. Everyone would have to leave here to keep the secret. 03:33:53 so uh whats the norm discussion here? 03:34:06 nothin' 03:34:22 This channel isn't active most of the time 03:34:33 lets make it active! 03:34:38 A while ago, someone wrote a C -> brainfuck compiler 03:34:41 wow 03:34:54 And before that, I wrote an unlambda -> scheme compiler 03:35:17 The conversation about implementing such things can get interesting 03:35:33 i'm working on stack effect inference for postfix languages 03:35:48 * heatsink has no idea what that is 03:36:05 what is that? 03:36:21 eg, the stack effect of 2 2 + is [ 0 | 1 ] because it takes no values from the stack, but leaves one 03:36:38 the stack effect of dup * is [ 1 | 1 ], because it takes one value, duplicates it, multiplies the two duplicates, to yield one value 03:37:02 it gets more complicated when you have conditionals and recursion, but i have the theory worked out, as well as an algorithm 03:37:07 Doesn't 2 2 + take two values from the stack and then add one? 03:37:20 + by itself has effect [ 2 | 1 ] 03:37:29 oh I see 03:37:30 but 2 2 + has effect [ 0 | 1 ] since the input parameters to + are provided already 03:37:48 so what is the stack effect of printf? 03:37:56 2 has effect [ 0 | 1 ] 03:38:09 printf is 0 | 1 03:38:13 I mean 03:38:16 1 | 0 03:38:17 heatsink, no, variadic functions are not handled 03:38:22 ok 03:38:41 there is an algebra 03:38:57 [ a | b ] * [ c | d ] = [ a + max(0,c-b) | d + max(0,b-c) ] 03:39:16 os that composition? 03:39:17 so the stack effect of 2 2 + is [ 0 | 1 ] * [ 0 | 1 ] * [ 2 | 1 ] 03:39:28 and you can calculate this using the above formula as [ 0 | 1 ] 03:40:12 thats some cool stuff 03:40:18 This looks useful 03:40:27 it should lead to computer-generated stack effects, right? 03:40:44 You could type-check postfix languages, and express them in prefix or infix form 03:41:16 i'm working on type inference next. 03:41:29 do both branches of an if-then-else have to have the same stack effect to be legal? 03:41:54 you cant inference an ifte, can you.. 03:41:54 they don't have to be equal, but balanced. the balance of [ a | b ] is b-a 03:42:33 oic 03:42:34 so [ dup * ] [ ] ifte is valid 03:42:44 since after the ifte, the stack height is constant, sonce the two branches are balanced 03:42:56 effect of dup * is [ 1 | 1 ], effect of [ ] is [ 0 | 0 ] 03:42:58 and 0-0 = 1-1 03:43:11 so the effect of [ dup * ] [ ] ifte is the maximum element of the two 03:43:16 which is [ 1 | 1 ] in this case 03:43:39 ok 03:43:54 this is valid, since i have proofs that balanced sets of stack effects behave just like the maximimal element under pairwise composition 03:44:10 Do you have problems with algorithms that use a sentinel value to terminate recursion? 03:44:26 words that take variable numbers of arguments off the stack? 03:44:40 yes, and then put the same number of arguments back on 03:44:47 i don't support these. 03:45:17 ok 03:46:47 What language syntax do you use? Is it taken from an existing language? 03:47:02 factor 03:47:51 Hey, the inventor of factor is named slava too! what a coincidence! 03:47:57 ;) 03:47:57 hehe.. 03:48:06 sssh... secret 03:48:26 ooh... sorry. 03:48:33 no secret 03:48:44 heatsink, the algorithm and algebra is applicable to any postfix language though 03:48:50 is that the secret? that these is no secret? 03:49:02 s/these/there 03:49:49 I'm trying to learn type inference. Can you recommend any references? 03:51:06 ooh, you do continuations too! 03:51:40 yes, but I don't infer stack effects of code involving them. 03:51:51 oh. 04:03:24 -!- slava has left (?). 05:29:28 -!- jDoctor has quit ("leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:28:34 why do you have those discussions at 05-06am? 08:39:28 I don't 08:44:29 05:50:44 < heatsink> ooh, you do continuations too! 08:44:32 see, with proof. 09:30:01 11:50:44 < heatsink> ooh, you do continuations too! 09:30:03 12:50:44 < heatsink> ooh, you do continuations too! 09:30:07 01:50:44 < heatsink> ooh, you do continuations too! 09:30:12 :p 09:30:23 Well, I'm sure it was 5:50 _somewhere_. 10:13:29 -!- heatsink has quit ("Leaving"). 16:09:47 -!- lindi- has quit (Read error: 104 (Connection reset by peer)). 16:13:36 -!- lindi- has joined. 16:28:35 -!- lindi- has quit (tolkien.freenode.net irc.freenode.net). 16:28:35 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 16:28:35 -!- ZeroOne has quit (tolkien.freenode.net irc.freenode.net). 16:30:48 -!- ZeroOne has joined. 16:34:24 -!- lindi- has joined. 16:34:24 -!- deltab has joined. 16:39:20 -!- lindi-_ has joined. 16:44:31 -!- lindi- has quit (Read error: 110 (Connection timed out)). 16:56:54 -!- lindi-_ has changed nick to lindi-. 18:07:19 -!- andreou has joined. 18:08:01 hm 18:08:06 heads up 18:10:45 -!- andreou has quit (Client Quit). 21:46:14 -!- calamari_ has joined. 21:52:10 -!- calamari_ has quit ("Leaving"). 22:22:04 anybody thought about building a smart compiler that could optimize by replacing poor algorithms with better ones? 22:22:44 so if the programmer has used e.g. bubble sort the compiler would detect that and actually use quick sort 22:26:19 well: algorithm detection is non-trivial, and it's pretty hard to make sure there are no unexpected effects. "normal" optimizations are hard enough. haven't heard of any compiler that'd do something like that. 22:28:13 methinks it's at least much simpler to provide general algorithms as libraries, and have the programmer use those. why would anyone use bubble sort when the c standard library has a relatively working qsort? 22:28:58 no idea 22:29:31 of course implementing something like that might be an interesting exercise, I don't deny that. 22:30:17 indeed, i think i should start by defining some really simple language and experiment with it 22:31:18 ok, but if you ever hear anything like this please let me know :) 22:31:20 not related, but mooz could perhaps say something here about his "random programs" experiments. 22:31:37 hmm 22:31:40 it's esoteric enough. 22:32:14 apparently he keeps finding composite-number-factoring algorithms at a surprisingly high rate. :p 22:32:16 i thought that if you could express e.g. quick sort in 6 bytes then it would be possible to simply brute force all possible algorithms that fit in 6 bytes 22:34:12 it should prove that the new algorithm 1) does the same as the original algorithm and 2) is faster in all/some/average case/s 22:35:37 me will probably try to sleep some now, have that mat-1.403 exam tomorrow. infinite-dimensional vector spaces, path integrals of complex functions using residues, QR factorizations of matrices. yay! 22:35:52 and i have mat-1.411 :P 22:36:01 is that C1? 22:36:04 yeah 22:36:25 discrete math this time 22:36:34 seems like it's the standard 'second mid-term of maths courses' day tomorrow. 22:37:11 besides, I have to demo my scheme-exercise (11 months past the original due date) tomorrow. :p 22:37:13 yep. and indeed, it's probably wise to sleep now 22:37:33 hey, where did my ircnet connection go. 22:37:46 anybody else on the channel: feel free to comment 22:39:19 so, good night 22:40:55 night. 22:48:30 -!- ZeroOne has quit (Connection timed out). 2004-11-08: 03:45:44 -!- heatsink has joined. 03:57:21 heatsink: re type inference: the dragon book contains a good description & algorithm 03:58:02 okay, I'll check it 03:58:04 ty 03:58:42 np 03:58:57 it still took me a loooong time to figure out exactly what was going on with it :) 03:59:20 replacing the greek letters with T1, T2, T3 and walking myself through abunch of examples seemed to help 03:59:43 does it use sequent notation? 04:00:04 * heatsink sees that in papers about typing 04:00:20 * heatsink has nearly gotten used to it 04:02:47 no 04:02:57 One of my class textbooks had a mathematical derivation that used lowercase zeta, xi, and word-final sigma 04:03:44 word-final :) 04:03:46 cute 04:04:21 The cute part was, they never pointed out the relationship between the three variables 04:04:33 And if you think they're all the same variable, the math works out correctly 04:05:53 (since they look almost the same) 04:06:31 silly textbook publishers. 04:06:34 anyway, i have to be off 04:06:37 catch you later. 04:06:41 ok 04:06:43 bye 06:31:23 -!- heatsink has quit ("Leaving"). 06:46:36 -!- ZeroOne has joined. 07:56:04 -!- lindi- has quit (tolkien.freenode.net irc.freenode.net). 07:56:04 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 07:56:15 -!- deltab has joined. 07:57:43 -!- lindi- has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:01:55 -!- lindi- has quit (tolkien.freenode.net irc.freenode.net). 08:01:55 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 08:02:28 -!- lindi- has joined. 08:02:28 -!- deltab has joined. 08:08:59 -!- lindi-_ has joined. 08:08:59 -!- lindi- has quit (Read error: 104 (Connection reset by peer)). 08:12:35 -!- woggle has quit (tolkien.freenode.net irc.freenode.net). 08:12:35 -!- fizzie has quit (tolkien.freenode.net irc.freenode.net). 08:14:14 -!- woggle has joined. 08:33:10 -!- lindi-_ has quit (tolkien.freenode.net irc.freenode.net). 08:33:11 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 08:42:53 -!- lindi-_ has joined. 08:42:53 -!- deltab has joined. 08:42:58 -!- lindi-_ has quit (Read error: 104 (Connection reset by peer)). 08:44:09 -!- lindi- has joined. 09:11:26 -!- lindi- has quit (tolkien.freenode.net irc.freenode.net). 09:11:26 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 10:15:00 -!- lindi- has joined. 11:33:40 -!- deltab has joined. 21:49:38 mooz-: what language did you use in your 'random programs' experiment? 2004-11-09: 03:36:26 -!- Guest40763 has joined. 03:36:57 -!- Guest40763 has left (?). 03:58:17 -!- heatsink has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:35:10 -!- heatsink has quit ("Leaving"). 13:23:44 -!- deltab has quit (Read error: 110 (Connection timed out)). 17:36:19 -!- deltab has joined. 18:03:42 -!- cmeme has quit (Read error: 113 (No route to host)). 18:04:11 -!- cmeme has joined. 21:24:17 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 23:06:18 -!- zzyyxx has joined. 23:12:12 -!- zzyyxx has left (?). 2004-11-10: 01:24:44 -!- cmeme has joined. 01:24:46 -!- cmeme has quit (Remote closed the connection). 01:25:31 -!- cmeme has joined. 02:10:18 -!- heatsink has joined. 06:34:44 -!- cmeme has quit (Read error: 110 (Connection timed out)). 06:35:15 -!- cmeme has joined. 07:16:50 -!- cmeme has quit (Read error: 110 (Connection timed out)). 07:30:34 -!- cmeme has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:09:20 -!- heatsink has quit ("Leaving"). 09:11:12 -!- lindi- has quit (Read error: 113 (No route to host)). 09:12:48 -!- lindi- has joined. 15:56:54 -!- mik__ has joined. 15:57:39 -!- mik__ has quit (Client Quit). 17:11:08 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 18:15:05 -!- cmeme has joined. 22:52:53 -!- dxlvi has joined. 22:53:12 -!- cmeme has quit (Connection timed out). 22:53:28 -!- dxlvi has left (?). 22:59:46 -!- cmeme has joined. 2004-11-11: 03:36:50 -!- heatsink has joined. 04:34:41 -!- Taaus has quit (Read error: 110 (Connection timed out)). 04:45:45 -!- cmeme has quit (Connection timed out). 04:46:13 -!- cmeme has joined. 05:04:52 -!- calamari_ has joined. 05:04:57 hi 05:14:13 -!- Taaus has joined. 05:30:39 hi 07:54:31 -!- calamari_ has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:12:35 -!- heatsink has quit ("Leaving"). 20:41:15 -!- calamari_ has joined. 21:14:11 -!- calamari_ has quit (Read error: 110 (Connection timed out)). 2004-11-12: 00:57:06 -!- cmeme has quit (Connection timed out). 01:10:36 -!- cmeme has joined. 01:18:26 -!- moroman has joined. 01:19:56 buenas noches. 01:21:10 hoolaaaa... 01:23:30 -!- moroman has left (?). 03:37:57 -!- woggle has left (?). 04:01:48 -!- cmeme has quit (Read error: 110 (Connection timed out)). 04:02:41 -!- cmeme has joined. 06:08:22 -!- cmeme has quit (Read error: 60 (Operation timed out)). 06:58:20 -!- cmeme has joined. 07:42:27 -!- cmeme has quit (Read error: 110 (Connection timed out)). 07:43:04 -!- cmeme has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 10:18:24 -!- cmeme has quit (Read error: 60 (Operation timed out)). 11:28:45 -!- cmeme has joined. 21:05:21 -!- cpressey_ has joined. 21:05:21 -!- cpressey has quit (Read error: 104 (Connection reset by peer)). 2004-11-13: 03:23:28 -!- ChanServ has quit (Shutting Down). 03:24:14 -!- ChanServ has joined. 03:24:14 -!- irc.freenode.net has set channel mode: +o ChanServ. 04:47:09 -!- calamari_ has joined. 06:24:37 -!- calamari- has joined. 06:44:02 -!- calamari_ has quit (Read error: 110 (Connection timed out)). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:54:49 -!- calamari- has quit ("Leaving"). 08:54:59 -!- calamari_ has joined. 09:20:58 -!- calamari_ has quit ("Leaving"). 17:08:37 -!- cmeme has quit (SendQ exceeded). 17:17:02 -!- cmeme has joined. 17:45:37 -!- cmeme has quit (Connection reset by peer). 17:47:05 -!- cmeme has joined. 19:29:24 -!- calamari_ has joined. 20:37:44 -!- calamari_ has quit ("Leaving"). 23:52:56 -!- clog has joined. 23:52:56 -!- clog has joined. 2004-11-14: 01:21:26 -!- heatsink has joined. 01:21:27 -!- cpressey_ has quit (Read error: 104 (Connection reset by peer)). 01:23:27 -!- cpressey has joined. 02:52:36 -!- calamari_ has joined. 03:11:11 -!- lament has joined. 03:11:15 ha! 03:11:31 i have somehow forgotten about this channel for a while. 03:11:34 too busy playing go 03:12:22 you didna miss much 03:12:42 judging by the title, yeah 03:12:49 :) 03:28:03 I managed to scare a couple other students by showing them unlambda the other day 03:28:39 of course I don't understand that one either.. hehe 03:29:42 I think they "liked" the basic compiler better though. Something about seeing a screen full of bf seems to make someone freak out 03:37:59 you wrote a compiler for basic? 05:15:00 yeah basic -> bf 05:15:41 wow, I've never written a compiler from one esoteric language to another :) 05:15:46 good job :) 05:16:40 basic is still my favorite language, although Java is growing on me 05:16:50 eew. 05:16:54 hehe 05:16:55 what's wrong with python? 05:17:14 I'm still learning it. seems cool so far 05:18:20 one thing I miss, which is kind of weird.. is not having types in python. Makes it harder to see what something is, because usually a type can be syntax highlighted 05:18:22 * heatsink doesn't know how to program in a language without first-class functions 05:19:13 all python objects are the same type, it's just the default implementations of most methods raise errors :) 05:19:22 I also wish there were some kind of closing brace or end-if, as silly as that sounds also 05:19:26 051621Z #esoteric basic is still my favorite language, although Java is growing on me 05:19:38 there's a lotion you can apply to the affected area 05:19:57 deltab: hopefully not C#.. that makes me allergic to my computer 05:20:30 I keep meaning to install linux again so I can play with c# 05:20:43 I thought c# was a .net thing 05:20:51 it is 05:20:52 isn't there mono? 05:21:00 oh yea 05:21:05 I refuse to put xp on my computer 05:21:12 XP 05:21:16 XD 05:45:47 -!- calamari_ has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:36:11 -!- heatsink has quit ("Leaving"). 10:53:52 -!- Keymaker has joined. 10:54:31 'morning 11:27:03 yeah, it is silent . . . 11:27:06 -!- Keymaker has quit. 18:01:23 -!- cpressey has quit (Read error: 110 (Connection timed out)). 18:03:33 -!- cpressey has joined. 18:20:32 -!- cpressey has quit (Read error: 104 (Connection reset by peer)). 18:23:22 -!- cpressey has joined. 19:56:06 -!- clog has joined. 19:56:06 -!- clog has joined. 20:10:40 -!- Ginn has joined. 20:32:28 -!- Ginn has quit ("Анимация снов, анемия души, опрокинутость неба, открытость окна, беспредельность падения, беглость минут, несмыкаемость рук, б"). 2004-11-15: 00:56:44 -!- clog has joined. 00:56:44 -!- clog has joined. 03:13:40 -!- cpressey has quit (Read error: 60 (Operation timed out)). 03:31:02 -!- cpressey has joined. 04:02:53 -!- heatsink has joined. 04:53:21 -!- calamari_ has joined. 05:14:10 -!- heatsink has quit ("Leaving"). 06:31:48 -!- calamari_ has quit (Connection timed out). 06:32:14 -!- calamari_ has joined. 06:56:52 -!- calamari_ has quit (Read error: 110 (Connection timed out)). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:59:16 -!- cmeme has quit (Connection timed out). 15:27:46 -!- jcam100 has joined. 15:27:50 hi guys! 15:28:10 anyone about? 15:28:15 i got a quick question 15:29:36 -!- jcam100 has quit (Client Quit). 15:48:59 -!- cmeme has joined. 16:05:59 -!- mtve has quit (Read error: 110 (Connection timed out)). 16:40:15 -!- mtve has joined. 18:58:48 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 20:34:45 -!- cmeme has joined. 2004-11-16: 00:00:30 -!- calamari_ has joined. 01:16:57 hi 01:32:31 hi lament 03:41:19 -!- heatsink has joined. 03:51:06 -!- calamari- has joined. 04:08:27 -!- calamari_ has quit (Read error: 110 (Connection timed out)). 04:15:00 -!- calamari- has changed nick to calamari_. 05:13:56 -!- calamari_ has quit (Read error: 110 (Connection timed out)). 05:42:52 -!- heatsink has quit ("Leaving"). 06:59:23 -!- calamari_ has joined. 07:18:29 -!- calamari_ has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 2004-11-17: 01:52:15 -!- cmeme has quit (Broken pipe). 01:52:59 -!- cmeme has joined. 02:53:40 -!- heatsink has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:13:52 -!- heatsink has quit ("Leaving"). 22:22:32 -!- Vandroij has joined. 22:23:38 -!- Vandroij has quit (Client Quit). 2004-11-18: 06:25:34 -!- cmeme has quit (leguin.freenode.net irc.freenode.net). 06:25:34 -!- cpressey has quit (leguin.freenode.net irc.freenode.net). 06:25:34 -!- ChanServ has quit (leguin.freenode.net irc.freenode.net). 06:25:37 -!- ZeroOne has quit (leguin.freenode.net irc.freenode.net). 06:25:38 -!- mtve has quit (leguin.freenode.net irc.freenode.net). 06:25:39 -!- lament has quit (leguin.freenode.net irc.freenode.net). 06:25:42 -!- mooz- has quit (leguin.freenode.net irc.freenode.net). 06:25:43 -!- Taaus has quit (leguin.freenode.net irc.freenode.net). 06:26:48 -!- ChanServ has joined. 06:26:48 -!- cmeme has joined. 06:26:48 -!- mtve has joined. 06:26:48 -!- cpressey has joined. 06:26:48 -!- lament has joined. 06:26:48 -!- Taaus has joined. 06:26:48 -!- ZeroOne has joined. 06:26:48 -!- mooz- has joined. 06:26:48 -!- irc.freenode.net has set channel mode: +o ChanServ. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 10:01:56 -!- cpressey has quit (leguin.freenode.net irc.freenode.net). 10:01:56 -!- cmeme has quit (leguin.freenode.net irc.freenode.net). 10:01:56 -!- ChanServ has quit (leguin.freenode.net irc.freenode.net). 10:01:57 -!- ZeroOne has quit (leguin.freenode.net irc.freenode.net). 10:01:57 -!- mtve has quit (leguin.freenode.net irc.freenode.net). 10:01:57 -!- lament has quit (leguin.freenode.net irc.freenode.net). 10:01:58 -!- mooz- has quit (leguin.freenode.net irc.freenode.net). 10:01:59 -!- Taaus has quit (leguin.freenode.net irc.freenode.net). 10:03:03 -!- ChanServ has joined. 10:03:03 -!- cmeme has joined. 10:03:03 -!- mtve has joined. 10:03:03 -!- cpressey has joined. 10:03:03 -!- lament has joined. 10:03:03 -!- Taaus has joined. 10:03:03 -!- ZeroOne has joined. 10:03:03 -!- mooz- has joined. 10:03:03 -!- irc.freenode.net has set channel mode: +o ChanServ. 20:59:49 -!- mooz- has quit ("ircII2.8.2-EPIC3.004 --- Bloatware at its finest."). 2004-11-19: 02:50:33 -!- Taaus has quit (Remote closed the connection). 02:50:39 -!- Taaus has joined. 04:56:49 -!- lindi- has quit (Remote closed the connection). 04:57:22 -!- lindi- has joined. 05:32:40 -!- heatsink has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 10:11:52 -!- heatsink has quit ("Leaving"). 17:31:52 -!- MadBrain has joined. 17:33:08 Uh, hello 19:28:30 -!- lindi-_ has joined. 19:28:31 -!- lindi- has quit (Read error: 104 (Connection reset by peer)). 19:37:03 -!- MadBrain has quit (Read error: 60 (Operation timed out)). 19:37:36 -!- lindi-_ has changed nick to lindi-. 2004-11-20: 03:01:34 -!- heatsink has joined. 06:13:18 -!- calamari_ has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:15:09 -!- calamari_ has quit ("Leaving"). 11:41:12 -!- heatsink has quit ("Leaving"). 18:24:51 -!- calamari_ has joined. 18:56:35 -!- fizzie has joined. 19:55:54 -!- Nioate has joined. 20:08:39 -!- calamari_ has quit (Read error: 110 (Connection timed out)). 21:07:11 -!- calamari_ has joined. 21:22:41 -!- calamari_ has quit ("Leaving"). 21:35:32 -!- calamari_ has joined. 23:08:04 -!- calamari_ has quit ("Leaving"). 23:31:37 -!- calamari_ has joined. 2004-11-21: 02:16:16 -!- cpressey has quit ("leaving"). 02:22:21 -!- calamari_ has quit (Read error: 110 (Connection timed out)). 02:28:43 -!- cpressey has joined. 02:32:25 -!- cpressey has quit (Client Quit). 02:50:46 -!- cpressey has joined. 03:28:41 -!- clog has quit (^C). 03:28:41 -!- clog has quit (ended). 03:28:49 -!- clog has joined. 03:28:49 -!- clog has joined. 04:34:07 hi 04:34:39 hi! 04:46:04 what goes on here 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 10:16:53 apparently not much. 17:34:03 I see that 22:29:41 heh 2004-11-22: 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 11:37:16 -!- aeddan has joined. 11:45:14 -!- aeddan has left (?). 2004-11-23: 04:17:49 -!- lindi- has quit (tolkien.freenode.net irc.freenode.net). 04:17:49 -!- Taaus has quit (tolkien.freenode.net irc.freenode.net). 04:17:49 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 04:19:04 -!- lindi- has joined. 04:19:04 -!- Taaus has joined. 04:19:04 -!- deltab has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 12:26:10 -!- cmeme has quit ("Client terminated by server"). 12:26:54 -!- cmeme has joined. 19:37:42 -!- cpressey has quit (Read error: 110 (Connection timed out)). 20:56:00 -!- cpressey has joined. 2004-11-24: 01:47:59 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 01:48:20 -!- cmeme has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 22:38:46 -!- bot_builder has joined. 22:39:11 someone needs to submit a path example to http://99-bottles-of-beer.net/p.html 22:39:27 -!- bot_builder has left (?). 22:41:00 -!- asiammyself has joined. 22:41:12 -!- asiammyself has left (?). 22:43:58 -!- ashanks` has joined. 2004-11-25: 00:01:32 -!- ashanks` has quit ("Leaving"). 01:25:17 -!- Nioate has quit ("bland exit message"). 03:02:08 -!- calamari_ has joined. 03:10:23 -!- calamari_ has quit ("Leaving"). 03:45:49 -!- Taaus has quit (tolkien.freenode.net irc.freenode.net). 03:45:49 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 03:45:49 -!- lindi- has quit (tolkien.freenode.net irc.freenode.net). 03:46:00 -!- Taaus has joined. 04:05:57 -!- deltab has joined. 05:32:41 -!- fizzie has quit (tolkien.freenode.net irc.freenode.net). 05:32:41 -!- ChanServ has quit (tolkien.freenode.net irc.freenode.net). 05:32:41 -!- Taaus has quit (tolkien.freenode.net irc.freenode.net). 05:32:41 -!- ZeroOne has quit (tolkien.freenode.net irc.freenode.net). 05:32:41 -!- deltab has quit (tolkien.freenode.net irc.freenode.net). 05:32:42 -!- cpressey has quit (tolkien.freenode.net irc.freenode.net). 05:32:42 -!- mtve has quit (tolkien.freenode.net irc.freenode.net). 05:32:42 -!- lament has quit (tolkien.freenode.net irc.freenode.net). 05:32:42 -!- cmeme has quit (tolkien.freenode.net irc.freenode.net). 05:40:50 -!- ChanServ has joined. 05:40:50 -!- deltab has joined. 05:40:50 -!- Taaus has joined. 05:40:50 -!- cmeme has joined. 05:40:50 -!- cpressey has joined. 05:40:50 -!- mtve has joined. 05:40:50 -!- lament has joined. 05:40:50 -!- ZeroOne has joined. 05:40:50 -!- irc.freenode.net has set channel mode: +o ChanServ. 05:41:23 -!- fizzie has joined. 06:10:18 -!- calamari_ has joined. 06:17:03 -!- cmeme has quit (Read error: 104 (Connection reset by peer)). 06:17:51 -!- cmeme has joined. 06:18:10 -!- cmeme has quit (Remote closed the connection). 06:18:54 -!- cmeme has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:31:32 -!- calamari_ has quit ("Leaving"). 12:59:53 -!- cmeme has quit (Read error: 54 (Connection reset by peer)). 13:00:40 -!- cmeme has joined. 13:00:59 -!- cmeme has quit (Remote closed the connection). 13:01:42 -!- cmeme has joined. 13:19:20 -!- cpressey_ has joined. 13:19:28 -!- cpressey has quit (Remote closed the connection). 15:37:36 -!- lindi- has joined. 2004-11-26: 00:11:13 -!- calamari_ has joined. 01:23:20 -!- calamari_ has quit ("Leaving"). 01:27:50 -!- calamari_ has joined. 01:32:45 -!- cpressey_ has changed nick to cpressey. 01:59:39 -!- calamari_ has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 18:35:22 -!- calamari_ has joined. 18:51:47 -!- fizzie has quit (tolkien.freenode.net irc.freenode.net). 19:19:42 -!- calamari- has joined. 19:30:43 -!- calamari_ has quit (Connection timed out). 23:21:05 -!- calamari_ has joined. 23:32:39 -!- calamari_ has quit ("Leaving"). 23:39:51 -!- calamari- has quit (Read error: 110 (Connection timed out)). 2004-11-27: 03:49:18 -!- calamari_ has joined. 03:50:07 -!- calamari has joined. 03:50:33 -!- calamari_ has quit (Client Quit). 03:50:47 -!- calamari has left (?). 03:51:14 -!- calamari has joined. 06:03:43 -!- calamari has quit ("Leaving"). 07:37:17 -!- calamari has joined. 07:53:26 -!- calamari has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:06:16 -!- calamari has joined. 08:26:26 -!- calamari has quit (Read error: 60 (Operation timed out)). 08:28:07 -!- calamari has joined. 12:11:38 -!- calamari has quit (Remote closed the connection). 20:59:15 -!- calamari has joined. 21:54:46 -!- calamari_ has joined. 22:11:25 -!- calamari has quit (Read error: 110 (Connection timed out)). 22:18:44 -!- calamari has joined. 22:32:22 -!- calamari_ has quit (Read error: 110 (Connection timed out)). 23:40:03 -!- calamari has quit ("Leaving"). 2004-11-28: 01:00:19 -!- lament_ has joined. 01:04:48 -!- lament has quit (Read error: 110 (Connection timed out)). 01:34:26 -!- lament_ has changed nick to lament. 05:06:40 -!- lindi- has quit (Read error: 104 (Connection reset by peer)). 05:07:18 -!- lindi- has joined. 06:02:35 -!- calamari has joined. 06:14:09 -!- calamari has changed nick to _calamari. 07:40:02 -!- _calamari has changed nick to calamari. 07:54:40 -!- calamari has quit ("Leaving"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:30:14 -!- cmeme has quit ("Client terminated by server"). 09:30:31 -!- cmeme has joined. 12:07:08 -!- fizzie has joined. 20:51:41 -!- cpressey has quit (Read error: 60 (Operation timed out)). 21:00:39 -!- cpressey has joined. 2004-11-29: 00:04:47 -!- Taaus has quit (Remote closed the connection). 00:05:01 -!- Taaus has joined. 00:10:19 -!- calamari_ has joined. 02:16:20 -!- calamari_ has quit ("Leaving"). 04:14:08 -!- calamari has joined. 04:36:28 -!- calamari has quit ("Leaving"). 04:56:49 -!- ZeroOne has quit (Read error: 110 (Connection timed out)). 06:30:44 -!- calamari has joined. 07:18:34 -!- ZeroOne has joined. 07:49:13 -!- calamari has quit (Remote closed the connection). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:35:14 -!- calamari has joined. 09:41:02 -!- calamari has quit ("Leaving"). 12:12:34 -!- calamari has joined. 12:23:54 -!- calamari has quit ("Leaving"). 15:15:02 -!- ZeroOne has quit (Remote closed the connection). 16:17:03 -!- cmeme has quit ("Client terminated by server"). 16:17:33 -!- cmeme has joined. 16:24:39 -!- ZeroOne has joined. 17:00:46 -!- wolfy has joined. 17:04:39 -!- wolfy has left (?). 2004-11-30: 05:16:38 -!- deltab has quit (Remote closed the connection). 05:36:18 -!- deltab has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:30:23 -!- heatsink has joined. 09:09:03 -!- heatsink has quit ("Leaving"). 14:04:47 -!- cmeme has quit ("Client terminated by server"). 14:05:32 -!- cmeme has joined.