IRC log started Tue Jun 13 00:00:01 2000 editing reviews is up water did you have some reviews you wanted to modify? :) [msg(TUNES)] permlog 2000.0613 i'm sure there are a few i already fixed 3 iirc how? oh you mean ones of my own i meant fixing Fare's screw-ups :) yeah, this edit only lets you change reviews you added. water: I edited some of your links and added a note to the Docs: When adding links, use anchor text that is unique, don't just call it "Home Page". On a list of all the links it should be evident what it is a home page FOR. wtf? Ie. I changed your "Home Page" under cecil and vortex to say "Cecil Home" and "Vortex Home" if it's the language's home page, isn't "home page" self evident? Or didn't you add those ? If not, I'm sorry for harassing you screw you Yes but the same links might be used elsewhere. I might want to browse the list of all links without the context of which entry it was in. Why are you so upset about that. Because I edited your links? The system is set up to allow anyone to edit the other people's links. Links are shared, reviews are private. get that hair out of your keester, dude why are you editing my links when there's much more important things to do? 12:10am I was testing my new addition. well don't make a point of telling me about it Uh, sorry. you made it sound like i should be reprimanded for that No. I was telling you in case you were going to add any more, that is the style I recommend. who cares what you recommend? it's already constricting enough as it is why? we don't need you going around adding a god damned style guide and enforcing it if you can't trust what people do on their own, don't let them do it fill that database out yourself isnt that what review@ is for? submitting reviews which then get styled and posted? water: What's constricting? Do you have suggestions for making it less? yeah, bugger off let it be I didn't mean to make a big deal out of it congradulations do you want me to make the links private to each reviewer, too? no, i don't care i objected to you mentioning it to me what about doing factual and opinion parts, factual would have a consistent style and opinion would have freeform? hcf: that's in the works good See, for now it is supposed to be all opinions, until we figure out what the common "facts" will be. (and until I get this part working..which now, it is) why cant we cant just wait til the fact part is setup? so all the opinions dont have to be rewriten * water/#tunes thinks "facts" on a review will be a joke huh? What facts do you want? Which features of a language/OS are common across all of them? Tril: yeah and urls and such Right, as water says.. when and IF we find any suitable facts. I think it's mostly fine for now ahrg hcf: did you look at it yet? ah no ;) 12:20am will now do you want account? wtf, the way categories-languages looks, its gonna be just a bloated as the old site wheres the toc? There's no way to sort or search yet If it gets big, I'll add a less detailed mode ( I guess that's a toc) you want a list of languages w/o any links, implemetnations, and reviews? it's easy to add.. a list w/ fact,opin,both (each 3 r links) next to each lang name -:- fsf [fsf@hal9000.eui.upm.es] has joined #tunes hi fsf also view by family Hi, i am looking about compiler construction issues and discussion. ok what in particular? Well, i am making a compiler for a language named l3. what language are you interested in compiling for instance? hm the specification of l3 is also mine :) is there an online description somewhere? of course what sort of language is it? It is low level oriented. l3 = (Low Level Language) heh at the level of C? higher? lower? lower. It would be a replacement to C in system develop :) abi: comp.compilers hp comp.compilers hp is at http://www.iecc.com/compilers/ there's a start personal opinion: yuck but i will help anyway thanks. I already have a some functional interpreter. r u in need of parser help? optimizer help? any help would make me very happy :) abi: _QZ _QZ is aka air/liar, the creator of BRiX, and webmaster of http://www.qzx.com or a tyrant or a mormon there is some info there on assembly, at least if your language is *that* low-level, i don't see why you couldn't steal code from GCC 12:30am -:- Tril [dem@bespin.dhs.org] has left #tunes [] and, say, replace the C parser with your own why'd he leave? oh well yes, it is a posibility. at the very least, you could probably pre-process l3 into C the subprogram's structure is like C (not like ALGOL). ok well, i think you'll find as much info as you need from that comp.compilers page and there are plenty of parser-generators around (lex/yacc or bison, for example) ok, thanks. Are you interested? Where can i send you information about the language ? no, i'm not interested but thx thanks everybody. -:- fsf [fsf@hal9000.eui.upm.es] has left #tunes [] now that went well no normative sentences, even :) water: linear typing seems to very much relate to the object inlining techniques :) 12:40am no shit well, sheesh... you don't have to ask SO thoroughly unsurprised :) -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes what did you expect from a guy who's been thinking about this crap for months? well, you could have said, "yes it does" * water/#tunes gives eihrul a cookie and a brownie gah do you fell better now? well, i never fell in the first place dude, i get absolutely no moral support on doing this shit for free billh: some guy's pestering me about ontologies and arrow billh: but i doubt he groks the idea at all billh: it's an email exchange, though water: yeah, only moral support i get for doing this shit for free is you... so there is justice in the universe :P -:- {Alex} [user@Rouen-15-99.abo.wanadoo.fr] has joined #tunes <{Alex}> hi eihrul: school? hi al eihrul: at least you will be able to talk to programmers in real life sorry man, i'm just getting really burnt out on this * {Alex}/#tunes yawns i've been with tunes for ~1.7 years now, and all i've gotten from them is shit <{Alex}> poor boy :) <{Alex}> what did you expect ? who are you, anyway? another newbie? you lurk often <{Alex}> ... <{Alex}> I am me! I guess! Yes! another french person, apparently <{Alex}> ..! so, what brings you here, alex? <{Alex}> the wind -:- mode/#tunes [+o water] by ChanServ 12:50am why are you interested in tunes? <{Alex}> i like the idea of revolution many places sell that idea -:- Tril [dem@bespin.dhs.org] has joined #tunes -:- mode/#tunes [+o Tril] by ChanServ why this one? because it seems most unusual? <{Alex}> not so many sell this idea apply to computer science <{Alex}> applied -:- mode/#tunes [-o water] by water is there anything you feel like discussing in particular? <{Alex}> umm "umm"? <{Alex}> it's a philosophy c'mon, i don't spend time here for my health <{Alex}> j/k <{Alex}> really? <{Alex}> i thought this chan was kinda like a sauna -:- mode/#tunes [+o water] by ChanServ please go away you can read the logs at http://www.tunes.org/files/irc/ <{Alex}> i won't leave, kick me if that can make you feel better 01:00am <{Alex}> someone should translate the site in french, really... -:- SignOff billh: #TUNES ([BX] Showering in your clothes shows you're crazy. Showering nude shows your nuts.) because we need more french to come here, right? 01:10am <{Alex}> no <{Alex}> because reading english, gives me headache likewise for french <{Alex}> :) -:- coreyr [coreyr@net255ip95.parklink.com] has left #tunes [] -:- NetSplit: irc.linux.com split from gaarder.openprojects.net [01:19am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [irc.linux.com] -:- Netjoined: irc.linux.com gaarder.openprojects.net -:- {Alex} [user@Rouen-15-99.abo.wanadoo.fr] has joined #tunes 01:20am -:- hcf is now known as \\hcf -:- \\hcf is now known as hcf -:- SignOff {Alex}: #TUNES (Mangez un castor, sauvez un arbre.) -:- mode/#tunes [-o water] by water -:- NetSplit: sterling.openprojects.net split from fastlane.openprojects.net [01:42am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [sterling.openprojects.net] -:- Netjoined: sterling.openprojects.net fastlane.openprojects.net -:- Tril [dem@bespin.dhs.org] has joined #tunes -:- hcf [nef@207-172-225-132.s132.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- abi [nef@bespin.dhs.org] has joined #tunes -:- water [water@tnt-10-0.tscnet.net] has joined #tunes -:- ServerMode/#tunes [+o Tril] by irc.linux.com -:- coreyr [coreyr@net255ip95.parklink.com] has joined #tunes * coreyr/#tunes is away: Hupnos emou, chaire.... -:- {Alex} [user@Rouen-15-99.abo.wanadoo.fr] has joined #tunes <{Alex}> re 02:30am -:- SignOff Tril: #TUNES (Tril has no reason) geez, "tiny cobol" the 7th sign indeed... 02:40am -:- SignOff eihrul: #TUNES ([x]chat) -:- thomas [thomas.far@pc01.susoft.no] has joined #tunes -:- SignOff {Alex}: #TUNES (Mangez un castor, sauvez un arbre.) -:- SignOff water: #TUNES (Ping timeout for water[tnt-10-0.tscnet.net]) -:- SignOff thomas: #TUNES (Ping timeout for thomas[pc01.susoft.no]) -:- SignOff hcf: #TUNES (Leaving) -:- SignOff Fare: #TUNES (Ping timeout for Fare[esmeralda.enst.fr]) -:- Fare [rideaufr@esmeralda.enst.fr] has joined #Tunes -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes -:- SignOff billh: #TUNES ([BX] Silly wabbit, BitchX is for kids!) -:- NetSplit: merril.openprojects.net split from fastlane.openprojects.net [05:48am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [merril.openprojects.net] -:- Netjoined: merril.openprojects.net fastlane.openprojects.net -:- smoke [smoke@15dyn93.delft.casema.net] has joined #tunes -:- smklsmkl [sami@ppp90.dial-in.verkkotieto.fi] has joined #tunes -:- water [water@tnt-10-215.tscnet.net] has joined #tunes -:- SignOff water: #TUNES (The Tao went that-a-way!) -:- SignOff smklsmkl: #TUNES (bbl) -:- NetSplit: zsoldos.openprojects.net split from fastlane.openprojects.net [09:03am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [zsoldos.openprojects.net] -:- Netjoined: zsoldos.openprojects.net fastlane.openprojects.net -:- smoke [smoke@15dyn93.delft.casema.net] has joined #tunes -:- NetSplit: fontana.openprojects.net split from zsoldos.openprojects.net [09:04am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [fontana.openprojects.net] -:- Netjoined: fontana.openprojects.net zsoldos.openprojects.net -:- smoke [smoke@15dyn93.delft.casema.net] has joined #tunes -:- water [water@tnt-10-215.tscnet.net] has joined #tunes -:- hcf [nef@207-172-225-16.s16.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- SignOff smoke: #TUNES (Ping timeout for smoke[15dyn93.delft.casema.net]) -:- smoke [smoke@15dyn93.delft.casema.net] has joined #tunes -:- smklsmkl [sami@ppp66.dial-in.verkkotieto.fi] has joined #tunes -:- eihrul [lee@usr5-ppp101.lvdi.net] has joined #tunes g'morning eih morning er... afternoon 11:20am -:- SignOff water: #TUNES (The Tao went that-a-way!) -:- Tril [dem@bespin.dhs.org] has joined #tunes -:- mode/#tunes [+o Tril] by ChanServ ok, you can now delete your own reviews I couldn't get fastcgi working. I guess zope is fast enough. -:- SignOff Tril: #TUNES (Tril has no reason) 01:30pm -:- SignOff hcf: #TUNES (Read error to hcf[207-172-225-16.s16.tnt1.pld.me.dialup.rcn.com]: Connection reset by peer) -:- hcf [nef@207-172-225-141.s141.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- Closing Link: TUNES[bespin.dhs.org] by lackey.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(91)] 7% -:- [global users on irc(582)] 48% -:- [invisible users on irc(640)] 52% -:- [ircops on irc(21)] 2% -:- [total users on irc(1222)] -:- [unknown connections(0)] -:- [total servers on irc(29)] (avg. 42 users per server) -:- [total channels created(428)] (avg. 2 users per channel) !adams.openprojects.net Highest connection count: 114 (113 clients) !adams.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.tunes.org/~water/slate-home.html || Slate Tutorial: http://diktuon.arrow.cx/list.php?ns=tutorial || Zope Review Database: http://zope.tunes.org/Review/ -:- topic set by Tril [Mon Jun 12 19:39:09 2000] -:- [Users(#tunes:8)] [ TUNES ] [ smoke ] [ smklsmkl ] [ eihrul ] [ hcf ] [ abi ] [ Fare ] [ coreyr ] -:- Channel #tunes was created at Sun Feb 28 08:48:06 1999 -:- BitchX+Deb1an: Join to #tunes was synced in 5.577 secs!! -:- Mode change [-ws] for user TUNES -:- NetSplit: fontana.openprojects.net split from zsoldos.openprojects.net [02:42pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [fontana.openprojects.net] -:- mysterywindow [rares@wtrb-sh2-port133.snet.net] has joined #tunes re rares sup 04:00pm -:- mysterywindow is now known as rares -:- rares is now known as mysterywindow -:- SignOff smklsmkl: #TUNES (Ping timeout for smklsmkl[ppp66.dial-in.verkkotieto.fi]) -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes -:- mysterywindow [rares@wtrb-sh2-port133.snet.net] has left #tunes [] -:- lmaxson [lmaxson@adsl-63-194-24-207.dsl.lsan03.pacbell.net] has joined #tunes -:- SignOff billh: #TUNES (BitchX Official FTP Site -- ftp://ftp.bitchx.com) -:- lmaxson [lmaxson@adsl-63-194-24-207.dsl.lsan03.pacbell.net] has left #tunes [] -:- lar1 [larman@adsl-63-204-135-52.dsl.snfc21.pacbell.net] has joined #tunes -:- SignOff lar1: #TUNES (Ping timeout for lar1[adsl-63-204-135-52.dsl.snfc21.pacbell.net]) -:- lar1 [larman@adsl-63-204-135-52.dsl.snfc21.pacbell.net] has joined #tunes -:- billh [billh@cx739861-a.dt1.sdca.home.com] has joined #tunes -:- SignOff coreyr: #TUNES (Ping timeout for coreyr[net255ip95.parklink.com]) -:- coreyr [coreyr@net255ip95.parklink.com] has joined #tunes -:- SignOff hcf: #TUNES (Ping timeout for hcf[207-172-225-141.s141.tnt1.pld.me.dialup.rcn.com]) -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp101.lvdi.net]) -:- eihrul [lee@usr5-ppp187.lvdi.net] has joined #tunes -:- SignOff coreyr: #TUNES ([x]chat) -:- SignOff billh: #TUNES (Ping timeout for billh[cx739861-a.dt1.sdca.home.com]) -:- hcf [nef@207-172-225-85.s85.tnt1.pld.me.dialup.rcn.com] has joined #tunes -:- coreyr [coreyr@net255ip95.parklink.com] has joined #tunes -:- SignOff lar1: #TUNES (Read error to lar1[adsl-63-204-135-52.dsl.snfc21.pacbell.net]: No route to host) -:- water [water@tnt-10-92.tscnet.net] has joined #tunes re 08:30pm -:- calabash [orangina@209-6-184-126.c3-0.wth-ubr1.sbo-wth.ma.cable.rcn.com] has joined #tunes hi cal -:- Tril [dem@206.63.100.13] has joined #TUNES -:- mode/#tunes [+o Tril] by ChanServ hey water hey tril yo cal: what brings you here? jus' hangin out Tril: check out the tunes glossary at diktuon :) cla: ok, if ya have questions, we have answers s/cla/cal/ -:- lar1 [larman@adsl-63-204-135-52.dsl.snfc21.pacbell.net] has joined #tunes 08:40pm cool. right now im swamped in some c++ code :) ewww we don't answer questions about *that* ;) that i can understand.. -:- SignOff lar1: #TUNES (Leaving) hmm, someone write a conversion script? :) conversion script? coreyr? 08:50pm did you enter the glossary by hand? (pasting) he ported it from "olddata" it would be nice to have an automated tool to bind c++ data types/classes/functions to any other language hcf and i entered and modified it from tunes.org to diktuon/olddata u could do it if u had access to a compiler on each platform to generate binary stubs cal: FFI foreign-function interface oh? hrmm it handles C++ ? C is easy to bind.. C++ is all incompatible hm i don't know for sure FFI is only used for C afaik i suppose C++ bindings are nearly impossible because of that yah. there's a standard C calling/linkage convention that everyone follows but i'm not the guy to ask hcf you awake? u can automatically generate accessor functions in C for C++ data Tril: yeah it would be a bitch.. but it's do-able water: I have an idea about implementing deleting for actual review entries.. is that important enough to discuss? sure I don't wnat to allow anyone to recursively destroy everything in an entry... -:- lar1 [larman@adsl-63-204-135-52.dsl.snfc21.pacbell.net] has joined #tunes But I don't want anyone to have to manually delete each link one at a time before clearing out the entry. k So my plan is to allow deleting only if all reviews are gone from the entry. Links can be toasted. But that way everyone who wrote a review would have to agree that it goes away. (since only the author can delete their own review) make an admin class and allow them to recursively hm 09:00pm coreyr: that would only be useful if it consisted of a set larger than myself if there are no objections I think I'll start programming on it :) Tril Good day. hell-o lar1: have you seen my zope review yet? hey lar could help port reviews from the old tunes.org/review :) Tril: Yes. Good work. are these reviews public yes ya, cal see topic This 'clean' language looks interesting yes it's pretty good, with graphics bindings awesome only one company really supports it, though well i wouldn't do any real work w/it bah :) nope. i'll have to stick to C++ for at least oh... a decade. geez until all the legacy api's are available in java have u heard of Lua? 09:10pm Lua? abi: lua lua is an embeddable language library to extend my programs at http://www.tecgraf.puc-rio.br/lua/ and http://csg.uwaterloo.ca/~lhf/lua/ or http://dmoz.org/Computers/Programming/Languages/Lua/ man i wish i had time to play w/all these langs this one is really simple to play with * water/#tunes is converting diktuon glossary nodes to proper format ive often embedded Tcl in C hah, this was linked from the lua page: http://www.nyx.net/~gthompso/quine.htm yeah abi already has that one :) abi stores a lot of url's for us 1200 right now are all those factoids URLs? no not all probably 80% or so hmm tril has same idea i have :) heh yeah! unify everything!!! >:) I didn't have an idea, I'm just being picky oh not that it's a bad idea. abi's stuff is fairly unstructured you'd probably do best by "giving" abi a zope account sounds like the same as giving abi a web browser heh no integrating a bot with the link db 09:20pm whether thru zope or straight to the pgsql but it would be easier, I'm saying, to just make her browse the web remember abi has no flood-protection as of now corey: umm corey: bug... sort of corey: if i link to an "intro" node, intro should not be the link text, ya know? or does diktuon already support the linktext syntax? otherwise, you could just have the linktext for "intro"s be the immediately surrounding namespace name hm corey's lagged yeah yes to what? * coreyr/#tunes is lagged. 09:30pm lol my sister is hilarious why's that? someone called for me and when they hungup I told her she had to come get the phone because I wouldn't answer it and she got frustrated since it's not my line.. you pig :) it's because both my mom and I are listening to headphones so she is the only one who could answer it problems problems... should I have an extraneous "Delete Implementations" button when there are 0 implementations... you think you have problems? try designing Tunes HLL ;) or should I have a "Delete This" next to each implementation I know, I'll wastefully use SQL once again to make it convenient for the user. heh tehe the gloss nodes are holding up well water: im surprised too. :) a week, no progess then 3 hours and elucidation. you think i'm not familiar with that cycle? ;) 09:40pm hrm. i code 100 lines in C++ and think how much easier it would be to write three lines in tcl/python/perl or smalltalk :) ive never used smalltalk, but probably so abi: squeak? squeak is a cool pure oo language descended from Smalltalk, at http://squeak.cs.uiuc.edu/ or at http://www.squeak.org/ or The open source mouse that roars! -:- SignOff hcf: #TUNES (Leaving) yah another language ive been meaning to learn :) -:- hcf [nef@207-172-225-85.s85.tnt1.pld.me.dialup.rcn.com] has joined #tunes this one's not the usual environment -:- lar1 is now known as whitenoise -:- whitenoise is now known as lar1 maybe im undisciplined, but i like to feel my way through a programming problem without defining rigid types and data structures then smalltalk is 4 u :) ARGH! fare if you read the logs, contact me damn french. indeed corey: where? babelfish it i had data on a french webserver and they passed a stupid law and now i lost it oh yeah * coreyr/#tunes is pissed use google's cache good idea * coreyr/#tunes checks if his page was cached maybe ill just define my own generic superMap in C++ which will let me do things like: object(key1, key1.1, key1.2, key1.3) = value or you could use python that does that because that is essentially what an object is.. a hierarchy of containers yah any decent scripting language 09:50pm err, actually I dont know what you meant cal: lua does that really easily or you could just use Common Lisp :) cool yep or... APL or PL/I (lmaxson would suggest it if he were here) heh. :) tril: i want to write code w/out worrying about the details of accessing sub-objects and what the types of all those pieces of data really are * water/#tunes whispers "smalltalk" anything but C++? instead of: x = a->getSomething(); if (x) x->FindData("key") etc... water: smalltalk still suffers somewhat from the problem how so? not cached. * coreyr/#tunes sighs. water: well, one of the nasty things about class based OO is that it forces you to define your interface up front, or atleasy try :) cached? water: you can't just write sloppy and unstructured code all over the place as in procedural eihrul: i don't follow OO is not very good for incremental programming :) you send objects messages... if they don't respond, then you're not doing OO uhh what r u smoking? nothing, the unit of modularity in OO as in smalltalk is the object i can extend classes dynamically in smalltalk very easily it's trivial, in fact, in most cases the only thing you're missing is per-object behavioral extension, which you need either a library for, or a prototype-based language otherwise, you 're just not familiar enough with smalltalk to talk about it its not that i don't like OO, i just notice that i find myself trying to more completely specify an interface when programming in an OO style than a procedural or functional style interface? as in a multi-method style? interface as in the behavior of a specific object oh a protocol s/object/class of objects why? that's missing the point of OO... let the superclass do the work for you because OO-thinking intrinsicly makes me thoroughly examine what the object in question should do and is :) so? you shouldn't be writing large protocol classes anyways that's bad design i don't 10:00pm then what's the problem? nothing, i never said there was one :) why do you do this?? "this" => ? water: smalltalk still suffers somewhat from the problem heh so what the hell were you saying? just that for me, that OO tends to make me over specify a "protocol" :P ok thx for the vacuous statement er rather, single-dispatch OO :/ any time man i have a bunch more if you want keep 'em to yerself :) actually now that you bring it up.... slate :) it ain't oo, but i want to know how the previous issue relates to it :) corey: you could simulate nested namespaces by partitioning where the namespaces get listed corey: and giving each namespace a "list (sub)namespaces" link anyone, afk for a bit to finish reading my fud chain book :) damnit :) was just going to mention how nonlinear typing could be isolated by providing one kernel primitive object for it water: i think im going to leave it how it is, till i feel up to another db reorg ok each node will be a nodespace and have parent info :) oh 10:10pm * coreyr/#tunes is away: o phile, Hupne. night. ok 10:20pm * water/#tunes is considering the implications of linear typing/namespace principles to desired slate features and tools * Tril/#tunes is writing a doubly nested SELECT statement in sql heh hacking sql not for the squeamish :) -:- SignOff lar1: #TUNES (Hugi!) lol why is everyone talking in foreign languages corey is a greek fanatic this is like doing a breadth first search backwards lar is just plain crazy delete the outermost layer.. then the next one in from that. each time you have to start at the beginning again hm optimizing an sql statement is an art I could probably use variables..but I don't really want to use them unless they are standard and corey hasn't implemented the plumbing for renaming namespaces yet :P 10:30pm -:- SignOff hcf: #TUNES (Leaving) ahh its 3AM err make that 2AM plenty of hacking left to do.. whew heh 10-line sql statements are exhausting i bet they are now I just need an interface for choosing which entry to delete -:- smoke [smoke@15dyn186.delft.casema.net] has joined #tunes 11:10pm linear naming is cool 11:20pm damn it 11:30pm heh i posted a mail about that paper and included everything but the url :) but it's fixed now ping wha? just checking Do you need me to delete the mail from the queue before it gets sent to everyone? it's a short one... no worries hmm equational specification of object creation and deletion in a linearly typed system is interesting 11:40pm you can specify all sorts of buffering mechanisms that way what exactly is linear typing? (without givng a paper reference) since a buffer is an object containing a certain number of elements whose behavior could be equationally specified actually I think I have the paper check the diktuon glossary entry for linear logic :) wait, that's linear logic. same thing? Ok yep except the linear naming thing relates more to objects as connected namespaces (iow slate-style objects) keep in mind, there are ways to simulate nonlinearity in a linear system 11:50pm [msg(TUNES)] newlog 2000.0614 IRC log ended Wed Jun 14 00:00:01 2000