00:00:20 -!- alise has left (?). 00:00:20 Or: 00:00:24 -!- alise has joined. 00:00:31 it seems as if RS must be a single string 00:00:35 Carefully melt three of the candles together to form a figure "5". 00:00:36 not a string representing a bunch of options 00:00:44 cpressey: XD 00:00:47 Or: 00:01:04 When using gawk, the value of RS is not limited to a one-character string. It can be any regular expression (see Regexp). 00:01:04 woo 00:01:12 I'm sorry Joey, you don't GET a birthday party this year. 00:01:19 cpressey: It's okay if pixley.awk only runs on gawk, right>? 00:01:20 *right? 00:01:25 -!- distant_figure has quit (Quit: underflow). 00:01:31 alise: totally fine by me 00:01:41 i'm amazed if it runs at all 00:01:58 cpressey: ARE YOU INSULTING MY COEDING SKILZ 00:02:03 no no 00:02:05 I'm very good at coeducationaling. 00:02:25 denigrating the awkgramming capacities of awk 00:02:36 THE INSULT! 00:02:40 HAVE YOU NOT READ AWKLISP? 00:03:18 Quick! Produce a regular expression that matches nothing. 00:04:05 /ε/ 00:04:07 hahaha wow it's working 00:04:16 ereswmara: No, that does not match anything. 00:04:19 Who are you again? 00:04:24 oh, nooga. 00:04:25 ε is pretty much nothing 00:04:30 A genuine nooga-hide sofa! 00:04:33 -!- ereswmara has changed nick to nooga. 00:04:33 ereswmara: no, no string matches it 00:04:34 that is 00:04:36 matching always fails 00:04:49 alise: Your request was ambiguously worded. 00:04:53 oh, that way 00:05:03 brb, sleep 00:05:06 heh 00:05:07 and he gives up 00:05:57 so my next esolang is going to be called Pophery 00:06:10 cpressey: it has no numbers, right? right. 00:06:19 alise: Pixley has no numbers 00:06:25 So let's see, what's the easiest part to parse. A symbol. 00:06:30 What are the valid symbol characters again? 00:06:32 Pophery, indeed, has no numbers either 00:06:42 alise: errm.. same as R5RS 00:06:52 Right. 00:06:55 Pophery? 00:07:32 I was trying to remember how to spell "Porphyry" and that came out. 00:07:41 (not just now -- months ago) 00:08:03 cpressey: 00:08:10 /^[a-zA-Z!$%&*+\-./:<=>?@^_~][a-zA-Z0-9!$%&*+\-./:<=>?@^_~]*$/ { 00:08:15 R5RS COMPLIANT 00:08:24 Jesus, thank you R5RS. 00:08:31 xD 00:08:34 Pixley: SIMPLE NO MORE 00:09:03 One advantage of implementing it in Scheme: I could ignore that sort of garbage 00:09:21 There's even a demented-looking emoticon in there 00:09:23 ^_~ 00:09:26 Ugh, lexical scoping is going to be a bitch. 00:09:30 type[parsed] = Symbol 00:09:30 name[parsed] = $0 00:09:30 } 00:09:32 fuck 00:09:34 /^[a-zA-Z!$%&*+\-./:<=>?@^_~][a-zA-Z0-9!$%&*+\-./:<=>?@^_~]*$/ { 00:09:35 type[parsed] = Symbol 00:09:35 name[parsed] = $0 00:09:37 } 00:09:39 Awk: Elegant! 00:09:51 Actually, I need to allocate parsed there. 00:10:13 i need to learn Prolog quickly 00:10:19 ok, done 00:10:31 nooga: wat 00:10:48 i need to learn goddamn Prolog 00:11:11 gp(X,Z) :- p(X,Y), p(Y,Z). 00:11:12 my idiotic university requires Prolog for one course 00:11:15 that's all you need to know 00:11:20 -!- SgeoN1 has quit (Quit: Bye). 00:11:25 how about lists and stuff 00:11:36 [X|Y] is a cons 00:11:42 done. 00:11:47 ok, done 00:11:48 anyway, prolog is cool 00:11:49 don't goddamn it 00:12:08 hd(cons(X,Y)) :- X. etc 00:12:14 i think 00:12:15 maybe it is, but I can't find any cool application for it... at least now 00:12:43 oh cool, you don't allocate lists in awk 00:12:46 they just sort of exist, always. 00:12:58 all praise the dark lord (awk) 00:13:06 and appear to 00:13:08 oops 00:15:42 Pophery is basically designed and implemented, but the example programs are not so easy for me to think about, so it's stalled 00:16:08 I need to get some running so I know whether I'm going to need to add an instruction though 00:16:52 http://pastie.org/1142600.txt?key=gzctp9xutdmiokiu2x4ag 00:16:57 anyone care to point out why this allocator doesn't work? 00:17:14 hmm, apart from decrementing next_ids_ptr when i shouldn't (when it's false) 00:17:49 function next_id() { 00:17:49 if (next_ids_ptr) { 00:17:49 return next_ids[next_ids_ptr--] 00:17:49 } else { 00:17:49 return top_id++ 00:17:50 } 00:17:52 } 00:20:12 cpressey: does Pixley support (a . b) syntax? 00:20:13 if so, grr. 00:20:19 wtf 00:20:22 no it doesn't 00:20:29 cpressey: you don't specify so... 00:20:44 basically, if you don't see it in pixley.pix, you don't have to support it 00:20:49 okay 00:20:52 so every pixley program is one value? 00:20:54 that's convenient too 00:20:56 yes 00:20:59 (although I probably want a REPL, right?) 00:21:08 well, i don't think i defined input, which is too bad 00:21:26 pixley is one expression, so 00:21:27 a magical 'input' symbol which is bound to input would be ok 00:21:30 that makes things easier 00:21:30 cpressey: ew 00:21:33 repl or not is up to you 00:21:35 how about a parameter to a lambda 00:21:39 every program is (prog input) 00:21:40 besides 00:21:42 what format is it in? 00:21:45 all you have is symbols dawg 00:21:57 i refer you to the R5RS 00:22:02 * cpressey ducks out 00:22:03 that has strings. 00:22:04 you don't 00:22:22 -!- SgeoN1 has joined. 00:22:27 "what format is it in"... 00:22:39 you don't need to have string, for your s-expression to be in a text file 00:22:45 maybe i don't understand the question 00:23:03 i (ME) would just go with: 00:23:15 input 00:23:15 (wait, does awk let you parse the command line?) 00:23:15 what is input 00:23:20 sort of 00:23:22 i mean 00:23:23 oh great 00:23:24 what variable is input 00:23:26 you said bind input 00:23:46 the symbol 'input' can be magically bound to some input s-expr provided by the interpreter 00:23:55 ah 00:24:03 just have it that every program is 00:24:05 (prog input) 00:24:08 so you write a program as 00:24:08 so... the pixley program (cons input input) would... yeah 00:24:11 (lambda (input) ...) 00:24:15 (lambda (x) (cons x x)) 00:24:27 *pretend* that there's a (lambda (input) ...) around the damn thing 00:24:34 cpressey: no, there should literally be one, this is scheme! 00:24:39 you should be able to do 00:24:48 (let ((compose ...)) (compose a-program another-program)) 00:24:50 well, ok 00:24:51 and let that be your function 00:24:53 of one argument (the input) 00:24:54 is there a way to declare things in swi-prolog prompt ? 00:24:58 nooga: yes 00:25:01 assertz((...)). 00:25:08 thx 00:25:19 a pixley program is one value, right? then, if that value is a lambda, it makes sense for your interpreter to supply values (i.e. input) to it, before evaluating it 00:25:22 you like that better? 00:25:30 cpressey: before evaluating it? 00:25:36 during evaluation 00:25:36 calling a function causes the evaluation of its contents anyway :) 00:25:47 ok, well 00:26:56 Any lick with HackFactor? 00:27:03 Luck 00:27:07 SgeoN1: We licked it real good 00:27:26 -!- Hiant has joined. 00:28:01 argh! 00:28:06 you can't have () be a field separator 00:28:10 because you'll never see it 00:28:14 so basically /^$/ matches ( or ) 00:28:17 which? who knows! 00:28:24 wait vno 00:28:25 *no 00:28:31 gnu awk says which separator it was in a variable 00:28:32 hee 00:28:52 in RT 00:29:53 alise: gah. write it however your like, Pixley's interface to the rest of the world is not rigorously define, nor should it necessarily be so 00:30:02 defined* 00:30:13 cpressey: i'm just babbling about my implementation 00:31:57 mmmm 00:32:26 i'd like to "zip" two lists in prolog 00:34:42 -!- SgeoN1 has quit (Read error: Connection reset by peer). 00:34:53 nooga: i don't remember how to do that. rusty! 00:35:41 nooga: zip([X|Xs],[Y|Ys],[[X,Y]|Zs]) :- zip(Xs,Ys,Zs). 00:35:45 well 00:35:46 -!- SgeoN1 has joined. 00:35:58 zip(Xs,[],Xs). 00:36:01 zip([],Ys,Ys). 00:36:02 zip([X|Xs],[Y|Ys],[[X,Y]|Zs]) :- zip(Xs,Ys,Zs). 00:36:29 what he said 00:38:18 DIMX(10),Y(10),Z(20):FORI=1TO10:Z(I*2-1)=X(I):Z(I*2)=Y(I):NEXTI 00:39:05 basic. the ultimate prolog. 00:39:43 so anyway. back to screwing up the courage to code in Pophery... 00:39:55 erm 00:40:00 gives me false 00:41:41 nooga: on what input? 00:41:46 cpressey: I *believe* I have a working list parser now... 00:41:49 ERROR: toplevel: Undefined procedure: (:-)/2 (DWIM could not correct goal) 00:41:51 cpressey: Though it's so gnarly that I want to rewrite it already. 00:41:57 swi-prolog you're such a sweethear 00:41:57 cpressey: assertz((foo :- bar)). 00:41:58 t 00:42:00 all prologs do that 00:42:08 [ehird@dinky pixley]$ echo '(' | awk -f pixley.awk 00:42:08 Unmatched ( on line 2 00:42:11 Not quite... 00:42:14 zip([1,2,3],[4,5,6],Result). 00:42:18 nooga: hm 00:42:19 nooga: not sure 00:42:40 uhm 00:42:45 -!- augur has quit (Ping timeout: 260 seconds). 00:43:15 i thought about something simmilar but with use of append 00:43:21 but it failed 00:43:26 * cpressey distracted 00:43:31 FOCUS 00:44:05 ohh of course 00:46:20 [ehird@dinky pixley]$ echo '()' | awk -f pixley.awk 00:46:20 Unmatched ( on line 2 00:46:35 they should implement some sort of switching 00:46:41 nooga: ? 00:46:55 nooga: that would indeed allow them to achieve a higher voltage 00:46:57 ohh (@ my error) 00:46:59 between query mode and the other mode 00:47:19 experimenting would be easier 00:48:01 wtffs 00:48:57 why do i design languages that rub my own brain raw? 00:49:42 [ehird@dinky pixley]$ echo '(a)' | awk -f pixley.awk 00:49:42 Unmatched ( on line 1 00:49:45 heh 00:49:47 (a ) works 00:49:50 i might just release the damn thing and let someone else tell me what kind of code you can write in it 00:50:00 but doesn't parse to anything 00:50:03 alise: i'd like to have two modes, one, in which i could define predicates without having to write assertz() and then i could switch to query mode to query ;f 00:50:06 cpressey: wanna try and figure out this parser?!!! 00:50:13 alise: no thank you 00:50:15 nooga: it's called a file 00:50:21 cpressey: it's just AWK! 00:50:38 yeah, but it's so uncomfortable 00:51:00 save, load, query, change, save, load, query, uuuhg 00:51:21 load is just [filename-sans-extension]. iirc 00:51:21 oh, i could implement simple prolog in ruby 00:51:26 though that may be gprolog-only 00:51:27 nooga: hahaha 00:51:36 nooga: do you have any idea how hard it is to write the algorithm without it being always exponential? 00:51:45 prolog is slow 00:51:50 i noticed 00:51:58 nooga: do it! 00:52:04 but the best way to learn a lang is to implement it 00:52:16 who cares about speed or correctness :D 00:52:17 alise: i hear conan the barbarian uses awk 00:52:37 ok, srsly 00:52:41 brb, sleeptime 00:52:51 awklog 00:54:54 -!- augur has joined. 00:55:10 cpressey: maybe I'll have that a pair with no car or cdr is NIL >:) 00:55:47 *I'll just have 00:57:40 (quote ()) ? 00:57:49 i think that can be nil 00:58:50 Just attempting to read Factor code is a chore 00:59:45 cpressey: that's (quote NIL-OBJECT) 01:01:57 I'm beginning to consider switching back to Smalltalk, but Factor has so many great things 01:02:03 i ought to write a pixley repl, then i could ask it 01:03:10 alise: "Like Scheme, a literal null list can be denoted by (quote ())." 01:03:16 = nil 01:04:29 neal 01:05:32 What lisp is This? 01:05:52 SgeoN1: Pixley 01:06:20 It's a contrivance, a strategy. 01:06:34 An outline, a schedule. 01:06:54 It is an action, a conspiracy, a cable, a dodge; a game, a hustle, an intrigue, a plot. 01:07:02 CAN YOU TELL WHAT IT IS YET? 01:07:41 i have a cunning plan 01:08:31 a punning clan 01:10:19 * cpressey cues oerjan 01:10:25 anyway 01:10:34 hm, no 01:10:48 why the heck did i not write a repl for Pixley? 01:11:03 ah, so much evil to do, so little time 01:15:40 cpressey: this is so hard 01:16:05 alise: a) awk is not your friend b) copy what awklist does c) that's cheating 01:16:13 *awklisp 01:16:16 cpressey: d) I'm not cheating mwahaha 01:16:18 although (a) doesn't work atm 01:16:19 only (a ) 01:16:21 NO I MEANT AWKLIST!!1! 01:17:01 no i didn't 01:17:04 [ehird@dinky pixley]$ echo '' | awk -f pixley2.awk 01:17:04 Complete lack of anything on line any-you-want 01:17:23 [ehird@dinky pixley]$ echo '' | awk -f pixley2.awk 01:17:23 Complete lack of anything on line ... there were no lines! 01:18:44 alise: http://chasen.org/~daiti-m/etc/awk/walk.pdf 01:18:48 so not useful 01:18:57 but seems to predate awklisp 01:20:44 -!- Zuu has quit (Read error: Connection reset by peer). 01:22:57 [ehird@dinky pixley]$ echo '(a )' | awk -f pixley2.awk 01:22:57 (a()) 01:22:57 [ehird@dinky pixley]$ echo '(a b )' | awk -f pixley2.awk 01:22:57 () 01:22:59 Tha's no' ri'. 01:23:13 Tha's wrong. 01:25:18 -!- SgeoN1 has quit (Ping timeout: 258 seconds). 01:25:24 cpressey: well, it parses (), one-element lists with the right parenthesis preceded by a space, and symbols. 01:25:35 i would write a preprocessor in awk 01:25:36 -!- Zuu has joined. 01:25:36 -!- Zuu has quit (Changing host). 01:25:36 -!- Zuu has joined. 01:25:48 Oh, and this works: 01:25:50 [ehird@dinky pixley]$ echo '((()))' | awk -f pixley2.awk 01:25:51 ((())) 01:26:35 can awk launch other programs> 01:26:40 *programs? 01:26:51 maybe. but that's cheating 01:26:56 (it's not cheating if it launches another awk!) 01:27:10 but maybe it is 01:27:18 if you had a shell to interpret the command string to run you'd use an interpreter written in sh instead, it'd be saner :) 01:29:41 can you swallow the whole damn program with one /.*/ match, then manually work on it with substr, while, etc? 01:29:48 that's what *I'd* do 01:30:56 and i'd put the comment "all your pixley are belong to us" beside the match 01:31:35 cpressey: dude, that's the thing i'm trying to avoid 01:31:38 i'm leveraging awk's strengths 01:31:42 not being boring like awklisp 01:31:45 yeah. real strong 01:31:55 it totally is, my parser is only utterly hideous. 01:32:06 [ehird@dinky pixley]$ echo '(((a )))' | awk -f pixley2.awk 01:32:07 (((a))) 01:32:31 cpressey: is it acceptable if I just have the symbol chars be alphanumeric plus the hyphen? 01:33:17 http://chasen.org/~daiti-m/etc/awk/ (shift-JIS?) 01:33:39 alise: yes, acceptable 01:34:34 What horrifying code monstrosity are you two creating? 01:34:50 Hiant: I'm implementing Pixley (Scheme subset) in awk! 01:34:57 SUCH TREMENDOUS FUN! 01:35:01 Gah... 01:35:16 Hiant: YOU CANNOT DENY THE FUN 01:35:24 I just finished Hello World in fully optimized OTOH 01:35:35 Its horrifying. 01:35:45 Hiant: nice 01:35:53 [ehird@dinky pixley]$ echo '((a43 (a)))' | awk -f pixley2.awk 01:35:53 (()) 01:35:55 I... 01:35:59 ~?^?~^~"?~^~"?~^~"?~^~"_>?~^~"?~^~"~<^~:_[>^?~^~"?~^~" 01:36:01 ?~^~"?~^~"?~^~"?~^~"?~^~"_>^?~^~"?~^~"?~^~"?~^~"?~^~" 01:36:02 GOD SAVE THE QUEEN 01:36:02 ?~^~"?~^~"?~^~"?~^~"?~^~"_>^?~^~"?~^~"?~^~"_>^?~^~"_ 01:36:04 <<<<^?~^~'_]>^?~^~"?~^~"_.>^?~^~"_.^?~^~"?~^~"?~^~"?~^ 01:36:04 Hiant: STOP 01:36:05 stop stop stop 01:36:05 ~"?~^~"?~^~"?~^~"_..^?~^~"?~^~"?~^~"_.>^?~^~"?~^~"_.<<^ 01:36:05 stop 01:36:06 stop stop stop 01:36:07 ?~^~"?~^~"?~^~"?~^~"?~^~"?~^~"?~^~"?~^~"?~^~"?~^~" 01:36:07 stop 01:36:07 stop 01:36:08 STOP 01:36:08 STOP 01:36:09 ?~^~"?~^~"?~^~"?~^~"?~^~"_.>.^?~^~"?~^~"?~^~"_. 01:36:10 STOP 01:36:10 ^?~^~'?~^~'?~^~'?~^~'?~^~'?~^~'_.^?~^~'?~^~'?~^~'?~^~'?~ 01:36:11 ^~'?~^~'?~^~'?~^~'_.>^?~^~".>. 01:36:12 STOP 01:36:14 stoped 01:36:14 STOP 01:36:16 STOP 01:36:18 STOP 01:36:20 STOP 01:36:20 press alt+f4 01:36:22 STOP 01:36:24 STOP 01:36:26 STOP 01:36:28 STOP 01:36:30 STOP 01:36:32 STOP 01:36:34 STOP 01:36:36 STOP 01:36:38 STOP 01:36:40 STOP 01:36:41 okay okay, I am slowllly backing away... 01:36:42 STOP 01:36:44 STOP 01:36:44 -!- Hiant has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401080539]). 01:36:46 STOP 01:36:48 STOP 01:36:50 STOP 01:36:52 STOP 01:36:54 STOP 01:36:56 i probably spammed more than you :D 01:36:58 Hiant: use a pastebin 01:37:00 e.g. pastebin.ca 01:37:02 or pastie.org 01:37:04 to post long stuff 01:37:10 he's gone now 01:37:17 lol 01:37:20 you scared him away 01:37:22 scared off by the irc 01:37:29 madbr: i think your alt+f4 probably contributed :| 01:37:31 or 01:37:35 my STOPs were still arriving 01:40:56 -!- owld has joined. 01:41:19 -!- augur has quit (Remote host closed the connection). 01:41:44 -!- augur has joined. 01:41:57 and Pophery has a cousin called Nhohnhehr 01:42:46 ok, well 01:42:50 bbiab 01:46:33 -!- owld has quit (Quit: ChatZilla 0.9.86 [Firefox 3.6.3/20100401080539]). 01:47:28 -!- calamari has joined. 01:48:09 -!- calamari has quit (Client Quit). 01:53:35 -!- Hiant has joined. 01:53:44 Am I allowed back? 01:54:17 you were never meant to go :P 01:54:24 I just spammed stop because clients often don't see stuff while flooding 01:54:27 :) 01:55:10 Oh. Well, sorry anyways. 01:55:13 On some clients, /flushq will stop the client from sending stuff 01:55:25 * Sgeo_ has no clue for ChatZilla 01:55:32 man, supernovae are scary 01:55:46 http://upload.wikimedia.org/wikipedia/commons/a/a2/SN1994D.jpg that is a galaxy, and the supernova is just as bright 01:56:13 supernovae are awesome 01:57:07 Best explosions in the universe. 01:57:36 blam 01:57:57 maybe the supernova is much closer. or much further away. terrible photo 01:58:50 I can only hope that two black holes collide. That would be even better. 02:01:47 The projected kickback would send a massive black hole hurtling through space, disrupting orbits etc all around it. 02:02:14 -!- Gregor has quit (Ping timeout: 264 seconds). 02:02:24 Nostradamus never had a clue. What a way to go. 02:02:37