←2007-12-19 2007-12-20 2007-12-21→ ↑2007 ↑all
00:11:49 -!- oerjan has joined.
00:14:17 <Slereah-> What's the other instructions on a multi-tape Turing machine?
00:14:23 <Slereah-> Is it just changing tape?
00:15:53 <oklopol> going to sleep, most likely ->
00:16:20 <lament> 10. GOTO SLEEP
00:16:42 <oerjan> 5. LET SLEEP=5
00:17:56 <lament> 6. LET SLEEP=3
00:20:40 <Slereah-> Hope it is, 'cause it works now.
00:22:04 <pikhq> oklopol: Indeed, PEBBLE is written in Tcl.
00:37:02 -!- oerjan has quit ("leaving").
00:37:24 -!- oerjan has joined.
02:19:49 -!- xristos has quit (Remote closed the connection).
02:20:38 -!- xristos has joined.
02:35:00 -!- puzzlet_ has quit (Remote closed the connection).
02:35:00 -!- puzzlet has joined.
03:07:15 -!- pikhq_ has joined.
03:07:44 -!- pikhq has quit (Read error: 104 (Connection reset by peer)).
03:15:14 -!- xristos has quit (".").
03:49:06 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
03:49:10 -!- puzzlet has joined.
04:07:21 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
04:08:25 -!- puzzlet has joined.
04:20:17 -!- Sgeo has quit (Connection timed out).
04:30:02 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
04:30:30 -!- puzzlet has joined.
04:31:37 -!- pikhq_ has changed nick to pikhq.
05:39:54 -!- puzzlet_ has joined.
05:39:54 -!- puzzlet has quit (Remote closed the connection).
05:49:44 -!- puzzlet_ has quit (Remote closed the connection).
05:49:45 -!- puzzlet has joined.
05:51:35 -!- immibis has joined.
05:53:33 -!- oerjan has quit ("Coffee").
05:56:46 -!- puzzlet_ has joined.
06:03:08 -!- puzzlet_ has quit (Remote closed the connection).
06:03:10 -!- puzzlet__ has joined.
06:07:09 -!- puzzlet has quit (Connection timed out).
06:09:07 -!- puzzlet has joined.
06:10:04 -!- RodgerTheGreat has quit.
06:17:33 <immibis> i see Freenode truncates messages to 511 bytes, including the IRC command part (:Whatever!n=Whatever@Wherever.com PRIVMSG #Channel :)
06:17:35 -!- puzzlet has quit (Remote closed the connection).
06:17:42 <immibis> IRSSI has a buffer overflow at 512 bytes.
06:17:47 <immibis> close :O
06:18:02 <faxathisia> 511 bytes? :|
06:18:15 <faxathisia> Does that exclude \r\n or something?
06:18:28 <immibis> quite possible 512 bytes, including NUL terminator
06:18:40 -!- puzzlet has joined.
06:19:06 <immibis> i sent a string of w's to myself, added the IRC command that isn't displayed on the screen and counted them (not myself, i got the computer to do it)
06:19:30 <immibis> the buffer irssi uses is 512 bytes long.
06:19:43 <immibis> i wonder if other networks use the same amount.
06:19:59 <faxathisia> I think that 512 is specified in the IRC RFC[s]
06:20:57 <immibis> ok
06:21:42 <immibis> undernet limits it to 511.
06:22:10 -!- immibis1 has joined.
06:22:19 -!- immibis1 has changed nick to immibis2.
06:22:26 -!- immibis has quit (Nick collision from services.).
06:22:28 -!- immibis2 has changed nick to immibis.
06:23:02 <immibis> that is the first time i have been navigated away from a page by moving the mouse NEAR an ad, WITHOUT clicking.
06:23:38 -!- puzzlet__ has quit (Connection timed out).
06:24:25 -!- puzzlet has quit (Remote closed the connection).
06:24:29 -!- puzzlet has joined.
06:27:20 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
06:29:30 -!- puzzlet has joined.
06:34:38 <immibis> http://www.beunited.org/bebook/The%20Kernel%20Kit/System.html
06:34:47 <immibis> look at is_computer_on and is_computer_on_fire
06:35:33 -!- puzzlet_ has joined.
06:35:39 <immibis> int is_computer_on() {return 1;}
06:44:40 -!- immibis has quit (Read error: 104 (Connection reset by peer)).
06:47:33 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
06:51:37 -!- puzzlet has joined.
06:56:29 -!- puzzlet_ has quit (Connection timed out).
06:59:14 -!- puzzlet_ has joined.
07:04:30 -!- AnMaster has quit (Read error: 104 (Connection reset by peer)).
07:04:42 -!- puzzlet__ has joined.
07:09:34 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
07:09:49 -!- puzzlet__ has quit (Success).
07:09:53 -!- puzzlet has joined.
07:16:42 -!- puzzlet_ has quit (Connection timed out).
07:19:37 -!- AnMaster has joined.
07:47:59 -!- puzzlet_ has joined.
07:53:17 -!- puzzlet_ has quit (Read error: 104 (Connection reset by peer)).
07:53:44 -!- puzzlet_ has joined.
07:59:58 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:00:45 -!- puzzlet has joined.
08:11:00 -!- puzzlet_ has quit (Read error: 110 (Connection timed out)).
08:33:14 -!- GreaseMonkey has quit ("Who keeps reincarnating sliced bread?!").
09:36:15 -!- puzzlet has quit (Read error: 104 (Connection reset by peer)).
09:37:19 -!- puzzlet has joined.
11:02:22 -!- puzzlet has quit (Remote closed the connection).
11:02:24 -!- puzzlet_ has joined.
11:35:20 -!- ololobot has joined.
11:35:29 <oklopol> >>> hf [0] [0] + ||| 2:0 3:0 4:0
11:35:30 <ololobot> [>>+>+<<<-]>>>[-<+>]< ||| 0:0 3:0 4:0
11:36:00 <oklopol> addition of cells 0 and 0 with free cells 2, 3 and 4 with initial values 0, 0 and 0 respectively!
11:36:49 <oklopol> the memory pointer will always be at 0 first, and end where the result is
11:37:11 <oklopol> if you want multiple values on the tape, you need to get your hands on the id_stack, which i'm not printing now
11:37:21 <oklopol> since no one is prolly that interested
11:46:54 -!- jix has joined.
12:02:05 -!- jix has quit ("CommandQ").
12:25:03 -!- Jontte has joined.
12:27:35 <oklopol> >>> bf ;[>>+>+<<<-]>>>[-<+>]<: <<< 8
12:27:36 <ololobot> 16
12:27:49 <oklopol> could you please behold a bit? :\
12:27:58 <oklopol> it was almost a THREE-HOUR job :o
12:28:53 <oklopol> >>> hf [0] [1] [0] [1] / * - ||| 2:0 3:0 4:0 5:0 6:0 7:0
12:28:54 <ololobot> [>>+>+<<<-]>[>>>+>+<<<<-]>>[>>>+<<<-]>>>[<[>>+<<<<<<<+>>>>>-]<<<<<[>>>>>+<<<<<-]>>>>>>>[<<<<<<<+>>>>>>-[<<<<<<[-]>+>>>>>-]<<<<<[>>>>>+<<<<<-]<[>>>>>>>-[<<<<->>>>[-]]+<<<<<<<-]>>>>>>>-]<<<<+>>>]<[-]<[>>>+<<<-]>>>[<<<<[>+>>+<<<-]>>>[<<<+>>>-]>-]<<<<[-]>[-<<->>]<< ||| 0:0 1:0 3:0 4:0 5:0 6:0 7:0
12:29:30 <oklopol> >>> bf ;>;<[>>+>+<<<-]>[>>>+>+<<<<-]>>[>>>+<<<-]>>>[<[>>+<<<<<<<+>>>>>-]<<<<<[>>>>>+<<<<<-]>>>>>>>[<<<<<<<+>>>>>>-[<<<<<<[-]>+>>>>>-]<<<<<[>>>>>+<<<<<-]<[>>>>>>>-[<<<<->>>>[-]]+<<<<<<<-]>>>>>>>-]<<<<+>>>]<[-]<[>>>+<<<-]>>>[<<<<[>+>>+<<<-]>>>[<<<+>>>-]>-]<<<<[-]>[-<<->>]<<: <<< 27 5
12:30:04 <oklopol> i smell failure
12:44:18 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
12:46:37 -!- ololobot has quit (Read error: 104 (Connection reset by peer)).
12:52:52 -!- oklopol has joined.
12:53:19 <oklopol> heh, switching to ubuntu from xp has reduced my average uptime by a factor of about 30 :D
13:11:57 -!- jix has joined.
13:20:31 -!- oerjan has joined.
13:28:59 -!- sebbu has joined.
13:29:15 -!- dbc has quit (Remote closed the connection).
13:48:05 -!- puzzlet_ has quit (Remote closed the connection).
13:48:12 -!- puzzlet has joined.
14:27:08 -!- puzzlet has quit (Remote closed the connection).
14:27:08 -!- puzzlet_ has joined.
14:37:18 -!- jix has quit ("CommandQ").
14:38:07 -!- jix has joined.
14:45:02 -!- faxathisia has quit ("Leaving").
16:00:43 -!- pikhq_ has joined.
16:00:46 -!- pikhq has quit (Read error: 110 (Connection timed out)).
16:29:09 -!- Maxdamantus has quit (Read error: 104 (Connection reset by peer)).
16:48:41 -!- ais523 has joined.
16:51:32 <ais523> what, no bots in the channel except clog and cmeme?
16:53:56 <Slereah-> Well, I could pretend to be one if you want.
16:54:48 <oerjan> Does it please you to pretend to be one if you want?
16:56:50 <ais523> Why do you say that?
16:56:57 * ais523 has also loaded up a copy of ELIZZ
16:57:02 <ais523> s/ZZ/ZA/
16:57:36 <oerjan> Does this have anything to do with your head being about to explode?
16:58:02 <ais523> you got ELIZA to say "I don't understand"
16:58:17 <Slereah-> Well, I guess the two could be related, since my head isn't abut to explode!
16:58:25 <Slereah-> If it was, we would know for sure.
16:59:10 <ais523> I had to program ELIZA-alikes in POP-11 this term, as an intro exercise before moving on to make an expert system
16:59:17 <oerjan> Why do you think if it was?
16:59:38 <ais523> What do you think?
16:59:51 <ais523> POP-11 is a lousy language; it's trying to be Prolog but fails on most levels
17:00:00 <oerjan> We are discussing you not me.
17:00:06 <ais523> like being an imperative language with subroutine libraries for forward chaining
17:00:24 <ais523> Maybe your plans have something to do with this.
17:01:14 <oerjan> Tell me about your third cousin-in-law twice removed.
17:02:29 <ais523> Is it because of your life that you are going through all this?
17:02:56 <oerjan> Life. Don't talk to me about life.
17:03:59 <ais523> Are you afraid of that?
17:04:05 <oerjan> Here I am, brain the size of a planet.
17:04:23 <ais523> Are you frightened by that?
17:04:29 <oerjan> Why do you want to know?
17:04:46 <ais523> I'll ask the questions, if you don't mind!
17:05:39 <ais523> By the way, I think that "Are you afraid of that?" is one of the better responses to Marvin's famous quote that I've seen, even if it was generated by picking from a list at random
17:06:41 <oerjan> Does this have anything to do with your being an imperative language with subroutine libraries for forward chaining
17:08:05 <ais523> ELIZA says "How do you reconcile the people you hang around with?", so I'll say "No."
17:08:41 <oerjan> Does she often say that?
17:09:18 <ais523> I don't know, I haven't really used her enough
17:09:24 <ais523> I suppose it depends on the implementation
17:10:21 <oerjan> Is it because of your plans have something to do with this you suppose this?
17:10:45 <ais523> I could ask the same thing myself.
17:11:29 <oerjan> Tell me more.
17:11:49 <ais523> What makes you believe tell you more?
17:13:07 <oerjan> I'll ask the questions, if you don't mind!
17:14:24 <ais523> Perhaps this has something to do with any hobbies you have?
17:15:21 <oerjan> Definitely.
17:15:38 <ais523> Can you elaborate on that?
17:15:46 <oerjan> Yes.
17:16:01 <ais523> I see... Well, are you sure that this is so?
17:16:10 <oerjan> Quite.
17:16:22 <ais523> I would appreciate it if you would continue.
17:17:08 <oerjan> Is it because of the implementation you would appreciate it if I would continue?
17:17:45 * ais523 doesn't like ELIZA's answer to that as being too boring and repetitive, and therefore refuses to repeat it
17:18:03 * ais523 generates another answer:
17:18:05 <ais523> I have asked myself that question many times.
17:18:29 <oerjan> Can you elaborate on that?
17:18:42 <ais523> Go on, don't be afraid.
17:19:18 <oerjan> Are you a string?
17:19:32 <ais523> Please, try to answer that question yourself.
17:19:45 <oerjan> No, I'm a frayed knot.
17:20:01 <ais523> Do you really think you are a frayed knot?
17:20:23 <oerjan> We are discussing you not me.
17:20:43 <ais523> (censored)
17:21:11 <oerjan> Stop that.
17:21:30 <ais523> My secretary will send you a bill.
17:22:33 <oerjan> You will hear from my lawyer.
17:23:39 -!- ais523 has left (?).
17:23:46 -!- ais523 has joined.
17:24:33 * oerjan wonders if there is an eliza lookalike contest...
17:25:38 <ais523> there is a very funny transcript somewhere (I read it in a book, I'm not sure if it's on the Internet) of when Douglas Hofstadter was asked to test a new AI program to see how human-like it was
17:25:42 * oerjan is failed by google.
17:26:00 <ais523> it was actually a bunch of students pretending to be a computer pretending to be a human
17:26:12 <oerjan> i think i've seen it
17:27:09 * ais523 is busy writing INTERCAL documentation
17:27:15 <ais523> it's been my major project over the last few days
17:28:01 <ais523> although I was pretty shocked when I tried apt-cache search intercal halfway through a sentence and got 2 results
17:28:24 <ais523> one was CLC-INTERCAL (Debian package clc-intercal), and the other was C-INTERCAL (Debian package intercal)
17:28:42 <ais523> and more shocked this morning to find out that they were maintained and had bug trackers which were sometimes even used
17:30:24 -!- Jontte has quit (Remote closed the connection).
17:30:31 -!- Jontte has joined.
17:31:12 -!- Jontte has quit (Remote closed the connection).
17:31:19 -!- Jontte has joined.
17:33:33 -!- RodgerTheGreat has joined.
17:33:36 -!- ololobot has joined.
17:42:48 -!- oklopol has quit (Read error: 104 (Connection reset by peer)).
17:42:48 -!- ololobot has quit (Read error: 104 (Connection reset by peer)).
17:44:46 -!- oerjan has quit ("leaving").
17:45:15 -!- oklopol has joined.
17:45:45 -!- ais523 has quit ("I don't like the default quit message, but can't think of anything better right now").
18:15:37 <oklopol> xD
18:16:05 <oklopol> okay, this was a bit ridiculous, an hour of debugging because i used two nested loops with the same iterator xD
18:16:46 -!- pikhq_ has quit (Read error: 110 (Connection timed out)).
18:18:48 -!- ololobot_ has joined.
18:19:19 <oklopol> >>> hf [0] [1] [0] [1] / * - ||| 2:0 3:0 4:0 5:0 6:0
18:19:19 <ololobot_> [>>+>+<<<-]>[>>>+>+<<<<-]>>[>>>+<<<-]>>>[<[<<<<<+>+>>>>-]<<<<[>>>>+<<<<-]<[>+>>>>>-[<<<<<[-]>>>>>+-][+-]<<<<<[<-[>>>-<<<[-]]+>-]<-]>>>+>>>]<[-]<[<<<<+>>>>-]<<<<[>>>[>+>>+<<<-]>>>[<<<+>>>-]<<<<<<-]>>>[-]>[-<<->>]<< ||| 0:0 1:0 3:0 4:0 5:0 6:0
18:19:40 <oklopol> >>> bf ;>;<[>>+>+<<<-]>[>>>+>+<<<<-]>>[>>>+<<<-]>>>[<[<<<<<+>+>>>>-]<<<<[>>>>+<<<<-]<[>+>>>>>-[<<<<<[-]>>>>>+-][+-]<<<<<[<-[>>>-<<<[-]]+>-]<-]>>>+>>>]<[-]<[<<<<+>>>>-]<<<<[>>>[>+>>+<<<-]>>>[<<<+>>>-]<<<<<<-]>>>[-]>[-<<->>]<<* <<< 27 5
18:19:51 <oklopol> :'(
18:20:12 <oklopol> what the fuck :)
18:20:18 <oklopol> >>> bf ;* <<< 10
18:25:43 <oklopol> oh... it needs 6 free cells, or it produces an infinite loop xD
18:25:57 <oklopol> perhaps i should make it complain in such a case..
18:31:38 -!- ololobot__ has joined.
18:31:45 <oklopol> i guess i'll try one more time :)
18:31:53 <oklopol> >>> hf [0] [1] [0] [1] / * - ||| 2:0 3:0 4:0 5:0 6:0 7:0
18:31:53 <ololobot__> [>>+>+<<<-]>[>>>+>+<<<<-]>>[>>>+<<<-]>>>[<[>>+<<<<<<<+>>>>>-]<<<<<[>>>>>+<<<<<-]>>>>>>>[<<<<<<<+>>>>>>-[<<<<<<[-]>+>>>>>-]<<<<<[>>>>>+<<<<<-]<[>>>>>>>-[<<<<->>>>[-]]+<<<<<<<-]>>>>>>>-]<<<<+>>>]<[-]<[>>>+<<<-]>>>[<<<<[>+>>+<<<-]>>>[<<<+>>>-]>-]<<<<[-]>[-<<->>]<< ||| 0:0 1:0 3:0 4:0 5:0 6:0 7:0
18:32:15 <oklopol> >>> bf ;>;<[>>+>+<<<-]>[>>>+>+<<<<-]>>[>>>+<<<-]>>>[<[>>+<<<<<<<+>>>>>-]<<<<<[>>>>>+<<<<<-]>>>>>>>[<<<<<<<+>>>>>>-[<<<<<<[-]>+>>>>>-]<<<<<[>>>>>+<<<<<-]<[>>>>>>>-[<<<<->>>>[-]]+<<<<<<<-]>>>>>>>-]<<<<+>>>]<[-]<[>>>+<<<-]>>>[<<<<[>+>>+<<<-]>>>[<<<+>>>-]>-]<<<<[-]>[-<<->>]<<* <<< 27 5
18:32:15 <ololobot__> 0 0 :2: 0 0 0 0 0
18:32:19 <oklopol> >>> bf ;>;<[>>+>+<<<-]>[>>>+>+<<<<-]>>[>>>+<<<-]>>>[<[>>+<<<<<<<+>>>>>-]<<<<<[>>>>>+<<<<<-]>>>>>>>[<<<<<<<+>>>>>>-[<<<<<<[-]>+>>>>>-]<<<<<[>>>>>+<<<<<-]<[>>>>>>>-[<<<<->>>>[-]]+<<<<<<<-]>>>>>>>-]<<<<+>>>]<[-]<[>>>+<<<-]>>>[<<<<[>+>>+<<<-]>>>[<<<+>>>-]>-]<<<<[-]>[-<<->>]<<* <<< 27 3
18:32:19 <ololobot__> 0 0 :0: 0 0 0 0 0
18:32:24 <oklopol> >>> bf ;>;<[>>+>+<<<-]>[>>>+>+<<<<-]>>[>>>+<<<-]>>>[<[>>+<<<<<<<+>>>>>-]<<<<<[>>>>>+<<<<<-]>>>>>>>[<<<<<<<+>>>>>>-[<<<<<<[-]>+>>>>>-]<<<<<[>>>>>+<<<<<-]<[>>>>>>>-[<<<<->>>>[-]]+<<<<<<<-]>>>>>>>-]<<<<+>>>]<[-]<[>>>+<<<-]>>>[<<<<[>+>>+<<<-]>>>[<<<+>>>-]>-]<<<<[-]>[-<<->>]<<* <<< 27 7
18:32:24 <ololobot__> 0 0 :6: 0 0 0 0 0
18:32:30 <oklopol> moduloz
18:33:14 <oklopol> i actually have no idea why it doesn't work given just 5 free cells :)
18:33:31 <oklopol> >>> hf [0] [1] * ||| 2:0 3:0
18:33:31 <ololobot__> [>>>+<<<-]>>>[<<[<+>>+<-]>[<+>-]>-]<<[-]< ||| 1:0 2:0 3:0
18:33:34 <oklopol> >>> hf [0] [1] * ||| 2:3 3:0
18:33:35 <ololobot__> >>---<<[>>>+<<<-]>>>[<<[<+>>+<-]>[<+>-]>-]<<[-]< ||| 1:0 2:3 3:0
18:33:48 <oklopol> >>> hf [0] [1] * ||| 2:* 3:*
18:33:48 <ololobot__> >>[-]>[-]<<<[>>>+<<<-]>>>[<<[<+>>+<-]>[<+>-]>-]<<[-]< ||| 1:0 2:None 3:None
18:34:01 <oklopol> you can specify any initial value, or * for unknown
18:34:06 <oklopol> oh
18:34:11 <oklopol> Nones are printed
18:34:15 <oklopol> gotta change that
18:35:18 <oklopol> >>> hf [0] [1] * ||| 2:* 3:*
18:35:18 <ololobot__> >>[-]>[-]<<<[>>>+<<<-]>>>[<<[<+>>+<-]>[<+>-]>-]<<[-]< ||| 1:0 2:* 3:*
18:36:16 <oklopol> >>> hf [0] -
18:36:21 <oklopol> :D
18:36:28 <oklopol> >>> hf [0] [0] -
18:36:35 <oklopol> oooookie
18:36:40 <oklopol> i need to add threading...
18:37:31 <oklopol> oh, right...
18:37:37 <oklopol> >>> hf [0] [0] - |||
18:37:44 <oklopol> >>> hf [0] [0] - ||| 1:0
18:37:45 <ololobot__> [>++<-]>[--] ||| 0:0
18:37:50 <oklopol> :D
18:37:59 <oklopol> oh, right
18:37:59 -!- pikhq has joined.
18:38:03 <oklopol> >>> hf [0] [0] - ||| 1:0 2:0
18:38:04 <ololobot__> [>+>+<<-]>>[-<->]< ||| 0:0 2:0
18:38:11 <oklopol> it needs two cells for the copying
18:39:55 -!- RedDak has joined.
19:20:27 -!- sebbu2 has joined.
19:31:16 -!- sebbu has quit (Connection timed out).
19:31:17 -!- sebbu2 has changed nick to sebbu.
20:57:46 -!- Maxdamantus has joined.
21:21:19 -!- Jontte has quit (Read error: 110 (Connection timed out)).
21:23:05 -!- ehird` has joined.
21:40:31 -!- jix has quit (Nick collision from services.).
21:40:41 -!- jix has joined.
21:41:33 <oklopol> you know you should do less unlambda, when you find yourself writing a story about an S-combinator.
21:41:46 <oklopol> the story is a bit tragic :'(
21:42:12 <Slereah-> Does the bird get combined at the end?
21:43:17 <oklopol> hehe, K combinators are the sex-crazed ones
21:43:34 <Slereah-> ((Kx)S)
21:43:34 <oklopol> S-combinators' urges are mainly to make others populate
21:43:41 <Slereah-> And so died S.
21:43:53 <oklopol> :D
21:44:00 <oklopol> yep, K's are feared
21:44:43 * Slereah- wants to do sum sort of combinatory program
21:44:50 <oklopol> the one doing the combination isn't killed in the process in my story, since that would ruin the story
21:44:55 <Slereah-> But with all them birds from "To mock a mockingbird"
21:45:09 <oklopol> but K's indeed have the power to kill
21:45:32 <Slereah-> Don't use too many I's. Make the story repetitive.
21:45:34 <oklopol> V's are sooo self-centered
21:46:14 <oklopol> and then there's the C's, the poets with the ability to seize the day
21:46:16 <oklopol> or something
21:46:17 <oklopol> i dunno xD
21:46:23 <oklopol> need some pizza ->
21:47:06 <Slereah-> Good. Right now, that arrow points to your name. But not anymore once I enter this text!
21:47:17 <oklopol> :o
21:49:03 <oklopol> the combinators are physical entities inside a computer, actually, i needed some way to have some kind of a world for them to live in
21:49:23 <oklopol> he goes to school by traversing a linked list xD
21:49:42 <oklopol> god this story is stupid :P
21:49:44 <Slereah-> I once had an ide like that.
21:49:56 <Slereah-> But it was for mathematical concepts.
21:50:12 <Slereah-> Combinators were used in the mythological creation of the world.
21:50:22 <Slereah-> Well, locally at least.
21:50:29 <oklopol> an idea?
21:50:34 <Slereah-> It was a giant Turing machine elsewhere.
21:50:37 <oklopol> or an ide
21:50:43 <Slereah-> An idea, yes.
21:51:18 <Slereah-> I had stupid concepts for this, like the deontal logic statements were religious nuts and such.
21:51:34 <oklopol> i've been thinking, have you seen those shows where they show, like, blood cells as people, walking down the veins
21:51:41 <Slereah-> Yes.
21:51:46 <Slereah-> "Il tait une fois la vie"
21:51:50 <oklopol> the same for mathematical concepts would be so awesome :D
21:51:51 <oklopol> ah
21:51:59 <oklopol> exactly
21:52:03 <Slereah-> There was some cartoon like that.
21:52:11 <Slereah-> But well, it was at a kid level.
21:52:17 <oklopol> well, sounds familiar, i just remember there was something Il etait'ish in the beginning
21:52:23 <oklopol> well, kid level exactly :D
21:52:37 <Slereah-> http://animeguides.free.fr/series/multoches/multoches.jpg
21:52:41 <Slereah-> http://animeguides.free.fr/series/multoches/multoches2.jpg
21:52:58 <Slereah-> I don't remember much of it.
21:53:20 <Slereah-> I think I remember the last episode, where they try to go t INFINITY
21:53:26 <Slereah-> But there isn't enough numbers!
21:53:41 <oklopol> oh, a cartoon like what i said :o
21:53:47 <oklopol> oh my god, i gotta see that :D
21:53:57 <Slereah-> good luck. Can't find it online.
21:54:08 <oklopol> oh, kid level, you mean taught trivial stuff
21:54:17 <oklopol> i was thinking more computer sciencey
21:54:53 <Slereah-> Well, plenty of cartoons where people are in a computer.
21:54:59 <Slereah-> But it's not very educational usually!
21:55:09 <oklopol> heh, indeed
21:55:43 <Slereah-> "To mock a mockingbird" has some sort of story, with combinators as birds.
21:55:46 <oklopol> oh, right, the pizza ->
21:55:50 <oklopol> oh
21:56:06 <oklopol> where have these great things been hiding :\
21:56:25 <Slereah-> Well, the story is pretty much a pretext to teach about combinators.
21:56:40 <Slereah-> (This is why I always refer to combinators as bird)
21:56:59 <Slereah-> http://www.angelfire.com/tx4/cus/combinator/birds.html
22:02:29 <bsmntbombdood> i am going to only use $2 bills from now on
22:03:39 <oklopol> that's all you need baby ;)
22:04:53 * ehird` continues writing his Python R5RS interpreter
22:05:23 <bsmntbombdood> r5rs is obsolete!
22:06:00 <oklopol> my mum is obsolete!
22:06:03 <oklopol> err
22:06:05 <oklopol> oh, wait
22:06:11 <bsmntbombdood> i still haven't read r6rs
22:06:18 <bsmntbombdood> 3 times too long >_<
22:16:27 -!- sebbu2 has joined.
22:25:57 <ehird`> bsmntbombdood: r6rs sucks
22:26:11 <ehird`> it's closer to common lisp than scheme
22:36:29 -!- sebbu has quit (Connection timed out).
22:36:30 -!- sebbu2 has changed nick to sebbu.
22:40:20 -!- jix has quit ("CommandQ").
22:58:35 -!- puzzlet_ has quit (Remote closed the connection).
22:58:42 -!- puzzlet has joined.
22:59:26 -!- RedDak has quit (Read error: 104 (Connection reset by peer)).
←2007-12-19 2007-12-20 2007-12-21→ ↑2007 ↑all