00:42:08 anyone here? 00:42:24 my ship is broken, so we can't go out yet :/ 00:42:26 yah 00:42:32 hi calabash 00:42:35 hello 00:42:41 are you familiar with tunes? 00:42:58 ive read a few things on the site 00:43:27 [TOPIC] water: TUNES, Free Reflective Computing System http://www.tunes.org || Slate programming language http://www.tunes.org/~water/slate-home.html 00:43:31 ok 00:44:04 if you have questions or anything, i'd be happy to help 00:44:12 cool.. 00:44:18 abi has lots of factoids and urls, too 00:48:51 the slate page seems to be down for me: http://www.tunes.org/~water/slate-home.html 00:49:11 i can get to tunes.org but not ~water 00:52:22 yeah we've been ddos'd 00:52:27 doh 00:52:31 you're looking at a mirror 00:52:39 (mirror site) 00:52:49 why would anyone want to dos tunes 00:53:06 because our code is sooo threatening! >:) 00:53:13 !! 00:53:22 or maybe we pissed someone off on irc :/ 01:23:03 welp 01:23:09 i think im done hacking for the man tonite 01:25:21 i shall grab a snack then off to beds 01:25:23 later 01:25:25 calabash left #tunes 02:38:39 _101 joined #tunes 02:38:42 <_101> hi 02:44:34 <_101> anyone alive? 02:44:49 <_101> i've subscribed to the tunes list and no letter in a week 02:44:52 <_101> or so 02:44:56 <_101> is it ok? 04:04:20 _101 left #tunes 04:42:00 eihrul joined #tunes 04:42:06 [QUIT] eihrul quit: Leaving 05:34:34 eihrul joined #tunes 05:58:02 coreyr joined #tunes 06:09:41 [QUIT] coreyr quit: class 06:13:48 Fare joined #tunes 06:21:54 [QUIT] eihrul quit: Ping timeout for eihrul[LINEAR.RES.CMU.EDU] 06:27:49 eihrul joined #tunes 06:29:18 gakuk 06:29:23 CMU? cool! 06:29:29 yeah 06:29:40 not school of computer science, though :/ 06:30:12 do we still have #tunes logs anywhere? 06:30:30 can't seem to find what lar1 did with brianna's logs 06:30:35 Brianna is here. Does she log? 06:31:07 actually 06:31:28 could probably find them from the shell 06:33:02 so now i have to go suck up to the dean or i'm stuck in the wrong department for a whole year 06:33:11 and even then, will probably still get nothing done 06:33:48 oh joyous day... 06:35:18 Fare: what would you say is the least conspicuous way to murder someone? 06:35:55 within a short amount of time, of course 06:36:31 [QUIT] eihrul quit: Leaving 06:46:09 find whom? suck the dean? 06:46:13 what's your department? 06:48:49 eihrul: least conspicuous way to murder him? Ahem. Convince his car/train/plane transportation maker to use WinCE on their embedded electronics. 06:53:56 [QUIT] MrFloat quit: Leaving 07:11:53 [QUIT] Fare quit: Ping timeout for Fare[APastourelles-101-1-2-33.abo.wanadoo.fr] 07:14:04 Fare joined #tunes 07:26:16 hcf joined #tunes 08:53:43 [NICK] ult[sleep] changed nick to: ult[homework] 09:10:44 [NICK] ult[homework] changed nick to: ult 09:15:23 Fare left #Tunes 09:15:26 Fare joined #tunes 09:20:47 eihrul joined #tunes 09:25:22 coreyr joined #tunes 09:28:09 [QUIT] coreyr quit: arg. 09:52:50 Tril joined #tunes 09:52:51 [MODE] ChanServ set mode: +o Tril 09:53:06 abi seen lar1 09:53:07 lar1 was last seen on IRC 3 days, 14 hours, 3 minutes and 45 seconds ago, saying: [Sun Aug 20 19:49:21 2000] 09:55:57 Tril! 09:56:47 yo 09:56:55 'lo Tril 09:57:02 Did the DDoS just stop? 09:57:06 shouldn't www.tunes.org be returned to bespin, now? 09:57:15 ult: looks like so 09:57:29 ult: so the upstream provider re-routed bespin 09:57:37 yesterday sometime all routes were restored to bespin 09:57:46 because no more sign of attack 09:57:53 Tril: could you find a hint of why the attack was launched? 09:58:16 Fare: Those damn procedural programmers.. 09:58:16 yeah, I'm going to interrogate my non OPN bot owners 09:58:41 shouldn't www.tunes.org be returned to bespin, now? 09:59:01 sure, sure... I'll do that today 09:59:31 ok. So how would I edit files for ithilien's named? 10:00:21 you don't, right now 10:00:26 ok. 10:02:10 ult: what about procedural programming? 10:02:44 Tril: could you find a hint of why the attack was launched? 10:03:00 yeah, I'm going to interrogate my non OPN bot owners 10:03:09 =P 10:03:09 What's procedural got to do with it? 10:03:11 Cascading day! 10:03:17 You think someone has it out for any functional language site? 10:03:20 Tril: I was blaming procedural programmers. 10:03:23 Yeah, that rather non-reflective programmers striking! 10:03:55 Tril:Hmm, if someone does, they need to be put out of their misery. 10:05:16 maybe someone was offended by a PL/I program being posted on the Tunes list? 10:05:58 I definately was. 10:06:57 !seen lar1 10:07:09 use bri for seen'ing lar1 10:07:18 oh, it counts other channels 10:07:38 Is abi no longer logging at all now? 10:07:46 I didn't know he had any contact anymore 10:07:55 ult: abi wasn't logging, "TUNES" was 10:08:01 Ah ha! 10:08:04 and is no longer due to ansi characters 10:08:11 Well, lar1 seems to be the only one with logs 10:08:18 yes, I decided his were better. 10:08:34 you need a lisp bot 10:09:36 why 10:10:54 abi's seen is based on ppl (anyone) saying things on her channels or privately, bri's is based on contact w/ her 'users', like join one of her channels 10:11:17 !seen hcf 10:11:22 DOH 10:11:29 i'm not a 'user', so i dont count 10:11:42 Tril: A lisp botthat could evaluate harmless s-exps would be cool. 10:12:02 cmuclbot? :) 10:13:01 Tril: Especially if it had ane xtensive database that could be queried through Lisp destructuring 10:13:21 (Yes, I am considering coding it :) 10:16:04 I'm considering coding lots of things 10:16:08 it means nothing :) 10:16:59 When does the RSA patent expire, already? 10:17:03 next month? 10:17:06 next month i believe 10:17:18 are we going to have a party? 10:17:24 An IRC party? 10:17:25 Of course! 10:18:16 When do governments and politicians and protectionism and intellectual property expire, already? 10:19:03 world war 3 10:19:27 well government is self-imposed, so I don't think that one expires. 10:19:38 ult: if we manage to blow everyone up, it will 10:19:49 eihrul: Rmemeber those demon lords.. 10:20:00 Just get that fscking portal open and we're set :) 10:21:17 ok 10:23:15 self-imposed? What country are you talking about? 10:23:24 Fare redirects discussion to #{} 10:39:07 maybe not all discussion 10:39:25 ) 10:41:22 abi seen water 10:41:22 water was last seen on IRC 9 hours, 48 minutes and 0 seconds ago, saying: or maybe we pissed someone off on irc :/ [Thu Aug 24 00:53:22 2000] 10:42:16 abi: seen water 10:42:16 [QUIT] Tril quit: Read error to Tril[bespin.org]: EOF from client 10:42:16 water was last seen on IRC 9 hours, 48 minutes and 54 seconds ago, saying: or maybe we pissed someone off on irc :/ [Thu Aug 24 00:53:22 2000] 10:42:38 Tril joined #tunes 10:42:38 [MODE] ChanServ set mode: +o Tril 10:45:19 coreyr joined #tunes 10:45:26 hey tril 10:45:29 yo 10:45:42 could you add a little package for me? 10:45:49 what 10:45:53 php4_xml 10:47:50 done 10:48:04 thanks. 11:05:35 [NICK] ult changed nick to: ult[class] 11:19:27 Fare is away 61453 11:26:35 [QUIT] hcf quit: Ping timeout for hcf[207-172-225-227.s227.tnt1.pld.me.dialup.rcn.com] 12:09:01 hcf joined #tunes 12:28:59 abi: labview is a dataflow language at http://www.ni.com/linux/ 12:30:18 i'm looking at the slashdot thread called "Pipes in GUI's" http://slashdot.org/article.pl?sid=00/08/11/2052243&mode=thread 12:36:47 Alex[] joined #tunes 12:38:59 hello 12:39:12 'lo 13:42:00 coreyr joined #tunes 13:53:24 how is diktuon2 coming? 13:59:00 good 14:17:19 ult joined #tunes 15:35:56 Fare is back 16:08:29 eihrul joined #tunes 16:10:25 [QUIT] eihrul quit: Leaving 16:21:05 uhhh 16:21:05 anything weird going on with bespin? 16:21:05 it's gotten VERY lagged. 16:30:36 Brianna joined #tunes 17:04:32 morton joined #tunes 18:01:51 hcf joined #tunes 18:07:22 hcf joined #tunes 18:23:58 eihrul joined #tunes 20:35:43 water joined #tunes 20:35:49 argghh!! 20:35:56 my ship is cursed! 20:36:22 hi everybody, it's so nice to e-see you ;) 20:36:40 e-hi 20:37:19 my schedule has gone to hell 20:37:30 i can't tell you when i will next get a chance to sleep 20:37:56 i'm at a very noisy friend's house trying to get some things done 20:38:06 who else is actually here? 20:38:25 hey water 20:38:31 hey eih 20:38:41 are you still too busy? 20:39:06 kinda, yeah 20:39:13 orientation crap all week 20:39:22 oh well 20:39:36 have you kept up with the quotation thread? 20:39:49 (not the crappy interaction with kyle, though) 20:41:55 yes 20:42:34 any thoughts? 20:43:02 if there are 20:43:11 i need to recollect them :) (read: re-read some of the stuff) 20:43:44 no prob 20:49:54 eih: an extensible parser is as extensible as the system its programmed in 20:50:13 and only as much as its substrate allows 20:50:36 iow the MOP of the parser object determines what you can do 20:50:58 why does parsing involve a mop? 20:51:42 well, you're talking about it as an extensible program, right? :) 20:52:02 yes 20:52:13 but a MOP is for extending the lookup protocol of an object 20:52:17 damn it, i'm getting forced off 20:52:23 i hate these people 20:52:26 [QUIT] water quit: Leaving 21:01:31 it should not necessarily be used to extend what a parser can parse 21:02:03 this could just as well be served by a system of call backs explicitly suited to a parser, if not served better than with the MOP 21:12:55 water joined #tunes 21:14:29 damn it, he left 21:15:30 eihrul joined #tunes 21:15:41 re 21:15:49 [QUIT] Ozzy quit: Leaving 21:16:09 a mop is not just about lookup, eih 21:16:30 although i suppose you could frame everything in terms of that 21:16:41 i don't see why you would want to... 21:16:47 neither do i 21:17:05 well, if you mean a protocol for extending the parser, that is fine 21:17:06 but a MOP is for extending the lookup protocol of an object 21:17:22 unless you want to consider the parser a "meta-object" 21:17:40 well, mo's are like small parsers 21:17:42 [QUIT] Melinda quit: Don't make me jump to convulsions. 21:17:57 sort of like smalltalk's protocols are small parsers 21:18:29 well... 21:18:38 to alleviate any confusion, please don't call it a MOP :) 21:18:49 in slate, there is much room for confusion on that term :P 21:18:53 ok 21:19:08 speaking of confusion... :) 21:19:28 notice that Jecel mentioned why mirror objects were introduced in self 21:19:51 which is the same issue we were confronting when we were discussing "^" 21:20:16 well, reflection 21:20:19 that is obvious :) 21:20:34 heh 21:20:56 ^ is not particularly primitive anyway 21:21:03 as he suggested, though, it's more like reflection+quotation 21:21:14 eih: which is good :) 21:22:10 unfortunately, i am still not satisfied with slate design, unless i am missing some solutions to things which are difficult in slate 21:22:48 multi-methods and functions are certainly possible and not very difficult, but... 21:23:08 eihrul has been thinking about multi-methods. ) 21:23:25 the whole 'parent' slot issue and cloning causes some thorny things 21:23:53 we might actually benefit from another 'pseudo-parent' slot 21:24:03 how so? 21:24:41 cloning seems to introduce arbitrary levels of distance from object to its traits 21:24:45 are you inferring that 'parent' is not separate from cloning again? 21:24:56 which i have pleaded time and time again against? :) 21:24:56 maybe 21:25:15 sometimes, parent *should* be cloning, though 21:25:38 iow i'm not convinced of what the semantic basis should be 21:25:49 either one can be appropriate for some situations 21:25:57 of course 21:26:02 but if you want to propagate changes, then "cloning" is not an intuitive metaphor 21:26:38 which is why i have advocated using the MO of the parent slot to control such 21:27:08 but because of the pontentially much-variable levels of indirection, that could be bad 21:27:14 s/pont/pot/ 21:27:33 well, as it stands, the user can explicitly select which behavior is appropriate by using either mechanism :) 21:27:42 true 21:27:52 but is it meta-programmable? 21:28:05 well, clone itself is just a method on the root object 21:28:15 it doesn't even need to belong in any meta-object 21:28:48 as setting the parent slot is just that :) 21:28:57 just what? 21:29:25 setting the parent slot... 21:29:45 it is as meta-programmable as the setting of slots in general 21:30:02 hm for some reason this isn't getting across to me 21:30:20 maybe i'm just too tired from work 21:30:26 parent is just a slot used for delegation, nothing special 21:30:43 right 21:31:06 but if you set the parent slot on an immutable object...? :) 21:31:17 well, on an immutable object 21:31:34 you would make a clone and initialize the parent slot :) 21:31:39 btw, i am getting two books on purely functional programming in the next day or so 21:31:55 which ties in to this... 21:32:00 eihrul wonders if there are any papers on multi-methods and encapsulation. ) 21:32:13 most likely 21:32:31 i know smalltalk uses the #class message to handle multi-methods 21:32:45 i.e. obtaining type info at run-time 21:33:05 well, right now i'm looking at making multi-methods belong to many objects 21:33:12 versus making them exist outside of objects 21:33:27 i'm trying to find any papers on similar idea 21:33:31 sounds like the work with equations i'm trying 21:34:04 you just find the correct method in all objects it specializes on 21:34:16 and in the event that you find many with the same selector 21:34:18 btw the stuff about FP ties in to slate concerning that linear graph rewrite paper by Bawden 21:34:29 eih: yep i follow 21:34:40 then you have an ambiguity that means your partial ordering is fucked up anyway :) 21:34:48 basic cross-cutting of objects into common protocols 21:35:03 eih: what are you talking about? 21:35:12 (re ambiguity) 21:35:16 just ambiguity in method dispatch 21:35:29 if one method isn't more specific than another method of the same selector 21:35:30 because? 21:35:38 "because?" 21:36:07 in smalltalk you often have many objects with the same selector 21:36:36 not a problem :) 21:36:44 of course not 21:36:53 so what problem are you thinking of? 21:37:08 right now, i'm just trying to think how to make dispatching efficient :) 21:37:26 hm 21:38:30 if you can guarantee that all objects in a namespace respond to the same selector, then within that namespace you can use that info to optimize 21:38:45 (selector or set of selectors) 21:39:28 well, in the degenerate case it turns into normal single dispatch :) 21:39:36 in general you have pattern-matching and unification 21:39:47 sure 21:40:07 which is a nice thing :) 21:41:17 i have replies to give to fare and jecel on the current quoting thread, but time is not on my side 21:41:54 eihrul is still amazed there is activity on the tunes mlist. 21:42:20 P 21:42:31 why amazement? 21:42:41 after 1-2 months of silence 21:42:44 they are just people who are as busy as i am 21:43:01 i just happen to be more onery ;) 21:43:34 anyway 21:43:49 eihrul: icuc, http://citeseer.nj.nec.com/56113.html 21:44:13 how were you looking at modelling pidgin execution? 21:44:34 just makes an interpreter object 21:44:46 that uses a vector object as its stack 21:44:59 and takes in the stream of slate code 21:45:17 s/makes/as 21:45:35 and the rewrite rules? 21:46:03 you mean the meta-behavior? 21:46:04 would they just be pre-compiled slate objects? 21:46:27 well, i will need to include support for C FFI in pidgin :) 21:46:33 yes, part of the meta-behqavior 21:46:42 eh? 21:46:54 the methods that drive the interpreter will have to be written in C 21:47:06 but the interpreter will just be a normal object holding the methods :) 21:47:07 sure, at first 21:47:17 oh ok to support reflection 21:47:19 so you can clone it and whatever 21:47:48 i was thinking in terms of having the interpreter being only in c first 21:48:25 but this is definitely better 21:52:02 hm 21:53:51 [QUIT] eihrul quit: Leaving 21:54:26 [QUIT] water quit: Leaving 21:57:28 http://citeseer.nj.nec.com/249454.html http://citeseer.nj.nec.com/219067.html http://www.csd.uwo.ca/~wade/Research/Phd/index.html 22:04:30 http://www.cs.ualberta.ca/~candy/ 22:08:29 hcf joined #tunes 23:09:17 witten joined #tunes 23:13:37 witten left #tunes 23:19:21 Fare joined #tunes 00:43:30 lar1 joined #tunes