IRC log started Wed Jun 14 00:00:01 2000 [msg(TUNES)] permlog 2000.0614 okay, I just made a lot of progress. Now you can delete anything (under certain conditions). cool 12:10am u might want to let the mlist know at some point what the complete feature set is and will be i figure the more info we put onto the list, the more response will blossom 12:20am alan bawden reached many of the same conclusions i have.... it's too bad he missed some ideas and didn't see the potential for a really useful language like slate of course this was back in '93 heh... before tunes existed who? abi: alan bawden alan bawden is an ex-MIT LISP hacker at http://www.bawden.org/alan/ hmmmm linear naming.. hrmm yes, a very interesting idea im searching that site for some details on it.. you won't find much more than the papers Fare and i have already scoured guh postscript! there's a little code, but it's also in the papers duh!!! :) get ghostscript :) now im gonna have to dl ghostscript for win yah dude i swear by that program sheesh, 1 MB.... compressed postscript is your friend i had it before.. but i just installed w2k ewwww * water/#tunes gets the wooden stake ready 12:30am water: what exactly is the title of this paper? (still have 500k more to go) heh ive already downloaded ghostscript, gsview, and the paper. cable modem :) "implementing distributed systems using linear naming" i think i'm going to send him an email about slate errm the 'working paper' appears to be corrupt water: ok I sent email to review list tril: ok which paper is that? wp1.ps.gz oh that under project status i got a good copy of that and that's not the important paper -:- SignOff Tril: #TUNES (Tril has no reason) which is the important one? duh... the one whose title i mentioned above "implementing distributed systems using linear naming" on his home page ahh ok got it yay it worked 12:40am man. i should be sleeping later all :) -:- calabash [orangina@209-6-184-126.c3-0.wth-ubr1.sbo-wth.ma.cable.rcn.com] has left #tunes [] cya 01:10am -:- water has changed the topic on channel #tunes to: TUNES: http://www.tunes.org/ || Slate: http://www.arrow.cx/slate-home.html || Slate Tutorial: http://diktuon.arrow.cx/list.php?ns=tutorial || Zope Review Database: http://zope.tunes.org/Review/ hm mips 20k -:- nate37 [nate@cx83983-d.irvn1.occa.home.com] has joined #tunes 01:50am -:- SignOff eihrul: #TUNES ([x]chat) -:- SignOff water: #TUNES (The Tao went that-a-way!) -:- Closing Link: TUNES[bespin.dhs.org] by adams.openprojects.net (Ping timeout for TUNES[bespin.dhs.org]) -:- Connection closed from irc.us.openprojects.net: Success -:- Connecting to port 6667 of server irc.us.openprojects.net [refnum 0] -:- BitchX+Deb1an: For more information about BitchX type /about -:- Welcome to the Internet Relay Network TUNES (from varley.openprojects.net) -:- Your host is varley.openprojects.net, running version u2.10.05.18.(ipcheck4-5) (from varley.openprojects.net) -:- This server was cobbled together Wed Apr 28 1999 at 12 02:19 EDT(from varley.openprojects.net) -:- varley.openprojects.net u2.10.05.18.(ipcheck4-5) dioswkfcg biklmnopstv -:- [local users on irc(23)] 2% -:- [global users on irc(487)] 47% -:- [invisible users on irc(550)] 53% -:- [ircops on irc(22)] 2% -:- [total users on irc(1037)] -:- [unknown connections(0)] -:- [total servers on irc(29)] (avg. 35 users per server) -:- [total channels created(419)] (avg. 2 users per channel) !varley.openprojects.net Highest connection count: 44 (41 clients) !varley.openprojects.net Welcome to Open Projects! You are on 4 ca 1(2) ft 14(14) tr. -:- Mode change [+f] for user TUNES -:- Mode change [+iws] for user TUNES -:- JOIN activated by "TUNES #tunes tunes@bespin.dhs.org " -:- TUNES [tunes@bespin.dhs.org] has joined #tunes -:- Topic for #TUNES: TUNES: http://www.tunes.org/ || Slate: http://www.arrow.cx/slate-home.html || Slate Tutorial: http://diktuon.arrow.cx/list.php?ns=tutorial || Zope Review Database: http://zope.tunes.org/Review/ -:- topic set by water [Wed Jun 14 01:14:26 2000] -:- [Users(#tunes:6)] [ TUNES ] [ nate37 ] [ smoke ] [ coreyr ] [ Fare ] [ abi ] -:- Channel #tunes was created at Sun Feb 28 08:48:06 1999 -:- BitchX+Deb1an: Join to #tunes was synced in 6.062 secs!! -:- Mode change [-ws] for user TUNES -:- SignOff coreyr: #TUNES (Ping timeout for coreyr[net255ip95.parklink.com]) -:- smklsmkl [sami@ppp76.dial-in.verkkotieto.fi] has joined #tunes -:- SignOff smklsmkl: #TUNES (bbl) -:- hcf [nef@207-172-225-50.s50.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- coreyr [coreyr@net255ip95.parklink.com] has joined #tunes -:- smklsmkl [sami@ppp27.dial-in.verkkotieto.fi] has joined #tunes -:- jpr [jpr@cr168790-a.nmkt1.on.wave.home.com] has joined #tunes -:- SignOff jpr: #TUNES ([x]chat) -:- eihrul [lee@usr5-ppp130.lvdi.net] has joined #tunes -:- SignOff smklsmkl: #TUNES (bbl) coreyr: abi: acd&i? acd&i is Advanced Compiler Design & Implementation at http://www.mkp.com/books_catalog/catalog.asp?ISBN=1-55860-320-4 12:00pm * coreyr/#tunes is back -:- td [x@ilm25-43-036.ec.rr.com] has joined #tunes -:- SignOff hcf: #TUNES (Leaving) -:- hcf [nef@207-172-225-238.s238.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- SignOff td: #TUNES (Ping timeout for td[ilm25-43-036.ec.rr.com]) -:- SignOff hcf: #TUNES (Leaving) -:- smklsmkl [sami@ppp97.dial-in.verkkotieto.fi] has joined #tunes -:- XeF4 [xef4@194.255.106.44] has joined #tunes -:- nate37 [nate@cx83983-d.irvn1.occa.home.com] has left #tunes [] -:- mabus [mabus@net255ip94.parklink.com] has joined #Tunes anyone use hevea here? -:- mabus [mabus@net255ip94.parklink.com] has left #Tunes [] 02:00pm -:- mabus [mabus@net255ip94.parklink.com] has joined #Tunes -:- Tril [dem@bespin.dhs.org] has joined #tunes -:- mode/#tunes [+o Tril] by ChanServ -:- SignOff smoke: #TUNES (loadkeys us) -:- hcf [nef@207-172-225-183.s183.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- SignOff smklsmkl: #TUNES (back tomorrow) -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes -:- auspex [god@c419860-b.btnrug1.la.home.com] has joined #Tunes Hello. 04:40pm hi what brings u? I'm wondering if anyone has made an evaluation of (or 'rep 'jade-lisp (languageof sawfish)) :-) ^--- smiley for the non-existing function (languageof) It falls somewhere between scheme and elisp: minimal, but has some special functions and byte-compilation. ok, where? http://librep.sourceforge.net/ oh abi: librep? librep is an embeddable Emacs-Lisp-like runtime library, LISP interpreter (rep), byte-code compiler and virtual machine at http://www.dcs.warwick.ac.uk/~john/sw/librep.html and http://librep.sourceforge.net/ I'm guessing abi is a bot. yeah infobot I've been trying to find a comparison and evaluation of LISPs, including rep, and the one at tunes.org is the only one I've found; but no mention of rep. eihrul: know any? 04:50pm nope i stick to CMUCL know any of comparisons? Tunes will be using scheme, right? um, primarily using? (I'm not sure that's the question I want to ask. I'm still reading.) doh, just found the FAQ. nev mind auspex: it is not the question you want to ask, but it is answered in the FQ FAQ, even -:- SignOff hcf: #TUNES (Ping timeout for hcf[207-172-225-183.s183.tnt1.pld.me.dialup.rcn.com]) 05:00pm hmm, since many have submitted logos, here's my submission: )( reflected parenthesis, or "where that ends, this begins" or "the world in a lisp function" Well, I'm going to continue reading. I'll probably be back when I've read and learned more. Ciao! -:- auspex [god@c419860-b.btnrug1.la.home.com] has left #Tunes [] -:- hcf [nef@207-172-225-214.s214.tnt1.pld.me.dialup.rcn.com] has joined #tunes 05:10pm -:- lar1 [larman@adsl-63-204-135-52.dsl.snfc21.pacbell.net] has joined #tunes -:- water [water@tnt-10-166.tscnet.net] has joined #tunes hey all Hey 05:50pm hm mabus: hello 06:00pm librep could/should interoperate with Kawa anyway who's alive here? hi I'm alive 06:10pm so does anyone want to discuss something? 06:20pm bah at the moment, I'm looking for good information on common lisp reader macros oh clhs? hmm? abi: clhs? clhs is the Common LISP HyperSpec at http://www.xanalys.com/software_tools/reference/HyperSpec/ 06:30pm water: eta of spec? hm tonight, if fortune smiles a lot hinges upon conversations are you waiting for eihrul? yes, or someone who can talk from his perspective :) 06:50pm what issues are unresolved? unresolved issues: what "." does precisely, where and how it is specified, and how must ":" and "^" muct therefore be implemented also, fully define the set of primitives needed the minimal set, such as slot-management, cloning, and "." there does exist the possibility of making multiple kinds of ".", but that is not something i'm pushing -:- SignOff billh: #TUNES (BitchX-1.0c16 -- just do it.) i think that could wait for mobius to be properly don +e eihrul said he could implement your spec in a day, when i asked him earlier. yeah the spec will be very short, most likely i dont think i understand the issues, but. you need standard objects right? "standard"=? like for numbers... oh 07:00pm what do you call that base? yes, but that's pretty simple to "simulate" for now literals, you mean? hmm i mean standard objects that would make up a base that someone could use to create things that they want heh i know thats vague iow "literals" :) but i dont have the terminology ok the spec won't include anything but stuff required by the usual PL lexer -:- SignOff lar1: #TUNES (Leaving) and even then, that's just for initial purposes when will literals come? almost immediately they'll be handled implicitly in the first round, but the goal is to reify them asap those user-level type things i keep talking about being able to reflect on the lexer (like lisp's reader) in extensive ways (period :) does that make sense? :) kinda more than it would have a month ago ok i must find better ways to explain these things you gotta speak to the lowest common denominator lol dude do you *know* what the lcd is? :) 07:10pm yeah youve never heard that? the lcd barely groks algebra, let alone algebraic specification yes i've heard that, i'm saying the lcd here is very low :) oh heh but i'll try hmm lord knows we get enough of them here ;) yeah s/lord/void/ they'll be handled {implicit}ly the first round but the goal is to {reify} them asap those {user-level} type things i keep talking about heh being able to {reflect} on the {lexer} etc... :P gotcha >>> coreyr [coreyr@net255ip95.parklink.com] requested PING 3403743433 from #tunes hm yes part of documentation should include clarifying the glossary network 07:20pm on the unresovled issues, with slate spec, do you have ideas about how things should go but arent sure about it, or are you totally without clue? heh the former it's a big step in programming language design to decide to *emulate* state in a system with lots of distributed structure anything close? or just precursors in current langs/ other than this linear naming paper, not really people are going to ask you why this is superior i know im sure the reasons are beyond my level, unless you want to "water" it down. :) they already have, especially in the case of arrow and slate is the kernel of arrow implementation the user-level type thingie is in the direction of arrow tunes lies directly in the path between slate and arrow and this situation has been clear in my mind since '95 your allowed to rant about tunes/arrow/slate stuff i encourage it 07:30pm -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes re bill Hello. ;-) I got Kawa working last night, but it sucks 77megs of ram. ;-) ouch Scheme 48 only sucks 6-7megs. why so much? hotspot or libs or a combination? probably. DrScheme only sucks about 16megs. ya The libs are pretty extensive so it's like having another complete language system in place. ic There's advantages to that in that you have the ability to use stuff like Swing, etc... that are not in typical Scheme. k a module system, i assume, handles this so you could dump modules when not necessary But the bloat is a serious concern. Fortunately I'm running FreeBSD 4.0 primarily and my machine won't thrash because of VM load like LInux does. heh Yeah, hopefully future Java JVMs will deal with this more intelligently. billh: if you talk about linux vm load one more time i will have to thwap you over the head with bespin! The raw JVm itself is pretty reasonable. this is the fourth time you've pimped it once is enough :P Hahaha eih: FDU chains? eihrul Yeah, I know. It's big frustration of mine since I don't have that much ram, 64megs. ;-) water: factored definition use chains: every definition has exactly one use ok What's that stuff ? sounds interesting. billh: well, you can rant about it all you want in #kernelnewbies :) linear naming stuff eihrul They already know. water: whereas fud chains are: every use has one definition k eihrul You talking about variable useage analysis in functional languages ? eih: how much did you get into that paper? bill: more than that water: the one you posted? eih: yes haven't read it yet look into the chapter on state near the end, the intro at the beginning, and the linear scheme profile in between 07:40pm what are you guys reading from ? Muchnick ? the paper available from the following site: abi: alan bawden alan bawden is an ex-MIT LISP hacker at http://www.bawden.org/alan/ his dissertation a lot of the slate ideas are there but not all of them, of course ;) church project ? no, grep "dissertation" on that page * billh/#tunes attempt to fix his postscript viewing system. hmm 07:50pm abi: idsuln? idsuln is Implementing Distributed Systems Using Linear Naming at ftp://publications.ai.mit.edu/ai-publications/1500-1999/AITR-1627.ps -:- StevenL [steve53@pool0641.cvx15-bradley.dialup.earthlink.net] has joined #tunes hi steve Hi, there. 08:00pm Your bot kicked my friend Lynn, so I figured I stop by and find out what he said to deserve it. eh? our bot doesn't kick With him, it's entirely possible, he deserved it. no bots have ops here Humm. i kicked him once and i don't think people at the time dissaproved Oh well... s/dissap/dissapp/ Everyone's got a right to their own opinion. :) sure what else brings you here? That was it, at the moment... ok I tend to get curious about the oddest things. :) i suppose you know of SL/I? A recuitment attempt was made. :) ok he seems to think SL/I (whatever it is) will satisfy tunes hll requirements Let's say, I've never believed in a single solution for all problems. ok I sure couldn't say. just please make it clear to him that he can't claim adherence to the documentation of Tunes without some sort of concurrence from us What are tune's goals? refer you to the FAQ abi faq faq is http://www.tunes.org/Tunes-FAQ.html I'll let you tell him that. OK. i already have he didn't get the message i think those years at IBM made him an ass He's got his good points. I just keep telling him to show me proof-of-concept... That's keeps him pretty busy. hm the faq isn't loading here nm there it is ok The FAQ loaded fine here. -:- NorthernLady [AskMe@dialin319.toronto.globalserve.net] has joined #tunes Hello hello, nlady what brings you here? I am just channel surfing :) ok How are you doing? not bad have you heard of tunes before? 08:10pm Never If fact - this is my first time on this server * water/#tunes points at the topic I am normally on DALnet ok is dalnet still lagged as heck? I have not been there yet See guys. Back to work for me. not tonight anyways heh And ladies too. -:- StevenL [steve53@pool0641.cvx15-bradley.dialup.earthlink.net] has left #tunes [] I mean since like a year ago last time I visted it Oh yes Still lagging all the time Do you play MP3 in here? heh abi: tunes? tunes is a free reflective computing system at http://www.tunes.org or to programming languages what the internet is to networks thanks, abi water: sure thing it's not a musical project it's an acronym connection to music is just for an example, and artistic yeah, good job, abi * NorthernLady/#tunes is at that website now :) Thanks for your help :)) -:- NorthernLady [AskMe@dialin319.toronto.globalserve.net] has left #tunes [] hm has anyone met mabus? yes oh? what's mabus like? and why is he lurking? 08:20pm * water/#tunes was answered off-channel btw, i sent email to alan bawden last night i don't know if the address was current, though, although i didn't get a bonce-back 08:40pm -:- washort [washort@d115.narrowgate.net] has joined #tunes hey wash hello hey. -:- washort_ [washort@d115.narrowgate.net] has joined #tunes yes? -:- SignOff washort: #TUNES (Killed (NickServ (GHOST command used by washort_))) -:- washort_ is now known as washort hm -:- SignOff billh: #TUNES ([BX] Mr. Peanut uses BitchX. Shouldn't you?) 08:50pm i think that email went to the wrong person hcf: could you locate alan bawden's current email for me? possibly he's no longer listed at ai.mit.edu, and he has no user-site there btw, the idsuln factoid is available via: idsuln, ids, and unl for ur convenience heh ok hm the obvious answer is alan@bawden.org hm or at achilles.bu i don't think this fellow wants to be contacted ;) it seems he's playing a cruel joke with non-linearity :) lol hm lcs.mit.edu has him 09:00pm that looks the best from the http://mesa.rrzn.uni-hannover.de/ results whoa * water/#tunes bookmarks that i almost forgot to use it i dont usually need email addrs if lcs.mit.edu works, so should ai.mit.edu u could try calling him ;) heh http://www.POPULUS.net/cgi-bin/HyperFinger?address=Alan@LCS.MIT.EDU that's just too much info -:- SignOff hcf: #TUNES (Leaving) -:- hcf [nef@207-172-225-129.s129.tnt1.pld.me.dialup.rcn.com] has joined #tunes 09:10pm Alan@LCS.MIT.EDU showed up on a couple of pages w/ 2000 dates, one had Alan@LCS.MIT.EDU (formerly Alan@MIT-AI) ok however, i didn't get a bounce-back reply, so i don't think i should bother you guys get his SSN and bank account #'s? :P That's not a request! heh hcf: how much info can you get on *me*? info such as? hey hcf can you figure out my cell phone number? hcf: surprise me i have all the info i want, i dont want more heh hey can you get hcf's name? so anyway -:- washort [washort@d115.narrowgate.net] has left #tunes [] -:- washort [washort@d115.narrowgate.net] has joined #tunes 09:20pm -:- NetSplit: clarke.openprojects.net split from sterling.openprojects.net [09:47pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [clarke.openprojects.net] -:- Netjoined: clarke.openprojects.net sterling.openprojects.net -:- Tril [dem@bespin.dhs.org] has joined #tunes -:- water [water@tnt-10-166.tscnet.net] has joined #tunes -:- ServerMode/#tunes [+o Tril] by clarke.openprojects.net icac, abi: jfs? jfs is a programming environment for Jfl, a language for transforming fuzzy logic programs into C and back at http://inet.uni2.dk/~jemor/jfs.htm odd found on http://www.hex.net/~cbbrowne/langobscure.html hm the one that links to slate -:- lar1 [larman@adsl-63-204-135-52.dsl.snfc21.pacbell.net] has joined #tunes abi: Q-BAL is Queue-BAsed Lanugage, a PL based on the question "What would it be like if a language were based on queues rather than stacks?" at http://homepage.eircom.net/~kmgaughan/esolang/q-bal/index.html heh awesome abi, mozart/oz? washort: i haven't a clue abi, oz? washort: no idea hm abi: mozart mozart is a concurrent constraint programming language at http://www.mozart-oz.org/ or an implementation of Oz heh :) abi: oz oh well 10:40pm * washort/#tunes doubts there is a language that abi doesn't know about well, at the very least, a language with a freely available implementation :) oh yes there are any language that requires 16 bit or 32 bit unicode characters to name eihrul: haha :) eihrul: :P~~ hey there's a MOO research group and the url would be? http://www.cms.dmu.ac.uk/Research/MRG/ 10:50pm -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes -:- smoke [smoke@15dyn156.delft.casema.net] has joined #tunes -:- SignOff billh: #TUNES (BitchX: its everywhere you want to be) -:- SignOff lar1: #TUNES (Hugs are good.) -:- SignOff Tril: #TUNES (late) [msg(TUNES)] newlog 2000.0615 IRC log ended Thu Jun 15 00:00:00 2000