IRC log started Tue Jun 29 00:00:00 1999 [msg(TUNES)] permlog 1999.0629 -:- NetSplit: sterling.openprojects.net split from lewis.openprojects.net [12:01am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [sterling.openprojects.net] -:- Netjoined: sterling.openprojects.net lewis.openprojects.net -:- _QZ [brand@p0wer.qzx.com] has joined #tunes -:- lar1 [lar1@1Cust243.tnt20.sfo3.da.uu.net] has joined #tunes -:- Fare [rideau@quatramaran.ens.fr] has joined #tunes -:- SignOff _QZ: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) -:- SignOff lar1: #TUNES (Coding) -:- SignOff Fare: #TUNES (Connection reset by pear) -:- Fare [rideau@quatramaran.ens.fr] has joined #Tunes -:- water [water@ppp-tnt-169.tscnet.net] has joined #TUNES -:- water [water@ppp-tnt-169.tscnet.net] has left #TUNES [] -:- Oddity [d96-abo@brown01.nada.kth.se] has joined #tunes Gakuk! 05:20am -:- HickServ [thrustit@209-68-229-46.dialup.cust.tfb.com] has joined #tunes gakuk fare! gakuk indeed how be you this morning (my time)? what's up? i think up is the opposite of down fine y tu? ok brb nevermind 08:10am -:- doog-E [doogie@ith2-275.twcny.rr.com] has joined #Tunes hello hi 08:30am what brings you here? i listed all the channels, but had no clue what this one would be for tunes? somebody said tunes was http://www.tunes.org, a free reflective computing system or for programming languages what the internet is to networks or like flypaper for hallucinogenic programmers or discombobulated been there that sums it up pretty well aah hum -:- beholder [beholder@ppp-027.m4-1.osh.ican.net] has joined #tunes Fare your sentence in your resumé says you read and write english without a problem yet i see a grammatical error :(! discombobulated? inded! -:- SignOff doog-E: #TUNES (Ping timeout for doog-E[ith2-275.twcny.rr.com]) uh well lemme quote it real quick Hey Fare can read and write english without problem, and talk it and understand it fairly enough (though not enough to catch jokes as fast as they are said). it should be "...without a problem, speak it, and ..." "... and talk it... " should say "and also speak and understand it well enough" "understand it fairly well..." i just thought that that particular sentence should be correct ;) HS: oops Fare: no problem 08:40am * beholder/#tunes has read many of Fare's articles and most of them have very good english grammer. Technical english is the worst, so that's an achievement for anyone who's primary language is not english :) agree'd er agreed :))) beh: thanks HS: will be fixed at next commit i only write english at the 9th grade level * Fare/#Tunes now uses for ~/etc and ~/fare, too Kinda makes me feel uneducated in that, I would not be able to read any technical french, none the less write it :) .... and sadly I learned French in school! ;) Fare: I bet now your english is better than mine i wish i could speak spanish as well as fare can speak english I wish I could speak english as well as I pretend I do... heh fare: Did you get around to that mail I sent you yet? which mail? "Ronald Reagan is elected, but i swear it's not my fault." hahaha it's only the stupidity of the american people fare "Ronald Reagan will make this country what it once was... a desolated wasteland." fare: I sent you a personal mail about your updated definition of micokernels? "...im no more the youngest children in my family." ;( -:- FareWell [fare@d197.paris-131.cybercable.fr] has joined #Tunes Hum. Connection lost. wb fair Fare Where were we? -:- SignOff Fare: #TUNES (Ping timeout for Fare[quatramaran.ens.fr]) well, I received you mail. Why not post it to the list instead? (with another subject:) haven't we already discussed the topic on IRC? fare: Actually I forgot to hit the reply-all button.... I wish I had a better excuse ;) 08:50am well, please reply again, so we can have a public explanation :) fare: NP :) I can bounce the message back if you have no archive i was looking at that apple ][ community site, what was it all about? oh, and mind the 80-column limit fare: Actually I just archived my mail, so that would be great :) HS: see my pointers page hum. Be back in a few minutes. fare: It must be my mail program, for some reason, even when I have it set to 64 columns it still goes past... damn Netscape -:- SignOff FareWell: #TUNES (Connection reset by pear) 09:00am a few minutes :( -:- binEng [Anders@dialup95-2-53.swipnet.se] has joined #tunes 09:10am buenos dias gakuk no hablo Fare ;) hi isn't water a big meany? a what? a mean person aha "good!" "he's left!" well indeed I only confirmed you left! i know * beholder/#tunes thinks hick antagonizes sometimes... it's become common practice for me to read the logs :) beholder: indeed As for water's character, I can't comment. This is, after all, logged ;) I'd defend him. I know deep down he's a good guy. yeah hmmm how peculiar 09:20am i've lloked through cvs but i haven't found any working source code 09:30am -:- Fare [fare@d197.paris-131.cybercable.fr] has joined #Tunes wb fare -:- Fare is now known as FareWell im reading your paper on metaprogramming and it's very interesting -:- FareWell is now known as Fare hum 09:40am -:- billyboof [hatefull@nrwc-sh7-port58.snet.net] has joined #tunes B00F hello hoy, billyboof !!! ummm... i think it's bad enough that alonzo B00F's me every time i get in... i don't need you doing it hick :))) damn, efnet is dead im turning into him #os on efnet is dead no, don't do it man it used to be a really nice place no...#os,#asm, and #newos is dead now it's full of unintelligent bots yeah... i wish reentry still hung out as much as he did when i first got there... he's too busy working out #bodybuilding hehehe i don't like the bots either, but people on efnet are gay, ie they like trying to take over channels... the politics of efnet are gay it's like that on most networks yep... i wish it had a chanserv... you either have the anarchy of efnet or the reletive security of chanserv but the IRCops are usually the fascist defacto of the network cause if it did i would kick/ban all those bots... yep... i got klined from an efnet server once... for 1440 hrs.. "botnets suck" was the reason... * billyboof/#tunes shrugs hehehe -:- SignOff Fare: #TUNES (Ping timeout for Fare[d197.paris-131.cybercable.fr]) 09:50am i have to go... later -:- SignOff billyboof: #TUNES (hatefull@antisocial.com) -:- binEng_ [Anders@dialup93-2-24.swipnet.se] has joined #tunes anyone know a good lisp tutorial? i can't do much on tunes without knowing lisp it seems why lisp? -:- SignOff binEng: #TUNES (Ping timeout for binEng[dialup95-2-53.swipnet.se]) -:- binEng_ is now known as binEng it's a very expressive language * binEng/#tunes is learning Python and thinks it's great good for you 10:00am :) My point was that maybe Python could be an alternative? what is python like? www.python.org no thanks :) hick: It's a scripting lang i know Interpreted, OO, easy to learn... Feature packed -:- binEng_ [Anders@dialup93-1-17.swipnet.se] has joined #tunes :\ yah -:- SignOff binEng: #TUNES (Ping timeout for binEng[dialup93-2-24.swipnet.se]) -:- binEng_ is now known as binEng 10:10am -:- SignOff beholder: #TUNES (Ping timeout for beholder[ppp-027.m4-1.osh.ican.net]) -:- SignOff binEng: #TUNES ( <k!14>) -:- Fare [rideau@quatramaran.ens.fr] has joined #Tunes wb Fare i'm learning Scheme and it already 0wnz me! HS: yeah! HS: what book are you using? lisp is far more supperior than c -:- lar1 [lar1@1Cust5.tnt26.sfo3.da.uu.net] has joined #tunes HS: who's talking about bad english? An indtroduction to Scheme and it's Implementation Hey hey, lar1 HS: dunno this one. Who's the author? i found it on the review page -:- beholder [beholder@ppp-067.m4-1.osh.ican.net] has joined #tunes i don't know the author btw superior but does bespin have scheme compiler? compiler? yes hum. It has the guile interpreter, but I know not of an installed compiler 11:10am a guile interpreter? -:- SignOff lar1: #TUNES (Ping timeout for lar1[1Cust5.tnt26.sfo3.da.uu.net]) oh, THE guile interpreter Fare: Are you using Deb right now? it has a compiler: rsc ok i wanna write "Hello World!" now i've never actually had it be my first program for a language (display "Hello World!\n") i know display was the first procedure i learned or maybe (begin (write '|Hello World!|) (newline)) i think the first one is fine do i have to put it in a file then "rsc file"? or (for-each display '(#\H#\e#\l#\l#\o#\space#\W#\o#\r#\l#\d#\!#\newline)) how do i work rsc? dunno. Read the docs on www.rscheme.org? or just use guile guile is simpler to use what is guile like? guile is an interactive interpreter, and a script is just #!/usr/bin/guile -s what do i do after i've started it? 11:20am oh, you can also #!/usr/bin/rs how do i use guile? (display 'foo) (exit) rs is the interactive shell for RScheme (rsc is the compiler) read the docs! yay! my first lisp program!!! HS: welcome to a new world of hackerdom! :) LISP has always been THE hacker language by definition isn't there any working code in cvs? HS: besides the administrative "code", nope there is a library of scheme stuff in HLL/scm/ nothing at all? including an interpreter for the lambda-calculus boy oh boy i thought tunes was rather far along the first thing we need is complete the assembler so as to reimplement retro with it for that, we basically need a pattern matcher we don't need something very efficient, to begin with we can even be darned slow what do you mean pattern matcher? something that takes a set of patterns as input, and an expression, and matches the expression with the patterns 11:30am be more specific as to how it would be used -:- beholder [beholder@ppp-067.m4-1.osh.ican.net] has left #tunes [] in that case, we'll match something like (mov %eax 1) and produce an ((op413 #xB opsize reg) (imm)) that is, in this case 0xB8 0x1 0x0 0x0 0x0 brb although 0xC7 0b11000000 0x1 might be better? -:- Zoot [zoot@olibrius.univ-paris1.fr] has joined #tunes 11:40am tiens, un olibrius? on se connait? -:- Jefftheca [user8314@dialin53b-06.ppp.uci.edu] has joined #Tunes -:- Jefftheca [user8314@dialin53b-06.ppp.uci.edu] has left #Tunes [] ok i was on the phone pardon, j'étais ailleurs :) non, c'est la première fois que je viens ici. J'ai vu l'appel pressant au remplissage de ce channel sur le site ah! HS: wierd. There's a pattern in double in insn-db.hlm (MOV (MEMDIR) (ACCUMS)) why do we have to create an assembler? 11:50am HS: 1) so that we do not depend on an external tool HS: 2) so as to experiment with pattern matching no is this a interpreter or a compiler? HS: what "this" ? the assembler i think the assembler is still assembler I haven't input enough data to "interpret" the code btw what is .hlm? but I imagine we could have an assembly "interpreter", useful for various purposes ought to have been the extension for the HLL- hmmm yet we don't have an HLL yet an intermediate language between the LLL and the full HLL, with semantic and syntactic restrictions consider it as scheme, for the time being okey dokey okey how shall i navigate this code? where to start? I guess you can have a look in HLL/scm/ no i mean for the assembler it has a Rules.make to create an executable scheme program by generating a site-dependent wrapper over scheme files for the assembler, I think you should read nasm and/or bfd sources ok, let's say, nasm sources * Zoot/#tunes va se restaurer. ciao -:- SignOff Zoot: #TUNES (connection reset by peer) fare what i mean is that it's kinda hard for my to understand code that i didn't write and is poorly commented :\ 12:00pm Sure well, what part of the code would you like to learn first. The make mechanism? sure ok, so the goal is to use only standard basic scheme features, plus a minimal set of extensions this means that we will only (load "files") and also (read) from files -:- eStormy [stormy@rain.futuresouth.com] has joined #Tunes the extensions we use, and the way we adapt to varying scheme implementations, is handled in HLL/scm/init/ the main feature we depend on is LISP-style macros, as opposed to (define-syntax) see foo.scm for a list of non-standard features we depend on hmmm i need to learn more lisp bbl 12:10pm * Tril/#TUNES is back from the dead. Gone 24 hrs 19 min 14 secs -:- binEng [Anders@dialup95-1-53.swipnet.se] has joined #tunes * Tril/#TUNES is away: (afk) [BX-MsgLog Off] -:- binEng_ [Anders@dialup93-2-28.swipnet.se] has joined #tunes bE! lucky you who "you"? fare: i don't know -:- SignOff binEng: #TUNES (Ping timeout for binEng[dialup95-1-53.swipnet.se]) be hi que tal, binEng_ -:- binEng_ is now known as binEng he keeps getting fux0red :) hola abo hola abi abi: tu hablas espanol? bugger all, i dunno, hickserv :p abi: tu eres stupido can read and write english without problem, and talk it and understand it fairly enough (though not enough to catch jokes as fast as they are said). uh damnit i accidentally pasted sorry -:- binEng_ [Anders@dialup44-1-7.swipnet.se] has joined #tunes -:- SignOff binEng: #TUNES (Ping timeout for binEng[dialup93-2-28.swipnet.se]) -:- binEng_ is now known as binEng * binEng/#tunes sighs openprojects must not like you * binEng/#tunes doesn't like his ISP 12:50pm uh this tutorial doesn't tell how to declare pairs HickServ: Python? :) no lisp ...guessed so yo hablando a senor rideau HS: declare pairs? like (cons a b) or '(a . b) ? for liss lists lithpth :( * Fare/#Tunes doesn't like his LISP that isn't funny :( i used to have trouble with my s's S's i uthed to have what you could call a lithp oh i see how (define foo (quote 1, 2, 3)) (quote (1 2 3)) you mean or '(1 2 3) yes i i don't know why i used ',' if LISP had only invented quote, it would already have been a breakthrough in CS why? 01:00pm I guess I'll have to explain it in my next paper... ok then basically, quote makes your language universal in a much more interesting way than what is usually meant by "Turing-equivalence" explain i don't like it how everyhting in scheme is a pointer though es muy malo HS: not everything is a pointer; you have immediate objects, too 01:10pm i mean memory locations that means one extra location per variable no, again, there are fixnums uh on members.html it doesn't have my software skills i put them down 01:20pm (cdr list) would be a specific postion in the list list right? there is an infozip game to learn the bases of Scheme use it! ahem fine im never gonna get anything out of you where do I find the apache error log? depends. See what your httpd.conf says On bespin oh * Fare/#Tunes hates httpd.conf. Why can't I #include or such from it??? /var/log/apache/ Form 1: Removes the characters from pos to the end of the target string and returns a reference to the resulting string. sorry, wrong chan thnx 01:30pm * Fare/#Tunes wonders what browser to use: netscape is unstable; mmm cannot display /.; lynx doesn't optimize my screen real-estate; w3 stops my emacs editing; mmm? and closure isn't multiprogrammed mmm is the caml-light browser not actively maintained (with caml-light applets) Could someone help me? I can't run an own CGI thingie from Bespin what are you trying to do? cgi stuff must be put in httpd.conf 01:40pm I just try to run a hello world script from tpp um, could you help me checking that? plz? I dunno where the problem is... I get a 500 Internal error my link to bespin is real lagged tonight my too and I'm not familiar with it either im getting wee bit tired of learning scheme today perhaps more later * binEng/#tunes needs help bE: does it run at your home? it runs on the shell maybe you should debug at home, and only then try to install on bespin... it's just a few lines Do you have apache installed at home? um yes, but... but? ...but tcp/ip doesn't work at my linux machine uh??? telnet 127.0.0.1 always work or you're really screwing things on purpose I have no idea what this problem is, soft- or hardware... I can't ping myself, even on localhost 01:50pm but that isn't the only prob... I know as good as nothing about running linux i wonder where lisp programmers became obsessed with foo-bar * binEng/#tunes foobars HickServ * HickServ/#tunes gives binEnd the elephant manuever binEng hm yes you will never know crap nobody that wants to help me?? fare: what does lambda do? where do I find httpd.conf? i don't know HELLO anybody?? * binEng/#tunes is getting desperate Fare? i guess Fare is sometimes looking at another screen and interruptible with a beep (/msg Fare ^G) or at http://www.tunes.org/~fare/ or connected through a crappy ISP (cybercable.fr) that may disconnect him anytime 02:00pm * Fare/#Tunes is back Fare: I do need help. At least tell me what to do! what are you trying to do, exactly? I'm trying to run my cgi script what's the url? -:- SignOff HickServ: #TUNES (Leaving) http://tpp.dhs.org/cgi-bin/hello.py * binEng/#tunes put his faith in Fare hum That's what I said too 02:10pm can you try at home? you need help from so more xpriencd than I It doesn't seem to be the script itself that's at fault... but some server config it runs well when not "cgi'd" I'm sorry. Maybe tril konws Do you know when he comes? nope wazs there today already how do I dir with full listing? ls -l ? ya look apache.org for the error " Premature end of scrip t headers" 02:20pm -:- Lennon [user2924@ppp254140.hkabc.net] has joined #Tunes hello Today , I am first user for linux Who know..... How to decompression for *.tar in afterstep........? maybe /join #linpeople -:- Fare has changed the topic on channel #tunes to: Reflective Computing System do U know ??? in an xterm, use tar xvf toto.tar man tar do U know how to decompress tar files? Yes! oic... for example.... for an example file called "a.tar".......then?? tar xvf a.tar oic... and.. where can be download icq for linux..? www.freshmeat.net ok... thx for ur help ar... you might wanna read stuff from the LDP 02:30pm I can decompress my file now !!! ^ . ^ -:- SignOff Lennon: #TUNES (Leaving) bE: what treatment of argv is python doing? could you have hello.py dump state? or be wrapped by a shell script that doers? python doesn't have a argv, I think... that could help what good would that do? debug did you read the aaache faq? The _script_ needs no debugging nothing in the apache faq section F maybe it does need debugging hoy hoy I just found something ...in the faq :) 02:40pm http://www.apache.org/docs/misc/FAQ.html#premature-script-headers //Hard to make anything out of it... ok, try at home, and come back when you succeed I can't test cgi's at home... yes you can sigh... no why not? 02:50pm I simply don't run linux 1) install linux 2) install apache 3) install your script 4) configure apache (btw, there's even apache for windows, you know?) forget it... that'd take weeks uh? Linux installs in a few hours, with apache included There must be something wrong with bespin take debian so as to have same setup as bespin or with your script your script used to not output a blank line after header should it? yes but that apparently ain't enough Since when does 'internal error' means 'your script outputs ugly html'? since you read the FAQ! I denies all knowledge of the faq, then well, RTFF! 03:00pm hum. MOdified script Works at my home. oh?? but not bespin, it seems. what did you change? just inserted a blank line 03:10pm I'm sick of trying to debug w/ such a lag thanks for trying... how frustrating 03:20pm what about perl scripts? 03:30pm -:- _QZ [brand@p0wer.qzx.com] has joined #tunes -:- binEng_ [Anders@dialup44-1-7.swipnet.se] has joined #tunes -:- SignOff binEng: #TUNES (Read error to binEng[dialup44-1-7.swipnet.se]: Connection reset by peer) -:- binEng_ is now known as binEng -:- SignOff binEng: #TUNES ( <k!14>) -:- HickServ [thrustit@209-68-229-46.dialup.cust.tfb.com] has joined #tunes during my daily "who" on servers i notice that fare is always logged on at 4:20 then i begin to wonder <_QZ> HickServ: i need yer help shoot unfortunately for microsoft I don't have enough free space on drive C: to install IE5. If only they had made it installable on drive D:... * Tril/#TUNES whomps "but it's a part of Windows" i think programming makes fare high * Fare/#Tunes is low HickServ: at 4:20 every day you run "who"? * Tril/#TUNES is back from the dead. Gone 5 hrs 8 min 14 secs no i run "who" daily fare happens to be logged on a lot, so it follows that he is logged on at 4:20 and i notice that fare always logs on at 4:20 that's probably when he wakes up do you know what 4:20 is? yes, but i'm sure it's a coincidence oh well time to install linux on this machine HS: it's the same log on that persists for days thanks to screen(1)! 05:50pm no coincidence fare, 4:20 has something to do with marijuana how come no one on bespin responds to "talk" probably because they aren't really on did you talk me? once Tril: has it? it says fare and dem are logged on people who wanna talk go on #tunes maybe hickserve can explain exactly what 4:20 is all i know is it is some pot thing yeah, i prefer irc well im no drugy but from what i hear it's like the international time to get high or something HickServ: fare and dem are on #tunes billyboof would probably know more i like "talk" better you can see exactly what each other are typing use ytalk it's beter * Fare/#Tunes doesn't remember how to do mutually-recursive words in FORTH, except by EXECuting stuff explicitly stored in VARIABLEs or such * Fare/#Tunes tries to understand the retro forth code, so as to use it as a backend to a scheme compiler fare: do you think overloading of functions is a good thing? HS: depends what for but there sure are good uses of it 06:00pm although I prefer it when the system can statically disambiguate like i don't know whether i want reverse polish notation or just normal but i thought mabye i could give the programmer both (for my language) and I hate the illusion of *global* overloading reverse polish notation makes things easier HS: you can provide 1) multiple syntaxes, and 2) gateways between them i'd rather them be unified though oh, and do NOT do dynamic overloading of prefix vs infix vs postfix I know people who did, and you do NOT want to do the same you'll find things much cleaner if you separate syntax from semantics in as much as you can and then you can have as many syntaxes as you like, once the semantics is well-defined im sorta vague on prexif vs infix vs postfix why? well what are some examples? prefix: + 1 2, postfix: 1 2 +, infix: 1 + 2 oh oh! i see what you mean there is also braindeadfix, as in a.foo(b,c) with pre or post you can just tack more operations together. with infix you need parenthesis sometimes. i think pre/postfix makes order of operations a lot easier fare: so i should just stick to one fix? I recommend you do, at first it's still time to add syntactic sugar afterwards but beware that syntactic sugar causes cancer of the semi-colon (Perlis) wow now that's what i call a pun! 06:10pm well i don't know about everyone else but i like the idea of pr0nfix: + 2 7 + (both sides babee!) if you are designing a new language i recommend you check out the ultra language project abi ultra somebody said ultra was http://www.box.net.au/~matty/ultra/ their mailing list is archived on my server, it has lots of arguments probably some about fix lots about multiple inheritance BAH! HS: that's HTML's shitfix 2 7 multiple inheritance inheritance? yuck! fare: tell me about it fare: not literally HS: see the Glossary no no it's an expression in english when i say "tell me about it" it's the same as "yeah i know" but it has'd to have the right tone of voice which i can't do on irc ;) inheritance isn't evil, explicit state storage is inheritance merely implies explicit state storage C++-like class inheritance is evil no, C++-like classes are evil CLOS-like subtyping is good variables are evil (including CLOS slots) well people overuses inheritance CLOS slots are meant not to be used in everyday life subtyping is good really? they seemed a main part of CLOS what makes CLOS inheritance ok? he said subtyping wow. scwm grew to 55M in core size oh well then we will have non of that ScanDisk found 100925440 bytes of data in 1 lost file fragment(s). i smell pizza brb :))) oh, that's the backup of C: that I made using dd 06:20pm -:- beholder [beholder@ppp-064.m4-1.osh.ican.net] has joined #tunes hi b ! HS: you tempt me! Hey Tril :) Hey fare but i have to go eat as well fare: bummer bro bummer bro? bummer, bro * Tril/#TUNES is away: (afk) [BX-MsgLog Off] Tril: Before you go, mind if I ask some questions? it's an expression you'll find where i live HS: can you teach me the language you're speaking? well how long will you be here who? tril: Probably for a long while bummer means too bad and bro is short for brother till: I'll ask when you come back :) be: then you can ask me after i eat ok got it fare? ok im just gonna stick to prefix and let the user have infix if they so please by overloading * beholder/#tunes will brb well i think i have all the info i shall need to continues work i hope fare isn't looking that up in a dictionary ;\ -:- SignOff HickServ: #TUNES (later) 06:30pm -:- water [water@ppp-tnt-214.tscnet.net] has joined #tunes hi all! * water/#tunes is currently mulling over his tunes zeal water! hi fare! * Fare/#Tunes looks up "mull" in dict to mull is to be pensive fare: care to talk? sure i was reading this slashdot article it reflected on zeal and alternative computing systems basically it described the negative impact of zeal on say os/2, the amiga, the bebox, ... wat: Do you have a URL? slashdot.org/search.pl it's on today's slashdot the article went on to analyze the current linux PR problems in terms of this anyway, i thought of myself and tunes i don't think that i can avoid my zeal, however fare: anything on your mind? 06:40pm lots of things lots and lots like what? the notion of universal language: with respect to what notion of expressiveness? ahh for me, expressiveness is relative submitting a paper to POPL'2000 -- can I make implement1.tex into something publishab le? that's why i've abandoned using languages for tunes bootstrapping groking the way existing scheme compilers work, and choosing a design for mine hmm hmm you didn't abandoned using languages -- you're just using a less formal one reminds me of that Minski&Sussman AI koan in the jargon file... well, it's not L<><> s/<>/(personal choice of infinity symbol) I know not about L\infinity it's a thing from model theory also, making free software happen at my employer's hehe writing down my latest free software speech umm... don't be over-zealous? finishing WhyNewOS adding a few things to the Tunes FAQ actually doing it? writing that viet software for linux writing that scheme compiler for Tunes finishing the asm-in-scheme for Tunes hmm *lots* of things on my mind * Fare/#Tunes cannot understand people who are bored, including himself ok * water/#tunes is the same about such things well, i understand, but antipathize * water/#tunes wonders how to get the ball rolling universal language per expressiveness? yes? are you thinking of a particular formal theory? the one I've begun to sketch in implement1 06:50pm * water/#tunes opens the paper * beholder/#tunes is gone again... brb i mean doc together with states as history of events ok how are you thinking of the relationship between implement1 and universal languages? the same basic notion of language as "states & transitions" and of functors between languages * Tril/#TUNES is back from the dead. Gone 0 hrs 33 min 21 secs hey tril I'll say that lang. A expresses lang. B if there's an injective deterministic mapping from B to A. that seems to go very well with types as preconditions for function evaluations, and function application as a transition from one condition to another known condition ok injective, deterministic, total mapping, I mean and if B as a subset of A is closed under reduction, then I'll say A expresses B *exactly* hmm... so what's the point you're at in questions? questions? umm. thought-process what's the conclusion you're trying to arbit? reduction is implicit to being an object.. that's the only assumption left unreified in my system (maybe?) retro is full or dirty tricks tril: hell if i know. your system eludes me yet what i mean is the persistent store of hyperlinked objects automatically takes care of the identity of objects (which possibly don't have names) so no "renaming" like alpha reduction is required fare: yes, retro is hardly implement1-level Tril: it's reified when defining the notion of a system (obviously needed for the notion of expressiveness) 07:00pm fare, when implementing the persistent store, yes. but I think it's one thing which can be implicit for most every context fare: btw, i'd prefer to refer to arrow as "not yet formalized" vice "less formal" tril: if it's implicit, isn't it also singular? * beholder/#tunes is back again... ugggh... stomach problems.... tril: (one reduction method per context) water: i'm not expert on reduction, plus i'm not sure what a context is, formally tril: ok water: until you formalize them, they'll be "less formal" * Fare/#Tunes must goto sleep fare: no, i've already talked about Robinson diagrams goto &sleep; * Fare/#Tunes is away great * water/#tunes has a hard time finding fare for good discussion water; what I mean is reduction is not necessary, if reduction is a conversion of names so they don't conflict: objects will have identity separate from names, by which they are referred (names can be used, but they are only a secondary method). The primary method of referencing objects is a direct link! huh? think of an identity as a hidden attribute of an object bleh you can compare two objects and see if they are the same but you can't actually get a unique ID ok, hyperprogramming see my Specifications.html yes what's so special about that? nothing special, if you imply hyperprogramming as a well-known concept, except that I don't see a hyperprogramming system in wide usage. oh ok then your argument is hardly for me I was making the argument because you asked me about a reduction method.. I was just saying I don't need a reduction method. But I may not know what you are talking about. yes, we are talking about two different things ok. i have to sign off now. i'll be back later. bleh ok sorry :( :( * Tril/#TUNES is away: (afk) [BX-MsgLog Off] 07:10pm -:- SignOff water: #TUNES (The Tao has left the building!) well gotta go too :) -:- beholder [beholder@ppp-064.m4-1.osh.ican.net] has left #tunes [] 07:20pm -:- hcf [nef@me-portland-us1027.javanet.com] has joined #tunes * eStormy/#Tunes sighs...he never understands anything in this channel. -:- SignOff eStormy: #TUNES (eStormy has no reason) * Tril/#TUNES is back from the dead. Gone 2 hrs 26 min 26 secs hoy Tril hi someine is here yay did qz really get bought out by microsoft dunno you never can tell when he is serious i see we have a uk mirror now i actually checked the site news the question is would they really hire someone in Utah and let them stay there? i did not know MS had a UT hq i assume this was mentioned in the log which i havnt read yet the uk mirror? i don't know if it was ever discussed on irc.. it was discussed in email between me, Fare, and Alaric 09:40pm Nameserver not responding ? hmmm ack looks like core's servers are down well, just keep trying, it should eventually timeout and revert to a working server quick, connect to any site in Europe ok europe works heh but it seems that core's nameservers and the nameservers for alaric's domain are down i wonder if they are connected in some way some weird outage close to bespin too >>> Tril [dem@sloth.wcug.wwu.edu] requested PING 930718334 875620 from #TUNES 09:50pm oh, maybe core's machines aren't down.. they just aren't responding to ICMP violation of internet standards! I think all efnet servers do that, too. maybe it protects against DOS >>> Tril [dem@sloth.wcug.wwu.edu] requested PING 930718541 133382 from #TUNES is there a new virus? why so many servers down i can't reach microsoft.com i can not that i'd want to errr but can you ping it? no i wonder if the Windows fix for teardrop etc. involves disabling ICMP oh well "the web works so everything must be ok, right?" * hcf/#tunes is away. oh well 10:00pm * Tril/#TUNES is away: (afk) [BX-MsgLog Off] -:- SignOff _QZ: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) -:- SignOff hcf: #TUNES (Leaving) [msg(TUNES)] newlog 1999.0630 IRC log ended Wed Jun 30 00:00:01 1999