00:00:04 -!- timotiis_ has quit ("leaving"). 00:36:41 :cry: http://lucis.net/stuff/clarke/star_clarke.html 00:41:23 -!- vixey has quit (Read error: 104 (Connection reset by peer)). 01:02:25 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 01:02:39 -!- Judofyr has joined. 01:09:44 -!- sebbu has quit ("@+"). 01:12:04 -!- jix has quit ("CommandQ"). 01:17:23 -!- Sgeo has joined. 01:19:54 SimonRC: why cry? 01:20:11 is it DON'T READ THIS THING I PASTED IT WILL BE A WASTE OF TIME cry? 01:22:00 no 01:22:09 it is worth reading 01:22:14 well, I liked it at least 01:24:01 i shall read i then, after my sleepz 01:24:04 night -> 01:29:55 zzzz 03:25:54 -!- atsampso1 has joined. 03:32:43 -!- atsampson has quit (Read error: 110 (Connection timed out)). 04:03:17 http://www.nonlogic.org/dump/images/1206500570-physed.png 04:03:20 ^ new comic! 04:19:11 -!- GreaseMonkey has joined. 04:44:51 ...and no one cares, apparently 04:47:25 :< 04:55:50 -!- Overand has quit (Read error: 104 (Connection reset by peer)). 04:55:53 -!- Overand has joined. 05:22:01 -!- Sgeo has quit (Remote closed the connection). 05:49:30 -!- adu has joined. 06:05:08 -!- GreaseMonkey has quit ("shitgtg"). 06:33:44 -!- RodgerTheGreat has quit. 06:49:06 -!- vixey has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:13:49 -!- Judofyr has quit (Remote closed the connection). 08:13:57 -!- Judofyr has joined. 08:17:12 -!- Judofyr_ has joined. 08:17:12 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 08:17:48 Anyone thar? 09:01:38 -!- adu has quit ("Computer went to sleep"). 09:44:21 -!- olsner has quit ("Leaving"). 10:12:35 I IS 10:12:41 DEAL WITH IT 10:29:33 SimonRC: yeah quite fun 10:29:40 the story 10:51:06 -!- Judofyr_ has quit (Read error: 104 (Connection reset by peer)). 10:51:26 -!- Judofyr has joined. 11:18:29 -!- Judofyr has quit (Remote closed the connection). 11:19:05 -!- Judofyr has joined. 11:28:54 -!- jix has joined. 12:17:40 -!- vixey` has joined. 12:20:04 -!- vixey has quit (Read error: 113 (No route to host)). 12:34:09 Anyone thar? 12:34:11 yes 12:53:10 -!- vixey` has quit (Read error: 104 (Connection reset by peer)). 13:09:19 . 13:21:45 -!- Judofyr has quit (Read error: 104 (Connection reset by peer)). 13:22:21 -!- Judofyr has joined. 13:22:41 -!- puzzlet has quit (Remote closed the connection). 13:22:49 -!- puzzlet has joined. 13:36:42 Is there an actual proof of the jot-CL translation? 13:36:55 The application function doesn't seem very obvious to me 14:33:28 -!- slereah__ has quit (Remote closed the connection). 14:33:44 -!- slereah__ has joined. 14:40:02 -!- RodgerTheGreat has joined. 14:58:03 -!- oklofok has changed nick to oklopol. 15:02:37 -!- RedDak has joined. 15:29:18 -!- slereah_ has joined. 15:30:22 -!- slereah__ has quit (Read error: 104 (Connection reset by peer)). 16:47:53 -!- timotiis has joined. 17:05:44 -!- marshmallows has joined. 17:23:20 -!- Tritonio_ has joined. 18:24:50 -!- RedDak has quit (Remote closed the connection). 18:27:28 -!- Sgeo has joined. 19:20:44 -!- sebbu has joined. 19:22:05 -!- olsner has joined. 19:35:27 -!- RedDak has joined. 20:38:32 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 21:05:36 slereah_, of what? 21:09:19 Jot. 21:09:34 It is proved TC by correspondance with Combinatory Logic 21:09:53 But the function used for application doesn't seem all that obvious to me. 21:16:56 oh, is that Combinatory Logic I hear? 21:17:11 Indeed it is. 21:18:38 hmm, yeah, that's pretty obfuscated 21:19:15 Problem is, Jot doesn't have a priority operator. 21:19:38 So I have no idea how 1 functions as the apply operator in the general case. 21:25:32 [f1] -> \xy -> [f](xy) => [1] -> \xy -> xy 21:25:41 it basically seems to be some kind of prefix notation 21:26:41 The problem I have is, 11100 for k doesn't obviously means that 11110011100 will translate to `kk 21:26:54 it doesn't? 21:27:05 Well, it does apparently 21:27:21 But it doesn't come up as obvious to me. 21:27:23 you mean, it's not obvious *to you*? :P 21:27:31 Exactly. 21:27:35 eh, so you said at the same time 21:27:37 :P 21:28:59 The problem is that the meaning of a string depends on what's before it. 21:33:12 what? 21:33:21 isn't jot's notation just the unlambda notation 21:33:55 that's iota 21:34:18 ...aren't both? 21:34:25 isn't it all unlambda 21:34:30 i have to check now 21:34:30 lofl 21:34:32 Nah. 21:34:39 unlambda is [`ski] 21:34:41 Jot doesn't have an apply operator 21:35:43 umm, isn't jot the exact same as iota? 21:36:26 jot's 1 doesn't actually have a meani 21:36:27 ng? 21:36:45 i was assuming it's the combinator from iota, but here just represented with binary 21:36:45 Empty string is i 21:36:56 well yes, of course 21:37:14 F 1 is ^xy.F(xy) 21:37:14 or not of course 21:37:23 F 0 is FSK 21:37:59 F 1, where F is the beginning of the program? 21:38:03 It's easy enough to build S and K from the empty string, but I'm not sure what happens in the general case, since it always depends on what's before 21:38:04 Yes. 23:23:10 -!- RedDak has quit (Remote closed the connection). 23:25:40 * SimonRC goes to bed 23:28:03 -!- jix has quit ("CommandQ").