IRC log started Sat Jun 3 00:00:03 2000 [msg(TUNES)] permlog 2000.0603 * coreyr/#tunes is away: vnc disconnected and sleep. -:- SignOff hcf: #TUNES (Leaving) -:- NetSplit: irc.linux.com split from forward.openprojects.net [12:58am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [irc.linux.com] -:- Netjoined: irc.linux.com forward.openprojects.net -:- coreyr [coreyr@net255ip95.parklink.com] has joined #tunes -:- I440r [mark4@purplecoder.com] has joined #tunes -:- antoine [antoine@lila.sanbi.ac.za] has joined #tunes -:- abi [nef@bespin.dhs.org] has joined #tunes -:- eihrul [lee@usr5-ppp111.lvdi.net] 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 Fare: #TUNES (Ping timeout for Fare[esmeralda.enst.fr]) -:- Fare [rideaufr@esmeralda.enst.fr] 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 [] -:- hcf [nef@207-172-225-25.s25.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- water [water@tnt-9-157.tscnet.net] has joined #tunes hey hey 07:40am hm187 07:50am * water/#tunes looks over the uK glossary entry ok it's do-able 08:00am do categories of programming languages belong in glossary or the languages namespace? n/m it can be changed later anyway ok uK entry has been ported 08:30am ok i found a place where namespace clashing already would occur: /tunes vs /glossary/tunes so the leading slash is necessary :/ (except in access of the local namespace) 08:40am hm too many links to change by hand already... we'd better just rely on a script to fix it if it's found necessary * coreyr/#tunes adds to todo. there's often as much discussion about tunes ideas in squeak as there is in tunes, if not more re 08:50am -:- lar1 [larman@adsl-63-204-134-1.dsl.snfc21.pacbell.net] has joined #tunes hcf: does the lucid proglang have online docs etc? * water/#tunes is looking currently i'l look hm i think i have it or maybe not well i found a primer at least 09:30am abi: lucid is a data-flow programming language at http://www.netti.fi/~simos/oasis/oasis-lucid.html water: http://www-spi.lip6.fr/softs/lucid-synchrone.html/ ah SRI does lucid now Super Research Index? ;) -:- SignOff water: #TUNES (Read error to water[tnt-9-157.tscnet.net]: Connection reset by peer) -:- water [water@tnt-9-157.tscnet.net] has joined #tunes re abi: no, lucid is a data-flow programming language at http://www.csl.sri.com/Lucid.html okay, water. 09:40am abi: dataflow is at http://exile.ucc.ie/dataflow/ abi: dataflow is at http://exile.ucc.ie/dataflow/ i already had it that way, water. oops mmm no flow control constructs :) :) icac, http://www.cs.berkeley.edu/Research/Aiken/ heh 09:50am brb -:- SignOff water: #TUNES (The Tao went that-a-way!) -:- lar1 is now known as lar-food -:- water [water@tnt-9-216.tscnet.net] has joined #tunes re mm... slate spec graph rewrite works incredibly well as a formalism, but the syntax still bothers me got any suggestions, ppl? 10:00am :P as usual am reading, sorry :P 10:10am -:- ``water [water@tnt-9-216.tscnet.net] has joined #tunes -:- SignOff water: #TUNES (Ping timeout for water[tnt-9-216.tscnet.net]) -:- ``water is now known as water -:- mortiis [morton@AC8AA207.ipt.aol.com] has joined #tunes hi hi (yet again) ? n/m water: i printed out a copy of Slate Semantics and Slate Syntax ok the slate faq is nodified ok i don't grasp the concepts very well btw i'm in the process of systematizing the docs where did you find the terms u use in the docs? the implicit keywords Right Now apply which terms in particular? list them so i can write up entries for them yeah 197 nodes now :) 11:00am nodes? yeah we're rewriting the tunes site as a collection of small-sized nodes http://diktuon.arrow.cx boy that url looks totally alien :) so, what about those terms? -:- SignOff antoine: #TUNES (aieeeeeeeeeeee) i guess you're not that interested in talking 11:10am i'll bbl (going out with friends) -:- SignOff water: #TUNES (The Tao went that-a-way!) -:- Kyle_L [kyle@cr168790-a.nmkt1.on.wave.home.com] has joined #Tunes velcome kyle hello. I have not seen you here before. are you new or a long lost tunes friend? 11:20am i'm a tunes enemy :) why is that? im on aol :\ so kyle why are u here mortiis: leave religion out of it I love the ideas here. mortiis: And you? sort of interested in ideas kyle: are you a "I'm going to make a new OS to beat everything" kind of guy? that's the norm in here, i think Yes! My project grew from making a DB re-design tool. Now I have persistence, a compiler, debugger, interpreter, queries replace loops... well, its more of a "I'm going to make a new foo to beat everything" 11:30am Yes, "foo" is a much etter word. Yes, "foo" is a much better word. i hate foo what does that mean? where'd they come up with that? I do too. But you get used to it. foo means anything you want it to mortiis: you dont grok foo? that's why it is so versatile :) in that it is very UNspecific i see kids wearing shirts that say "foo" on the front and "bar" on the back it really annoys me -:- SignOff hcf: #TUNES (Leaving) versus "nike" i'll take "foo bar" -:- hcf [nef@207-172-225-237.s237.tnt1.pld.me.dialup.rcn.com] has joined #tunes I wonder if there are any anti foo-bar web sites? * Kyle_L/#Tunes looks for one i know this one kid who has 20 different programming Tshirts linux penguins, chinese symbols that say "Skillful Coder" foobar, you name it -:- SignOff Kyle_L: #TUNES (Leaving) 11:40am -:- Kyle_L [kyle@cr168790-a.nmkt1.on.wave.home.com] has joined #Tunes back to hear some more tunes, kyle :) got distracted -:- Kyle_L is now known as Kyle_ -:- Kyle_ is now known as Kyle_L -:- lar-food is now known as lar1 12:00pm -:- antoine [antoine@lila.sanbi.ac.za] has joined #tunes -:- smklsmkl [sami@ppp67.dial-in.verkkotieto.fi] has joined #tunes wow squeak on a mac - that must be a free-thinker's paradise 12:30pm Heh 12:40pm -:- SignOff smklsmkl: #TUNES (bbl) -:- SignOff antoine: #TUNES ([x]chat) -:- antoine [antoine@lila.sanbi.ac.za] has joined #tunes -:- antoine is now known as DeMonet -:- DeMonet [antoine@lila.sanbi.ac.za] has left #tunes [] -:- SignOff Kyle_L: #TUNES (Leaving) -:- SignOff hcf: #TUNES (Leaving) -:- SignOff mortiis: #TUNES (Read error to mortiis[AC8AA207.ipt.aol.com]: Connection reset by peer) -:- AmICul2 [asdasd@node-64-248-41-203.dslspeed.zyan.com] has joined #tunes -:- AmICul2 [asdasd@node-64-248-41-203.dslspeed.zyan.com] has left #tunes [] -:- mortiis [morton@AC9EA4F4.ipt.aol.com] has joined #tunes -:- SignOff mortiis: #TUNES (Leaving) -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes billh! What's up ? I talk to water occasionally on EFNet. * coreyr/#tunes is playing with diktuon and I've been hanging out on the #kernelnewbies channel since I'm kind of interested in working on that stuff. That's about all. 03:40pm -:- SignOff I440r: #TUNES ([x]chat) * coreyr/#tunes is away: gone with friends (on return, ns regex) -:- AmICul2 [asdasd@node-64-248-41-203.dslspeed.zyan.com] has joined #tunes -:- AmICul2 [asdasd@node-64-248-41-203.dslspeed.zyan.com] has left #tunes [] -:- Kyle_L [kyle@cr168790-a.nmkt1.on.wave.home.com] has joined #Tunes hello! Anyone out there? nope Q: what is a "recursive type"? The context is the fifth paragraph of Inheritence in the glossary 07:50pm List n = Cons n (List n) ? I don't know lisp that's not lisp that's pseudo-Haskell what is the line saying? How is it useful? -:- SignOff lar1: #TUNES (Leaving) 08:00pm that a list may be defined as the cons of a value and a list of such values I am reading a paper on it now. Thanks. I am seeing if a can do such a thing in my system. 08:20pm -:- SignOff billh: #TUNES ([BX] Oral sex makes your day) -:- SignOff Kyle_L: #TUNES (Leaving) -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes -:- lar1 [larman@adsl-63-204-134-1.dsl.snfc21.pacbell.net] has joined #tunes -:- 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 [] -:- SignOff billh: #TUNES (BitchX: the OTHER white meat) -:- mark4 [mark4@purplecoder.com] has joined #tunes -:- mark4 is now known as I440r -:- SignOff lar1: #TUNES (Sleepy time.) [msg(TUNES)] newlog 2000.0604 IRC log ended Sun Jun 4 00:00:01 2000