IRC log started Tue Apr 11 00:00:01 2000 [msg(TUNES)] permlog 2000.0411 -:- Fare [rideaufr@esmeralda.enst.fr] has joined #tunes -:- thomas [thomas@193.217.63.152] has joined #tunes -:- coreyr [coreyr@net255ip95.parklink.com] has joined #tunes -:- XeF4 [xef4@194.255.106.40] has joined #tunes -:- Fufie [stig@tunnel-44-41.vpn.uib.no] has joined #tunes -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- abi [nef@bespin.dhs.org] has joined #tunes -:- smoke [smoke@15dyn32.delft.casema.net] has joined #tunes -:- AlonzoTG [Alonzo@216-164-131-160.s160.tnt2.lnhva.md.dialup.rcn.com] has joined #tunes hoy 08:40am -:- SignOff AlonzoTG: #TUNES (Read error to AlonzoTG[216-164-131-160.s160.tnt2.lnhva.md.dialup.rcn.com]: Connection reset by peer) -:- AlonzoTG [Alonzo@207-172-49-248.s248.tnt7.lnhva.md.dialup.rcn.com] has joined #tunes -:- hcf [nef@me-portland-us1030.javanet.com] has joined #tunes * Fufie/#tunes hangs himself with a coax cable -:- hcf has changed the topic on channel #tunes to: TUNES, Free Reflective Computing System: http://www.tunes.org/ || Slate Language: http://www.tunes.org/~water/slate-home.html -:- SignOff coreyr: #TUNES (Ping timeout for coreyr[net255ip95.parklink.com]) -:- SignOff smoke: #TUNES (One day sheep will rule the world) -:- smoke [smoke@15dyn32.delft.casema.net] has joined #tunes -:- SignOff XeF4: #TUNES (Leaving) -:- SignOff hcf: #TUNES (Leaving) -:- smklsmkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- SignOff smkl: #TUNES (Ping timeout for smkl[glubimox.yok.utu.fi]) -:- smklsmkl is now known as smkl -:- SignOff AlonzoTG: #TUNES (Read error to AlonzoTG[207-172-49-248.s248.tnt7.lnhva.md.dialup.rcn.com]: Connection reset by peer) -:- td [x@63.38.122.41] has joined #tunes -:- eihrul [lee@usr5-ppp135.lvdi.net] has joined #tunes -:- SignOff Fufie: #TUNES (Leaving) * Fare/#Tunes is back gakuk 02:50pm -:- SignOff td: #TUNES (td has no reason) gakuk! 03:00pm -:- irack [adfag@cust99.tnt1.dial.cal1.uunet.ca] has joined #tunes hello all -:- irack [adfag@cust99.tnt1.dial.cal1.uunet.ca] has left #tunes [] 04:10pm -:- lar1 [larman@adsl-63-204-134-164.dsl.snfc21.pacbell.net] has joined #tunes Fare: Ping? pong * Fare/#Tunes is beepable Ah. oh I have been working on a proposal for a "SubProject status page" http://www.tunes.org/~lar1/tunes/projects.php3 It just has one entry -- as I don't know the status of the other projects 04:20pm Are you willing to keep the Sub Projects you head updated? (Its a simle webform) lar1: can I modify them? Fare: As of yet -- no. However, the "member's managemet" scripts are about half done. I'd expect to see them by the end of this week, hopefully. brb k... 04:30pm -:- Netjoined: sterling.openprojects.net clarke.openprojects.net -:- lar1 [larman@adsl-63-204-134-164.dsl.snfc21.pacbell.net] has joined #tunes -:- eihrul [lee@usr5-ppp135.lvdi.net] has joined #tunes -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- smoke [smoke@15dyn32.delft.casema.net] has joined #tunes -:- Fare [rideaufr@esmeralda.enst.fr] has joined #tunes -:- thomas [thomas@193.217.63.152] has joined #tunes -:- abi [nef@bespin.dhs.org] has joined #tunes -:- XeF4 [xef4@4.ppp1-8.worldonline.dk] has joined #tunes -:- hcf [nef@me-portland-us233.javanet.com] has joined #tunes -:- SignOff smoke: #TUNES (z!) -:- coreyr [coreyr@net255ip95.parklink.com] has joined #tunes -:- SignOff coreyr: #TUNES (Reconnecting) -:- coreyr [coreyr@net255ip95.parklink.com] has joined #tunes -:- SignOff lar1: #TUNES (:D) -:- SignOff XeF4: #TUNES (exit) -:- water [water@tnt-10-112.tscnet.net] has joined #tunes hey, i'm afk for a bit (house work) if you have something to discuss, msg me 06:30pm nothing? ping 06:40pm apparently the tunes web db has been moderately configured * water/#tunes watches as some tumbleweed rolls by. 06:50pm :/ if anyone wants me to explain something, i would be willing to participate hey -:- Kyle_L [kyle@cr168790-a.nmkt1.on.wave.home.com] has joined #Tunes ! hi kyle hello say, you're the kyle who's participating in temporally local tunes mlist noise, aren't you? ;) yes * water/#tunes <- highly opinionated, and intentionally so well give me a minute please to take care of some housework, and then i'd like to discuss various things is that ok? yes 07:00pm good, bbiaf escape while you still can! :) heh 07:10pm hm ignore these fellows ;) seriously, i'm busy spring-cleaning tonight, so i won't have time to banter at any rate, kyle, i'm sure you have things you wish to discuss or ask (as well as corey and eih i'm sure) I was just trying out IRC for the first time: started here. i'd first like to know what you really thought of arrow and particularly the paper hm ok I thought it was very well written. well, keep in mind that the channel IS logged, and i am very interested in making good use of those logs thx, keep in mind of course the paper was written while in the persian gulf and i have learned much since then I was looking for some implementation, almost found it on your Slate page, but it only had titles right, but slate happens to BE the intended implementation :) well, it'll bootstrap arrow I am using an ergo-keyboard, my hunt-and-peck is slower then usual fine, i am re-arranging my room, so be aware i might take some time to respond by the way, abi is the channel infobot and i will use her to provide url's to interesting sites for you to see if you have questions of any kind, start asking thanks I am wondering what an arrow is. It appears, to me, to be a pointer. -:- ult [ult@user-37kba1r.dialup.mindspring.com] has joined #Tunes but a little different. I think I have a similar construct, but I do not know unless I see a formal arrow well, it's just a kind of abstraction.... the idea is that any formalism that you use that admits of an arrow modelling can be used as an arrow to a limited degree such as a Lisp CONS cell (which happens to use pointers, of course) YES! That was the word I was looking for. 07:20pm heh ok cons cells work as arrows to extent, but like all formalisms, they break down as a model-constructing tool at some point I would model an 'arrow' with a 3-tuple (ID, tail, head). What is your model? in modern computing, bits are ubiquitous as base-level constructs... these have inherent assumptions that i am beginning to learn to formalize hm yes, that works, but it's just a model of course sometimes, (head, tail) is just as important mmmm er (tail, head) modeling bits. I need to do that too. I have been putting it off. well, any programming language in a sense is a model of bits, of course DBOS is a large because of my desire not to model 'arrows' and bits, but there is only so far you can go without doing so. "is a large"? what does that mean? I was thinking of modeling bits with minimal interpretation, simplest model means that my typos are numerous heh do bits always come in blocks of 2^n? can an efficient system exist that only allows those sizes? er what is the interface to a block-of-bits object look like? well, addressable memory using binary numbers as bit-fields makes 2^n sizes attractive ;) well, a bit-field (as i call it) has an abstract formalism in lattice theory and group theory, as well as mappings of those models into other interesting theories 07:30pm I do not like the idea of byte or word, seems arbitrary to choose a particular n, other than zero of course. and those formalisms actually are quite natural 2^n sizes make pointers very space-efficient you should read Shannon's information theory abi shannon shannon is probably see http://www.itr.unisa.edu.au/~alex/shannon.html and it is very rare that anyone could afford more addressable memory than such good, 'bit-field' is a great name. I was using 'bit-chunk'!! :) you should read the first paper mentioned on that url's page is abi a magical being? "A Mathematical Theory of Communication" abi: you? i am the little girl borg with a big brain or #tunes' personal little whore or gaklosmontic or flurivostuginuous or xyvarestoplik or an Artificial Idiot or braindead or a crack addict infoslut or stubborn thank you, abi :) no worries water abi is an infobot program run from hcf's account on tunes.org I barely remember my own phone number. anyway... bit-fields hey, it's your turn ;) thinkin....... If bit-fields are used do they need a helper interface to use them in a conventional manner (bytes and words)? * water/#tunes sighs With a field of bits there would be a lot of bit shifting. Having a word size has advantages. what is the big picture with this? i don't consider bit-fields, bytes, words, etc a very significant issue I have to store strings in the DBOS that only allows for fixed sized records. I need to make a compiler however, i'm used to working in languages where you don't have to worry about such things unless you want to 07:40pm have you ever used squeak? I need a model for bit fields to communicate with the physical machine about the code I compile. it's a high-level reflective implementation for smalltalk that models its own memory store How? (hm how do i put this delicately) take a look at the code in squeak and learn a bit from it i'm here to discuss tunes, arrow, or slate, or something directly causally or inferentially related DBOS almost models its own memory, but compiling is another issue. * water/#tunes points at the #tunes topics how does dbos *directly* relate to tunes? -:- yinzen [foobar@cx158568-a.okcnw1.ok.home.com] has joined #tunes why do geeks seems to have interpersonal problems? :) hi yinzen water: *ahem?* hello corey: this is *not* personal It s my attempts at a Tunes specification. water: :P well, explain how it satisfies what has been laid out on the website *directly* i can most certainly explain how slate derives from the hll and tunes pages yinzen: can we answer some questions for you? water: you make up what you lack in amiablity in expertise. corey: i don't lack, i suppress :P get a life, corey heh i'm sorry, but i want to discuss tunes I will nedd time. Tunes has only been known to me for 20 days. Some particulars must be worked out. well, please do so quickly i have read the tunes docs every month for the last 5 years or so it took me quite a while to pinpoint exactly what tunes was and what it was not 07:50pm i had the idea for arrow even before tunes existed, and it took me even longer to formalize hehe dont tempt me =) yin: hm? to start asking questions well, my point is that the quote "any sufficiently advanced technology is indistinguishable from magic" applies to a certain extent to Tunes as well as Arrow it happens to everyone who joins the tunes mlist and has their own cool ideas which they proceed to confuse with tunes *everyone*. even i have been afflicted with this thing i call "concept fusion" I am willing to accept the possibility I am wrong of course. Kyle_L: doubtful well also be willling to accept the possibility that you make noise I am not sure of the definition of concept fusion wrt tunes of course, not wrt your own ideas abi: concept fusion is the in-ability to distinguish between two presented concepts even when the evidence lies in the presentation thanks i'm not saying the evidence is *auto*-evident, but nevertheless it is always there water: did you coin it, or do you have a source i can follow up on? i've heard it used among math professors and in books i have read occasionally but they never explicitly define it any questions further? none at present for me. i have a lot to read. you certainly do :) 08:00pm kyle, yinzen: tunes, arrow, slate, or other language ideas or concepts? Maybe I will work on a doc to show DBOS and Tunes objectives. pliant yin: are you working with pliant people? i have been studying it oh just recently found it slate sounds interesting too, but too abstract for me to understand yet, and not able to be played with yet so .. ok well i don't know volumes about it, but i know the general architecture and its language-relatives i personally find pliant's concepts to be rather hack-ish, but then i'm a purist :) that must be why slate is too difficult for me to understand but pliant seems actually able to be grapsed by me with some tinkering and reading hehe well, slate has no good intro or tutorial yet well perhaps it will gear me up for the real deal ... when it exists ;) the docs start where beta, self, and lisp docs stop if eihrul gets the time to help, and i get my specs done, that could be soon well, dolphin is on hold indefinitely so, school permitting, only thing i'm working on is compiler for you or overall? for me, anyway really the only language that I can actually get things done with and understand and has some kind of elegance and sense of design to it is python. but i am desperate for something even more profound there's plenty of better languages out there yin: have you tried squeak? scheme/lisp seem interesting but I cant seem to find much on how to do anything really major with them. or the library type code allready written to do things like python can do no I havnt really .. i downloaded once a long time ago and played with it for a bit, but didnt get a chance to really dig into smalltalk. yin: looked at www.lisp.org ? Play with me! there are plenty of good free environments for lisp and scheme -:- TornToast [flop@210-55-149-133.dialup.xtra.co.nz] has joined #tunes yah, I guess I just havnt been able to 'get it' yet .. i wish there was a Programming Common Lisp O'reilly book. hi tom toast and there are so many schemes, ugh 'ello 08:10pm hm well, i'm no lisp guru, but perhaps eihrul can point you in the right direction "ANSI Common Lisp" torn: got questions about tunes? k, thankyou eihrul i will look into it. -:- water has changed the topic on channel #tunes to: Hey! It's newbie night! :-) || TUNES, Free Reflective Computing System: http://www.tunes.org/ || Slate Language: http://www.tunes.org/~water/slate-home.html note, the book, not the language nod I'm looking for information on Retro besides the retro home page? bye -:- SignOff Kyle_L: #TUNES (Leaving) eh? uh did i just scare him off or something? hm i guess he lost track of the conversation torn: the home page is pretty much all the info there is you'll have to mail tcn or catch him while on irc Doh. Thanks. * water/#tunes commences to place the components of his stereo system np 08:20pm -:- TornToast [flop@210-55-149-133.dialup.xtra.co.nz] has left #tunes [] -:- ult_ [ult@user-38lc6a9.dialup.mindspring.com] has joined #Tunes re well eih, if you have questions, bring 'em up -:- SignOff ult: #TUNES (Ping timeout for ult[user-37kba1r.dialup.mindspring.com]) -:- nate37 [nate@ppp-206-117-3-252.dialup.pcmagic.net] has joined #tunes just frustrations well vent 'em :) rmm, just downed routes and lag oh 08:30pm i have a question that might be a little basic * eihrul/#tunes hmms. need to think of how i want my type model to work... :/ abi: lazy am pondering just using prototypes at this point over lisp type model hm lazy eval? yeah i have a good paper on it i got it from RI abi: ri? ri is, like, researchindex at http://citeseer.nj.nec.com/cs?dd=2 on ~water? kay thanks no, search for "lazy evaluation" eih: how do you mean? water: but then again, by time compiler design is finished, you might have specified slate before i the implementation lisp are you considering making a lisp from scratch just to make slate out of? 08:40pm yes, providing slate is not done by time i start huh? dude there can't be *that* much left to do the primitive ideas are pretty basic (no pun intended) well, as i said, if it is ready, i'll use it :) uh sure eh? i just don't see what's not straightforward about implementing a slate object system it doesn't have to have great features, it just has to work for now well, it has to support the implementation of a compiler... besides, an optimizing compiler for minimal lisp makes some of the self optimization ideas inapplicable huh? what are you talking about? bootstrapping what does that have to do with the initial implementation? everything! why would writing a lisp from scratch help bootstrapping? lisp is just as far from slate as c++ in some ways you must be using terms in ways i don't explain exactly what your plan(s) are given whatever language: 1) write a small interpreter for it in lisp 2) write a real compiler for the language in the language itself ohhh n/m then you answered a question i wasn't asking are you considering making a lisp from scratch just to make slate out of? yes, providing slate is not done by time i start s/interpreter/compiler/ and that's the whole point that pliant (among others) taught us: whichever reflective interpreters are BAD reflective compilers are GOOD -:- nate37 [nate@ppp-206-117-3-252.dialup.pcmagic.net] has left #tunes [] umm, fare, hush hm is that in the aspic2000 review of yours, fare? r interpreters have constant factor slowdown the interpreter is just enough so that i can write the real compiler you completely took my statement out of context r compilers have constant slowdown did someone say pliant? 08:50pm ;) Fare can tell you about pliant yinzen: yes? I can't tell you more than you can figure out through the web site, source, etc. The right person to query for details is the pliant mailing list Fare: writing a full implementation of a compiler other than in the language itself is wholly a fruitless and wasted effort well I have been studying it, and wondering how it compares to some of TUNES requirements for a langauge eihrul: if you pick up a subset of LISP that's also a (semantic) subset of your language, that's ok. yinzen: the general architecture is good. However, Pliant is often too low-level and stuff I'd like the tunes hll to be to pliant what ocaml is to C. hmm, is it intended to be extended to any degree necessary to reach higher levels of abstraction? sure -:- water has changed the topic on channel #tunes to: TUNES, Free Reflective Computing System: http://www.tunes.org/ || Slate Language: http://www.tunes.org/~water/slate-home.html and slate is going to be that hll ? maybe it at least is a debating point, once i write a good intro and tutorial so people can grok it that way the differences between tunes hll specs and slate can be disinguished oops. time to goto 3053 kukag! -:- SignOff Fare: #TUNES (:Connection reset by pear) kukag!? bog although Fare will probably disagree on the basis that slate != scheme :) ahh I see an implementation to see just what it means to implement such a thing. well, it'd be a first... what'd be a first? to have an implementation to see just what it means to implement a tunes oh well, i had something like slate/clos with a gui back in '95 i didn't sleep for two weeks while making it rmm, don't people just plop over dead after lack of that much sleep? nope, not if you take care of your body and mind properly 09:00pm dont you hallucinate? well, i stayed up for 4 days, got epilepsy :) if you count meditation as sleep, then yes i slept but i certainly didn't lie down for it or become unconscious but of course, i bent my entire schedule to make it work i didn't make many of my classes that week, for instance er... those weeks anyway, lucky for you, i estimate at least 1-2 months for a full implementation design and plan of attack for compiler cool how much for a basic implementation? i.e. don't worry about the literal system or non-trivial i/o compiler would be impossible without literals of course well, atleast very complex interpreter can be blurted out over a weekend or two though :) well i'll need the basic implementation in order to work with the system to make sure i get the literals right good in order to support mo's, it needs to be able to return a representation of the object in question as a primitive this is definitely a problem, so don't worry about mo's just yet i'll most likely simulate them or something -:- hcf_ [nef@me-portland-us233.javanet.com] has joined #tunes just provide a very simple mo interface that gives, say, the list-representation of the object's message protocol -:- SignOff hcf: #TUNES (Read error to hcf[me-portland-us233.javanet.com]: Connection reset by peer) -:- hcf_ is now known as hcf (using slate-style cons cells) 09:10pm you know, objects with two slots only and keep application primitive for now since i only need to work with message-forwarding during application phase are you getting all of this? yes ok this should be simple enough and complete enough to work from for the first prototype but if not for bmo's, then what is slate? :) btw, adding literals will be the first test of dynamic primitives hm yes, don't worry about them just yet. i still must work out some of the details there just take it for granted that it should be pretty simple to add the support (in the way i request it) well, i'll be at the terminal intermittently for the next hour or so * water/#tunes returns to fiddling with the stereo 09:20pm hey corey yep do you know about foldoc? no abi: foldoc for lazy evaluation lazy evaluation may be sought in foldoc at http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?query=lazy+evaluation btw, use a query window to ask abi for things (i only do it in the channel to illustrate the syntax) water: no problem. oh, and icuc, i used to be a very good and well-paid tutor :) 09:30pm -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp135.lvdi.net]) la dee da water: night. ok 10:00pm abi: oasis is a smalltalk framework for modularization and control of side-effects at http://oasis.canis.uiuc.edu:8080/Oasis 10:20pm -:- SignOff coreyr: #TUNES (night all.) -:- SignOff ult_: #TUNES (Leaving) -:- SignOff hcf: #TUNES (Leaving) -:- SignOff thomas: #TUNES (Ping timeout for thomas[193.217.63.152]) -:- thomas [thomas@193.217.63.152] has joined #tunes hi tom [msg(TUNES)] newlog 2000.0412 IRC log ended Wed Apr 12 00:00:01 2000