IRC log started Fri Jun 2 00:00:02 2000 [msg(TUNES)] permlog 2000.0602 12:10am -:- SignOff eihrul: #TUNES ([x]chat) abi: compilers programming is yet another list of compiler links at http://www.cbel.com/Compilers_Programming/ 02:20am -:- SignOff hcf: #TUNES (Ping timeout for hcf[207-172-225-210.s210.tnt1.pld.me.dialup.rcn.com]) -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes seen water [water] idle 04:48:07, signon: Thu Jun 1 23:27:43 2000 02:30am -:- Maximus4 [asdasd@node-64-248-41-204.dslspeed.zyan.com] has joined #tunes -:- Maximus4 [asdasd@node-64-248-41-204.dslspeed.zyan.com] has left #tunes [] This channel doesn't seem to be very alive. * billh/#tunes normally hangs on #kernelnewbies. hmph. 02:50am -:- SignOff water: #TUNES (Ping timeout for water[tnt-10-232.tscnet.net]) -:- SignOff billh: #TUNES (Ping timeout for billh[cx739861-a.dt1.sdca.home.com]) -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes -:- SignOff billh: #TUNES (BitchX: born to raise hell) -:- FineWitMe [asdasd@node-64-248-41-202.dslspeed.zyan.com] has joined #tunes -:- FineWitMe [asdasd@node-64-248-41-202.dslspeed.zyan.com] has left #tunes [] -:- water [water@tnt-9-250.tscnet.net] has joined #tunes -:- Kyle_L [kyle@cr168790-a.nmkt1.on.wave.home.com] has joined #Tunes bleh. i fell asleep unexpectedly last night and oh yes, symbols suck when you're trying to build a tunes system what do you mean by symbols? quoted expressions or varaibles, constants, etc I have avoided designing a Tunes-like HLL for those reason. I commend you on your ability to tackle such a feat. heh don't congradulate me yet ;) 08:10am I wonder, could the existence of these symbols indicate that a Tunes HLL and Tunes are the same thing? huh? I mean that HLL, as a subproject, does not make sense? Because it is all of Tunes? the hll is the engine of tunes everything else is a library, essentially I know intuitivly what the goal of HLL is. What is Tunes without the libraries? HLL? pretty much since the os is supposed to be implemented in the hll 08:20am -:- eihrul [lee@usr5-ppp67.lvdi.net] has joined #tunes hey re * water/#tunes is porting HLL specs to diktuon for tunes in general? er, wait, of course :) "I have to admit that this is the first time I've seen an example where adding a type signature makes a program *un* typable!" heh how's that? wasn't following the whole thread, was just glossing over it, was on Haskell mailing list :) oh -:- FineWitMe [asdasd@node-64-248-41-202.dslspeed.zyan.com] has joined #tunes hey again -:- FineWitMe [asdasd@node-64-248-41-202.dslspeed.zyan.com] has left #tunes [] heh. as usual... 08:30am this is *so* rich Fare seems to think that you can precisely specify how a program is to be used in any context 08:50am too bad he doesn't know anyone who does *real* research in cogsci or logic Fare thinks a lot things the way he formats his html indicatesthat he enjoys writing epic narrative poetry or something or perhaps its just a reliance on emacs 09:00am -:- hcf [nef@207-172-225-160.s160.tnt1.pld.me.dialup.rcn.com] has joined #tunes re * water/#tunes attempts to deal with Fare's overt vagueness in tunes docs re 09:30am hm 09:40am -:- dirt [lysergicac@stargate.intelligenesis.net] has joined #tunes re re -:- 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 || Tunes WebDB at http://corey.onezerosix.net/webdb/ 10:20am bbiaf 10:40am -:- Maximus4 [asdasd@node-64-248-41-204.dslspeed.zyan.com] has joined #tunes -:- coreyr 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 || Tunes WebDB at http://diktuon.arrow.cx/ -:- Maximus4 [asdasd@node-64-248-41-204.dslspeed.zyan.com] has left #tunes [] -:- SignOff Kyle_L: #TUNES (Leaving) re 11:00am ok i'll be back in a few hours cya hcf: let's get some nodes ported -:- SignOff water: #TUNES (The Tao went that-a-way!) -:- antoine [antoine@k106-114.kingsley.co.za] has joined #tunes 11:40am -:- m0rt0n [morton@AC8B9520.ipt.aol.com] has joined #tunes -:- m0rt0n [morton@AC8B9520.ipt.aol.com] has left #tunes [] -:- m0rt0s [morton@AC8B9520.ipt.aol.com] has joined #tunes -:- m0rt0s is now known as morton -:- Kyle_L [kyle@cr168790-a.nmkt1.on.wave.home.com] has joined #Tunes -:- smklsmkl [sami@ppp38.dial-in.verkkotieto.fi] has joined #tunes -:- SignOff antoine: #TUNES (Ping timeout for antoine[k106-114.kingsley.co.za]) * coreyr/#tunes is away: {errands} -:- SignOff hcf: #TUNES (Ping timeout for hcf[207-172-225-160.s160.tnt1.pld.me.dialup.rcn.com]) -:- hcf [nef@207-172-225-63.s63.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- antoine [antoine@lila.sanbi.ac.za] has joined #tunes -:- FineWitMe [asdasd@node-64-248-41-202.dslspeed.zyan.com] has joined #tunes -:- FineWitMe [asdasd@node-64-248-41-202.dslspeed.zyan.com] has left #tunes [] -:- SignOff Kyle_L: #TUNES (Leaving) -:- SignOff smklsmkl: #TUNES (back tomorrow) -:- SignOff morton: #TUNES (quit before the carpal tunnel kills me) -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp67.lvdi.net]) -:- SignOff dirt: #TUNES (Leaving) -:- water [water@tnt-10-218.tscnet.net] has joined #tunes re all re 03:50pm -:- eihrul [lee@usr5-ppp111.lvdi.net] has joined #tunes re * water/#tunes and hcf are transforming the tunes site into a network of nodes is diktuon mentioned on the tunes site? nope this is all <1 week old 04:50pm sure but even then, it is the most progress tunes has had on DBizing itself in years :) and tril still hasn't shown up that's news-worthy heh i hate it when Fare dumps things into "difficulties" categories he is not one to be pragmatic anyway :) have you ever looked at his html coding style? nope he's in the wrong line of research he should be an epic poet, not a writer of research :) because he's much better at epic poetry (via tunes docs) than writing research papers maybe a tolkienesque account of the rise and fall of tunes? :) who knows 05:00pm * coreyr/#tunes is away: tennis w/ gf. -:- SignOff hcf: #TUNES (Leaving) -:- hcf [nef@207-172-225-152.s152.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- morton [morton@98AFD54B.ipt.aol.com] has joined #tunes hm in one place Scheme is mentioned for LLL, and in another, Forth. it sounds like Joy is wanted instead of either 05:40pm you can ignore irc, you know :) not the way my client is set up and lurking is just rude yeah we'll have none of that hehe * coreyr/#tunes is back 05:50pm "morton> all the HLLs are fine for theory, but lack the ability to control the hardware as does C or any lll" your daily dose of naivety :) 06:00pm ~170 nodes now n/m 128 06:20pm water: is slate getting recognition lately? from whom? major news agencies? :) i heard something about it on some efnet channels oh ppl are looking at the docs, i know that for sure the docs mention the big players in the scheme field or something i'm still working on getting the docs re-formatted so i can put together the new material they contacted you? it was the self and smalltalk field actually 06:40pm 153 nodes now if you want to help with the project, contact coreyr and ask for access to the editing facilities of diktuon anyway, i'm going to call it a night and go hang out with elric -:- SignOff morton: #TUNES (<>) 07:00pm bbl ppl -:- SignOff water: #TUNES (The Tao went that-a-way!) 07:10pm -:- SignOff abi: #TUNES (Ping timeout for abi[bespin.dhs.org]) -:- ult [ult@AC9C7353.ipt.aol.com] has joined #Tunes -:- abi [nef@bespin.dhs.org] has joined #tunes -:- ult [ult@AC9C7353.ipt.aol.com] has left #Tunes [] -:- water [water@tnt-10-218.tscnet.net] has joined #tunes re re ironically, the headache made me decide *not* to go out tonight 08:00pm -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp111.lvdi.net]) -:- eihrul [lee@usr5-ppp111.lvdi.net] has joined #tunes -:- SignOff hcf: #TUNES (Ping timeout for hcf[207-172-225-152.s152.tnt1.pld.me.dialup.rcn.com]) -:- lar1 [larman@adsl-63-204-132-255.dsl.snfc21.pacbell.net] has joined #tunes -:- Maximus4 [asdasd@node-64-248-41-204.dslspeed.zyan.com] has joined #tunes hi -:- Maximus4 [asdasd@node-64-248-41-204.dslspeed.zyan.com] has left #tunes [] 09:50pm * coreyr/#tunes is away: fire really close. * coreyr/#tunes is back -:- SignOff water: #TUNES (The Tao went that-a-way!) -:- hcf [nef@207-172-225-114.s114.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- Knav [Knav@CP7424-a.dbsch1.nb.nl.home.com] has joined #tunes -:- Knav [Knav@CP7424-a.dbsch1.nb.nl.home.com] has left #tunes [] -:- SignOff lar1: #TUNES (Meh, feh.) [msg(TUNES)] newlog 2000.0603 IRC log ended Sat Jun 3 00:00:03 2000