00:12:55 -!- int-e has joined.
00:15:50 <ihope> Hit any key to continue.
00:15:51 <ihope> http://www.columbia.edu/~sss31/graphics/car-hitanykey.jpg
00:16:50 <int-e> "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 <ihope> RuneScape is like Programm Quest where you have to pay attention.
02:14:27 <ihope> 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 <GregorR> 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:20:29 <GregorR> 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 <Athas> Please calculate and print the sum of 2 and 5.
18:22:05 <ihope_> As you can see, IRP works, but very, very slowly.
18:22:23 <Athas> 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 <lament> I think it will be hard to prove turing-completeness of IRP
18:54:34 <Athas> How about implementing a Turing-complete language in IRP?
18:54:56 <ihope_> So I guess that means IRP is only sometimes Turing-complete.
18:55:51 <lament> i don't think egobot qualifies as a proof
18:56:02 <Athas> This nondeterminism could make IRP valuable for implementation of crypto programs.
18:56:04 -!- GregorR___ has quit (Remote closed the connection).
18:56:08 <lament> egobot just interprets programs
18:56:16 <lament> i don't think you can use an interpreter to prove turing-completeness
18:57:33 <ihope_> 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 <SimonRC> ihope_: Dude! You independently invented the tune "CDCECDCFCDCECDCGCDCECDCFCDCECDCACDCECDCFCDCECDCGCDCECDCFCDCECDCB"!
20:07:29 <ihope_> Well, it's not like that's a random sequence.
20:09:02 <SimonRC> BTW, "0-380-75947-0" looks like an ISBN to me.
20:09:15 <SimonRC> oh, wait, that one was answered
20:10:23 <ihope_> RFC 1459 should be obvious enough, with a Google search.
20:10:26 <lament> i'm not sure if that sequence qualifies as a "tune"
20:11:59 <SimonRC> ihope_: erm, *what* about "RFC 1459"?
20:12:49 * SimonRC recalls that there are people in the world who don't know what an RFC is.
20:31:23 <ihope_> Heh, I started something over at #haskell.
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 <ihope_> Yay, I'm an op at #########!
21:42:19 <GregorR> Is that the official channel for ########, or the support channel for #######?
21:43:08 <ihope_> The support channel for #######.
21:44:12 <ihope_> If you ever want to know how ####### works, just pop over there...
21:44:36 <ihope_> Oh wait... five channels.
21:45:04 <ihope_> Three channels: #esoteric, #haskell and #meta-science.
21:46:06 <ihope_> The official channel for #######, by the way, is at ########.
21:46:13 <jix> i want to hear CDCECDCF....
21:48:49 <GregorR> Yes, I understood that much.
21:48:52 <GregorR> But what is its significance?
21:49:19 <ihope_> Well, notice that every other note is a C.
21:49:36 <ihope_> Remove those, and every other note's a D. Remove those, and every other note's an E...
21:49:38 <GregorR> And you're making a scale on the off-beats.
21:50:03 <GregorR> I have a digital keyboard sitting next to me :-P
21:51:44 <GregorR> CDCECDCFCDCECDCGCDCECDCFCDCECDCACDCECDCFCDCECDCGCDCECDCFCDCECDCBCDCECDCFCDCECDCGCDCECDCFCDCECDCACDCECDCFCDCECDCGCDCECDCFCDCECDC
21:58:30 <jix> ah i can hear it!
21:59:31 <jix> http://rafb.net/paste/results/cdWQ1q59.html
21:59:35 <jix> chipmunkbasic4ever
21:59:57 <jix> Chipmunk Basic for MacOS is an old-fashioned Basic interpreter which runs on almost all Macs.
22:00:15 <jix> it runs on old 500k macs and on the newest osx macs
22:00:26 <jix> but i think there isn't an intel version (yet)
22:02:15 <jix> ah there is a typo...
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]").