00:09:48 -!- wildhalcyon has joined.
00:20:38 <wildhalcyon> Does anyone understand how Wang Tiles are TC? Is it just because of the halting problem?
00:21:13 * kipple doesn't even know what a Wang Tile is....
00:22:25 <wildhalcyon> Its a square tile with a specific coupling on either face.
00:24:32 <wildhalcyon> Hmm, I guess the page answered my question with the phrase "It is possible to translate any Turing machine into a set of Wang tiles, such that the Wang tiles can tile the plane if and only if the Turing machine will never halt."
00:24:57 <wildhalcyon> Not exactly clear on how the translation might go about. I wonder if it is possible to translate brainfuck into a set of wang tiles?
03:38:53 -!- Arrogant has joined.
04:57:01 -!- kipple has quit (Read error: 110 (Connection timed out)).
05:05:41 <twobitsprite> anyone here know OCaml, and care to help me debug my BF interpreter? I'm having some very frustrating problems that I can't for the life of me figure out...
05:08:51 <Arrogant> I had been meaning to learn O'Caml but had never gotten around to it
05:10:23 <twobitsprite> it's a very fun/interesting language, though proving difficult in raw byte processing a la BF...
05:15:51 <Arrogant> I've been using Python for my interpreters.
05:21:16 <twobitsprite> python is nice... the string manipulation is much more intuitive in python, although appearantly OCaml is great for compilers, I just haven't been able to grok thier built-in parser type yet...
05:24:43 <Arrogant> You should try out pyparsing sometime.
05:24:48 <Arrogant> That is some intensely intuclass BrainfunkError (Exception): pass
05:24:48 <Arrogant> """Abstract class for a Brainfunk instruction. This is what the interpreter deals with."""
05:24:54 <Arrogant> """Perform the required action on the given context."""
05:25:11 <Arrogant> That's one intensely intuitive library.
05:25:48 <twobitsprite> I have a lot of problems with the direction python is going development-wise...
05:26:21 <twobitsprite> i.e. they want to remove all of the alrady sparse functional aspects from the language
05:27:01 <Arrogant> Python sucks at functional, so why have it
05:27:28 <twobitsprite> python also has a lot of exceptions to rules, and special cases, and the syntax is a bit too overloaded for my taste
05:28:16 <Arrogant> It's not perfect, but it's my favorite.
05:29:07 <twobitsprite> th language is very elegant at first, but as you discover a lot of the nuances of the inner workings of the language you'll realize it's very poorly designed...
05:29:47 <twobitsprite> although Java has Python beat in its regularity...
05:31:03 <twobitsprite> If Python was a compiled language with decently optimizing compiler, I migh consider putting up with the irregularities and go back to it...
05:32:49 <twobitsprite> I haven't heard anything about a Python compiler...
05:33:08 <twobitsprite> I know they're working on a JIT, but that's hardly the same...
05:33:42 <Arrogant> The PyPy project has compiling as one of its goals
05:33:47 <Arrogant> But uh, there's not much to look at yet.
05:34:08 <twobitsprite> PyPy has been trying to get something worth looking at for years now, IIRC...
06:42:41 -!- wildhalcyon has quit (Read error: 104 (Connection reset by peer)).
06:46:07 -!- Arrogant has quit (" HydraIRC -> http://www.hydrairc.com <- The future of IRC").
07:09:47 -!- serif has joined.
07:10:38 -!- serif has left (?).
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
09:50:14 -!- GregorR has joined.
12:48:08 -!- kipple has joined.
14:13:09 -!- jix has joined.
14:16:30 -!- jix has quit (Client Quit).
15:02:48 -!- jix has joined.
17:28:07 -!- twobitsprite has quit ("Lost terminal").
18:47:23 -!- cmeme has quit ("Client terminated by server").
18:47:57 -!- cmeme has joined.
19:40:13 -!- wildhalcyon has joined.
20:39:45 -!- wildhalcyon has quit (Read error: 110 (Connection timed out)).
21:35:16 -!- Arrogant has joined.
22:32:47 -!- calamari has joined.
22:46:53 <Arrogant> Anyone have any ideas for beefing up Brainfuck?
22:47:05 <Arrogant> I can add new features in a couple seconds.
22:48:16 <Arrogant> I've added functions with unique memory arrays and a bunch of scope-manipulations stuff.
22:54:38 <Arrogant> I'm learning how to do this kinda stuff so that I can write more complicated ones?
22:57:30 <kipple> how about loading external modules
22:58:44 <Arrogant> I'm getting to that next, actually
23:00:52 <Arrogant> I should add tailcall recursion
23:16:21 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
23:20:16 -!- Arrogant has quit (" HydraIRC -> http://www.hydrairc.com <- Try something fresh").