00:00:04 -!- timotiis_ has quit ("leaving").
00:36:41 <SimonRC> :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:20:11 <oklofok> is it DON'T READ THIS THING I PASTED IT WILL BE A WASTE OF TIME cry?
01:24:01 <oklofok> i shall read i then, after my sleepz
03:25:54 -!- atsampso1 has joined.
03:32:43 -!- atsampson has quit (Read error: 110 (Connection timed out)).
04:03:17 <RodgerTheGreat> http://www.nonlogic.org/dump/images/1206500570-physed.png
04:19:11 -!- GreaseMonkey has joined.
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)).
09:01:38 -!- adu has quit ("Computer went to sleep").
09:44:21 -!- olsner has quit ("Leaving").
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:53:10 -!- vixey` has quit (Read error: 104 (Connection reset by peer)).
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 <slereah__> Is there an actual proof of the jot-CL translation?
13:36:55 <slereah__> 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:09:34 <slereah_> It is proved TC by correspondance with Combinatory Logic
21:09:53 <slereah_> But the function used for application doesn't seem all that obvious to me.
21:16:56 <olsner> oh, is that Combinatory Logic I hear?
21:18:38 <olsner> hmm, yeah, that's pretty obfuscated
21:19:15 <slereah_> Problem is, Jot doesn't have a priority operator.
21:19:38 <slereah_> So I have no idea how 1 functions as the apply operator in the general case.
21:25:32 <olsner> [f1] -> \xy -> [f](xy) => [1] -> \xy -> xy
21:25:41 <olsner> it basically seems to be some kind of prefix notation
21:26:41 <slereah_> The problem I have is, 11100 for k doesn't obviously means that 11110011100 will translate to `kk
21:27:21 <slereah_> But it doesn't come up as obvious to me.
21:27:23 <olsner> you mean, it's not obvious *to you*? :P
21:27:35 <olsner> eh, so you said at the same time
21:28:59 <slereah_> The problem is that the meaning of a string depends on what's before it.
21:33:21 <oklopol> isn't jot's notation just the unlambda notation
21:34:41 <slereah_> Jot doesn't have an apply operator
21:35:43 <oklopol> umm, isn't jot the exact same as iota?
21:36:26 <oklopol> jot's 1 doesn't actually have a meani
21:36:45 <oklopol> i was assuming it's the combinator from iota, but here just represented with binary
21:37:59 <oklopol> F 1, where F is the beginning of the program?
21:38:03 <slereah_> 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
23:23:10 -!- RedDak has quit (Remote closed the connection).
23:28:03 -!- jix has quit ("CommandQ").