IRC log started Fri Oct 29 00:00:00 1999 [msg(TUNES)] permlog 1999.1029 -:- SignOff td: #TUNES (td has no reason) -:- SignOff eihrul: #TUNES ([x]chat) -:- hcf [nef@me-portland-us339.javanet.com] has joined #tunes -:- SignOff Zhivago: #TUNES (Leaving) !larne:*! it'd be nice if someone fixed lu -:- hcf has changed the topic on channel #tunes to: Free Reflective Computing System -:- hcf has changed the topic on channel #tunes to: Free Reflective Computing System || arrowdev -:- NetSplit: irc.linux.com split from lucas.openprojects.net [08:01am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [irc.linux.com] -:- Netjoined: irc.linux.com lucas.openprojects.net -:- Tril [dem@bespin.dhs.org] has joined #tunes -:- Fare [fare@quatramaran.ens.fr] has joined #tunes -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- abi [nef@bespin.dhs.org] has joined #tunes -:- hcf [nef@me-portland-us339.javanet.com] has joined #tunes -:- ServerMode/#tunes [+o Tril] by sterling.openprojects.net -:- NetSplit: sterling.openprojects.net split from lucas.openprojects.net [08:10am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [sterling.openprojects.net] -:- Netjoined: sterling.openprojects.net lucas.openprojects.net -:- Tril [dem@bespin.dhs.org] has joined #tunes -:- Fare [fare@quatramaran.ens.fr] has joined #tunes -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- abi [nef@bespin.dhs.org] has joined #tunes -:- hcf [nef@me-portland-us339.javanet.com] has joined #tunes -:- ServerMode/#tunes [+o Tril] by irc.linux.com -:- NetSplit: irc.linux.com split from lucas.openprojects.net [08:51am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [irc.linux.com] -:- Netjoined: irc.linux.com lucas.openprojects.net -:- Tril [dem@bespin.dhs.org] has joined #tunes -:- Fare [fare@quatramaran.ens.fr] has joined #tunes -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- abi [nef@bespin.dhs.org] has joined #tunes -:- hcf [nef@me-portland-us339.javanet.com] has joined #tunes -:- ServerMode/#tunes [+o Tril] by sterling.openprojects.net -:- NetSplit: sterling.openprojects.net split from lucas.openprojects.net [09:18am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [sterling.openprojects.net] -:- Netjoined: sterling.openprojects.net lucas.openprojects.net -:- Tril [dem@bespin.dhs.org] has joined #tunes -:- Fare [fare@quatramaran.ens.fr] has joined #tunes -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- abi [nef@bespin.dhs.org] has joined #tunes -:- hcf [nef@me-portland-us339.javanet.com] has joined #tunes -:- ServerMode/#tunes [+o Tril] by irc.linux.com -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us339.javanet.com]) -:- mibin [mibin@62.10.6.176] has joined #tunes hmmm is Brian Rice here? 10:40am not atm abi: seen water? water was last seen on IRC 11 hours, 40 minutes and 51 seconds ago, saying: toodles [Thu Oct 28 23:04:35 1999] what is his nick? umm .. guess ;) rice? water abi: seen water water was last seen on IRC 11 hours, 45 minutes and 15 seconds ago, saying: toodles [Thu Oct 28 23:04:35 1999] 10:50am -:- SignOff mibin: #TUNES (Ping timeout for mibin[62.10.6.176]) -:- hcf [nef@me-portland-us122.javanet.com] has joined #tunes re hcf * Tril/#TUNES is back from the dead. Gone 12 hrs 25 min 11 secs hey Tril long time no see 11:40am i haven't made my electronic identity visible here for a while, no r u back for a while or just a day or so? uhh I don't know. I'm working on tunes today. Hopefully I will continue in the future :) 11:50am Tril: did u read the msgs on /. in response to the eros item? no someone mentions tunes http://slashdot.org/articles/99/10/28/0151212.shtml someone ? Ian Bicking (bickiia@earlham.edu) hes not on the lists this bruce schneier interview has applicability to tunes as well wow that's a big thread I dont think we can get slashdotted from a link in the comments, anyway esp. when being dissed ;) 12:00pm -:- hcf has changed the topic on channel #tunes to: Free Reflective Computing System || arrowdev || logo in scheme -:- binEng [Anders@j141.ryd.student.liu.se] has joined #tunes -GlobalMessage(s@GlobalMessage)- sorry, please ignore this. (once only) -:- mibin [mibin@62.10.4.103] has joined #tunes !seen water abi seen water water was last seen on IRC 13 hours, 34 minutes and 40 seconds ago, saying: toodles [Thu Oct 28 23:04:35 1999] a tnx Tril 12:40pm -:- eihrul [lee@usr5-ppp178.lvdi.net] has joined #tunes -:- SignOff binEng: #TUNES ( <k!14>) abi: seen core core was last seen on IRC 3 days, 3 hours, 48 minutes and 28 seconds ago, saying: hm, well, i'll be back :) you have a good day :) [Tue Oct 26 10:10:49 1999] can anybody enlighten me on Arrow? did you read the paper? 02:00pm which is the url? abi: arrow? arrow is a homo-iconic information manipulation system intended to support programming and human languages in the way that Tunes should. at http://www.tunes.org/papers/Arrow/, http://www.tunes.org/~water/ k tnx 02:10pm * Tril/#TUNES is away: (afk) [BX-MsgLog Off] abi: pizza is at http://www.math.luc.edu/pizza/ 02:30pm -:- SignOff eihrul: #TUNES (Read error to eihrul[usr5-ppp178.lvdi.net]: EOF from client) -:- SignOff smkl: #TUNES (brb) -:- fire [no@209-68-229-157.dialup.cust.tfb.com] has joined #tunes -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- SignOff fire: #TUNES (Read error to fire[209-68-229-157.dialup.cust.tfb.com]: Connection reset by peer) -:- binEng [Anders@j141.ryd.student.liu.se] has joined #tunes hi bin hi anything going on? nope 03:30pm ok, just wanted to be sure don't you see that as a problem, as Tunes' member and everything? Shouldn't there be all kinds of activity around here? there will likely be some activity in a few hours there will? -:- fire [no@209-68-229-157.dialup.cust.tfb.com] has joined #tunes -:- hcf_ [nef@me-portland-us718.javanet.com] has joined #tunes -:- SignOff hcf: #TUNES (Read error to hcf[me-portland-us122.javanet.com]: Connection reset by peer) -:- hcf_ is now known as hcf binEng: yeah, probly how about #tpp? any activity there? ;) nah :( -:- pyro [tcn@cci-209150250125.clarityconnect.net] has joined #tunes binEng: see, now heres fire and pyro, and soon activity great! 03:40pm heh i didn't notice pyro being here if my parents didn't name me tom i would have wanted to be named tom er if they hadn't named my david rather :D hey i've got a brother named dave cool little delinquent, hehe anyone here know anything about scheme? anyone notice the bug in the "new" altavista? hcf: no, what is it? _every_ page size iz 10K or 11K hehe Scheme? Scheme is a badass dialect of lisp or ((nearly) (perfect)) 03:50pm it's a simplified versin of lisp -:- SignOff fire: #TUNES (Leaving) fire (when elgato) put in the badass part of the factoid smartass abi: scheme =~ s/badass // OK, hcf abi: scheme =~ s/lisp/Lisp that stresses conceptual elegance and simplicity/ OK, hcf but ... is scheme reflective? or ... 04:00pm can be used to create a reflective system? Rscheme might be reflective rscheme is at http://www.rscheme.org tnx Fare said it was damn close to his idea of Tunes pyro: which, of course, the review of it makes no mention of haha I distictly recall Fare saying something like "Rscheme is Tunes".. like the rscheme guys had beat him to it like it's not the greatest Tunes implementation, but at least it's reflective and it's got persistent storage, GC, all that stuff whats missing? hmm, maybe because it's not an OS in itself 04:10pm how bout s/TUNES/RschemeOS/ ? there's the lispOS project.. and there was the LispM a long time ago.. I bet persistence and stuff isn't that useful when it has to go through Unix Rscheme would need its own filesystem and things like that, which it currently relies on Unix for abi: forthos? i haven't a clue, pyro abi: fos? no idea, pyro abi: retro? i haven't a clue, pyro what?!! I betcha that retro/forth-os will become useful way before any lisp-os because we don't have to worry about distractions like GC pyro: would u mind filling the missing factoids? it's just "take this forth interpreter, those drivers, write a couple utilities.. done. Ok, let's add some useful features people have suggested.. ok, next.." hcf: sure abi: retro = tcn's Forth-based OS project at http://tunes.org/~tcn/retro/ retro? it uses 'is' not '=' 04:20pm abi: retro is tcn's Forth-based OS project at http://tunes.org/~tcn/retro/ (superceded by Forth-OS) abi: fos is short for Forth-OS abi: Forth-OS is the successor to Retro (no web page yet) fos? fos is, like, short for Forth-OS ur renaming retro to forth-os? maybe i thot there was already a forth-os there is? im pretty sure let's search.. MFIG's FOS @ http://www.bcpl.lib.md.us/~nbuck/fos.html thats what i was thinking of we've been calling it forth-os in emails. ok u joined them? no umm, their page is dated 1996 maybe they put it aside whats wrong w/ 'retro'? its much better than forth-os * hcf/#tunes whines heh forth-os is also generically named I think forth-os may end up being a 'standard' but I'll keep the name Retro for this one.. it's cooler :) good idea 04:30pm then ppl can start flamewars I mean, other people will write their own forth-oses and we'll probably adopt certain conventions for filesystems, etc... abi: forget fos and forth-os pyro, I didn't have anything matching fos and forth-os abi: forget fos pyro: I forgot fos abi: forget forth-os pyro: I forgot forth-os abi: retro? retro is tcn's Forth-based OS project at http://tunes.org/~tcn/retro/ (superceded by Forth-OS) abi: no, retro is tcn's Forth OS project at http://tunes.org/~tcn/retro/ okay, pyro. besides, if it stays Retro I don't need to get a copyright waiver from my boss since I published it before I was hired it took Emmanuel Marty a goddamn year and a half to get a waiver for his OS.. 04:40pm abi: seen water water was last seen on IRC 17 hours, 39 minutes and 33 seconds ago, saying: toodles [Thu Oct 28 23:04:35 1999] k c ya guys -:- mibin [mibin@62.10.4.103] has left #tunes [] 04:50pm -:- water [water@tnt-10-250.tscnet.net] has joined #tunes hey brian hey mibin was just lookin for ya who is that? mibin@62.10.4.103 (Ragno) * water/#tunes checks the logs *just* left water: he was here most of the day, just waiting for u rofl ouch email, anyone? ;) why was he looking for me? water: interest in arrow cool * water/#tunes jots an email to him he hadnt read the paper yet how did he find out about it? unsure hcf: what do you think of my problems with the tunes mlist? (emphasis on *my*) dont stress, just do arrowdev k problems? you mean arguments? i didn't finish the revs to the spec last night which, btw, zhivago looks like he could be helpful so i'll get them done now and send it out hcf: how so? is zhivago ever around? water: at least for writing reader-friendly docs pyro: later usully yes, well that's mostly what the revs are for 05:00pm since i got some good feedback hcf: he's working on lispos, right? (on irc) pyro: unsure seen zhivago? abi: seen zhivago? zhivago was last seen on IRC 17 hours, 47 minutes and 5 seconds ago, saying: oops, too late :) [Thu Oct 28 23:13:55 1999] water: he seemed to catch on faster than who? uhm, others hcf: yes, but our philosophies clash, so there might be a while before we can work out our differences -:- air [brand@p0wer.qzx.com] has joined #tunes ur philosophy clashes w/ everyone's water: same with me.. and I'm also interested in working out a simple explanation hcf :) pyro: hey, how goes retro? hcf: heh water: Have you tried to let someone you've explained Arrows to write about it? Maybe that would be easier for others to read. bin: it's _open_. anyone can implement it however they want or write whatever they want about it air: good, good :) Got some good forth programmers involved now. I'm rewriting it so it only uses Forth to compile itself. water: Well, unless it catches on, nobody is going to write about it unless you ask them for it. i've asked several people to write intros but they're waiting for the code to be completed and some examples written but..? i heard but was it the current version? :) I'd write about arrow but I'm too damn busy and I'm kind of a pragmatist.. Forth is practical so it's more important to me 05:10pm water: How does multi-arrows work? Are they constructs inside the arrow world, or a kind of "second atom"? bin: well they're just another kind of arrow... they're better at modeling relations, though bin: because you can directly represent n-place relations so there are arrows and multi-arrows? bin: the reason that they're in the paper is that it is simple to use arrows to simulate multi-arrows yeah, but they don't exist in the same 'universe' ah, so multi-arrows would still be built using ordinary arrows, then. eh? well, the usual arrows are special cases of multi-arrows the two types are like different languages for talking about relations and such sorry, i guess the 'universe' word was confusing but if arrows are special cases of multi-arrows, there's not really two "types", is there? yes there is, because it doesn't make arrows 'subtypes' of multi-arrows having multi-arrows pre-supposes the natural numbers, for instance * water/#tunes ponders wouldn't mostly anything pre-suppose the natural numbers? I mean.. you can use almost anything to differentiate between 0 and 1, and in that way define "fixed points" for the natural numbers. 05:20pm well, i don't think that arrows need the natural numbers per se in order to work well because arrows don't have variable size multi-arrows do so they do, eh hmm. but then multi-arrows don't have to be limited in cardinality (size) you could have multi-arrows with more than an infinite number of points But you could never capture more than a finite number of 'non-uniformly' objects sure the information content of the whole arrow system (on a fsm) would have to be finite exactly -:- SignOff hcf: #TUNES (Leaving) * water/#tunes envisions future computers not being limited by finiteness per se. How does multi-arrows look anyway? All extending from the same origin, and reaching different objects? How can you access the size of it? dunno. i haven't worked with them outside of using them to conceptualize n-place relation but they do share a common tail? of course not no.. when I think about it. 05:30pm water: look at the Xanalogical Media article (linked from the bottom of udanax.com page).. you should do something lik that for arrows.. ok is that that superduper hypertext system? 05:40pm hmm i don't like natural language per se as media but otherwise, the ideas there look really good wow.. I found one picture that really makes everything clear (I was reading it in Lynx yesterday.. Netscape 3.0 today :) 3.0 rules, by the way wow. Xanadu was a one-person development for about 19 years that beats arrow by 13 :) well that explains how a journalling filesystem works what does? 05:50pm this picture in the Xanalogical Media article which one? 4th from the bottom this is exactly why we need something like Xanadu :) anchored links suck ok i still don't like the idea of basing it on natural language sentences I thought it was based on bitstreams or just streams same thing (to me) well there are analog streams but anyway 06:00pm so xanadu can do cool things because it doesn't butcher documents with embedded tags i can't figure out how mibin learned about arrow except by word-of-mouth or by reading the mlist archives, but then he'd have also read the tunes front page yeah, it's a nice abstract hypertext system separate data and indices seems like a reasonable thing to do :) I gotta play with something like that * water/#tunes concentrates on getting the revised arrow spec ready ok I won't bug ya 06:10pm mibin's host doesn't exist he's in Tiscali, Italy dialup IP #, I guess yeah tiscalinet.it 06:20pm that was one long traceroute heh boston, NY, london, frankfurt, milan?.. longer for you on the west coast yeah where did yours take you? i don't have a traceroute on this machine hey I'll try it from bespin :) my linux box is still internet disabled oh yeah 30 hops max ain't enough :) damn i hate win98 this is definitely *not* my machine lemme try, what's the address? oh it gets stuck on one 62.10.4.103 hm.. it went straight from Palo Alto to Vienna satellite I guess -:- eihrul [lee@usr5-ppp178.lvdi.net] has joined #tunes yeah. my ping to london is faster than bespin's even though I'm on a modem. -:- SignOff water: #TUNES (Read error to water[tnt-10-250.tscnet.net]: Connection reset by peer) -:- _water [water@tnt-10-250.tscnet.net] has joined #tunes abi: seen core core was last seen on IRC 3 days, 8 hours, 17 minutes and 39 seconds ago, saying: hm, well, i'll be back :) you have a good day :) [Tue Oct 26 10:10:49 1999] dern haha stockholm, london, frankfurt(i), italy. I think. when I leave I'll hafta say I'm going to kill myself sounds like a good strategy to stay here then 06:30pm then adopt a new nick after you killed yourself? yup nah I'm off to India -:- NetSplit: king.openprojects.net split from irc.linux.com [06:33pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [king.openprojects.net] -:- Netjoined: king.openprojects.net irc.linux.com -:- eihrul [lee@usr5-ppp178.lvdi.net] has joined #tunes I never considered before that lists can be seen as functions.. <_water> really? yes <_water> i mean, you really didn't think so? hadn't thought about it until now <_water> hm I'm wondering how functions (with regard to in- and outvalues), variables and constants can be seen as the same thing. <_water> well i guess variables could be functions from language symbols to values that's true <_water> constants seem just like variables where changing them requires an explicit change in context 06:40pm <_water> but then, constants should be useful in optimization <_water> i.e. partial-eval <_water> i don't really know for sure you mean that constants are only so in a certain context? <_water> well, that's how i see it ic <_water> you generalize a context by making a constant into a variable in a wide sense <_water> which means that constants are function-applications what? <_water> considering varialbes as functions <_water> hmm function-applications == running a function? <_water> yeah <_water> if f is a function, then f(x) is an application ok If they are to be the same, variables and constants should be allowed to be expressed as a function-application, then. <_water> you could do that, yes And they are 'reduced' to the simplest form.. i.e. where they evaluate to themselves <_water> but usual compilers wouldn't optimize it correctly, i think, unless they were well-tuned <_water> you'd have to think in terms of data-flow <_water> which reminds me of plisp How would that be written in lambda-calculus? <_water> how would what be written? That a term evaluates to itself? <_water> darn bbiam Identity, maybe? 06:50pm <_water> sort of <_water> plisp uses something called 'graph rewrite' what was that about data-flow? <_water> you take a data-flow graph (where nodes are applications), and reduce it by evaluating the applications until you're left with a single node - the answer <_water> a data-flow graph is just a system of directed links between function applications <_water> i/o for functions hmm -:- _water is now known as water heh. i didn't notice that my nick was different 07:00pm there are some good intros to rewrite systems rewrite systems? yeah, languages that use various kinds of rewrite rules like maude abi maude? maude is, like, a rewriting logic language at http://maude.csl.sri.com/ rules for rewriting what? abi: maude is also reflective okay, water. terms (expressions) ok 07:10pm Good night. -:- SignOff binEng: #TUNES ( <k!14>) abi: seen bineng? bineng was last seen on IRC 52 seconds ago, saying: Good night. [Fri Oct 29 19:14:09 1999] 07:20pm -:- SignOff pyro: #TUNES (pyro has no reason) -:- fire` [no@209-68-229-54.dialup.cust.tfb.com] has joined #tunes hey fire Buenas noches amgios como estan uds. ? * water/#tunes is experiencing the bliss of a new $10,000 sound system heh and writing arrow specs i.e. mlist stuff im trying to see if i can't write my interpreter in scheme k scheme is oh so much easier but im a real rookie heh * fire`/#tunes fondles his premature facial hairs lol i don't get the purpose of (let) it binds a symbol to a value without making an actual variable 09:00pm so it doesn't waste heap space? among other things, yes is there a compile mode for rsc? you mean to compile to machine code or bytecode? to bytecode, yes what about to an executable? dunno depends on the implementation 09:10pm i'm not familiar enough with it scheme sure is fun i guess not to mention smalltalk :P heh the environment is what makes a language fun, imo i wish i knew howt o use emacs it has a lot of features well like the lisp pretty printer yeah 09:20pm -:- kt91 [user6624@mc-38-214.tm.net.my] has joined #TUNES hello kt HI how r u? elooooooooooooooooo -:- SignOff kt91: #TUNES (Leaving) heh oh well 09:30pm heh...it's home coming night and im not at home coming lol and you're learning a new language "you know you're a geek if ..." :) i was watching freaks and geeks tonight and these 3 geeks fought this jock and lost the one geek was even bigger and all the geeks did was try and hug him fire`: is that how u fight? no :) i haven't been in a fight since third grade i almost got in a fight on tuesday but my problem is anger i get angry after the confrentation not during so i never get into a fight thats too bad i never got into anger type fights we just fought for the title pound yer friends face into the ground and hang out with him the next day like nothing happened if i did anything to my friends, they'd be in the hospital they don't really know how to take punches u dont look like u know howto throw punches uhhh i do i just haven't in a while atleast u dont have anything to BACK the punch 09:40pm yes...i need to get in a fight just for the sake of fighting u do its fun i remember when i was in first through third grade i got in a fight every two weeks but more fun when u can do something other than little kid punching i remember the first time i punched someone in the face that sound is like music to my ears then i chipped my tooth... never got in a fight again :\ nah the thing is though i don't have anyone to fight walk outside and fight the first huge male u see there is no honor in that ya there is title if anyone gives me any crap i will give them lip * water/#tunes suggests #machotalk then when they come at me i shall restore my honor 09:50pm not likely -:- SignOff fire`: #TUNES (Ping timeout for fire`[209-68-229-54.dialup.cust.tfb.com]) -:- fire` [no@209-68-229-63.dialup.cust.tfb.com] has joined #tunes -:- td [x@1Cust169.tnt3.wilmington.nc.da.uu.net] has joined #tunes 10:00pm hi td hey water * water/#tunes is studying the self vm docs for ideas 10:10pm hmm "visual sslf"? "visual self"? i just got this idea * water/#tunes files the idea into his arrow interfaces ideas oh? sort of an arrow-like self i see i.e. no text identifier dependence, visual syntax the semantics of ui objects would be the self-like thing with a few changes i'll have to check out self td: tutorial -> http://self.sunlabs.com/release/Self-4.0/Tutorial/index.html ok thanks it's impossible to get a useful version (one that runs on pc's) but the source is open oh. i got one self interpretter.. but i noticed it was broken or not finished there are a few projects to port it to linux, etc, but they aren't done oh yeah, that's jecel's code it doesn't do much abi: self? self is a prototype-based object system or at http://self.sunlabs.com/ there are a few links to the projects that work on porting it yeah 10:50pm water: u spend too much time talking on irc and not enough time working on arrow er... this is one of about seven windows open right now i'm looking at self ideas and trying to relate it to arrow if i counted the number of irc lines beginning with yer name it would show that yer attention has been on this window for quite some time today :) heh fair enough -:- water [water@tnt-10-250.tscnet.net] has left #tunes [] ok now that i got him to leave we can talk about hardware or asm programming :D or fighting :) i sure do love to fight... -:- SignOff air: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) 11:10pm -:- SignOff fire`: #TUNES (Leaving) [msg(TUNES)] newlog 1999.1030 IRC log ended Sat Oct 30 00:00:00 1999