00:29:40 hm linear aggregate types 00:31:35 not only do you want the elements to be linear, but the value as a whole 00:32:24 slate's clone-forwarding idea could cover most of the needed mechanism for it 00:32:53 but *expressing* the linearity of the aggregate might be a bit more difficult 00:33:35 one would need a function over the aggregate that would change the meta-behavior of all its components down to a given granularity 00:33:53 (or perhaps indefinitely in the direction of components) 00:33:54 ? 00:34:19 (welcome all to the midnight rant ;) 00:39:03 damn it, the idea of a higher-order function is still not easily expressed in slate afaict 00:39:14 water looks at the transformation calculus again 01:10:53 [NICK] lar1 changed nick to: lar[sleep] 01:34:31 [QUIT] water quit: irc.linux.com fastlane.openprojects.net 01:34:31 [QUIT] karltk quit: irc.linux.com fastlane.openprojects.net 01:34:31 [QUIT] Rhamphoryncus quit: irc.linux.com fastlane.openprojects.net 01:34:31 [QUIT] nate37 quit: irc.linux.com fastlane.openprojects.net 01:34:41 nate37 joined #tunes 01:34:41 Rhamphoryncus joined #tunes 01:34:41 water joined #tunes 01:34:41 karltk joined #tunes 01:48:49 [QUIT] water quit: The Tao went that-a-way! 02:08:03 Fare joined #tunes 03:00:36 [QUIT] Fare quit: Ping timeout for Fare[ppp109-net1-idf2-bas1.isdnet.net] 03:00:41 Fare joined #tunes 03:33:27 [QUIT] Rhamphoryncus quit: Yet another day, I keep trying... 03:33:56 Rhamphoryncus joined #tunes 03:34:47 [QUIT] Rhamphoryncus quit: Read error to Rhamphoryncus[h24-68-139-3.ed.shawcable.net]: EOF from client 03:35:13 Rhamphoryncus joined #tunes 04:34:57 [QUIT] ult quit: Hey! Where'd my controlling terminal go? 04:48:23 water joined #tunes 04:49:00 re all 04:49:08 water is only on for a few minutes 05:03:40 [QUIT] water quit: The Tao went that-a-way! 05:13:00 shapr joined #tunes 07:00:41 [QUIT] Fare quit: Connection reset by pear 07:00:50 Fare joined #tunes 08:07:10 gawd, I gotta get this language finished. it's much more fun planning the high level stuff. 08:26:50 Is bespin under attack once again? 08:26:59 who? 08:27:20 the tunes server. Last time it was so slow, someone was DDoS'ing it. 08:27:25 Rham: how is your lang going? 08:28:01 ahhh 08:28:06 slowly, as always 08:30:01 at the moment I'm putting together the structures for the parse tree 08:31:16 although I don't remember all the proper syntaxes for C, so I'm just fudging it :) 08:34:57 Rhamphoryncus blearghs as he hits yet another thing he has to think about 08:35:27 that is? 08:35:51 what the structure for f_create_vector will look like 08:38:19 I should probably just skip it for now.. it's kinda complicated, and largely depends on how I do other stuff 08:58:23 ok, I've done the others, now I just gotta do the one I skipped 09:01:07 [QUIT] Fare quit: Connection reset by pear 09:20:49 [QUIT] JALH quit: Read error to JALH[user50-194.jakinternet.co.uk]: Connection reset by peer 10:12:44 eihrul joined #tunes 10:45:57 hcf joined #tunes 11:04:04 [QUIT] shapr quit: Read error to shapr[194.251.171.6]: Connection reset by peer 11:04:06 moochao joined #tunes 11:09:33 abi: L4KA is a microkernel-based system with re-implementation of the L4 kernel at http://www.l4ka.org/ 11:52:02 bineng joined #tunes 13:01:31 water joined #tunes 13:01:45 hey 13:02:18 [QUIT] alintifada quit: Ping timeout for alintifada[dial-nas-nahr-2-134.inco.com.lb] 13:03:20 [QUIT] water quit: Leaving 13:11:10 water joined #tunes 13:11:19 re 13:12:09 re 13:13:51 Rhamph joined #tunes 13:16:22 [QUIT] Rhamphoryncus quit: heinlein.openprojects.net barjavel.openprojects.net 14:28:45 [QUIT] JALH quit: g'night people : 14:31:15 hmm 14:31:39 water has about 5 hours before he has to go back to work, and he's not at home 14:31:54 eih: you here? 14:37:58 [NICK] lar[sleep] changed nick to: lar1 14:47:08 [QUIT] hcf quit: Ping timeout for hcf[207-172-225-164.s164.tnt1.pld.me.dialup.rcn.com] 15:12:41 cwz joined #tunes 15:12:54 [NICK] cwz changed nick to: lambda 15:13:06 hi lambda 15:13:30 will tunes ever actually happen 15:13:32 ? 15:13:45 yes 15:14:11 wow 15:14:38 heh r u familiar with slate at all? 15:14:48 the web docs are woefully out of date 15:14:51 no 15:14:57 I am a crack-addicted scheme coder 15:15:02 but that's because i am r&d'oing like mad 15:15:06 ah 15:15:12 slate is a language hosted at tunes 15:15:14 abi slate 15:15:15 slate is a unifying/hybridizing of self/beta/lisp at http://www.tunes.org/~water/slate-home.html 15:15:26 [NICK] cor[sl] changed nick to: cor 15:15:50 the prototype code is also out of date with the current state of the art that i am toying with on paper and in my head 15:16:43 hm 15:16:58 basically slate is a graph of persistent objects 15:17:22 its grammar is a path through the graph that selects evaluations to perform 15:17:48 and meta-objects are objects in the graph that determine the evaluations of other objects, as well as their names 15:18:14 however, a lot of the library concepts need to be re-invented for slate 15:18:38 which is a lot of the reason why results have not been plublicized... i am not comfortable with them yet 15:18:58 Fare is working with ideas within a Lisp that has pattern-matching facilities 15:19:21 I'm writing a bad math system at the moment 15:19:23 lambda: does that clear things up on tunes status? 15:19:26 heh 15:19:31 so I need to modify a Scheme interpreter 15:19:51 to use bc's multi-precision code 15:19:52 ok 15:20:04 not using bignums? 15:20:08 oh I am 15:20:20 but I want better precision for other numbers too 15:20:33 I suppose gmp is good though 15:20:41 (yeah I suppose :P) 15:21:07 water is working with some similar issues within slate, although only for semantic purposes 15:21:48 which i really must document... though descriptions of the stuff are in this year's tunes mlist archives 15:25:09 rock gmp 3.01 is out 15:25:14 err 3.0.1 15:25:32 *shrug* 15:25:39 [NICK] Rhamph changed nick to: Rhamph-Sleeping 15:25:45 even 3.0 15:25:47 err 3.1 15:30:38 [QUIT] lambda quit: ircII EPIC4pre2.503 -- Accept no limitations 15:45:38 [QUIT] eihrul quit: Leaving 16:05:12 cwz joined #tunes 16:05:15 ah 16:05:17 [NICK] cwz changed nick to: lambda 16:05:22 I just had to fix up some libraries 16:05:39 and now I'll have to fix up this guy's scheme interpreter 16:09:57 [QUIT] lambda quit: changing servers 16:15:20 abi: libra? 16:15:20 libra is a Lazy Interpreter of Binary Relational Algebra at http://www.cs.adelaide.edu.au/users/dwyer/TR95-10.html 16:15:33 (in reference to a discussion on #{}) 16:25:14 [QUIT] water quit: Leaving 16:30:44 [NICK] cor changed nick to: cor[hw] 16:52:41 [NICK] rares changed nick to: modkiddie 17:01:21 ink[sleep] joined #tunes 17:07:08 [QUIT] ink[sleep] quit: User abort with 5 Ctrl-C's 17:44:27 Kyle joined #tunes 18:20:21 Brianna joined #tunes 18:27:58 [QUIT] kc5tja quit: THX QSO ES 73 DE KC5TJA/6 CL ES QRT AR SK 18:49:18 [QUIT] Kyle quit: Leaving 19:06:52 [NICK] ink changed nick to: ink[beanbag] 19:25:43 Fare joined #tunes 19:27:20 re Fare 19:27:38 [NICK] lar[dinner] changed nick to: lar1 19:31:44 err 19:43:01 [NICK] ink changed nick to: ink[away] 20:21:31 Aardappel joined #tunes 20:22:15 Aardappel left #tunes 20:30:55 Brianna joined #tunes 20:39:32 [QUIT] ink_ quit: BitchX: now with Olestra! 20:51:46 [QUIT] Fare quit: Ping timeout for Fare[ppp109-net1-idf2-bas1.isdnet.net] 20:53:12 Fare joined #tunes 20:54:29 [QUIT] eihrul quit: Leaving 21:12:31 [QUIT] Fare quit: Connection reset by pear 21:13:50 Fare joined #tunes 21:37:36 Fare joined #tunes 22:10:11 [QUIT] Fare quit: Ping timeout for Fare[ppp83-net1-idf2-bas1.isdnet.net] 22:11:21 Fare joined #tunes 22:24:30 hcf joined #tunes 22:25:33 [QUIT] hcf quit: Leaving 22:46:12 ult joined #tunes 22:50:43 [QUIT] kc5tja quit: THX QSO ES 73 DE KC5TJA/6 CL ES QRT AR SK 23:02:36 [QUIT] ink[sleep] quit: Ping timeout for ink[sleep][ppp-207-214-214-73.sntc01.pacbell.net] 23:45:54 [QUIT] MysticOne quit: I'm outta here! Catch everyone later! 23:46:48 [NICK] lar1 changed nick to: lar[sleep] 23:49:10 [QUIT] Melinda quit: Ping timeout for Melinda[porpoise23.panama.gulf.net] 00:03:05 [NICK] Rhamph-Sleeping changed nick to: Rhamphoryncus