04:33:12 Fare joined #tunes 04:40:03 [QUIT] smkl quit: Ping timeout for smkl[glubimox.yok.utu.fi] 04:40:21 smkl joined #tunes 06:18:40 karltk joined #tunes 07:35:42 hcf joined #tunes 08:02:39 karltk joined #tunes 08:21:42 [NICK] ult[sleep] changed nick to: ult 08:38:47 [QUIT] JALH quit: brb... net has stopped... :( 09:34:01 [QUIT] Tgazainte quit: Don't make me jump to convulsions. 11:14:40 waffle joined #tunes 11:15:56 lo 11:16:07 witten joined #tunes 11:16:21 hi witten 11:22:54 hi waffle 11:33:44 eihrul joined #tunes 11:33:49 hello 11:34:03 hi eihrul 11:35:18 what's up? 11:35:57 class 11:37:35 learning how to use a spreadsheet? 11:39:43 whatever :P 11:39:57 what class ya in? 12:12:22 he's in Spreadsheets 101 12:12:52 er, that class doesn't start for another few hours for him 12:13:10 [QUIT] JALH quit: Read error to JALH[host213-1-184-137.btinternet.com]: EOF from client 12:14:23 heh. sounds like a way to torment the students :) 12:14:43 yeah, i have concepts of mathematics next :P 12:14:44 he's got a nasty schedule 12:15:04 I'll say 12:15:11 3 breaks :P 12:15:27 my day is so spread out it isn't funny 12:15:37 hey, does anyone know fare's schedule? i haven't seen him when he's been non-idle for a while. 12:15:47 speaking of whic 12:15:48 [QUIT] eihrul quit: Leaving 12:16:01 he was saying some incomprehensible things rather non-idly last night 12:16:34 what time zone are you in, (and therefore when is night :) 12:16:57 [NICK] JALH_ changed nick to: JALH 12:18:04 I'm in -700 at the moment 12:18:23 and it was between 11 p.m. and 2 a.m. I think 12:18:45 -7... that's mountain right? 12:18:50 pacific 12:19:26 ok, that makes it 1am to 4 am for me 12:20:00 thanks 12:21:29 and what incomprehensible stuff was he sayin? 12:21:53 I don't quite remember. it sounded like the typical tunes babble 12:22:02 heh 12:37:49 [NICK] ult[reallyidle] changed nick to: ult[errands] 13:09:32 Fare is back 13:09:46 Fare is beepable 13:11:36 hey fare 13:22:25 abi: twelf? 13:22:25 twelf is at http://www.cs.cmu.edu/~twelf 13:32:16 eihrul joined #tunes 13:36:15 [QUIT] JALH quit: brb... horible 10 sec lag 13:37:50 #1 scheme has no runtime reflection, only some kind of compile-time reflection, through (LOAD) and/or macros 13:39:54 eihrul checks the logs. 13:41:00 eih: sorry, was replying to waffle 13:41:20 either that or it was from something someone said last night ;) 14:01:07 fare: can one system be considered to be more reflective then another, or is it that a system is either reflective or not? 14:01:47 i.e. is the word reflective of type float or boolean ;) 14:03:12 #5- and if my goal was to study reflective systems, through interaction, what would be the best thing to check out that i could actually install and play with? 14:04:01 waffle: the question is rather "how much is reflected" ? 14:04:17 ahh, gotcha 14:04:44 again, if you're interested specifically in reflection as opposed to mere metaprogramming, 14:04:55 yes 14:05:07 you should be hacking some reflective system, or making yours 14:05:08 rephrase-> yes, i am 14:05:29 ok, so you'll most likely be hacking a LISP or FORTH implementation 14:06:22 i see, LISP and FORTH have decent portions reflected, in systems which are installable? 14:07:19 waffle: there is squeak 14:07:29 Well, actually, some people are doing reflectino in Java 14:07:46 squeak is good, too (I recommend it over Java, anyday) 14:08:10 _some_ LISPs and FORTHs have reflective implementations. 14:08:13 some day, the buzzword language of the day will converge on something... decent 14:08:16 it is only a matter of time :) 14:08:28 abi: squeak? 14:08:28 squeak is a cool pure oo language descended from Smalltalk, at http://squeak.cs.uiuc.edu/ or at http://www.squeak.org/ or The open source mouse that roars! 14:10:03 do any free CL implementations have reflective implementations? 14:11:12 ooh, i think PLOB might 14:11:36 oops, my bad. PLOB isn't a implementation 14:12:14 got it. thanks 14:13:12 ok, i'm going to just hack together what i need for now, then do a in-depth investigation later. Thanks for your help. 14:16:45 gcl is compile-time reflective, I think 14:17:01 cmucl is somehow reflective, but in a very intricate way 14:17:33 GCL? i don't see that on the page. 14:17:50 GNU CL; successor to kcl and akcl 14:19:52 abi: gcl? 14:19:52 no idea, waffle 14:19:57 abi: GNU CL? 14:19:57 i don't know, waffle 14:20:06 abi: kcl? 14:20:06 i don't know, waffle 14:20:07 abi: akcl? 14:20:08 waffle: i don't know 14:20:24 abi: what do you know? 14:20:24 wish i knew, waffle 14:20:28 waffle chuckles 14:20:49 I don't think it's developped much, these days 14:22:07 ok, i'll search for it. 14:48:49 thanks. bye 14:48:53 [QUIT] waffle quit: Leaving 14:50:54 witten joined #tunes 14:51:30 re 14:51:49 re re re 14:52:51 re re re re re 14:53:12 re re re re re re re 14:54:19 ["re" | count <- [1..100]] 14:55:16 so I read about self mirrors 14:55:33 they seem to be nothing more than wrappers for primitive introspection functions 14:55:47 sure 14:56:23 "re" . (" re" x (2* $n)) 14:57:22 2 * $n - 1, you mean 14:57:45 or +1, depending on what you count from 14:57:56 witten: no, I count correctly 14:57:57 (\me re -> me me ("re" : re)) (\me re -> me me ("re" : re)) [] 14:58:34 in that case it isn't 2 * $n 14:58:54 no, it's 2*$n + 1, as we begun to do. 14:59:12 okay 15:00:08 [QUIT] _ruiner_ quit: Leaving 15:00:50 damn quotas won't work 15:43:03 eihrul joined #tunes 15:55:15 hcf joined #tunes 16:13:31 rocksteady joined #tunes 16:38:38 abi: gcl is GNU Common Lisp, see http://www.lisp.org/table/systems.htm#gnu 16:38:39 abi: kcl is Kyoto Common Lisp, see http://www.lisp.org/table/systems.htm#kcl 16:38:41 abi: akcl is Austin Kyoto Common Lisp, see http://www.lisp.org/table/systems.htm#kcl 16:47:31 eihrul joined #tunes 17:36:56 fire joined #tunes 19:22:58 lar1 joined #tunes 19:23:19 lar1 left #tunes 20:14:41 hcf joined #tunes 21:02:35 lar1 joined #tunes 21:02:40 lar1 left #tunes 21:05:47 eihrul joined #tunes 21:59:08 witten joined #tunes 22:00:41 [NICK] Psycho-out_for_tea changed nick to: Psycho 22:57:40 abi joined #tunes 22:57:40 hcf joined #tunes 03:35:59 corey[read] joined #tunes