01:16:05 -!- Slereah- has joined. 01:32:51 -!- Slereah has quit (Read error: 110 (Connection timed out)). 05:18:53 -!- oerjan has joined. 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:54:18 -!- sebbu2 has joined. 09:08:08 -!- sebbu3 has joined. 09:11:43 -!- RedDak has joined. 09:13:11 -!- Slereah has joined. 09:16:21 -!- sebbu has quit (Read error: 110 (Connection timed out)). 09:20:24 -!- RedDak has quit (Remote closed the connection). 09:24:44 -!- sebbu2 has quit (Read error: 110 (Connection timed out)). 09:31:03 -!- Slereah- has quit (Read error: 110 (Connection timed out)). 09:59:14 -!- RedDak has joined. 09:59:56 -!- sebbu3 has changed nick to sebbu. 10:03:25 -!- RedDak has quit (Remote closed the connection). 10:23:43 -!- puzzlet has quit (Remote closed the connection). 10:23:50 -!- puzzlet has joined. 10:30:21 -!- oerjan has quit ("Lunch"). 11:15:45 -!- jix has joined. 11:42:57 -!- jix has quit ("CommandQ"). 12:11:22 -!- puzzlet has quit (Remote closed the connection). 12:11:30 -!- puzzlet has joined. 12:31:41 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)). 12:32:45 -!- puzzlet has joined. 15:49:40 -!- sebbu has quit (Connection timed out). 15:55:09 -!- sebbu has joined. 16:11:41 -!- sebbu has quit (Read error: 60 (Operation timed out)). 16:21:31 -!- sebbu has joined. 17:01:17 -!- sebbu2 has joined. 17:07:35 -!- oerjan has joined. 17:10:38 -!- sebbu has quit (Connection timed out). 17:10:39 -!- sebbu2 has changed nick to sebbu. 17:23:11 -!- SimonRC has joined. 18:14:25 -!- Sgeo has joined. 19:01:30 -!- puzzlet_ has joined. 19:11:41 -!- puzzlet has quit (Connection timed out). 19:18:33 -!- Slereah- has joined. 19:36:31 -!- Slereah has quit (Read error: 110 (Connection timed out)). 20:09:19 [b[cr:PeRIPeRIP0RIRIP0LELE:o]|o[1:RIPxLELELE:o;0::q]|q[0:RIRI:q;1:RIRI:q;#:P1LE:p]|p[x:ERRI:q;e:RI:f;#:LELE:p]|f[#:P0LELE:o;cr:RIRI:f]][0=#;ims=b;d30;etTecF;t1] 20:09:22 Yes! 20:12:20 :-O 20:21:24 -!- jix has joined. 20:27:18 It can do the second example of Turing paper. 20:27:24 The one I was unable to do by hand! 20:27:31 I can now continue reading that paper! 20:58:04 -!- jix has quit (Nick collision from services.). 20:58:14 -!- jix has joined. 21:37:45 -!- oerjan has quit ("Good night"). 21:44:40 * SimonRC tries to remember what cyberpunk books were recommended to him here recently... 21:45:28 Slereah-: nice syntax 21:45:32 what is it for? 21:46:31 duh duh dee cee 21:50:08 ??? 21:56:09 ? 21:56:14 "???"? 22:00:13 bsmntbombdood: what is "duh duh dee cee"? 22:01:40 duh, it's dee cee... 22:01:51 don't you know bsmntbombdood at all :\ 22:03:19 * SimonRC buys House of Leaves 22:03:44 The only book that is so crazy its proper spelling includes a colour change 22:04:25 i hear it owns ass 22:04:32 I shall find out 22:04:32 heard from my good friend wikipedia 22:04:42 last time someone mentioned it here 22:04:47 prolly you or lament 22:05:05 According to a ceratin troll I know, The cover isn't big enough for the pages inside it 22:05:12 and the typesetting is just nuts 22:05:13 i have no idea where lament was on the list of possible mentioners, in case he wasn't it :) 22:05:20 *why lament.. 22:06:37 SimonRC : It's my Turing machine. 22:06:56 ok 22:07:40 Does Lazy K only output combinators? 22:09:02 does lazy k output? 22:09:34 I think. 22:09:43 I'm habing a hard time using it. 22:12:10 haha you b'd instead of v'ing :) 22:12:21 My keyboard has a cold. 22:12:22 b'ing is like being, but without the e 22:12:53 and i don't mean that literally 22:12:57 i'm *deep*, you see 22:13:13 also tired, doesn't show, right? thought so, definately not 22:13:15 definitely 22:18:50 Meh. My FTP account doesn't work. 22:26:02 SimonRC : http://paste-it.net/5432/raw/ 22:26:04 Thusly. 22:26:32 That's the big reason why I wrote that Turing machine. I couldn't do it by hand. 22:27:13 what does it do? 22:27:30 It's just a program in the Turing paper. 22:27:43 It prints 0010110111011110111110111111 ... 22:28:14 The 010101010101... program was easy to do by hand, but not this one. 22:29:56 sum(1..Inf\{"1"*_+"0" 22:31:05 writing an interpreter in python without using python's recursion when recursing is hard... 22:31:44 well, not as such, i guess i just cornered myself with my approach 22:32:45 What are you writing? 22:33:14 a simple interpreter for osl 22:33:16 oklotalk stack langauge 22:33:18 *languages 22:33:21 *language 22:34:49 the problem is, i need the built-in "+", when applied to a number, to first convert the second argument to a number, if it's not a built-in ...and by built-ins i mean primitives xD... the problem is, i can't do that from inside the code of the operator, since i'd need recursion 22:35:21 so... i need to put the conversion operator on the stack... and + will be called again, right after the conversion... i just feel that's ugly 22:35:52 bad explanation, but i don't think anyone is that interested anyway 22:41:43 oklopol: why can't you recurse? 22:43:01 It's the law. 22:43:07 my python does not support tail recursion 22:43:29 i think it's a bit ironical considering the naim 22:43:30 ... 22:43:32 naim? :) 22:43:55 NOM NOM NOM 22:51:53 well 22:52:28 If you create a version of Python that supports tail recursion, it is mandatory to call it "Oroborous" 22:52:34 or however one spells it 22:54:18 ouroboros 22:54:22 and there is one 22:54:23 -!- ihope has joined. 22:54:29 i don't think that's its name 22:54:53 curses 22:54:59 or poss 22:55:08 ibly libpycurses 22:57:44 * oklopol curses too 22:59:26 * ihope waits for something to happen in B Nomic 22:59:56 If I want a function to return n values, do I just do a1, a2, a3, ..., an = funct(x, y, z)? 23:00:03 i prefer the Heterosexual Nomic 23:00:12 * oklopol is sooo puny. 23:00:34 Slereah-: python?= 23:00:35 then yes 23:00:37 Yessssss 23:01:12 I'm trying to shorten mah machine. 23:01:29 It's full of shit because I didn't use functions. 23:02:02 I think the code to move the tape around appears four time. 23:02:04 Heterosexual Nomic? 23:03:22 b has a homonym with a sexual meaning 23:03:28 errr 23:03:36 actually, not exactly a homonym :) 23:03:52 A gaynym. 23:03:52 File "C:/Documents and Settings/Lereah/Mes documents/turingprog10.py", line 264, in 23:03:53 t[tape], bande[tape]=movehead("RI", bande[tape], t[tape], disptape, k, char0) 23:03:53 TypeError: 'int' object is not iterable 23:03:53 but, a definite connection 23:04:08 Halp! 23:04:09 you're returning an int, and trying to put it in multiple thingies. 23:04:20 pattern matching int -> tuple 23:04:29 that simply cannot be done! 23:04:36 indeed 23:04:43 There's just two returns. 23:04:46 head, and tape. 23:04:47 kay 23:04:56 two returns? 23:04:58 Head is a number, tape is not. 23:05:09 return head,tape =? 23:05:14 Ah, I see. 23:05:17 I did return head 23:05:20 Return tape 23:05:25 guessed so 23:05:53 3rd error i've fixed today without seeing code :) 23:06:18 Hope this work. It's hard to try many different codes with that shitty syntax. 23:07:26 shitty syntax? 23:09:24 http://membres.lycos.fr/bewulf/Russell/99Turingprog5.txt 23:09:53 Hm. Apparently, it works. But I could probably type faster than this. 23:10:14 you appear to have thing called e-acute 23:10:18 and degree-sign 23:10:22 argh 23:10:31 They're not part of the syntax. 23:10:40 I just needed a lot of markers. 23:10:44 indeed 23:10:48 I guessed that 23:12:22 Shit. Even my old version doesn't work anymore. 23:12:26 What the fuck did I do. 23:13:50 Oh. Just forgot to comment out something. 23:14:15 So the lesser mystery is : how come using a function made that program ten times slower? 23:14:47 -!- RedDak has joined. 23:15:57 I feel it has something to do with that copy of the tape, who's already ridiculously huge. 23:16:44 I should leave that out of the function. 23:21:25 Yes, yes it was 23:21:41 Infinite tapes are long to copy. 23:28:54 -!- ihope has quit ("CGI:IRC"). 23:28:58 -!- jix has quit ("CommandQ"). 23:29:38 -!- ihope has joined. 23:30:10 This isn't working all that well. 23:30:39 -!- ihope has quit (Client Quit). 23:32:04 -!- ihope has joined. 23:32:07 Well, I scraped 20 lines. 23:32:11 Enough of that. 23:32:14 And it seems to still work. 23:52:39 -!- RedDak has quit (Remote closed the connection).