00:01:50 I think it does, but I'm not sure. 00:02:54 Hmmm, that means i'd have to gc in my outoput 00:02:56 :( 00:05:20 * ehird` puts it on the TODO list 00:05:31 pikhq: How many lines is PEBBLE with the BF backend? 00:06:58 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 00:08:01 -!- pikhq has joined. 00:08:11 in case you didn't get thjat 00:08:12 pikhq: How many lines is PEBBLE with the BF backend? 00:08:28 1127 lines. 00:08:43 No. I missed a file. 1246. 00:08:48 Ignoring macros. 00:09:03 Ooops. Stuck in the interp backend. 00:09:08 *1075*. Still. 00:09:09 Ignoring the stdlib right? 00:09:11 Quite a few lines. 00:09:26 I want the full compiler's source, without C-related bits, without the stdlib 00:09:29 how many lines? 00:10:44 pikhq: ping :) 00:12:36 pikhq: "CALCULUS - Common Administrator's Language Compilation Unit for Language Unity under Stalin" 00:13:51 pikhq: You have 785 lines without optimization files 00:14:13 pikhq: I think in PEBBLE I might be able to get 2500-3500 lines or so? 00:14:17 With no optimizations at all. 00:15:41 pikhq: Oh, plus the parser, which will be about another 500 lines I guess 00:15:50 pikhq: Am I crazy yet? 00:18:59 -!- sebbu has joined. 00:20:45 pikhq: ping 00:20:55 -!- pikhq_ has joined. 00:23:19 pikhq_: ping? 00:25:29 Pong. 00:25:38 -!- pikhq has quit (Nick collision from services.). 00:25:39 -!- pikhq_ has changed nick to pikhq. 00:25:47 what is the last message you god 00:25:50 *got 00:25:57 17:09 < ehird`> I want the full compiler's source, without C-related bits, without the stdlib 00:26:05 1075 lines of code. 00:26:38 I'll re-say what I said, at a slow pace so you can respond :P 00:26:42 pikhq: "CALCULUS - Common Administrator's Language Compilation Unit for Language Unity under Stalin" 00:27:07 :D 00:27:46 pikhq: You have 785 lines without optimization filespikhq: You have 785 lines without optimization files 00:28:00 pikhq: I think in PEBBLE I might be able to get 2500-3500 lines or so? With no optimization at all. 00:28:04 pikhq: Oh, plus the parser, which will be about another 500 lines I guess 00:28:08 ^^^ end of repetitions ^^^^ 00:28:25 Oooh, 00:28:31 I wish you luck. 00:28:50 I will confess: I've been meaning to do a rewrite of PEBBLE some time. 00:28:56 language? 00:28:57 or implementation 00:29:05 Implementation. 00:29:15 Although I might change the language radically, too. . . 00:29:28 ehird`: jix has made a math lib in glass 00:29:30 Yeah -- get rid of the temp vars! >:( 00:29:31 jixmath 00:29:35 oklopol: where? 00:30:07 ehird`: How? 00:30:14 ;) 00:30:26 pikhq: Automatically allocate them. 00:30:36 pikhq: That is: make the compiler less of a dumb macro system. :-) 00:30:36 Mmkay. 00:30:53 Maybe even change the syntax slightly to be more, well, formal. 00:31:03 pikhq: Yes, non-tcl would be nice :P 00:31:15 actually a C-like syntax fits in very well with brainfuck, as opposed to lispy/tcl-y 00:31:25 because you don't think of it as (set! a b) 00:31:31 it's not something you 'call out' to 00:31:33 it's very primitive 00:31:36 so a = b makes sense 00:32:28 i have no idea where jixmath is 00:32:31 i just know it exists 00:32:44 and that it's in egobot 00:32:56 I have an idea. 00:33:12 A set of syscalls, which are like the basic PEBBLE macros. . . 00:33:12 ? 00:33:16 gotta sleep, went to sleep an hour ago actually, but suddenly realized i have to finish a program :\ 00:33:24 pikhq: ? 00:33:32 -!- sebbu2 has quit (Connection timed out). 00:33:36 cya ---> 00:33:37 And a compiler which runs sanely, parsing expressions and such into calls to those macros . . 00:33:58 pikhq: doesn't seem anything too interesting to me 00:34:02 just a bytecode. 00:34:16 So, one would have "func add(x, y){x+y}" which would compile into the addvar x 00:34:19 > y : temp1 00:34:27 hmm no 00:34:28 I dunno. 00:34:30 don't really like that 00:34:33 too much internals 00:34:43 however, i do think one thing 00:34:47 C-like syntax /with macros/ 00:34:55 Then we'd have bfc. 00:35:01 so, say there was no 'func' (probably true, since it's quite a big job to implement them) 00:35:07 (let's call it 'proc') 00:35:12 just 'macro' 00:35:12 we could do: 00:35:49 Actually, at this rate, I may want to call it a completely different language. 00:35:54 macro { ... } 00:36:20 well, maybe more than that would be required 00:36:24 Something much more fully-featured, rather than bare-bones. . . 00:36:29 macro { ... } 00:36:33 Perhaps supporting PSOX out of the box. 00:36:35 if , means 'comma-seperated names' 00:36:44 pikhq: PSOX is bloated vaporware :P 00:36:59 (apologies to Sgeo. :P) 00:37:09 ehird`: I'll grant you the vaporware bit. 00:37:26 also bloated in the over-engineered sense 00:37:32 True, true. 00:37:51 Perhaps a very simple interaction layer could be used to make this insanely more full-featured. 00:37:51 If I were you I'd make the compiler backend agnostic 00:37:56 So you could compile to befunge too or whatever. 00:38:17 and the 'plain BF' backend would just crap out on compiling primitive IO operations other than read/write stdout 00:38:29 Mmkay. 00:38:33 you could have a 'PSOX BF', 'PSOX Befunge', 'EsoAPI BF', ... too 00:38:52 What, then, shall be the syntax? 00:39:01 for what 00:39:07 For this language. 00:39:11 * pikhq hems & haws 00:39:15 Ah. 00:39:17 C-alike I think 00:39:31 I'll write what's in /my/ mind on a pastebin... an example of sorts 00:40:55 Mmkay. 00:45:35 ok: 00:46:04 i just realised recursive macros will work badly, for e.g. factorial 00:46:08 you'd need to know the value at compile-time 00:46:13 so i'm rewriting it as non-recursive :) 00:46:14 Well, yes. 00:47:38 -!- pikhq_ has joined. 00:48:55 pikhq: Give me something other than a factorial to use as an example :P 00:49:06 Preferably something that doesnt' require me to define new variables in the resulting code 00:49:12 (why will be apparent soon) 00:49:32 -!- GreaseMonkey has changed nick to N0body. 00:49:59 -!- N0body has changed nick to GreaseMonkey. 00:52:08 bah 00:52:09 ok 00:52:12 i'll define somethiing simple 00:53:32 ok, pikhq : 00:53:35 http://rafb.net/p/OzgiHQ78.html 00:53:51 i'd expect hygenic macros to be there too, and maybe something that lets you define a pseudo-function without sigils etc :-) 00:54:17 `{...}, of course, is program quoting 00:54:41 That is going to be a *painful* syntax to parse. 00:55:23 pikhq_: No more than C++. :) 00:55:30 Why is that painful, anyway? 00:55:35 the <...> in macro? 00:55:54 Yeah. 00:56:09 Namely, that it appears to entail runtime-modifiable syntax. 00:56:17 noooooo 00:56:22 no it doesn't 00:56:24 why would it? 00:56:27 that's all compile time 00:56:32 macro <$n+$z> { __builtin($n, $z) } 00:56:43 Okay, fine. Compiletime-modifiable syntax. Sorry. 00:56:48 Still, messed up. 00:57:00 pikhq_: you'd need some kind of declarator there to specify it's a binary op 00:57:05 it's not >totally< free syntax 00:57:13 It's still fairly painful. 00:57:23 plus it allows for implementing e.g. procedures in it even if you don't include them in the core 00:57:24 -!- pikhq has quit (Nick collision from services.). 00:57:24 which is very nice 00:57:25 -!- pikhq_ has changed nick to pikhq. 00:57:34 True. 00:57:41 Painful as fuck, but useful. 00:57:59 painful as fuck for the time when you first write down it in the compiler 00:58:01 after that, wonderful 00:58:02 :-) 00:58:15 Of course, my stuff requires that the compiler has an interpreter. 00:58:28 Since macro definitions are evaluated, then the result as a quoted program is put into the program. 00:58:37 This is, of course, kick-ass. 01:01:47 pikhq: Confirm its kickassery! 01:05:16 pikhq: PIIIING 01:08:28 -!- pikhq has quit (Read error: 104 (Connection reset by peer)). 01:09:24 -!- pikhq has joined. 01:10:42 -!- Sgeo has joined. 01:11:52 Sgeo! 01:11:58 Hi pikhq 01:12:04 pikhq, what's the last thing you heard 01:12:10 "after that, wonderful". 01:12:27 Sgeo: I have been contemplating a new Brainfuck-targetting macro language. 01:12:29 Of course, my stuff requires that the compiler has an interpreter. 01:12:34 Since macro definitions are evaluated, then the result as a quoted program is put into the program. 01:12:37 This is, of course, kick-ass. 01:12:47 pikhq: I thought it was going to be agnostic? 01:12:54 One which *I* hope will use PSOX. 01:12:55 with esolang-PSOX as one backend 01:12:58 ehird`: That's you. 01:13:05 My language, my taste. 01:13:10 G2G my dad's being a jackass 01:13:12 :P 01:13:23 ok, guess i should fork 01:13:24 haha 01:13:47 -!- calamari has joined. 01:13:56 Mine will probably be working within the next week. 01:14:07 (PEBBLE went from idea to working implementation in a day. :p) 01:14:21 mine will be too 01:14:27 are you going to steal my c-like syntax? :( 01:14:37 No. It's more C++-like. 01:14:46 With all the requisite problems in compiling. 01:15:05 :( 01:15:09 BUT MY IDEA WOULD BE SO AWESOME 01:15:27 I'm a simple man. 01:15:37 * pikhq has an idea. 01:15:47 I won't bother reworking all the PEBBLE machinery. 01:15:58 My system shall use PEBBLE as an assembly language of sorts. 01:15:58 OK, i'm definately forking 01:15:58 :P 01:16:41 int main(void) { 01:16:43 fork(); 01:16:46 language() 01:16:52 * pikhq actually has no simple, quick idea, unlike PEBBLE had. :( 01:17:00 Frankly, I'm at the drawing board ATM. 01:17:27 i have a simple quick idea! :( 01:17:39 No, that's a travesty. 01:18:09 * pikhq has a purely stupid idea. 01:18:31 Implement a Brainfuck macro system as a C library. :p 01:18:44 No! :( 01:18:50 And I could make my idea simple. :P 01:18:52 I said it was stupid. 01:19:47 :P 01:19:59 ARgh you know what I'm sick of all this brainfuck concentration 01:20:05 Let's discuss some other interesting esolang. 01:20:54 * pikhq gets sick of all this PEBBLE replacement junk 01:21:34 * pikhq needs to finish some English homework 01:24:29 * pikhq needs an excuse not to do anything else today. :p 01:24:43 * oklopol made a small genetic algorithm testing language 01:24:44 pool AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA AAAAAAAAA 01:24:44 pts sum \ [BBAAABBAA _] [a b] = a b 01:25:16 basically, you make a pool, and give it a function to use for assigning points to a certain string 01:25:31 BBAAABBAA 9 01:25:31 BBAAABBAA 9 01:25:31 BBAAABAAA 8 01:25:31 BBAABBBAA 8 01:25:45 i see. 01:26:01 after a few steps it finds the correct one, although i'm currently doing so much mutation it keeps giving random shit too :) 01:26:27 i guess i'll add stuff to specify how to reproduce and mutate 01:28:13 -!- cherez has quit ("Leaving."). 01:28:39 -!- ehird` has changed nick to ehirdsleep. 01:28:41 pts is the "points" function definition, sum is a sum of a list, \ [list list list...] [var var var...] expression is map, with variable names though, because lambdas would be stupid for this 01:28:51 although i guess that's obvious. 01:28:58 oklopol: i'll read in the logs later 01:29:00 describe about it. 01:29:03 -!- cherez has joined. 01:29:07 bye for today 01:29:15 well, it was actually there :) 01:29:20 i'll describe if i continue coding 01:30:25 -!- cherez has left (?). 01:37:30 -!- Sgeo has quit ("Ex-Chat"). 01:49:08 oh god... 01:49:13 genetal 01:49:17 now i have to name it that. 01:49:54 why did that pop into my head 01:57:40 wow, i never realized how much genetic algos kick ass :) 02:12:23 http://www.vjn.fi/pb/p234266216.txt 02:12:49 last line is the output, in the form (best_found, points_for_best, iterations_taken) 02:13:05 just been adding trivial stuff, but it's a fun toy anyway :P 02:13:53 the bad news is, 6 hours till i need to wake yp. 02:13:55 *up 02:16:55 I wonder what a creationist algorithm looks like. 02:17:08 Maybe it's similar to Turing's Oracle Machine 02:20:01 i was thinking, i'll first extend that enough to be able to make bf text gen, then evolve a human out of a string of A's 02:20:09 that's step 3., 02:20:11 *. 02:20:55 it's kinda annoying, all day i feel like i really should code something, and then when i finally do, it's ready in an hour or two and i have nothing to code. 02:22:18 i can't code that anymore, since the part i wanted to work works, and i'd have to start thinking again 02:22:38 there's a mood for coding, and a mood for inventing something to code 02:22:45 these moods do not mix. 02:23:18 unfortunately both do mix with the third mood, futurama mood, which kinda overrides both 02:23:29 btw. didn't name it genetal :) 02:23:37 it's called Muture now :D 02:24:21 my initial idea was to make a language for calculating fixed points :D 02:24:42 you'd run some time, then change something in the past, and recalculate if the change actually changed something 02:25:34 (you'd need to be able to set an epsilon of course) 02:26:35 tried to find a clear relation between this kind of mutation and plain old fixed point, but got bored of thinking and just coded something :-) 02:26:49 i'm fairly sure you could make something totally awesome with the fixed point idea 02:26:51 "idea" 02:27:13 the only reason i'm talking really is to get your text to disappear from the screen 02:27:18 ah, and there it is 02:27:24 yes, my font is big. 02:28:30 Slereah: so what's up with the machine of yours whose name i forgot :-) 02:28:36 except the old name 02:28:45 Which one? 02:28:54 The Love Machine 9000? 02:29:05 yeah 02:29:11 It works okay. 02:29:17 i mean 02:29:20 Although I'm sure there's ways to make it faster. 02:29:23 have you been doing fun stuff with it 02:29:40 well, compiling to C seems to be pretty popular these days? 02:29:47 Well, right now I'm working on the lazy unlambda. 02:29:55 oh, right 02:30:03 your the SKI evaluator : ) 02:30:27 The lambda-SKI-other combinator-iota thingy. 02:31:04 hmm, wonder if i'd get sleep now if i tried... getting delusional 02:31:18 teh worlds are whirling 02:31:30 i think i'll watch a family guy or something 02:31:43 i guess i can skip one night of sleep 02:33:05 You can. Doesn't mean you should though! 02:34:16 well, there's the minor problem that if i go to sleep, i will definitely not wake yp 02:34:17 up 02:34:31 Are you going to die? 02:34:47 then again, i have 8 hours of school, plus some hobby-related stuff after taht 02:35:08 and i slept through the lectures today too 02:35:13 hmm 02:35:25 i doubt i'll die, i mean i won't wake up in times. 02:37:51 Heh. Reminds me. I should study 02:37:56 The exams are soon! :o 02:38:01 oh 02:38:10 our classes just started 02:38:32 Exams are next week here 02:38:42 what do you have? 02:38:43 And I didn't study all that much. 02:39:11 Quantum physics, relativity, analytic mechanics, mathematics, that sort of things. 02:39:25 sounds fun 02:40:14 i did a science poster on quantum physics 02:40:39 i'll try falling asleep here on teh armchair, lees comfortable than my bed, so i'll prolly wake up, no? 02:40:41 night -> 02:40:54 Boy are you in for a surprise! 03:18:19 ``^x^y````y.xri``xx```s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`k`si``s`k`s`k`s``s`ksk``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k`kiy^x^y````y.xri``xx```s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`k`si``s`k`s`k`s``s`ksk``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k`kiy^f^x`f`f`f`fx 03:18:30 Hurray, I made a count-down! 03:18:52 Although so far, it only did 4-3-2 03:19:01 Ah, the 1 is here. 03:19:53 The Turing fixpoint combinator is totally awesome. 03:20:05 I want to ^5 Turing. 03:21:30 It is intensely slow, though. 03:27:02 (It is pretty much ((^xy. (```y.xri) (xx pred (y))) ^xy. (```y.xri) (xx pred (y))) n) ) 03:31:57 Here's a possibly faster version : ``m``s`k`s``s``s``si`k.x`kr0``s``s`ks``sbk`k``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`k`si``s`k`s`k`sb``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k0``sb``sb``sb``sb``sb``sb``sb``sb``sb``sb0 03:35:53 Hell, is SB actually equivalent to the successor function? 03:36:09 Holy hell! 03:46:38 That will trim down my input system a whole lot! 04:15:25 -!- calamari has quit (Connection timed out). 04:34:25 -!- oerjan has joined. 04:43:30 or then oerjan just checks for highlights. 04:43:51 not always, but today i don't think i'll read it all 05:07:33 Hm. If I replace ```y.xri by (iszero y) (v) (```y.xri), maybe the program will halt! 05:35:42 -!- cherez has joined. 05:38:37 Hell. It gets complicated! 05:46:31 http://en.wikibooks.org/wiki/Programming:ColdFusion/control_structures 05:46:40 Is it an esolang if it's meant to be used seriously? 05:47:21 Define seriously. 05:47:54 Recommended for usage in website design. 05:48:31 Well, if it's even recommended, maybe not! 05:50:26 * pikhq hurls at the idea of XML programming. 05:50:32 And not even well-formed XML at that. 05:51:46 ``uu```_.xri 05:51:53 A cat program. Sort of. 05:56:59 -!- oerjan has quit ("Caffeine"). 07:33:55 -!- lament has quit ("Ducks!"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 08:03:25 -!- Slereah- has joined. 08:22:17 -!- Slereah has quit (Read error: 110 (Connection timed out)). 08:35:26 -!- cherez has quit (Read error: 110 (Connection timed out)). 08:41:56 -!- GreaseMonkey has quit ("Welcome to 2008. I will be your tour guide."). 08:44:19 -!- sebbu2 has joined. 08:52:01 -!- cherez has joined. 09:00:17 -!- sebbu has quit (Connection timed out). 10:10:48 Slereah-: woke up 4 hours late, good idea to go to sleep :P 10:13:03 I personnaly use a program to launch some Mp3 when I'm not sure I'll wake up. 10:13:13 "Chocolate rain" at generous volume works okay. 10:14:54 why the fuck did i wake up in my bed 10:15:04 i went to sleep right here. 10:15:46 Well, if you woke up in China, that would raise the question. 10:16:03 that'd be awesome 13:12:05 -!- oerjan has joined. 13:31:02 -!- sebbu has joined. 13:37:12 oklopol: what is up with your sleep 13:37:27 I couldn't figure out quite what was going on before 13:39:15 From what I can make out, "It is late and if I sleep, I won't wake up on time!" 13:40:44 well duh, use an alarm clock 13:41:07 unless I am missing something here 13:41:12 Won't work with any pussy alarm clock. 13:41:29 When I was a kid, I had some real serious business alarm clock. 13:41:43 It was shaped like a racing car, and made the same noise. 13:41:54 It woke up everyone in the house. 13:44:08 -!- sebbu2 has quit (Connection timed out). 14:08:18 Aaaaargh 14:08:34 Is there any simple combination of combinators for the pred. function? 14:08:42 Any combinators! 14:09:29 I've got 16 so far, I might as well continue! 14:10:31 hm... let me lookup my Deadfish implementation 14:11:14 The shortest version I got is ``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`ko``s`k`s`k`sb``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k0 14:11:22 argh 14:11:25 And the rewriting takes ages. 14:11:44 I can't check slightly more complex formulas for accuracy. 14:12:43 it's somewhere in 14:12:48 ``s``s``s``s`k?d`kii`k 14:12:48 ``s``s``si 14:12:48 `k ``s``s`ks ``s`k`si 14:12:48 ``s`kk ``s``s`ks ``s`k`s`ks ``s`k`s`kk ``si`kk `ki 14:12:48 ``s`kk ``si`kk 14:13:19 `k`k`ki `k`ki 14:14:23 Do the space inditaces different formulas? 14:14:32 Or is it just sugar? 14:14:47 possibly the part starting on the third line after `k 14:15:00 i just tried to use a sensible indentation style 14:16:11 this is the part of the program specific to the d operator, which decrements 14:18:34 or it could be all of it except the first line 14:20:27 ah, found my scratch file, which explains some of what's going on 14:21:48 ah yes, it should be what i pasted except the first line 14:22:55 Let's see how it works out! 14:23:59 Seems to work. 14:24:27 In a different way than ``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s``s`ks``s`k`s`ks``s`k`s`kkk`k``s`k`s`k`s`ko``s`k`s`k`sb``s`k`s`k`s`kk``s`k`s`kkk`k`kk`k`k0 somehow. 14:24:46 (```pred n .x i prints everything after a while instead of continuously) 14:25:34 it is essentially based on iterating ^p (`$p k + 1, `$p k) 14:27:04 Well, the slightly trimmed version is ``s``s`o`k``s``s`ks``s`ko``s`kk``s``s`ks``s`k`s`ks``s`k`s`kk`o`kk0``s`kk`o`kk`k`k0`k0 14:27:07 Thanks 14:28:24 you're welcome :) 14:28:37 I'd make a special combinator just for it, but since it also contains lambda, I'm not sure it will gain that much time. 14:37:48 There's apparently some rules for abstraction elimination in the SKIBC system 14:37:53 Maybe I should try that. 14:51:44 ``c``bc``b`bc``c``bc``b`bb``c``bbi``b`b`ci``b`cii``bkii 14:51:48 Let's try it out! 14:53:27 well in a.e. for ^x.E(x)F(x), the rules for K, B and C are just special cases of the rule for S, when at least one of the parts don't mention x 14:54:22 Yes. 14:54:36 And it gives more compact expression, for this poor slow interpreter. 14:56:57 I even already have the combinator for CI! 14:59:55 ``c``bc``b`bc``c``bc``b`bb``c``bbi``b`bt``bti``bkii 15:00:01 It is more fashionable that way. 15:01:25 And ``bki seems to be no one else but our old friend k! 15:03:09 Is ``b[stuff]i equivalent to [stuff]? 15:03:15 ``bti seems to be t too. 15:05:00 Nah, just ^a.Ca apparently. 15:08:17 ``bXi = ``s`kXi which is X by the eta-rule? 15:09:12 Ah yes, that. 15:09:26 I don't think enough of the eta rule. 15:09:34 The orphan of conversions. 15:18:23 ``c``bc``b`bc``c``bc``b`bb``c`b``b`bttki 15:18:41 Can't think of anything further, but it's more reasonable alread. 15:20:34 -!- timotiis has joined. 15:21:42 ``c``bc``b`bc``c``bc``b`bb``cb``b`bttki, more accurately 15:25:09 if c is call/cc, then you are a sick bastard 15:26:30 c is the c combinator. 15:26:47 Or Cardinal, for bird lovers. 15:27:04 Hell, I can even define substraction in less than a line! ``b`c`t``c``bc``b`bc``c``bc``b`bb``cb``b`bttkii 15:28:40 And iszero seems to be `t`k0 ! 15:28:52 It's quite a nice way to eliminate abstractions. 15:29:33 Oh, no. Forgot a ` 15:29:56 ``c`t`k0k actually. 15:45:26 -!- calamari has joined. 15:58:12 -!- Slereah has joined. 16:00:53 -!- jix has joined. 16:08:20 -!- Tritonio_ has joined. 16:12:34 -!- calamari has quit ("Leaving"). 16:22:12 -!- Slereah- has quit (Read error: 110 (Connection timed out)). 16:27:15 -!- lulz has joined. 16:27:21 -!- lulz has changed nick to christ. 16:28:22 hai 16:28:39 Hello. 16:28:50 what's up slereah ? how're u doing ? 16:29:32 bah, bai 16:29:34 -!- christ has quit (Client Quit). 16:29:48 hello world. 16:29:51 -!- ehirdsleep has changed nick to ehird. 16:29:56 -!- ehird has changed nick to ehird`. 16:30:34 -!- Slereah- has joined. 16:38:31 -!- puzzlet_ has quit (Read error: 104 (Connection reset by peer)). 16:38:48 -!- puzzlet has joined. 16:44:40 does anybody know when i first came in here? 16:48:50 -!- Slereah has quit (Read error: 110 (Connection timed out)). 16:56:08 -!- oerjan has quit ("leaving"). 17:11:27 Today or in general? 17:15:33 in general 17:15:39 i'm looking through ircbrowse to find 17:15:54 earliest i've found so far is 20070806 17:16:00 but i'm pretty sure it was earlier than that 17:16:24 ehird`: You joined once on Dec 29 2006 but didn't say anything 17:16:40 ehird`: Then the next time I've got in my logs was May 14 2007 17:16:45 Where you did say stuff 17:16:53 10:48 < ehird`> i honestly think my language may be worse than malbolge 17:17:02 sekhmet: well, that was fast. 17:17:07 :) 17:17:10 I'm quick w/ the logfiles 17:17:19 i wonder why i didn't say anything 17:17:20 :P 17:19:25 side note: that language was worse than malbolge, but the decoding mechanism unfortunately meant that most programs couldn't be encoded 17:19:25 :-) 17:55:32 * ehird` realises this is the first itme sekhmet has actually spoken 18:00:49 Nah, I spoke for a bit when I first joined here 18:01:09 Not much though, I mostly lurk and go check out new esolangs when I notice 'em being discussed. :) 18:06:58 anyone here malbolge-knowledgable? 18:16:22 not me 18:21:56 :) 18:31:25 http://esoteric.voxelperfect.net/wiki/Deadfish%7E this seems turing complete to me 18:37:42 -!- RedDak has joined. 19:24:44 It might be Turing complete, but I don't see how it would be Turing equivalent. 19:41:34 cherez: what sense does that make. 19:43:14 GregorR: I can has egobot? 19:43:26 in here. 19:48:38 * SimonRC goes 20:07:36 -!- EgoBot has joined. 20:08:40 http://www.mitadmissions.org/topics/learning/coursework/the_end_of_an_era_1.shtml 20:08:42 so sad :( 20:11:03 -!- faxlore has joined. 20:15:40 god damn you gregorr, i just compiled netcat to get GlassBot in here 20:15:40 -!- GlassBot has joined. 20:16:10 G! {SAD EHIRD IS SAD} 20:16:13 OK 20:16:33 G! (a 20:16:35 OK 20:16:45 GregorR! Your parser is broken. 20:16:49 G! a) 20:16:50 OK 20:17:09 G! {(a 20:17:11 OK 20:17:16 G! 20:17:18 OK 20:17:22 OK! 20:17:42 G! {(asdf(g))} 20:17:44 OK 20:17:55 i'm trying to figure out t he exact allowed characters in e.g. ()s 20:17:59 for my haskell implementation 20:18:19 !glass ( 20:18:21 OK 20:19:04 GregorR: Ping! 20:19:30 you writing a bunch of interpreters in haskell for esolangs? 20:19:40 and compilers yeah. 20:19:46 haskell, c and scheme 20:22:17 i'm supposed to be writing a compiler for kipple... 20:22:35 kipple, i've heard of that before 20:22:42 link me to the esolangs pge and i might implement it :P 20:22:57 -!- Jontte has joined. 20:24:58 i see 20:24:59 looks trivial 20:25:35 it is 20:25:41 but don't you implement it :P 20:25:48 why not 20:25:54 i'll get round to it before the end of the week... 20:26:05 looks like there's already lots of implementations 20:26:07 it's just coursework i've procrastinated for weeks 20:26:08 yeah 20:26:17 i just wanted an easy task for my compiler design course 20:26:27 you won't learn much compiler design from that 20:26:46 yeah 20:26:51 but i have other tasks to learn that from 20:26:52 :) 20:27:05 this was just a trivial exercise to implement in CoCo/R 20:28:31 hah, since glass Strings name-clash with haskell strings, I followed by muscle memory and added a prefix - since it's a glass compiler, G. 20:30:36 haha 20:30:38 nice :) 20:39:08 kipple Q 20:39:10 > Push left operand onto right stack 20:39:10 < Push right operand onto left stack 20:39:13 these are redundant, right? 20:39:17 yeah 20:39:27 well 20:39:33 in simple expressions, i think 20:39:47 what i mean is that i can parse them to be the same 20:39:52 yeah 20:40:27 hm, i need to allow arbitary code for the operands too 20:40:28 well 20:40:30 for the left one 20:41:17 hmm 20:41:23 the *parsing* of kipple is non-trivial 20:41:24 :-) 21:26:26 -!- puzzlet_ has joined. 21:27:15 -!- puzzlet has quit (Remote closed the connection). 21:30:38 -!- Tritonio_ has quit (Read error: 113 (No route to host)). 21:31:25 -!- Tritonio_ has joined. 21:41:37 anyone have a language they want implemented? :P 21:41:59 Yes 21:42:39 what is it 21:43:12 well I don't really want a particular language implemented 21:43:18 oh..kay.. 21:43:19 just a certain kind of parser 21:43:30 (I was going to hook pu a few different lambca caluclus to it) 21:44:05 i'd do all parsing using parsec, so implementing a certain kind of parser would be a bit...heh 21:44:30 * faxlore would use parsec to write this too probably 21:47:35 OH WELL. anything other than a parser? :P 21:51:42 http://www.esolangs.org/wiki/Thue 21:51:46 :( 21:51:49 ah 21:51:49 thue 21:51:53 heh. 21:52:10 thue, the one language you can't parse because you'd lose the information it needs to evaluate! 21:52:25 -!- Jontte has quit ("Konversation terminated!"). 21:52:51 oh foo >:| 21:53:10 you could finish this line "sortPlaces = " :p 21:53:13 that would be nice... 21:53:13 -!- johnl has quit (Read error: 104 (Connection reset by peer)). 21:55:00 sortPlaces = deliciously frozen food! 21:56:15 -!- jix has quit ("CommandQ"). 21:57:13 -!- johnl has joined. 21:57:57 oh you know what's a fun problem 21:58:07 I tried this the other day but didn't do well ... 21:58:37 write a program that composes combinators (like solving the puzzles in To Mock A Mockingbird) to match some lambda abstraction 21:58:50 It's not really a language though 21:59:12 -!- GreaseMonkey has joined. 21:59:44 -!- tesseracter has joined. 22:06:01 actually, better: 22:06:03 -!- RedDak has quit ("I'm quitting... Bye all"). 22:06:06 an optimizing SKI->lambda calculus 22:06:13 that is, doesn't just do 'dumb' replacement 22:08:18 given the type of some function, you can infer the minimal size term with that type? 22:08:31 is that first or second order unification or something else? 22:09:55 in any case if you do write a SKI-> lambda caluclus thing I wanna see it :D 23:13:41 -!- timotiis has quit ("leaving"). 23:24:33 -!- Tritonio__ has joined. 23:24:58 -!- Tritonio_ has quit (Read error: 110 (Connection timed out)). 23:27:18 -!- faxlore has quit ("Leaving"). 23:46:08 -!- GregorR has quit (Remote closed the connection). 23:47:37 -!- GregorR has joined. 23:47:57 hey Gregorr 23:48:36 I'm only slightly active. 23:48:38 And will be inactive momentarily. 23:48:44 :P