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