00:09:51 <calamari> hi raven
00:10:20 <calamari> bbl ;)
00:10:22 -!- calamari has quit ("Leaving").
00:41:37 -!- jimbo000 has quit (Read error: 110 (Connection timed out)).
01:35:53 -!- BigZaphod has joined.
03:52:20 -!- BigZapho1 has joined.
03:52:20 -!- BigZaphod has quit (Read error: 104 (Connection reset by peer)).
03:52:33 -!- BigZapho1 has changed nick to BigZaphod.
04:00:52 -!- kipple_ has quit (Read error: 60 (Operation timed out)).
04:30:47 -!- malaprop has quit ("quit").
06:49:47 -!- BigZapho1 has joined.
07:05:11 -!- yrz\werk has joined.
07:05:12 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)).
07:08:28 -!- BigZaphod has quit (Read error: 110 (Connection timed out)).
07:18:06 -!- pgimeno has joined.
07:21:10 -!- yrz\werk_ has quit (Client Quit).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
10:19:17 -!- pgimeno has quit (Read error: 104 (Connection reset by peer)).
10:19:59 -!- pgimeno has joined.
10:47:47 -!- kipple_ has joined.
12:31:42 -!- jix has joined.
12:32:18 <jix> moin
13:05:49 -!- malaprop has joined.
13:14:01 -!- malaprop has quit (Nick collision from services.).
13:14:07 -!- malaprop1 has joined.
13:24:20 <malaprop1> http://mapageweb.umontreal.ca/cousined/lego/5-Machines/Turing/Turing.html
13:54:33 -!- malaprop1 has quit ("leaving").
15:11:37 -!- fungebob has joined.
15:11:44 -!- kipple_ has quit (Read error: 104 (Connection reset by peer)).
15:15:08 -!- yrz\werk has quit (Client Quit).
15:15:58 -!- yrz\werk has joined.
15:21:47 -!- fungebob has quit ("Today is a good day to chat.").
15:57:26 -!- fungebob has joined.
16:10:20 -!- malaprop has joined.
16:16:10 -!- kipple_ has joined.
16:24:19 -!- yrz\werk_ has joined.
16:26:09 -!- yrz\werk has quit (Client Quit).
16:54:09 -!- tokigun has joined.
16:54:20 <tokigun> hello
17:05:03 -!- tokigun has quit ("oops").
17:33:32 -!- BigZapho1 has quit.
17:44:26 -!- lindi- has quit ("...").
18:21:32 -!- yrz\werk has joined.
18:35:28 -!- yrz\werk_ has quit (Client Quit).
18:41:21 -!- lindi- has joined.
18:42:56 -!- yrz\werk_ has joined.
18:47:18 -!- puzzlet has quit (Read error: 110 (Connection timed out)).
18:57:35 -!- yrz\werk has quit (Client Quit).
19:12:12 -!- BigZaphod has joined.
19:46:36 <cpressey> that's an impressive use of lego, but i'm not convinced that it's a turing machine
19:47:09 <mtve> sure, it's finite.
19:47:26 <jix> hey! i'm going to build my own lego-turing machine
19:48:05 <cpressey> no, i mean, it's a PDA
19:48:31 <cpressey> the example program can be run on a PDA, as well
19:48:44 <jix> the states are stored in the rcx ram but the tape is lego
19:49:14 <cpressey> the "tape" is a stack, not a tape, though :)
19:49:40 <jix> 2 stacks === 1 tape
19:49:59 <cpressey> it only has one stack
19:50:03 <jix> does it have 2 stacks or 1
19:50:05 <jix> oh
19:50:13 -!- kipple_ has quit (Read error: 54 (Connection reset by peer)).
19:50:35 * jix searches his lego box 
19:51:40 -!- kipple_ has joined.
19:58:18 <pgimeno> maybe I'm wrong but it does not seem to me like a LIFO stack but a FIFO
19:58:36 <pgimeno> "Instead of having a bi directional tape, it uses a stack. When the symbol beneath the stack is read (and removed), the machine changes "states" and can add zero, one or two symbols on top of the stack."
20:00:22 <cpressey> ah, right.  "beneath".
20:00:48 <cpressey> so it's a tag system
20:01:04 <pgimeno> seems so
20:06:23 -!- J|x has joined.
20:14:26 <cpressey> i took wolfram's 1200+-page book out of the library, btw
20:14:56 <malaprop> on purpose?
20:15:59 <cpressey> yeah.  i can't gripe about it is unless i've actually read it :)
20:16:42 <cpressey> s/is//
20:16:44 -!- jix has quit (Read error: 110 (Connection timed out)).
20:22:45 -!- J|x has changed nick to jix.
20:47:35 -!- dbc has joined.
21:08:38 <lament> you're gonna read the whole thing!?
21:09:22 <cpressey> it's mostly pictures
21:09:37 <lament> oh, of course
21:09:49 <lament> i forgot that it's a new kind of science
21:10:10 <cpressey> apparently eye candy is the new science ;)
22:19:19 <{^Raven^}> just wait for the 'magic-eye' candy version :P
22:33:39 -!- ZeroOne_ has quit (brown.freenode.net irc.freenode.net).
22:33:39 -!- malaprop has quit (brown.freenode.net irc.freenode.net).
22:33:39 -!- fungebob has quit (brown.freenode.net irc.freenode.net).
22:33:40 -!- BigZaphod has quit (brown.freenode.net irc.freenode.net).
22:33:41 -!- {^Raven^} has quit (brown.freenode.net irc.freenode.net).
22:33:42 -!- cmeme has quit (brown.freenode.net irc.freenode.net).
22:33:42 -!- cpressey has quit (brown.freenode.net irc.freenode.net).
22:33:42 -!- dbc has quit (brown.freenode.net irc.freenode.net).
22:33:42 -!- yrz\werk_ has quit (brown.freenode.net irc.freenode.net).
22:34:47 -!- BigZaphod has joined.
22:34:47 -!- {^Raven^} has joined.
22:34:47 -!- cmeme has joined.
22:34:47 -!- cpressey has joined.
22:35:18 -!- dbc has joined.
22:35:18 -!- yrz\werk_ has joined.
22:35:45 -!- malaprop has joined.
22:35:45 -!- fungebob has joined.
22:36:10 -!- dbc has quit (brown.freenode.net irc.freenode.net).
22:36:11 -!- yrz\werk_ has quit (brown.freenode.net irc.freenode.net).
22:36:13 -!- {^Raven^} has quit (brown.freenode.net irc.freenode.net).
22:36:13 -!- BigZaphod has quit (brown.freenode.net irc.freenode.net).
22:36:13 -!- cmeme has quit (brown.freenode.net irc.freenode.net).
22:36:13 -!- cpressey has quit (brown.freenode.net irc.freenode.net).
22:36:16 -!- malaprop has quit (brown.freenode.net irc.freenode.net).
22:36:20 -!- fungebob has quit (brown.freenode.net irc.freenode.net).
22:36:25 -!- malaprop has joined.
22:36:25 -!- fungebob has joined.
22:36:53 -!- malaprop has quit (brown.freenode.net irc.freenode.net).
22:36:54 -!- fungebob has quit (brown.freenode.net irc.freenode.net).
22:37:19 -!- fungebob has joined.
22:37:19 -!- malaprop has joined.
22:37:19 -!- BigZaphod has joined.
22:37:19 -!- ZeroOne_ has joined.
22:37:19 -!- {^Raven^} has joined.
22:37:19 -!- cmeme has joined.
22:37:19 -!- cpressey has joined.
22:37:45 -!- dbc has joined.
22:37:45 -!- yrz\werk_ has joined.
22:37:47 -!- jix has quit (brown.freenode.net irc.freenode.net).
22:37:47 -!- pgimeno has quit (brown.freenode.net irc.freenode.net).
22:37:58 -!- {^Raven^} has quit (brown.freenode.net irc.freenode.net).
22:37:58 -!- BigZaphod has quit (brown.freenode.net irc.freenode.net).
22:38:03 -!- cmeme has quit (brown.freenode.net irc.freenode.net).
22:38:03 -!- cpressey has quit (brown.freenode.net irc.freenode.net).
22:38:05 -!- jix has joined.
22:38:05 -!- pgimeno has joined.
22:38:26 -!- BigZaphod has joined.
22:38:26 -!- {^Raven^} has joined.
22:38:26 -!- cmeme has joined.
22:38:26 -!- cpressey has joined.
22:52:32 <fungebob> cpressey: ever consider a timecube esolang?  :P
22:53:39 <fungebob> i find their "math" delightfully befuddling
23:01:02 -!- fungebob has quit ("Today is a good day to chat.").
23:39:13 -!- BigZaphod has quit.
23:52:32 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
23:58:45 -!- calamari has joined.
23:59:00 <calamari> hi