00:15:30 oi 00:15:53 hey 01:09:25 [QUIT] JALH quit: church. bbiaf 01:15:40 yawn 01:15:49 sleep for me 01:15:51 [QUIT] arbit quit: Read error to arbit[209-6-184-68.c3-0.wth-ubr1.sbo-wth.ma.cable.rcn.com]: EOF from client 01:18:10 Fare joined #tunes 06:18:57 eihrul joined #tunes 07:31:15 hcf joined #tunes 08:04:34 eihrul joined #tunes 08:28:46 Fare joined #tunes 09:24:04 water joined #tunes 09:24:17 hey 09:24:37 'lo 09:25:34 did you read the logs from last night? 09:26:12 not yet 09:27:25 mostly just explaining things to a newbie 09:28:34 and noticing just how far my docs are out of date :P 09:28:51 icac, cmucl vs clisp etc in #lisp right now 09:29:01 not quite 09:45:54 eih: so how is pidgin going? 09:49:05 not anywhere at the moment :/ 09:49:11 why not? 09:49:23 uni 09:49:37 hum 09:49:46 Kyle_L joined #tunes 09:49:56 do you have time to rewrite up the lisp implementation? 09:50:09 [QUIT] albi__ quit: 8,8 7,7 4,4 6,6 5,5 4,2 8,2 X0-CRiPt 2,2  5,5 6,6 4,4 7,7 8,8  3.01 8,5 http://pagina.de/xcript  09:50:22 that would obviously take much less time 09:50:37 yes 09:51:36 ok so you'll work on that? 09:52:39 yeah, that i can do :) 09:52:48 thank you 09:54:36 don't worry too much about exact faithfulness... i can go into the lisp code to change what i want later on as long as the code is designed extensibly 09:54:40 [QUIT] Kyle_L quit: Ping timeout for Kyle_L[cr168790-a.nmkt1.on.wave.home.com] 09:54:55 [QUIT] air quit: Ping timeout for air[p0wer.qzx.com] 10:04:41 i just can't wait until i can get a bitmapped gui for interacting with slate 10:05:10 the idea of being able to picture graphs and their rewrite rules would be interesting to develop 10:07:15 whatever :) 10:07:26 don't worry about that part 10:08:11 the more-narrowly you focus on the compiler-related stuff, the better we'll do 10:13:45 hm i just remembered that there's a small issue to address 10:13:59 before rewrite rules in MOs can be reified 10:14:52 basically the rule that performs the "pullback" of the ^ slot through namespace layers needs a handle for that "implicit" slot that carries the result through those layers 10:15:31 it doesn't have to be a string identifier, but the MO has to be ablle to denote it in order to exrpess the rewrite about it 10:15:45 eih: what do you think? 10:16:59 i think you're overcomplicating things with notions of graphs and rewrite rules 10:17:27 why? i want to be able to reify the application phase 10:17:42 and change it, even if only within lisp for now 10:18:34 and there are simple ways to do that 10:18:42 like what? 10:19:04 you create a method object, and you shove it into the meta-object? 10:19:35 method object = reified slate expression? 10:19:55 i.e. an identifier stream 10:20:00 no 10:20:27 as in just a function 10:21:00 i don't follow... how would you express this function 10:21:02 ? 10:21:21 well, they will be literal objects :) 10:21:38 *what* would be literal object? 10:22:11 a function as a literal object you mean? 10:22:34 yes... no different than lisp or any other language with closures 10:23:00 can you give an example? 10:23:49 (\f -> f f)? 10:23:55 (lambda (f) (funcall f f))? 10:24:06 duh, i know what a function closure is 10:24:22 but this is slate, not lisp 10:24:39 and slate can be anything we want it to be 10:24:44 or are you just basically relying on hacks in lisp? 10:24:49 and if it can't be, then slate is shit 10:24:55 as that was the premise of slate, no? 10:25:14 sure, but wouldn't we want it to be anything *constructively*? 10:25:54 i.e. programming bottom-up 10:26:48 heh i guess not ;) 10:27:23 yes, the problem is though... you can't program without a bottom 10:27:27 P 10:27:32 fine 10:27:56 but i happen to think the graph rewrite idea is rather powerful and appropriate 10:28:39 you're welcome to convice me :P 10:29:17 ex: your lambdas would be really weak if you wanted to trasnform something that's not local to the object 10:31:06 that is a claim 10:31:35 wouldn't call it an example :) 10:31:52 well, musn't the lambdas be passed everything they trasnform as argument? :) 10:32:24 that's what closures are for 10:32:48 oh and of course closures are easy to do wrt slate ;) 10:33:11 especially since it has namespaces and lisp doesn't ;) 10:35:05 bbiaf 10:35:07 [QUIT] water quit: The Tao went that-a-way! 11:12:43 arbit joined #tunes 11:27:39 hcf_ joined #tunes 11:27:39 [QUIT] hcf quit: Leaving 11:27:58 [NICK] hcf_ changed nick to: hcf 11:31:34 smkl joined #tunes 11:38:41 [QUIT] eihrul quit: Leaving 11:59:59 XeF4 joined #tunes 12:20:47 Kyle_L joined #tunes 12:29:40 water joined #tunes 12:29:53 re 13:06:38 [QUIT] water quit: The Tao went that-a-way! 13:38:59 [QUIT] Kyle_L quit: Leaving 14:07:29 eihrul joined #tunes 14:09:41 fumpfen joined #tunes 14:11:12 hello 14:23:54 fumpfen left #tunes 14:30:16 eihrul joined #tunes 14:41:21 fumpfen joined #tunes 14:47:00 hrmph 15:10:46 Tril joined #tunes 15:10:46 [MODE] ChanServ set mode: +o Tril 15:11:03 Fare, are you here? 15:17:00 [QUIT] hcf quit: Leaving 15:34:13 ls 15:34:23 s/help 16:04:37 [QUIT] fumpfen quit: Leaving 16:06:56 [QUIT] XeF4 quit: Leaving 16:14:27 coreyr joined #tunes 16:18:15 hcf joined #tunes 16:19:42 Tril: what abi help did u need? 16:20:13 oops, misread, what did u expect ls to be? 16:20:51 oh n/m 16:26:16 Fare is back 16:26:53 hi 16:28:04 lo 16:45:12 hi 16:46:10 Fare: I tried installing TUNES docs on my home computer, and forgot what I need to install to make "mktexmf" find all its fonts it wants? 16:47:01 [QUIT] coreyr quit: coreyr 16:53:10 Tril: is that debian? 16:53:24 then install the tex and dvi and whatever packages 16:56:27 [QUIT] eihrul quit: Leaving 17:07:30 Kyle_L joined #tunes 17:25:54 [QUIT] Fare quit: Connection reset by pear 17:32:55 [QUIT] smkl quit: Ping timeout for smkl[glubimox.yok.utu.fi] 17:52:31 eihrul joined #tunes 18:09:36 [QUIT] Geeky quit: forward.openprojects.net sterling.openprojects.net 18:09:36 [QUIT] MysticOne quit: forward.openprojects.net sterling.openprojects.net 18:34:27 [QUIT] seldon quit: Leaving 18:51:54 water joined #tunes 18:52:11 does anyone have anything for me? 18:52:40 ping 18:54:45 [QUIT] Kyle_L quit: Leaving 18:54:50 [QUIT] water quit: The Tao went that-a-way! 19:12:58 [QUIT] MysticOne quit: Ping timeout for MysticOne[porpoise5.panama.gulf.net] 19:13:13 [QUIT] Melinda quit: Ping timeout for Melinda[porpoise5.panama.gulf.net] 19:37:36 [QUIT] eihrul quit: Leaving 20:08:34 [QUIT] hcf quit: Ping timeout for hcf[207-172-225-204.s204.tnt1.pld.me.dialup.rcn.com] 21:39:35 water joined #tunes 21:48:17 [QUIT] ink|shed quit: Read error to ink|shed[adsl-63-204-133-113.dsl.snfc21.pacbell.net]: EOF from client 22:35:38 coreyr joined #tunes 22:36:19 [QUIT] coreyr quit: hupnos 23:06:58 eihrul joined #tunes 23:33:38 [QUIT] ink quit: Read error to ink[ppp-206-170-2-91.sntc01.pacbell.net]: Connection reset by peer 00:24:43 arbit left #tunes