00:11:49 <CakeProphet> I feel like proving wikisyntax is turing complete.
00:13:13 <GreyKnight> we need some sort of reward for these challenges >:-(
00:14:09 <CakeProphet> It'd be really shoddy... but I'm thinking we could use a {{BFarray}} template that contains a bunch of if templates... each one checking a number... if the parameter of the template equals a number in one of the ifs... then the BFarray template will return something.
00:14:46 <CakeProphet> but... how would you alter the returned templates any deeper?
00:15:30 <GregorR-W> I feel like wiki syntax is probably not TC.
00:15:53 <CakeProphet> I think it's possible... just... insanely difficult.
00:16:22 <CakeProphet> It has control flow... something similar to variables... and returnable functions that intake parameters... so.... it's pretty close.
00:17:01 <GreyKnight> Looking at semi-Thue systems might be instructive if you're looking into this
00:17:16 <GreyKnight> ISTM there's some connection between the two
00:19:12 <GreyKnight> well, the whole idea of computing by replacing strings with each other
00:19:40 <GregorR-W> I was actually asking CakeProphet if there's recursion or iteration :P
00:20:30 <CakeProphet> Well... wikimedia software purposely blocks infinite loops to prevent.. uh... well..
00:21:00 <CakeProphet> iteration... don't think so... but given the tools you have you -might- be able to create iteration... somehow...
00:21:04 <GreyKnight> Well, you're only interested in the language, not the implementation
00:21:31 <CakeProphet> The software prevents infinite loops... but otherwise I'd say it's possible to do recursion.
00:22:07 <CakeProphet> If they can make an if template out of scratch... I'm guessing iteration is possible too.
00:23:30 -!- CXI has quit (Connection timed out).
00:24:15 <CakeProphet> It can also except input... in the form of the <inputbox> code... which could be used to alter templates... which are going to be the building blocks of any sort of TC wikisyntax.
00:43:25 -!- pikhq_ has joined.
00:50:29 -!- CakeProphet has quit (Read error: 104 (Connection reset by peer)).
00:51:57 -!- pikhq has quit (Read error: 60 (Operation timed out)).
00:52:36 -!- CakeProphet has joined.
00:54:57 -!- pikhq_ has changed nick to pikhq.
01:25:46 -!- CXI has joined.
02:16:22 -!- pikhq has quit (Read error: 54 (Connection reset by peer)).
02:16:32 -!- pikhq has joined.
02:16:45 * GreyKnight trips over pikhq's corpse as it comes back to life
02:55:36 <Razor-X> I hate Wiki markup, so I'd rather prove TeX is turing complete... but that's trivial to prove :P.
02:56:36 <Razor-X> Do I get a reward for implementing the Ackermann function in Scheme, CakeProphet ?
02:56:43 <Razor-X> And the entire 1.5 minutes I spend on it?
02:57:19 <Razor-X> But, because of that, I feel like plotting this function on a 3D graph.
02:59:05 <Razor-X> Did you enter the competition, by the way?
03:14:48 -!- ivan` has joined.
03:19:45 -!- CakeProphet has quit (Read error: 113 (No route to host)).
03:20:05 -!- CakeProphet has joined.
03:28:57 -!- bsmntbombdood has quit (Read error: 104 (Connection reset by peer)).
04:12:10 <GreyKnight> (defun ackermann (a b) (cond ((= a 0) (1+ b)) ((and (> a 0)(= b 0)) (ackermann (1- a) 1)) ((and (> a 0)(> b 0)) (ackermann (1- a) (ackermann a (1- b)))) ))
04:25:03 -!- Arrogant has joined.
04:36:03 -!- bsmntbombdood has joined.
04:36:11 -!- bsmntbombdood has quit (Read error: 104 (Connection reset by peer)).
04:54:46 -!- Arrogant_ has joined.
05:01:32 -!- Arrogant has quit (Read error: 110 (Connection timed out)).
05:09:31 -!- Sgeo has quit ("Ex-Chat").
05:19:28 -!- CakeProphet has quit (No route to host).
05:25:05 -!- cmeme has quit (Remote closed the connection).
05:25:47 -!- cmeme has joined.
05:27:05 <Razor-X> What if I feed it a non-integer?
05:29:12 <GreyKnight> Well, non-integers don't exist in the language yet :-P
05:29:34 <Razor-X> Wow. Sounds mighty useful :P.
05:29:45 <Razor-X> Time to stare at more ABNF goodness.
05:31:07 <Razor-X> Ah, here's the distinguishing point between servername and the alternative.
05:31:19 <Razor-X> It's funny, because x / y isn't technically part of the ABNF standard, but it's used everywhere.
05:32:07 <Razor-X> MEABNF we'll have soon enough.
05:32:31 <GreyKnight> SHDMEABNFWXYZ-andapartridgeinapeartree
05:35:13 <GreyKnight> Hm... I am going to have to make setf places work properly before I can put in decent hash tables
05:35:20 <Razor-X> But after I write the parser, things should go easier from there, and maybe I'll ease my conscience enough to write a program that plots the Ackermann function.
05:35:54 <GreyKnight> I don't think Ackermann will look very interesting as a graph :-P
05:36:05 <Razor-X> I think it would look pretty whacky.
05:36:49 <Razor-X> Of course, both a and b would have to be graphed only on intervals of [1, 5] :D.
05:37:13 <Razor-X> Anything more will take ages to evaluate.
05:37:14 <GreyKnight> and interpolated between, unless you know how to extend it to real numbers
05:37:41 <Razor-X> Well, it's a graph, I'm not trying to prove a theorem through induction.
05:38:39 <GreyKnight> Just pointing out that a collection of 25 points mightn't be very fascinating without an interpolated surface between them
05:39:14 <GreyKnight> It's monotonic in both arguments, though, so no pretty features :-(
05:40:04 <GreyKnight> Just a sheet that suddenly shoots off vertically
05:41:55 -!- GreyKnight has quit ("Sleeps?").
05:42:33 -!- NetCat has joined.
05:43:36 <Razor-X> Hmmmm. Does any IRC server omit the prefix?
05:49:40 <fizzie> If you mean the ":foo" part of the message, it's legal to omit it, so you should allow for that, no matter what current servers do.
05:55:12 <GregorR> Nearly got my GNU/Linux system set up on my Mac LC580 8-D
06:00:09 <fizzie> I used to run GNU/Linux on a Performa 5200, but that's a few orders of magnitude more normal; it's a ppc box, not a 68k one. (Although it's also a very silly box: http://www.lowendmac.com/roadapples/x200.shtml )
06:02:03 -!- CXI has quit (Connection timed out).
06:03:44 <GregorR> Mine was probably a road apple too.
06:16:24 <Razor-X> Incredible, FreeNode's ping timeout is just incredible.
06:16:53 <Razor-X> I was gone for 30 minutes, and the PING request wasn't ponged and it's still alive :D.
07:22:48 -!- RodgerTheGreat has quit.
07:59:59 -!- clog has quit (ended).
08:00:00 -!- clog has joined.
08:03:32 -!- GregorR-W has quit (Remote closed the connection).
08:04:23 -!- GregorR-W has joined.
08:14:12 -!- Arrogant_ has changed nick to Arrogant.
10:11:39 <pgimeno> I've received a spam with this plaintext content:
10:12:29 <pgimeno> made me wonder if it is a short program written in a variant of Ook!
10:19:03 -!- nickie12 has joined.
10:27:00 -!- nickie12 has quit.
10:32:01 -!- nickie12 has joined.
10:39:11 -!- NetCat has quit (Read error: 110 (Connection timed out)).
10:45:37 -!- Arrogant has quit ("Leaving").
10:48:11 -!- Sph1nx has joined.
11:11:01 -!- nickie12 has quit.
12:09:10 -!- Sph1nx has quit (" !").
12:31:14 -!- Sgeo has joined.
13:16:08 -!- jix has joined.
17:18:13 -!- kipple_ has joined.
17:53:11 -!- _jol_ has joined.
18:04:37 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
18:05:06 -!- tgwizard has joined.
18:22:40 -!- ihope_ has joined.
18:33:14 -!- _jol_ has quit ("my keyb oard seems t o bee b ro ken :-(").
18:34:05 -!- ihope_ has changed nick to ihope.
18:42:54 -!- _jol_ has joined.
19:00:12 -!- _jol_ has quit ("leaving").
19:53:55 -!- _jol_ has joined.
20:40:14 <ihope> So it's Python, Perl, PHP, and Ruby?
20:41:20 <kipple_> is there a language called Puny yet? if not, i might have to make one...
20:46:45 <kipple_> it would of course be weakly typed
20:49:14 <ihope> Weakly typed but with static typing?
20:49:41 <ihope> And you'd have to give types for everything, but the types wouldn't do anything?
20:52:36 -!- jix has joined.
21:02:54 -!- CakeProphet has joined.
21:07:34 -!- _jol_ has quit ("temci lo nu sipna .i co'o").
21:35:32 -!- fuse has joined.
21:36:52 -!- CakeProphet has quit (Read error: 104 (Connection reset by peer)).
21:36:52 -!- ivan` has quit (Read error: 104 (Connection reset by peer)).
21:37:43 -!- ivan` has joined.
21:37:57 -!- CakeProphet has joined.
22:06:21 <ihope> Selling cake for more than you buy it for = prophet?
22:26:24 -!- jix has quit ("Bitte waehlen Sie eine Beerdigungnachricht").
22:50:30 <ihope> Profit = prophet, aye?
23:07:03 -!- fuse has quit ("g'night all").
23:12:24 -!- GreyKnight has joined.
23:40:41 -!- alex89ru has joined.
23:41:19 <alex89ru> Has anyone of you already writtem your own esoteric language?
23:41:26 <alex89ru> maybe an interpreted language?
23:42:07 <GregorR-W> I'd go so far as to say /most/ of us.
23:43:19 <alex89ru> are most of this languages interpreted or comnpiled?
23:43:41 <GregorR-W> Probably slightly more are interpreted, but many are both.
23:43:45 <kipple_> I guess most of them are interpreted
23:44:36 <alex89ru> kipple_ , GregorR have specialy YOU written some esoteric languages too? If so, have you published these?
23:44:40 <kipple_> so, have you made any esoteric languages then?
23:45:13 <GregorR-W> http://www.esolangs.org/wiki/Gregor_Richards
23:45:19 <kipple_> http://rune.krokodille.com/lang/kipple/
23:45:47 <kipple_> http://esolangs.org/wiki/Main_Page is really the place to go
23:51:44 <alex89ru> Is it hard to develop one esoteric language? ( I assume, that it is not hard for interpreted esoteric languages, but maybe I'm wrong??? )