IRC log started Wed May 3 00:00:00 2000 [msg(TUNES)] permlog 2000.0503 -:- SignOff nate37: #TUNES (Ping timeout for nate37[cx83983-d.irvn1.occa.home.com]) -:- ruk [wrong@niantic0300.mohawk.net] has joined #tunes -:- ruk is now known as dirt -:- SignOff dirt: #TUNES (Read error to dirt[niantic0300.mohawk.net]: EOF from client) -:- thomas [thomas@193.217.63.152] has joined #tunes hi, anyone here 04:50am -:- SignOff smoke: #TUNES (Ping timeout for smoke[15dyn249.delft.casema.net]) -:- smoke [smoke@16dyn234.delft.casema.net] has joined #tunes -:- Kyle_L [kyle@cr168790-a.nmkt1.on.wave.home.com] has joined #Tunes -:- hcf [nef@me-portland-us447.javanet.com] has joined #tunes ! ? 09:20am . 09:30am -:- ult [ult@user-38lc61p.dialup.mindspring.com] has joined #Tunes ! ¿ enuf punctuation, now talk I'm trying to get xemacs colors to work under screen your goodbyes left me with eyes that cried... Is someone in the mood to help me understand the subilties of lamda calculus? Kyle_L: i cant find any intro that isnt graduate level i guess no one goes, "i want to learn the lambda calculus today" 10:00am im not used to learning any other way Any intro is good. What do you have? what would you recommended? i have no money for books i rely off the state educational system for that coreyr: got your MP3's... coreyr: I'll wait till I have ADSL to upload them, since cable will charge my upload should happen in a week, if everything goes well no problem i have another cd than you of rach playing rach most probably the same recording anyway, isn't it? you got kreisler-rach: liebesleid and liebesfreud? rachmaninoff? ult: yup. Cool. coreyr: no, not this one I got a few kreisler-plays-kreisler, tho I wonder if respecting copyrights will encourage him to record more disks... Fare: can you play any instrument? 10:10am * ult/#Tunes whistles I can misplay flute I whistle and chant less badly than I play flute how did you batch encode those mp3s? midis are pretty nice actually This night, I used grip but it's all gooey I'll go on freshmeat to find better tools none of them like fbsd bah. Fare: do you go to live performances? occasionally, but seldom that's a shame, since I live in Paris -:- aligod [Aligod@98A63FD1.ipt.aol.com] has joined #tunes yeah about all we get here is a basketball game * coreyr/#tunes sighs. on the other hand, we have no basket ball games around here i think id prefer paris course ive never been there i saw a movie about paris once heh i think it was called "Gateway to Paris" i watched les miserable two days ago it was Russian with subtitles 10:20am i was asked to move to paris once by a girl, but i refused the girl wasn't pretty enough... no she was running from the authorities. Typical woman florida is devoid of culture unless you consider teal green and pink everywhere culture 10:30am i mean theres like key west with the whole hemingway thing, miami with hispanic influence, st petersburg with the dali museum and then theres beaches and oh yeah lots of swamp. the beaches with the saggy old people thing i grew up in a retirement home. playin' cards with the old folks that might be fun bingo. in Paris, there are no swamps, but there's "Le Marais" there are no retirement homes, but there is Le Bastille ;-) (Le Marais means the swamp -- there was a swamp there loooong ago) (it's one of the most expensive district in old Paris) Fare: do you know what a sinkhole is? no * Fare/#Tunes asks dict now I know since florida is honeycombed limestone with water that flows through, often the limestone melts and peoples houses fall in 10:40am startling common * Fare/#Tunes looks up limestone * Fare/#Tunes gotta go -- dinner do you know why its called orlando, some dumb guy got hit with an arrow from an indian and died so they named the city after him. fare thee well Fare: later. -:- _out [Trimpot@200.201.30.174] has joined #tunes -:- SignOff _out: #TUNES (Leaving) * ult/#Tunes grins this is nice * ult/#Tunes waves -:- SignOff ult: #TUNES (Leaving) 10:50am does anyone here know the web address of Microsoft's Dr. Myhrvold's argument against unix? 11:00am -:- SignOff aligod: #TUNES (Read error to aligod[98A63FD1.ipt.aol.com]: Connection reset by peer) sounds interesting -:- aligod [Aligod@AC838AD1.ipt.aol.com] has joined #tunes 11:10am anyone here good at optimizing common lisp code for speed? lisp? wtf is that? j/k :) i'm really starting to like the language,.. been experimenting with it for about 3 months now i don't like any high level languages i didn't either, and then i ran into common lisp and got spoiled :) haha i don't have much experience with them though, so i can't argue against using them you probably need to use your own code generator macros to optimize CL 11:30am smkl: i could just write a simple C routine, but i'd like to compare the speed of common lisp to C for this function what does that function do? do you have a profiler? (it's a function that blits an image onto another one, except for color 0) lisp will probably be like 10 times slower gcc outputted "mov %eax, %eax" for a program- what's the point of that? anyone know? smkl: the experiments i have done so far are very positive.. generally cmucl is about twice as slow as C aligod: try full optimizations 11:40am why would it spit that out with or without optimizations? unless there is some wierd reason for it 12:10pm dunno ... probably that just makes code generation simpler ie. they don't care about that in nonoptimizated mode 12:20pm when i make my own compiler, i'm going to sprinkle the generated code randomly with redundant instructions too and then, when i make a new release every year, i'll remove some redundant instructions and call it a bug fix good idea, it will also make the optimizer look better 12:30pm -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us447.javanet.com]) -:- SignOff aligod: #TUNES (Leaving) -:- ult [ult@user-38lc6ar.dialup.mindspring.com] has joined #Tunes -:- ult_ [ult@user-38lc64e.dialup.mindspring.com] has joined #Tunes -:- SignOff ult: #TUNES (Ping timeout for ult[user-38lc6ar.dialup.mindspring.com]) -:- ult_ is now known as ult -:- Closing Link: TUNES[bespin.dhs.org] by lewis.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] -:- Your client may not be compatible with this server. (from carter.openprojects.net) -:- Compatible clients are available at ftp //ftp.undernet.org/pub/irc/clients(from carter.openprojects.net) -:- Closing Link: TUNES[206.63.100.13] by carter.openprojects.net (Ping timeout for TUNES[206.63.100.13]) -:- Connection closed from irc.us.openprojects.net: Success -:- Use /Server to connect to a server -:- Connecting to port 6667 of server irc.us.openprojects.net [refnum 0] -:- Your client may not be compatible with this server. -:- Compatible clients are available at ftp //ftp.undernet.org/pub/irc/clients -:- Closing Link: TUNES[206.63.100.13] by lewis.openprojects.net (Ping timeout for TUNES[206.63.100.13]) -:- Connection closed from irc.us.openprojects.net: Success -:- Connecting to port 6667 of server irc.us.openprojects.net [refnum 0] -:- Unable to connect to port 6667 of server irc.us.openprojects.net: Connection refused -:- 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 pohl.openprojects.net) -:- Your host is pohl.openprojects.net, running version u2.10.06.26.(nom4) (from pohl.openprojects.net) -:- This server was cobbled together Sun Feb 27 2000 at 15 06:54 EST(from pohl.openprojects.net) -:- pohl.openprojects.net u2.10.06.26.(nom4) dioswkfcg biklmnopstv -:- [local users on irc(2)] 0% -:- [global users on irc(530)] 48% -:- [invisible users on irc(569)] 52% -:- [ircops on irc(14)] 1% -:- [total users on irc(1099)] -:- [unknown connections(0)] -:- [total servers on irc(31)] (avg. 35 users per server) -:- [total channels created(369)] (avg. 2 users per channel) !pohl.openprojects.net Highest connection count: 10 (9 clients) !pohl.openprojects.net Welcome to Open Projects! You are on 2 ca 1(2) ft 14(14). -:- 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 -:- [Users(#tunes:8)] [ TUNES ] [ ult ] [ Kyle_L ] [ smoke ] [ thomas ] [ coreyr ] [ Fare ] [ smkl ] -:- Channel #tunes was created at Sun Feb 28 08:48:06 1999 -:- BitchX+Deb1an: Join to #tunes was synced in 7.273 secs!! -:- Mode change [-ws] for user TUNES -:- abi [nef@bespin.dhs.org] has joined #tunes -:- dalvarez [ircusr@212.68.72.98] has joined #tunes -:- dalvarez [ircusr@212.68.72.98] has left #tunes [] -:- SignOff ult: #TUNES (Leaving) -:- SignOff smoke: #TUNES (woesh) -:- _out [aaaa@sabia.din.uem.br] has joined #tunes -:- SignOff smkl: #TUNES (Read error to smkl[glubimox.yok.utu.fi]: EOF from client) -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- hcf [nef@me-portland-us410.javanet.com] has joined #tunes -:- SignOff _out: #TUNES (Ping timeout for _out[sabia.din.uem.br]) -:- SignOff Kyle_L: #TUNES (Read error to Kyle_L[cr168790-a.nmkt1.on.wave.home.com]: Connection reset by peer) -:- Closing Link: TUNES[bespin.dhs.org] by pohl.openprojects.net (Ping timeout for TUNES[bespin.dhs.org]) -:- Connection closed from irc.us.openprojects.net: Success -:- Use /Server to connect to a server -:- 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 adams.openprojects.net) -:- Your host is adams.openprojects.net, running version u2.10.05.18.(ipcheck4-5) (from adams.openprojects.net) -:- This server was cobbled together Wed Apr 28 1999 at 12 02:19 EDT(from adams.openprojects.net) -:- adams.openprojects.net u2.10.05.18.(ipcheck4-5) dioswkfcg biklmnopstv -:- [local users on irc(110)] 11% -:- [global users on irc(493)] 48% -:- [invisible users on irc(532)] 52% -:- [ircops on irc(13)] 1% -:- [total users on irc(1025)] -:- [unknown connections(0)] -:- [total servers on irc(30)] (avg. 34 users per server) -:- [total channels created(372)] (avg. 2 users per channel) !adams.openprojects.net Highest connection count: 122 (121 clients) !adams.openprojects.net Welcome to Open Projects! You are on 3 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, Free Reflective Computing System: http://www.tunes.org/ || Slate Language: http://www.tunes.org/~water/slate-home.html || Interview w/ Downix: http://www.aio.co.uk/downes.html -:- topic set by hcf [Tue May 2 00:46:13 2000] -:- [Users(#tunes:7)] [ TUNES ] [ hcf ] [ smkl ] [ abi ] [ thomas ] [ coreyr ] [ Fare ] -:- Channel #tunes was created at Sun Feb 28 08:48:06 1999 -:- BitchX+Deb1an: Join to #tunes was synced in 5.952 secs!! -:- Mode change [-ws] for user TUNES -:- eihrul [lee@usr5-ppp159.lvdi.net] has joined #tunes -:- ult [ult@user-37kbas9.dialup.mindspring.com] has joined #Tunes -:- Kyle_L [kyle@cr168790-a.nmkt1.on.wave.home.com] has joined #Tunes I am at a loss for a word. What is the opposite of reification? 06:40pm well, would not modelling be the opposite? My understanding is the reification is 'to make explicite'; am I wrong? well, i only know the dictionary definition :) To get to the point fast. I have a super-model. I generate models by making assumptions to simplify the super-model. so, you basically specialize it? yes iow pe my dictionary sucks. dictionary.com :) :) thanks 06:50pm -:- SignOff ult: #TUNES (Read error to ult[user-37kbas9.dialup.mindspring.com]: Connection reset by peer) -:- ult [ult@user-38lc6ei.dialup.mindspring.com] has joined #Tunes grr Tunes has a better definition. I have always had a problem making a distiction between abstract and concrete. 07:00pm -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us410.javanet.com]) hey -:- SignOff Kyle_L: #TUNES (Leaving) 07:50pm -:- SignOff ult: #TUNES (Leaving) -:- water [water@tnt-9-53.tscnet.net] has joined #tunes hey all hey hm i guess that's two people today i worked late today, that's why i'm late 08:10pm anyone have stuff to discuss? hm i guess not 08:20pm -:- SignOff eihrul: #TUNES (anyway) * water/#tunes checks the logs god what a bunch of noise today hm better let Fare know about those drawings and where i found them 08:50pm -:- hcf [nef@me-portland-us124.javanet.com] has joined #tunes re hcf hi, sup? oh thinking over a bunch of issues and getting screwed over all week at work i looked at this new hype about 'directory services' in IT also and compared with slate issues with namespaces and i'm considering re-designing some of the default mo's in order to get better expressiveness out of them anything you have to add to this stuff? nope, sorry what're you up to lately? any good job prospects? 09:10pm hm sorry i asked 09:20pm what drawings? 09:30pm oh these drawings of meta-towers etc describing reflection url? yeah i'm getting it hm perhaps not hold on damn, it's been a while since i saw it it has these bubbles to picture the system and meta-system, and shows arrows describing the direction of implementation but where! :) it was the first time i ever seriously thought about reflective towers, and tunes' reflection page used to have just a few links on it, and the most interesting was that one btw this was back in '95 sorry, can't find it i could send you the book i'm reading 09:40pm it's about 800kb ok here's the relevant chapter, corey abi beep coreyr i beeped coreyr are you on a modem? 09:50pm yes 10:00pm lol i just got a mail from youlian quoting this channel and asking for the same docs :) i even got the mail just 3 minutes after quoting it that really makes me feel better about what i do, let me tell you anyway, afk for a few kay 10:10pm -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us124.javanet.com]) * water/#tunes has returned got any questions, corey? 10:40pm not right now 10:50pm -:- lar1 [larman@adsl-63-204-134-217.dsl.snfc21.pacbell.net] has joined #tunes -:- lar1 [larman@adsl-63-204-134-217.dsl.snfc21.pacbell.net] has left #tunes [] -:- smoke [smoke@15dyn154.delft.casema.net] has joined #tunes [msg(TUNES)] newlog 2000.0504 IRC log ended Thu May 4 00:00:01 2000