00:24:12 re 00:32:59 [QUIT] JALH quit: bbiafh 00:49:15 [QUIT] Melinda quit: Ping timeout for Melinda[porpoise23.panama.gulf.net] 00:59:49 [QUIT] lar1 quit: Again, again, again. 01:30:31 [QUIT] water quit: The Tao went that-a-way! 01:34:20 water` joined #tunes 01:35:05 [NICK] water` changed nick to: water 02:04:02 [QUIT] nate37 quit: brb 03:08:07 karltk joined #tunes 03:08:07 abi joined #tunes 03:08:07 clog joined #tunes 03:08:10 [QUIT] abi quit: pohl.openprojects.net irc.linux.com 03:08:10 [QUIT] clog quit: pohl.openprojects.net irc.linux.com 03:08:10 [QUIT] karltk quit: pohl.openprojects.net irc.linux.com 03:08:17 abi joined #tunes 03:08:17 karltk joined #tunes 03:08:17 clog joined #tunes 03:08:42 [QUIT] karltk quit: varley.openprojects.net irc.linux.com 03:08:46 karltk joined #tunes 03:21:44 shapr joined #tunes 04:02:20 shapr left #tunes 04:48:03 Fare joined #tunes 05:22:16 water joined #tunes 06:07:16 [QUIT] JALH quit: Read error to JALH[host62-7-102-241.btinternet.com]: EOF from client 06:10:58 eihrul joined #tunes 06:11:14 [QUIT] Fare quit: Leaving 07:52:51 Alex[pasla] joined #tunes 08:07:21 [QUIT] JALH quit: brb 08:24:00 hcf joined #tunes 08:27:26 [QUIT] abi quit: dying by hcf's request 08:27:40 abi joined #tunes 08:42:54 [NICK] JALH changed nick to: Tenchi 09:22:24 abi: DP2 is Dropped Pomegranate Project, a meta-project to do the Right Thing, in terms of object-oriented component-based network-extensible software at http://www.dp2.org 09:22:24 abi: language construction kit is a natural language construction kit at http://www.zompist.com/kit.html 09:22:26 abi: numbers is numbers from 1 to 10 in Over 4500 Languages at http://www.zompist.com/numbers.shtml 09:23:16 abi: jsr is the Java Spec Report at http://www.ergnosis.com/jsr/ 09:26:51 [QUIT] JALH quit: bb @ 10 09:28:23 eihrul yawns. 10:24:04 abi: lsp is Lisp Server Pages, a system implemented in Common Lisp for generating dynamic HTML from scripted pages at http://lsp.everest.com/ 10:54:25 water joined #tunes 11:19:52 eihrul joined #tunes 11:20:37 re 11:24:24 re 12:05:43 Fare joined #tunes 12:06:42 hey fare 12:10:30 [QUIT] hcf quit: Ping timeout for hcf[207-172-225-121.s121.tnt1.pld.me.dialup.rcn.com] 12:56:52 lar1 joined #tunes 13:33:48 [NICK] lar1 changed nick to: lar[food] 14:33:52 eihrul joined #tunes 14:34:43 re re 14:37:23 has tunes degenerated into a channel for the sole purpose of greeting people? 14:37:23 since input from other people is pretty rare to say the least 14:37:23 so, how'd it go with that prolog guy? 14:37:23 very well 14:37:46 he has a lot of friends interested in funding new ideas 14:38:04 (aside from the explanations we gave each other for our ideas) 14:38:22 notably several VC's want to talk to me now 14:38:54 wrt? 14:39:05 arrow and tunes and slate 14:39:23 and of course the commercial apps deriving from it 14:40:20 apparently i am infinitely more convincing in person than on irc or email :P 14:40:27 well, tunes is a VC's nightmare :) 14:40:40 not necessarily 14:40:53 there's nothing wrong with branching 14:40:55 or rather, we have a good marketting department :) 14:40:57 but that's it 14:41:28 well, the issue may be to get split off from the current set of people 14:41:52 the political flavor being one of the major factors 14:42:02 hcf joined #tunes 14:42:31 no, the current set of people would be useless to it, except as consultants 14:42:40 Kyle joined #tunes 14:42:44 nah, not so 14:42:59 its just that we lack coherence :) 14:43:00 it doesn't matter what you think in this case, though 14:43:04 (no offense) 14:43:15 nothing of what i think matters 14:43:30 doesn 14:43:33 't stop me from thinking 14:43:51 the crucial point is to get programmers together with the people (or just someone) who grok 14:44:09 eih: i know, and i like your thoughts 14:44:37 eih: but practical concerns dictate how i have to proceed in order to get things done 14:45:05 2 programmers working IRL with me would be worth a million times more than the current situation 14:45:36 and the current situation with tunes makes that inconceivable 14:45:36 sure, tunes, as much as it is hypocritical, would benefit from a more dictatorial structure wrt production :) 14:45:52 water shrugs 14:46:01 ideas are not people 14:46:13 ideas don't make code 14:46:15 people do :) 14:46:37 yeah well with tunes, the people are disconnected physically from the people who grok the ideas 14:47:11 which is why you need people in close proximity with funding to the people who grok 14:48:37 just because open source makes net collaboration possible, doesn't mean it must be done without any kind of face-to-face discussion 14:48:38 nah, too many people grokking is disasterous 14:48:45 and i argue is what is ailing tunes now :) 14:49:06 well we can't fix that being disconnected 14:49:08 not one single person on this project sees tunes the same way 14:49:16 it would be idiotic to try 14:49:23 not you, not i, not fare, not billy, not jecel, not kyle, etc. :) 14:49:33 so what? the same occurs for teams working together IRL!!! 14:49:47 that's not the point 14:49:47 its not just conceptual 14:49:51 but implementationally :) 14:50:02 again, it's not the point 14:50:38 how many group projects have you been involved in IRL? 14:51:22 how many group projects on the net were anywhere near as successful? 14:51:43 IRL? 14:51:48 in real life 14:51:49 in real life 14:52:02 well, no group projects :) 14:52:09 but i can point to lots of successful projects on the net 14:52:20 eih: and i know you're terrible at dealing with people IRL 14:52:25 that were successful precisely because there wasn't much room for disputing what the project was 14:52:45 yeah well writing non-reflective systems is not too hard 14:53:00 "it will do this and that and that" 14:53:15 why should reflective software be different? 14:53:23 reflective software can be designed and defined just as well 14:53:45 heh reflective software that can change its definition can be defined? :) 14:54:29 seriously, i thrive on being able to discuss ideas and code face to face 14:54:52 if anything, that's what yesterday taught me 14:55:13 reflective software has to start somewhere 14:55:26 you can't change nothing into something... 14:55:28 duh 14:55:33 law of conservation of software :) 14:55:49 but conversations IRL are worth millions of times more than IRC 14:56:00 easily 14:56:32 you can't agree on things that need theory if you're a loose collaboration of volunteers with no commitment 14:57:47 this is pointless, you're arguing for something you'll never do anything to ensure happens 14:58:10 nah, i wasn't arguing for anything 14:58:46 so what the hell were you doing? 14:58:52 killing time 14:59:05 kill someone else's time 14:59:57 and thanks for proving the rule about channel activity 15:00:44 eihrul shrugs. 15:00:52 you already held that it was useless in the first place 15:00:57 i proved nothing 15:07:35 oh well, have fun with your VCs 15:08:41 you have fun with your college classes and keeping my hopes up that you'll finish something you start 15:09:12 and the programmers i met were more valuable than the VCs 15:12:25 infinitely more valuable than me, most likely 15:25:42 water joined #tunes 15:27:55 wb 15:33:09 [QUIT] alterEgo quit: Signed off 15:33:10 [QUIT] morton quit: Read error to morton[freenet.nether.net]: EOF from client 15:38:17 re 15:49:19 so, none-the-less, people want to seriously invest in tunes? 15:49:44 yes, as long as the tone of the explanation is suitable 15:49:59 "suitable?" 15:50:12 which i seem to have a difficult time conveying through ascii text 15:50:32 yes, as in explaining things in very practical terms 15:50:48 mostly in terms of what the listener already understands 15:51:55 eihrul wonders if there's going to be two competing tunes-like companies now. 15:52:12 there should be 15:52:35 tunes is a level of development, not a particular strategy for getting there and implementing it 15:53:14 even the name itself suggests a spec 15:59:15 Rob_ joined #tunes 15:59:45 hi rob 16:00:43 Hi 16:02:41 are you a tuneser? 16:03:23 nope, but I'm interested in it. 16:03:53 ok, ask plenty of questions if you like 16:04:20 we also have an infobot that has little review entries (but very many of them) 16:14:08 nate37 joined #tunes 16:32:51 [NICK] lar[food] changed nick to: lar1 16:46:44 Brianna joined #tunes 16:52:49 [QUIT] air quit: http://www.qzx.com/ :: 17:01:48 water thinks 17:02:39 water goes to get some squeak code to see if it can be used for implementing a tiny slate in squeak 17:02:58 go for it 17:03:45 What was slate being implemented in? 17:03:45 the new swiki look still doesn't look right 17:03:54 nothing :) 17:03:59 lisp, before that 17:04:16 the squeak swiki is up, btw 17:04:21 Great! 17:05:39 there it is... from july 17:05:51 maybe i should get the updated squeak version 17:06:25 yeah i seem to remember some bugs getting fixed that i didn't like being there at all 17:10:30 why the hell is 2.7 the version offered still on the main page? 17:10:42 old pages? :P 17:11:19 2 months at least 17:12:53 there you go 17:14:03 water tries to figure out which file has the most stable release 17:15:39 [QUIT] water quit: Read error to water[tnt-10-9.tscnet.net]: Connection reset by peer 17:16:23 water joined #tunes 17:16:30 grr 17:21:19 water looks at this code 17:23:57 cool, this really is something 17:24:21 hey eih, this allows you to get self-like objects within smalltalk 17:24:54 i'll just have to refactor it a bit to include meta-object stuff 17:25:42 although slots and methods are separate 17:26:27 why are they seperate? 17:26:46 heh.. n/m... just i keep hearing that over and over 17:32:18 back 17:32:21 woops 17:33:25 what is this you speak of? :) 17:33:43 System-Prototypes.cs 17:33:58 would you like a copy? 17:34:08 (a clone ;) 17:35:34 sure 17:35:49 eihrul got Self "working." 17:35:59 although its unbearably slow on my sparcbook :) 17:36:38 i can imagine 17:37:22 you can do stuff in it 17:37:29 it just takes awhile for Self to warm up :) 17:37:55 well, at least you know what the warm-up process is :) 17:38:44 god damn it, i just want to grab the vm, not the whole package 17:38:46 well, a lot of it is also paging because of the small amount of ram 17:38:48 eihrul: You have a sparcbook as well? 17:38:51 (for squeak) 17:38:56 oh 17:38:59 eihrul: One of those big tan things? 17:39:01 lar1: as of recently, anyway 17:39:17 lar1: nope, its small and dark gray 17:39:28 Hmm, ok. You must have a newer one then I. 17:39:46 3gx 17:40:04 anyway 17:40:40 [QUIT] Kyle quit: Leaving 17:44:31 damn it 17:51:56 hm 17:52:25 ok, it's pretty easy to separate this out into object-metaobject pairs 17:53:11 doing multiple objects per MO would require me to register the objects as dependents of the MO 17:53:30 which is more complicated than i want to deal with ATM 17:54:43 so the idea right now is to have it delegate all of its protocol that involves object structure to the MO, which in turn uses the object's behavior object 17:55:33 now, how to write a parser for this is going to be interesting 17:55:53 we have to hide the smalltalk classes, and implement : as an object 17:56:16 not to mention adding the appropriate stuff in the MO for the apply phase 17:56:54 getting the mo to work right won't be too hard 17:57:15 layering a reader over this just might be 17:57:31 water considers looking at the interpreter pattern again 17:57:41 eihrul ponders. 17:57:55 re Fare 17:57:58 deforestation looks a lot like partial evaluation 17:58:16 water waits for squeak 2.8.3 to download 17:59:50 Isn't there a 2.9? 18:00:10 yeah but it has too much alpha code for me to deal with 18:01:53 eihrul really needs to read the PE book. ) 18:02:42 i don't remember if i ever finished it 18:02:55 i know i read at least half 18:03:58 hm my usenet server seems to be having some problems 18:04:10 comp.lang.* isn't showing any activity at all 18:08:39 bineng joined #tunes 18:08:45 bineng! 18:08:47 ltns 18:08:55 hi water 18:08:57 indeed 18:09:13 how's ur project? 18:09:16 I'm sorry I haven't stopped by here very *ahem* often lately 18:09:50 np 18:09:53 what's new? 18:10:19 I've not worked actively on any project for some time. 18:10:26 oh 18:10:30 what about beholder? 18:10:53 neither has he; he's been practising RL. 18:11:01 RL? 18:11:08 Real life ;) 18:11:24 um ok 18:11:47 But how about your projects? I haven't even had a look at your page for a long time. 18:11:56 so i guess you've been busy with work lately 18:12:09 not much progress lately 18:12:19 for a while i had very little time to do anything 18:12:38 and only recently have i been trying to get back into gear 18:12:46 University, but I don't blame that for doing nothing. I haven't felt I was at quite the right track. 18:12:53 oh ic 18:14:42 right now, i'm looking at some code for squeak that makes self-like objects 18:15:01 turning it into a slate object system, hopefully 18:16:34 Is Self better than Squeak in this respect, or is Self just more like Slate? 18:16:53 self is better than smalltalk, yes 18:17:09 but it's also closer to slate 18:17:52 Why not use self from the beginning, then? 18:18:18 because i can't run self until my ibook shows up, and squeak runs on everything and is self-hosted 18:18:34 ok :) 18:18:38 besides, i can't reuse self code anyway 18:19:10 Are you here often? 18:19:18 yep 18:19:26 or available by email 18:19:27 Are others here too? 18:20:02 sure, eihrul and lar1 are here 18:20:17 Fare lies and says he's here every few hours 18:20:34 as for the lurkers, who knows 18:20:36 lies? 18:20:42 lol 18:20:49 ah, Fare :) 18:20:49 greetings 18:20:54 that's the first thing you've responded to all day, Fare 18:21:05 aside from "gakuk" 18:22:08 water: I've been absent all day 18:22:16 family reunion, if you see what I mean 18:22:24 s/reunion/meeting/ 18:23:08 (I mean big family, as in 12th-degree cousins) 18:24:33 so anyway 18:25:20 it seems both Fare and i are trying to find people to collaborate with and get funding from 18:27:15 To get funding I suppose you need some elaborate roadmap and time schedule. Are you really clear enough on what you want to produce that? 18:27:46 if i can discuss it with somebody in person, apparently so 18:28:10 i've started to notice that i am drastically different in person than through ascii text 18:29:11 Really? Interesting.. perhaps you could tunnel whatever it is you want to communicate through a person? Just an idea. 18:29:32 yeah that's what i'm looking at 18:30:08 at the very least, working through the code and ideas in person is a hell of a lot more productive than any other interaction i've gotten for the last 2 years 18:30:55 I guess that is often the case. A RL collaborator is valuable. 18:34:07 water loads up a fresh squeak image with the right tools 18:34:27 self objects, the parser generator, ... 18:37:07 damn it 18:38:43 damn who? 18:39:07 i loaded some packages in the wrong order 18:39:27 there should be a meta-loader to prevent that 18:39:34 duh 18:49:31 water_ joined #tunes 18:49:58 [QUIT] water quit: Killed (NickServ (GHOST command used by water_)) 18:50:06 [NICK] water_ changed nick to: water 18:51:37 ok it wasn't the order it was that morphic wrappers still aren't up to date with the main distro 18:51:41 lispbliss joined #tunes 18:52:14 hey lb 18:54:08 hi 18:54:26 what brings you here? 18:54:46 oh, nothing, just waiting for a download to finish..so I'm looking for interesting discussion :) 18:55:02 not much talk is happening here :/ 18:55:13 yeah, figures.. 18:57:48 is lambda.weblogs.com run by someone in here? 18:58:01 no 18:58:46 hcf joined #tunes 18:58:59 full house 19:00:22 uh? 19:00:35 Yup 19:01:28 water thinks this coding slate in smalltalk will work without a major headache 19:02:07 now if only i can get TGen to work 19:02:18 can squeak produce standalone apps that will work w/o the rest of the vm? 19:02:39 not yet, although you can translate to c 19:02:53 which is limited 19:03:21 i suppose you could use the parts for creating plugins from smalltalk code to do it 19:03:54 yeah, in fact, that seems like the easiest way to do it, but then you still need parts of the vm 19:04:03 ult joined #tunes 19:04:13 hey ult 19:04:26 this place just keeps filling up 19:04:41 'lo 19:04:48 heh 19:07:24 hm 19:07:44 anyone have questions about slate or tunes or something? 19:09:42 so have you resolved my perceived metalevel confusion in slate? 19:09:51 yes and no 19:09:55 ? 19:10:04 i at least percieve it 19:10:19 er... perceive 19:10:26 weird. 19:11:03 however, the meta-level distinctions are not wrt namespaces for slate 19:11:12 except in certain cases 19:11:15 ah, finally, deforestation makes sense :) 19:11:22 heh 19:11:35 it is just a form of partial evaluation :) 19:11:43 pretty much 19:11:52 eih: indeed. 19:11:59 though, how to derive it automatically from PE? 19:12:14 so that it is subsumed by PE? 19:12:51 do you mean in the sense of abstract calculus or in the sense of compiler techniques? 19:13:05 (which should be the same for most people but aren't) 19:14:22 only if your PE does take into account datastructures 19:14:29 well 19:14:43 (which is of course easier if your datastructures are pure, and even easier if they are linear) 19:14:54 for that, what comes to mind is the transformation calculus :) 19:15:03 PE of side-effecting C mostly won't do deforestation, for instance. 19:15:12 abi transformation calculus 19:15:12 transformation calculus is at http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/research.html 19:15:35 J Garrigue is the author of O'Labl (now merged with O'Caml) 19:15:49 abi J Garrigue is the author of O'Labl (now merged with O'Caml) 19:16:04 a very nice guy. A japanesed french boy. 19:16:10 whatever 19:20:14 eihrul ponders a good way to fit deforestation generically. ) 19:32:32 eihrul looks at the transformation calculus. 19:35:56 water joined #tunes 19:36:27 re 19:36:52 damn, all these people waiting for a good conversation 19:37:15 problem? 19:37:39 i just wish the channel were more productive atm 19:38:10 [TOPIC] water: TUNES: Free Reflective Computing System http://www.tunes.org || Slate Programming Language http://www.tunes.org/~water/slate-home.html || http://lambda.weblogs.com 19:38:22 make abi kick anyone who hasn't said something in 4 hours :) 19:38:35 ooo :) 19:38:58 hcf? :) 19:39:11 that wouldnt be a job for abi 19:39:40 water? 19:40:28 what? 19:40:48 i was just trying to get your attention 19:40:54 ok 19:41:47 remind me, what is fare doing tunes-wise except the funding thing? 19:41:54 (i asked him, no answer) 19:43:01 well, he has that lisp + source matching idea to boot tunes from 19:43:35 he doesnt seem to talk about here much 19:43:51 s/here/it here/ 19:44:02 seems to me, he should 19:50:08 hm 19:53:26 water: Would you like Brianna to do that? 19:53:42 no thx 19:53:56 Ok 19:55:22 hcf joined #tunes 19:57:06 re 19:57:09 re 20:05:02 ok i've got basic meta-object stuff done 20:05:31 it definitely needs to get rounded out, though, to avoid some potentially ridiculous bugs 20:15:02 [QUIT] morton quit: Read error to morton[freenet.nether.net]: EOF from client 20:27:05 eihrul hrmms. 20:27:25 yes "robust" is definitely not the word for this code yet 20:27:37 lispbliss left #tunes 20:28:31 guess noone's going to be driving nuclear reactors with squeaky slate yet :P 20:28:34 [NICK] transistor|sqweeky changed nick to: sqweeky 20:28:40 heh 20:29:30 the refactoring browser would help if it were completed 20:29:56 eihrul notes a similarity between tuple spaces and the transformation calculation. ) 20:29:58 [QUIT] transistor quit: Leaving 20:30:03 yeah 20:31:49 i wonder if Fare's concept of context (which always for me has been the blurriest and most annoying part of the Tunes spec) is the key problem with him accepting Slate 20:33:35 ok, i'm going to rely on people not to bypass the slate reader in order to avoid bugs 20:35:09 hm there's no method slots in the prototype objects example 20:39:34 hm 20:40:38 [QUIT] kc5tja quit: Read error to kc5tja[cx248891-a.ocnsd1.sdca.home.com]: EOF from client 20:41:05 [QUIT] hcf quit: Leaving 20:49:57 boy, this needs work 20:50:20 this package doesn't even remove slots properly yet 20:50:44 heh! 20:50:49 what package? 20:51:11 prototype-based inheritance for objects 20:51:15 in squeak 20:51:20 ah 20:56:55 okay, this ends tonights adventure into the land of the transformation calculus 20:57:02 s/tonights/tonight's 20:57:14 heh 20:58:38 i'm still making sure i understand all of the workings of this package so i know how to change things up to make the new slate package safer 21:00:24 grr 21:01:19 (wrong window) 21:02:45 not necessarily the wrong window 21:08:17 heh 21:09:15 [QUIT] Fare quit: Connection reset by pear 21:10:32 [NICK] cor[wk] changed nick to: cor[hm] 21:10:53 diktuon.tunes.org is up again 21:10:57 hey corey 21:11:09 fully functional now? 21:11:10 mail coreyr@tunes.org with questions if you have them 21:11:59 it should be generally useful 21:12:10 i promise. :) 21:13:44 hm ok 21:16:00 eihrul sleeps. 21:16:09 night. 21:16:17 cya eih 21:16:19 [QUIT] eihrul quit: Leaving 21:32:38 hm self without a reflective architecture is not very robust 21:33:04 you can't even implement protection schemes where the object filters out particular senders 21:33:26 so encapsulation is not parametrizable 21:33:30 go figure 21:33:55 i thought they had a handle for that somewhere, but obviously not 21:34:20 otoh, self *is* reflective, not? 21:34:38 yes in some ways 21:34:44 which actually reminds me 21:34:50 there *is* a way to do it 21:35:06 you have to use a mirror on incoming messages 21:35:27 so it's possible, but it hasn't been done or added into the libraries 21:35:44 [QUIT] ink quit: Read error to ink[ppp-207-214-212-152.sntc01.pacbell.net]: Connection reset by peer 21:35:46 hum 21:39:20 ink joined #tunes 21:47:42 [NICK] ink changed nick to: ink[sleep] 21:48:12 [MODE] ChanServ set mode: +o water 21:48:30 [KICK] ink[sleep] was kicked by water (Go sleep somewhere else.) 21:48:30 ink[sleep] joined #tunes 22:07:46 [QUIT] transistor quit: Leaving 22:35:12 [NICK] cor[hm] changed nick to: cor[sl] 22:39:37 [QUIT] bineng quit: finally going to bed <k!14> 22:59:14 [QUIT] _ruiner_ quit: destroy what destroys you 00:20:00 [NICK] lar[shower] changed nick to: lar1