IRC log started Mon Jan 18 00:00:01 1999 [msg(TUNES)] permlog 1999.0118 I need to go soon... any last questions before I do? good examples of domain abstraction? we already went over some, i know Any high-level language? Perl Prolog Pascal and what "domain" are they "abstracting"? They all start with the letter "P". ;) Ummm... Domain-specific languages are actually the best examples. Perl's regex support is a good example, but Perl itself is rather bloated. Sierra's adventure game language. Javascript. To tell you the truth, I'm feeling a little confused. Too many metas are bad for the brain. :) from your definition.. a DA is modelling a system in a different domain while retaining the system's essential properties. For one example, list the system, the other domain, and the properties. Okay. The system: "Hello world" The system's domain: Electricity. The model: '10 PRINT "HELLO WORLD"' The model's domain: String-processing (BASIC) The essential properties: A friendly greeting displayed on the terminal. (done) can you do that without using "model" anywhere? or is that the point??? I don't understand. just a sec 12:10am ok tell me if I have got this straight "10 PRINT .." is the domain abstraction of the electricity that does the printing? "10 PRINT .." is the MODEL of the electricity that does the printing. Is it a domain abstraction of it? I don't know. I'm not really sure what domain abstraction is. I've got a "gut feeling" but I'm having a hell of a time defining it. ahh...now the truth comes out :) You caught me. :) just needed a little harrassment :) ok. I was going to ask "then is '10 print ..' a DA of a lower-level asm program that does the same thing", but you porobably don't know that , either. That, I would say definitely yes. I might even say BASIC was a DA of assembly. :b If you can come up with a good definition that satisfies my intuitive sense of what a DA is, I'm all ears. :) 12:20am ωνω SignOff hcf: #TUNES (Leaving) Tril: Still there? i just have a tentative def Let's hear it. I feel a need to harass someone. ;) A is a DA of B iff A and B are both models of the same system C, and the abstraction level of A is higher than the abstraction level of B. How about: "A is a DA of B iff A and B both model the essential properties of the same system C, and A is simpler than B. " "higher level of abstraction" is more specific than "simpler", and is a term with a precise meaning. "essential properties" because some metamodels introduce semantics (like execution order, relative timings, etc.,) that aren't really important. I agree with the essential properties instea dof "the same system" I didn't know "higher level of abstraction" had a precise meaning, that's why I replaced it with "simpler." What's the meaning? but take out the word 'essential', perhaps? abi: webster for essential essential may be sought at http://work.ucsd.edu:5141/cgi-bin/http_webster?essential Definition 4: Containing the essence or characteristic portion of a substance. actually higher-level of abstraction already includes that non-essential parts are left out. In model "B" some non-essential parts may be inrtoduced in the system, which are low-level details and not important to the high-level definition found in A did you read the glossary on Abstraction level, and the conversation about it earlier today? Didn't read the glossary, read the conversation (or I thought I read all of it) the glosasry was what the conversation was about :) 12:30am π Tril/#TUNES uses passive voice too often passive voice is what I use too often heh Any easy questions about Prism's mechanics before I go? <_QZ> intel has a bunch of morons working for them Beholder didn't understand the glossary so I tried to explain it (I should have taken off two hours ago!) <_QZ> the celeron w/o L2 cache has the same model number as the pentium II's no, we'll talk about it later. I'm going to try to figure out this stuff with DA and meta and (what was the other thing) compile to, I guess. Oh, also "is a domain of" :) <_QZ> that leaves no easy way to test for a celeron 0k Thanks for talking, I enjoyed it. ωνω SignOff jdl: #TUNES (Leaving) qz can't you try to use the cache or something <_QZ> well i know the k6 has some register that tells how much L1 cache it has <_QZ> but i have no idea howto tell how much L2 cache a P2 has disassembler your bios contact the openbios project <_QZ> oh damn its 1:40 12:40am <_QZ> cya ωνω SignOff _QZ: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) π Tril/#TUNES is away: (afk) [BX-MsgLog Off] 12:50am ωνω pontman [pontman@charlese.customer.netconnect.net.au] has joined #TUNES Whats TUNES i guess TUNES is in my head or tunes is a useful nevertheless expedient system. infobot?? i think infobot is at http://www.cs.cmu.edu/~infobot from a not bot Whats TUNES 02:20am ωνω pontman [pontman@charlese.customer.netconnect.net.au] has left #TUNES [] ωνω SignOff ultima_: #TUNES (Ping timeout for ultima_[user-37kb9uu.dialup.mindspring.com]) ωνω Fare [rideaufr@esmeralda.enst.fr] has joined #Tunes ωνω SilentB0B [orsome@hobppp-56.trump.net.au] has joined #tunes ωνω SilentB0B [orsome@hobppp-56.trump.net.au] has left #tunes [] π Tril/#TUNES is back from the dead. Gone 9 hrs 37 min 52 secs !driz:*! Unfortunately I am forced to terminate the great 42 day server uptime on bear.* due to a possible security breach. The server will be back shortly. !bear.openprojects.net Server Terminating. driz[driz@199.173.181.36] ωνω Connection closed from irc.us.openprojects.net: Success ωνω Connecting to port 6667 of server irc.us.openprojects.net [refnum 0] ωνω PING Register first.(from vinge.openprojects.net) ωνω BitchX: For more information about BitchX type /about ωνω Welcome to the Internet Relay Network TUNES (from vinge.openprojects.net) ωνω Your host is vinge.openprojects.net, running version u2.10.03.lagtime.desynch3.indent8.dead.whox2.zombie (from vinge.openprojects.net) ωνω This server was cobbled together Sat May 9 1998 at 12 28:25 PDT(from vinge.openprojects.net) ωνω vinge.openprojects.net u2.10.03.lagtime.desynch3.indent8.dead.whox2.zombie dioswkfcg biklmnopstv ωνω [local users on irc(1)] 0% ωνω [global users on irc(69)] 34% ωνω [invisible users on irc(133)] 66% ωνω [ircops on irc(11)] 5% ωνω [total users on irc(202)] ωνω [unknown connections(0)] ωνω [total servers on irc(26)] (avg. 7 users per server) ωνω [total channels created(54)] (avg. 3 users per channel) !vinge.openprojects.net Highest connection count: 2 (1 clients) ωνω Your default nick is already in use ωνω Mode change [+iw] for user TUNES ωνω TUNES [tunes@bespin.ml.org] has joined #tunes ωνω [Users(#TUNES:3)] [ TUNES ] [ Fare ] [ abi ] ωνω Tril [dem@bespin.ml.org] has joined #TUNES ωνω Channel #TUNES was created at Wed Dec 30 09:08:43 1998 ωνω BitchX: Join to #tunes was synced in 12.839 secs!! Fare, you here? 10:30am ωνω hcf [nef@escher.sdi.agate.net] has joined #tunes oops Tril: yes? hcf: you need to make the tunes URL a sane fact just checking k did you see the log for pontman today pontman? it looks like I'm the only one hacking the CVS :( 10:40am well, at least someone is hacking the cvs :) 10:50am C is an interpreted language! There are at least 3 C interpreters available. Also, it is rumored that people have been producing chips that directly implement the C virtual machine in hardware! ωνω ultima_ [ultima@user-38lc7bf.dialup.mindspring.com] has joined #tunes Fine then, hcf be that way =( lynx support SSL yet Lynx does with a patch you need SSLeay and the patch and i dont kno where they are 11:00am Fare, Tril: how do feel about copyrighting the review link pages? s/do/do u/ hcf well the output will be uncopyrighted because its generated by perl... so we arent restricted at all π Fare/#Tunes hates copyrights, and will only use them to turn them against the copyright system, with the GPL or such Fare, Tril: how will we handle copycaters? hmm I really ought to be in linux hcf: how that "handle"? I'm for authentification requirements. I'm against copyrights. Authentication requirements...I dont like that copycatting of tunes is a good thing Tril how is that? That is, anyone can copy, modify, etc, as long as they do tell that they do. Fare I like that, but i'm talking about the situation where someone steals the .html, sed s/ultima/lamer/g, and puts it up removing all tunes references to hide guilt ultima: if you want to get your idea out and widely spread, and that is the main goal (like mine is), then more people using the idea is partway to the goal If they mirrored it, or even maintained it seperately giving due credit and links, i'd be happy i think it would be pretty obvious they copied it from tunes BBIAF, booting into linux ωνω SignOff ultima_: #TUNES (Leaving) gimme a valid ZIP code, if possible for Washington DC 22222 (so as to fill an inquisitive web questionnaire) http://cdacb.ernet.in/~faisal/webpages/OSes.html 11:10am ωνω ultima [ultima@user-37kb9so.dialup.mindspring.com] has joined #Tunes ultima:if someone copies our page we should be flattered what's .in? Tril hmm I guess so Tril: indeed. india ultima: still, it would be elementary politeness to tell the readers about the original authors et al. Fare: Agreed oh, someone actually did this. I thought we were talking hypothetically :) also, we would gratefully appreciate that he feeds back to us any enhancement his does to the contents of the page... Tril: Yeah. Theres ~2 copies of the review project floating around how often do they mirror it (if they do regularly) π ultima/#Tunes has no idea. Heard it from hcf =) i thot ther wer 2, i was wrong, just 1, the url above thers over 5 copies of http://home.t-online.de/home/Sven.Paas/os.htm floating around the copies r usually one time things, never mirrored I think it's funny how they left the link "TUNES: the very project hosting this page..." pointing at their home page. and of course Languages.html is not found 11:20am if anyone cares: http://www.tunes.org/~nef/tmp/oses.txt what's mia? mia is missing in action oh hcf: why not modify the links directly on the CVS??? 11:30am this would be done how? hcf: learn how to use cvs on your bespin account type 'cvs co tunes' or 'cvs co review' I think you can just get the reveiw section modify a file, then type 'cvs ci -m"description of change" filename.phtml' if description is longer than you want to type on command line, leave off -m option and it will spawn the $EDITOR variable to edit a description of the change. then, frequently, run 'cvs update' in the checked out directory to update your copy to the changes other people have made. π Tril/#TUNES is away: (brb) [BX-MsgLog Off] π Tril/#TUNES is back from the dead. Gone 0 hrs 3 min 46 secs 11:40am my /. submissions were ignored :( :( :( what did they concern? 1) my article 2) ask slashdot about making business cards using free software and 0) the conference where my article is published -lilo(lilo@varley.openprojects.net)- [GlobalNotice] Hi all. Open Projects Net is in need of a Few Good Hubs. If you can make an account available to us on a multi-homed, solid Internet connection anywhere in Europe, please come see us on #openprojects! Thanks much. 11:50am the conference should have been posted to the Types forum (most all the messages are conference announcements, and there are several per week) your article should go in the tunes papers section >>> Tril [dem@bespin.ml.org] requested PING 916689580 58095 from #TUNES 12:00pm ωνω Tril_ [dem@xws059.xtrn03.wwu.edu] has joined #tunes what's PHB? 12:10pm Tril_: whers it used? on slashdot all the time "PHB is an acronym any IS/IT person reading /. will recognize" wtf is PJB PHB well, I dont know what it is so if someone could please find out .. I know what PBJ means peanut butter and jelly yep yep PHB is Pointy-Haired Boss or a miracle of malevolent supervisory cluelessness. or Dilbert's managerial nemesis 12:20pm purl knew thanks. although it's dorky that everyone goes around using dilbet references. 12:30pm ωνω SignOff Tril_: #TUNES (Ping timeout for Tril_[xws059.xtrn03.wwu.edu]) ωνω SignOff ultima: #TUNES (Ping timeout for ultima[user-37kb9so.dialup.mindspring.com]) π Tril/#TUNES is away: (afk) [BX-MsgLog Off] sdfsdf abi: "PHB abi: wtf i think wtf is this crap abi: PHB PHB is Pointy-Haired Boss or a miracle of malevolent supervisory cluelessness. or Dilbert's managerial nemesis abi is stupid abi: abi i am the little girl borg with a big brain or #tunes' personal little whore or an infoslut abi: abi is stupid fare is stupid ...but abi is the little girl borg with a big brain or #tunes' personal little whore or an infoslut... abi: abi i am the little girl borg with a big brain or #tunes' personal little whore or an infoslut abi: abi is gaklosmontic ...but abi is the little girl borg with a big brain or #tunes' personal little whore or an infoslut... abi: abi is also gaklosmontic okay, hcf. abi: abi i am the little girl borg with a big brain or #tunes' personal little whore or an infoslut or gaklosmontic wow! The first gaklosmontic little girl, ever! abi: gaklosmontic 03:20pm scary: http://www.springer.de/comp/lncs/copyrigh.html I'm supposed to submit to a conference to be published as LNCS! abi: persistence abi: can you serve as a messaging system? fare: i haven't a clue abi: what is persistence? fare: i haven't a clue abi: how many clues do you have? bugger all, i dunno, fare 03:30pm ωνω SignOff hcf: #TUNES (Leaving) ωνω hcf [nef@escher.sdi.agate.net] has joined #tunes ωνω SignOff Fare: #TUNES (Ping timeout for Fare[esmeralda.enst.fr]) ωνω Fare [fare@sweety.via.ecp.fr] has joined #Tunes ωνω Inkmind [pipevoic@216.41.29.58] has joined #tunes ωνω Inkmind [pipevoic@216.41.29.58] has left #tunes [] abi: Mercury? Mercury is purely declarative logic programming language at http://www.cs.mu.oz.au/research/mercury/ abi: abi? i am the little girl borg with a big brain or #tunes' personal little whore or an infoslut or gaklosmontic abi: forget that abi is gaklosmontic Fare, I didn't have anything matching that abi is gaklosmontic abi: forget that abi is also gaklosmontic Fare, I didn't have anything matching that abi is also gaklosmontic abi: forget abi is also gaklosmontic Fare, I didn't have anything matching abi is also gaklosmontic abi: kiss my ass *smooch* abi: abi is also flurivostuginuous okay, Fare. abi: abi? well, i am the little girl borg with a big brain or #tunes' personal little whore or an infoslut or gaklosmontic or flurivostuginuous I guessed so! abi: god? fare: wish i knew abi: life? i heard life was good but it sucks Fare: isnt there anything more useful you could be doing instead of playing with me? like, writing my long-due article with a deadline on feb 1? perhaps 05:20pm abi: tell hcf to use cvs, when you meet him why? to update the links in the Review pages (etc) my way is find w/ me anyone wanna take my shit and do cvs, can go ahead 05:30pm ok 05:40pm ωνω _QZ [brand@p0wer.qzx.com] has joined #tunes QZ: why isn't brix source available? ωνω tcn [tcn@cci-209150250116.clarityconnect.net] has joined #tunes <_QZ> Fare: why should it be? because it's announced on your page? <_QZ> no it isnt well, it is, tho with 0K size. fare: It isn't there, because it's vaporware <_QZ> ya thats cuz there is no source so its only 0k <_QZ> when i write something then it will get bigger 05:50pm wasa there a 0.0.8 before announced 0.0.9? I was gonna ask you a question Fare.. if I can remember.. <_QZ> i have restarted the version numbers back to 0.0.1 tcn: the answer is: yes, definitely unless it is: absolutely not! <_QZ> haha tcn: how goes the glossary? tcn: if you have a q, speak up, or I go to sleep fare: I remember.. not a question, but an offer to maintain the i386 project Since I've been working on low-level 386 stuff so much lately tcn: you should contact core@suntech.fr, so he opens you CVS access on clementine unless you want to split a completely different code base (which you may) tcn: offer granted, anyway ωνω ultima [ultima@user-37kb329.dialup.mindspring.com] has joined #Tunes tcn: mind the oskit, too 06:00pm Fare does the OSKit still suck? ωνω ultima is now known as ultima_ I haven't found it any more useful than Linux. the oskit? the oskit is probably out abi: forget the oskit Fare: I forgot oskit abi: the oskit is at http://www.cs.utah.edu/projects/flux/ abi: oskit? oskit is at http://www.cs.utah.edu/projects/flux/ π Fare/#Tunes pats abi on the head *purr* haha ult: did it, ever? except for not being released? Fare: What? (suck) oh yeah yes, it did suck quite much it was basically freebsd-- Whoever said "it's basically parts of BSD and Linux" was right :) tcn I said that And thats all it is mostly BSD <_QZ> no i said that _QZ: We both said that, I guess <_QZ> it uses all the linux and fbsd drivers <_QZ> with wrappers So yes, it still sucks. It's plaigiarism, really. tcn, yes, it is Nothing original about it tcn: They took the Linux & BSD drivers, stuck them into libraries with a uniform API, and called it an OSKit tcn: Honestly, I'd rather use Mach (Mach is actually pretty damn cool, its just slow) Anyway, I'm working on my own drivers, and they're highly modular and written in assembly the wrapper technique looks interesting. the modular approach in general looks good. And they report easy use to transform Unix apps into standalone OS... π Fare/#Tunes wouldn't touch a microkernel with a ten foot pole Fare yeah well i wouldnt touch you with a 20ft pole 06:10pm What makes a microkernel different from "no kernel"? Do all the parts run as separate processes? ult: thank god! microkernel is the paramount in abstraction inversion abi: abstraction inversion abi: what is abstraction inversion? wish i knew, fare Fare uh No? tcn: Basically, yes tcn: The kernel is just a message passer Ok, it's slow and it gets in the way :) so when is http://www.nokernel.org supposed to be up? tcn not when properly implemented Hey hcf, want to take over the glossary scripts? You're probably a better perl hacker than I am :) tcn: i doubt that ultima_: cant ur review scripts work for the glossary? hcf...you know what, they could abi: abstraction inversion is described in ftp://ftp.netcom.com/pub/hb/hbaker/CritLisp.html abi: what is abstraction inversion? somebody said abstraction inversion was described in ftp://ftp.netcom.com/pub/hb/hbaker/CritLisp.html I need no kernel to pass messages! neither do I <_QZ> haha windows is all screwed up <_QZ> in 2001 daylight savings starts on april 1st but win9x wont change the clock until april 8th _QZ why not? <_QZ> and it will do that every year that april 1st is a sunday, 2007, etc.. Hey, we should have a "perl script junk box" where we keep all these half-assed scripts :) <_QZ> its a bug in windows that M$ refuses to fix <_QZ> Microsoft has admitted that the bug <_QZ> exists, but claims problems resulting from it will be rare. _QZ: Betcha they are handling 0 as an error code _QZ: Instead of the date sunday.. <_QZ> and outlook lists may 24th as memorial day this year <_QZ> but its really on may 31st :) 06:20pm fuckin' idiots not idiots. Just bastards. abi: microssoft <_QZ> oh my god, this blonde joke is the best abi: microsoft microsoft is lame abi: microsoft? microsoft is lame let's hear it _QZ! <_QZ> whats yer email address? tcn@tunes.org <_QZ> sent hahah ok, share with me <_QZ> sent <_QZ> oops, wrong email ditto ultima@snicker.emoti.com pls 06:30pm <_QZ> ultima,tcn: do u guys have web pages for yer OSes? I dont mines barely a bootsector and a theory...nothing really to publish yet <_QZ> oh Yeah, not much on it, and outta date: www.clarityconnect.com/webpages5/tcn/comp/retro.html <_QZ> tcn: add a link to the os-ideas/os-help mailing lists on yer page ok <_QZ> we need to get lots of links on OS pages so more ppl will join, and maybe perticipate <_QZ> s/perticipate/participate/ _QZ: announce os-* on usenet 06:40pm Yeah, I should get in on that list mines a lot of rubbish, and stupid people blattering on a mailing-list... ωνω SignOff Fare: #TUNES (Back to the Tunes OS project -- /whowas Fare) 06:50pm Did anyone ever post on os-help or os-ideas? Hey, anyone wants to fuck with my glossary scripts, they're in ~tcn/glossary on bespin <_QZ> not anymore :) What does indexOf do in java? I'm setting them aside for now.. maybe if the glossary is concise and doesn't contain irrelevant terms, it won't be unmanageable java sucks my left nut I suck at java, too <_QZ> ok i have 4hrs to get brix releaseable so fare will shutup :) I'm gonna go write a keyboard driver. See ya.. <_QZ> u want mine? Sure, why not thanks 07:00pm allright, see ya ωνω SignOff tcn: #TUNES (Leaving) 07:10pm ωνω SignOff ultima_: #TUNES (Leaving) ωνω rend [\n@dialin1000.computron.net] has joined #tunes what was ultima's quit messagE? ultima_ (ultima@user-37kb329.dialup.mindspring.com) Quit (Leaving) ok, thats good. 07:20pm ωνω rend [\n@dialin1000.computron.net] has left #tunes [] ωνω SignOff hcf: #TUNES (Leaving) ωνω ultima [ultima@PPPa39-ResaleNashville1-2R1023.saturn.bbn.com] has joined #tunes i hate that nickflood prot ωνω SignOff ultima: #TUNES (Leaving) 07:30pm ωνω SignOff _QZ: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) ωνω Tril_ [dem@ppp163.whatcom.pacificrim.net] has joined #tunes ωνω SignOff Tril: #TUNES (Tril has no reason) ωνω SignOff Tril_: #TUNES (Tril_ has no reason) [msg(TUNES)] newlog 1999.0119 IRC log ended Tue Jan 19 00:00:00 1999