00:12:55 -!- int-e has joined. 00:15:50 Hit any key to continue. 00:15:51 http://www.columbia.edu/~sss31/graphics/car-hitanykey.jpg 00:16:50 "You have moved the mouse. Please reboot the computer for this change to take effect." 00:32:16 -!- Arrogant has quit ("Leaving"). 01:39:16 -!- GregorR__ has quit (Remote closed the connection). 01:40:03 -!- GregorR__ has joined. 01:50:58 -!- GregorR__ has quit (Remote closed the connection). 01:51:28 -!- GregorR__ has joined. 01:53:08 -!- GregorR__ has quit (Remote closed the connection). 01:53:45 -!- GregorR___ has joined. 01:58:36 -!- CXI has joined. 02:14:02 RuneScape is like Programm Quest where you have to pay attention. 02:14:27 s/Programm/Progress/, eep. 03:41:55 -!- ihope has quit (Read error: 110 (Connection timed out)). 04:11:15 -!- cmeme has quit (Connection timed out). 04:24:07 -!- cmeme has joined. 04:34:26 -!- Sgeo has quit. 04:35:14 -!- cmeme has quit (Connection reset by peer). 04:35:48 -!- cmeme has joined. 04:53:13 -!- cmeme has quit (Connection timed out). 04:58:14 -!- cmeme has joined. 05:32:00 -!- GregorR___ has changed nick to GregorR. 06:40:12 -!- CXI has quit (Connection timed out). 07:16:00 -!- Arrogant has joined. 07:19:03 Arrogant, you arrogant FOOL! Don't you know that it's YOUR BABY!!! 07:19:15 * GregorR tries to add drama to the chatter on #esoteric 07:19:16 oh mi 07:19:19 oh my 07:20:08 Gregor, any new languages? 07:20:29 The small amount of time I spare to esoprogramming goes to C2BF right now. 07:26:18 -!- calamari has left (?). 07:39:12 -!- GregorR has quit (Remote closed the connection). 07:39:21 -!- GregorR has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:05:20 -!- Arrogant has quit ("Leaving"). 09:05:11 -!- int-e has left (?). 09:16:17 -!- GregorR has quit (Remote closed the connection). 09:17:28 -!- GregorR_ has joined. 09:20:23 -!- GregorR_ has quit (Remote closed the connection). 09:21:11 -!- GregorR_ has joined. 09:22:24 -!- CXI has joined. 10:15:42 -!- GregorR_ has quit (Remote closed the connection). 10:16:03 -!- GregorR_ has joined. 10:24:04 -!- GregorR_ has quit (Remote closed the connection). 10:24:05 -!- GregorR__ has joined. 11:06:21 -!- jix has joined. 13:07:44 -!- GregorR___ has joined. 13:13:39 -!- GregorR__ has quit (Remote closed the connection). 13:21:19 -!- ihope has joined. 13:23:47 -!- ihope_ has joined. 13:41:21 -!- ihope has quit (Read error: 110 (Connection timed out)). 14:04:40 -!- GregorR___ has quit (Remote closed the connection). 14:04:53 -!- GregorR___ has joined. 17:03:50 -!- GregorR___ has quit (Remote closed the connection). 17:04:22 -!- GregorR___ has joined. 17:12:53 -!- GregorR___ has quit (Remote closed the connection). 17:16:01 -!- GregorR___ has joined. 17:18:31 -!- GregorR___ has quit (Remote closed the connection). 17:23:14 -!- GregorR___ has joined. 17:43:49 -!- GregorR___ has quit (Remote closed the connection). 17:44:00 -!- GregorR___ has joined. 17:46:35 -!- Julepalme has joined. 17:48:43 -!- Julepalme has quit (Client Quit). 17:51:58 -!- Emilbp has joined. 17:52:24 -!- Emilbp has quit (Client Quit). 18:03:01 -!- GregorR___ has quit (Remote closed the connection). 18:03:13 -!- GregorR___ has joined. 18:11:48 -!- Athas has joined. 18:12:08 Please calculate and print the sum of 2 and 5. 18:21:48 7 18:22:03 Thank you. 18:22:05 As you can see, IRP works, but very, very slowly. 18:22:23 Premature optimization is the root of all evil. :) 18:32:11 -!- lindi- has quit (Read error: 104 (Connection reset by peer)). 18:36:30 -!- lindi- has joined. 18:41:37 -!- GregorR___ has quit (Remote closed the connection). 18:42:02 -!- GregorR___ has joined. 18:46:26 -!- GregorR___ has quit (Remote closed the connection). 18:46:51 -!- GregorR___ has joined. 18:47:37 -!- GregorR___ has quit (Remote closed the connection). 18:49:32 -!- GregorR___ has joined. 18:50:30 -!- GregorR___ has quit (Remote closed the connection). 18:52:26 -!- GregorR___ has joined. 18:52:44 I think it will be hard to prove turing-completeness of IRP 18:54:34 How about implementing a Turing-complete language in IRP? 18:54:43 You mean EgoBot? 18:54:56 So I guess that means IRP is only sometimes Turing-complete. 18:55:51 i don't think egobot qualifies as a proof 18:56:02 This nondeterminism could make IRP valuable for implementation of crypto programs. 18:56:04 -!- GregorR___ has quit (Remote closed the connection). 18:56:08 egobot just interprets programs 18:56:16 i don't think you can use an interpreter to prove turing-completeness 18:57:33 Athas: how would nondeterministic cryptography work? 18:59:59 -!- GregorR___ has joined. 19:00:57 -!- GregorR___ has quit (Remote closed the connection). 19:05:45 -!- GregorR___ has joined. 19:13:42 -!- GregorR___ has quit (Remote closed the connection). 19:14:35 -!- GregorR___ has joined. 19:15:31 -!- GregorR___ has quit (Remote closed the connection). 19:15:53 -!- GregorR___ has joined. 20:06:07 ihope_: Dude! You independently invented the tune "CDCECDCFCDCECDCGCDCECDCFCDCECDCACDCECDCFCDCECDCGCDCECDCFCDCECDCB"! 20:06:19 ihope_: That's feaky! 20:06:40 Feaky? 20:07:29 Well, it's not like that's a random sequence. 20:07:44 indeed not 20:09:02 BTW, "0-380-75947-0" looks like an ISBN to me. 20:09:15 oh, wait, that one was answered 20:09:48 Yep. 20:10:23 RFC 1459 should be obvious enough, with a Google search. 20:10:26 i'm not sure if that sequence qualifies as a "tune" 20:10:34 lament: why not? 20:10:43 i don't like it :) 20:10:53 :-) 20:11:59 ihope_: erm, *what* about "RFC 1459"? 20:12:07 What it is. 20:12:49 * SimonRC recalls that there are people in the world who don't know what an RFC is. 20:13:49 But... Google! 20:14:55 1459 is IRC, of course. 20:31:23 Heh, I started something over at #haskell. 20:41:48 indeed you did 21:09:25 -!- sp3tt has quit (niven.freenode.net irc.freenode.net). 21:09:27 -!- tokigun has quit (niven.freenode.net irc.freenode.net). 21:09:51 -!- sp3tt has joined. 21:09:51 -!- tokigun has joined. 21:20:42 -!- GregorR___ has changed nick to GregorR. 21:39:39 Yay, I'm an op at #########! 21:39:40 :-P 21:39:59 ?! 21:42:19 Is that the official channel for ########, or the support channel for #######? 21:43:08 The support channel for #######. 21:43:23 Mmmmmmn 21:44:12 If you ever want to know how ####### works, just pop over there... 21:44:36 Oh wait... five channels. 21:44:40 * ihope_ parts 21:45:04 Three channels: #esoteric, #haskell and #meta-science. 21:46:06 The official channel for #######, by the way, is at ########. 21:46:13 i want to hear CDCECDCF.... 21:46:20 Me too. 21:47:08 Umm? 21:48:39 A note sequence... 21:48:49 Yes, I understood that much. 21:48:52 But what is its significance? 21:49:19 Well, notice that every other note is a C. 21:49:36 Remove those, and every other note's a D. Remove those, and every other note's an E... 21:49:38 And you're making a scale on the off-beats. 21:49:39 Woooooooooooow 21:49:43 Hmmmmmmmmmmmn 21:49:43 OK 21:49:44 I see 21:50:03 I have a digital keyboard sitting next to me :-P 21:50:10 Heh. 21:51:44 CDCECDCFCDCECDCGCDCECDCFCDCECDCACDCECDCFCDCECDCGCDCECDCFCDCECDCBCDCECDCFCDCECDCGCDCECDCFCDCECDCACDCECDCFCDCECDCGCDCECDCFCDCECDC 21:58:30 ah i can hear it! 21:59:31 http://rafb.net/paste/results/cdWQ1q59.html 21:59:35 chipmunkbasic4ever 21:59:57 Chipmunk Basic for MacOS is an old-fashioned Basic interpreter which runs on almost all Macs. 22:00:15 it runs on old 500k macs and on the newest osx macs 22:00:26 but i think there isn't an intel version (yet) 22:02:15 ah there is a typo... 22:04:05 gn8 22:04:14 -!- jix has left (?). 22:54:59 -!- Athas has quit (Remote closed the connection). 23:06:20 -!- CXI has quit (Success). 23:52:53 -!- ihope_ has quit ("Chatzilla 0.9.69.1 [Firefox 1.5.0.1/2006011112]").