IRC log started Tue Aug 10 00:00:00 1999 [msg(TUNES)] permlog 1999.0810 hmm, i just got an idea on howto save some memory doing what? doing is the process of learning instead of wasting 4k for a stupid dpl0 stack for each thread i can allocate 128 byte stacks for them that would save 124k for every 32 threads i could probably even fit it into 64 bytes now i just gotta figure out how im gonna handle the allocation for them could allocate them all from the same few pages ya but i will need to create another list to handle the allocation -:- Aroha [user1772@p59.wn-tnt1.globe.net.nz] has joined #Tunes i think i'll just add that to my todo_in_a_later_version list :) good idea -:- Aroha [user1772@p59.wn-tnt1.globe.net.nz] has left #Tunes [] the reason brix never gets released is cuz i keep adding shit and doing it right away or i think of a different way to do something and change it instead of releasing i guess its better to release crap soon and then release versions that just keep getting better instead of releasing 10 years late with a perfect version 12:10am we already have lots of early release CRAP and i do mean crap :) why bother releasing more? :) ya but my crap works it will do the job brix will work good with large stacks, it will just take up more memory. when i make the stacks small it will be a huge optimization trick and ppl will love me :) i will tell em i added ultra-fast memory compression and they will love me :) andthey will think that m$ and all the other ppl that added memory compression to windows suck 12:20am night -:- SignOff liar: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) 12:30am -:- ruiner [nate@ppp372.wi.centuryinter.net] has joined #tunes -:- SignOff ruiner: #TUNES (Leaving) -:- water [water@ppp-tnt-231.tscnet.net] has joined #tunes abi: nickometer water 'water' is 0% lame, water 02:40am abi: nickometer eihrul 'eihrul' is 0% lame, eihrul lo lo what's up? do i know you, anyway? just debugging an assembler i just wrote but otherwise, nope... you do not know me k why on #tunes, then? do have i to have a reason to sit in an irc channel? :) no, but it's kinda rude to sit on a project's irc channel if you're not helping imo a little authoritarian, aren't we? no, just trying to get tunes to work 03:10am i'm in here because there are people in here who are generally knowledgeable in matters of the OS -:- NetSplit: varley.openprojects.net split from asimov.openprojects.net [03:10am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [varley.openprojects.net] -:- Netjoined: varley.openprojects.net asimov.openprojects.net -:- Plundis [plundis@chaosdev.org] has joined #Tunes but there are probably much better channels for that maybe but for now, this one is just fine sorry, i don't appreciate the useless traffic * water/#tunes sifts through the channel logs often there are a total of 7 people in here i don't call it traffic it isn't usually like this three weeks ago, this channel was bustling with activity i had to go away doesn't seem to be now i obviously should look elsewhere for a worthwhile project to work with. will it make much difference? highly unlikely much difference to what? i was actually considering looking for help at Washington Univ CS and philosophy depts, which is nearby not another open-source project tunes is not open source huh? sure it is. at least, it's supposed to be. it doesn't have source to be open hehe the various prototypes are open-source at least but why the connotation of open source projects being bad? well, they only work for c-coders with limited goals can you think of an open-source project not built on c? sure such as? blackbox, fiasco, fltk, many gtk-- wrappers, mozilla, etc bleh lame projects limited goals to you perhaps but then again, people could see your goals as limited it doesn't scale to tunes at all as a development model 03:20am then what does? well, i limit them in different ways eihrul: i don't know, of course then i don't see how you can attack something for not when you can't really define what does i'm trying to make this project work maybe some direction might help :) i'm just noticing social patterns in the tunes project is all "direction"? ever since i've been lurking on the tunes list the past year tunes is not an application everyone has their own different idea of what tunes is yep and no one person understands the goals completely of the other but Fare is the canonical Tuneser or in some casses, can't explain it's his idea by default too much of what tunes should be and not enough of what it is if you ask me :) sure my approach is philosophical: i try to address the places where today's languages depart from the tunes ideas the feature list idea kills tunes it's really ironic that Fare just recently backed down from endorsing Scheme, too. quite yet he degrades all the rest of us for our alternative suggestions claiming that our code can't possibly become tunes perhaps not, but atleast movement towards it my arrows project is supposed to provide a framework to provide languages, i/o models, or any other kind of info/knowledge structure in a clean way, but no one really sees the point 03:30am sure... but you're still buckled to unclean hardware hmm but there are good abstract compiler techniques already (nothing for oses, though) but usually rolling around in the dirt gets you farther... unfortunately well, i consider os-coding to be proof-of-concept in nature, not essential to the design work i.e. proving that the tunes 'language' or whatever does what we want but what then? it's just a proof well, we want tunes as an os to reflect on itself without an os coder having to spend a lot of time on it and what exactly does that entail? how that is done is what the design of tunes is about oh well, abstract (high-level) descriptions of os functionality that can be used to create os-level code (at least that) and that already exists :) in what form, though? english-written text books and manuals? OSKit bleh, oskit can't be groked by software it works, but it needs people to reflect on it so why couldn't software? well, i haven't looked too closely at oskit, but it's based on a c-development model, which involves low-level API functionality of modules but does shoving lisp, smalltalk, or scheme over it make it any higher-level? not really i don't think so either 03:40am i agree that they're nowhere close to being able to handle it and i've analyzed them in terms of complexity and such. my answer is the arrow system. i can explain those reasons too, as i have in email posts to the tunes list okay... i'll bite. how exactly does the arrow system solve the problem of abstracting things to a sufficiently high level? well, i remove the usual semantics assumptions, mostly as well as reliance on text to explain things i.e. replacing identifiers with a sort of 'knowledge structure' that is gradually made more and more useful that idea is the buzzword "ontology" that i throw around too often that's just answering questions with questions :) hmm there's no easy one-sentence explanation because there's nothing to relate it to well, some things are close well... for startes +r what is the purpose of the 'knowledge structure' it describes objects formally like a declaration that is built from semantics, not syntax and how is the structure itself interpreted or used? it varies it's interpreted by other ontologies, actually 03:50am ontologies tell the system what my little arrow constructs mean for a given context but how does the system itself interpret the ontologies to interpret other ontologies? :) recursion the whole idea is that there's some "agent" out there listening to the system describe an object or a state of affairs. the ontology is sort of small language for talking about things hehe that's what i'm working on now... bootstrapping an arrow environment that handles that in a way that others can simply use well, is there even a non-easy complicated system that can interpret arrows? non-easy complicated systems? such as? (i do have a Squeak implementation of arrow logic) -:- SignOff Crimson: #TUNES (Ping timeout for Crimson[chaosdev.org]) -:- Crimson [crimson@chaosdev.org] has joined #tunes how does the squeak implementation handle arrows then? i guess i'm using my arrow logic support system to do just that * Crimson/#tunes is gone. Gone since Wed Aug 4 18:07:00 1999 right now, it understands the basic geometrical relationships between arrows, and can answer questions about them and change them it also has minimal support for abstraction via my "graph" idea arrows have geometrical relationships? and i have included a (for now) completely generic arrow quantifier to model dynamic properties of the system. this will be used to program it. well, arrows have a visual representation (arrows, of course). their attachment to other arrows (the references) is like a node of a graph. in other words, they connect to each other but, are the geometrical relationships merely the result of interpretation or are they inherent to arrows? they're inherent, but you don't have to look at it that way. they're merely the qualifying characteristics of the arrow idea as a construct. 04:00am in other words, i picked the arrow idea to have those properties (two ordered references that point to other arrows) that way, there's only one basic type for the whole system, and the environment entirely determines "what an arrow means" or "how an arrow behaves" and for the big question: where may i find your Squeak implementation at? ah abi arrow? arrow is a homo-iconic information representation system intended to support programming and human languages in the way that Tunes should. at http://www.tunes.org/papers/Arrow/, http://www.tunes.org/~water/ http://www.tunes.org/~water/Abstract-Arrows.st most of it is documentation, and i haven't updated it in months. unfortunately, my computer is down, so i can't upload. my own version of it has an actual environment that i'm experimenting with "down"? yeah, it has the flu i'm using a roommate's computer now it also has some serious hardware problems btw, you need squeak or a smalltalk to run the code i don't want to run it understandable the code looks much better in a smalltalk code browser. that's why i mentioned it well all i have at the moment is an xterm, so it'll have to do :) you do understand smalltalk syntax, right? 04:10am somewhat but a little foreign syntax isn't going to scare me off i can usually discern that sort of thing easily ok. i don't use any weird coding styles anyway brb b 04:20am -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp45.lvdi.net]) -:- water [water@ppp-tnt-231.tscnet.net] has left #tunes [] -:- water [water@ppp-tnt-231.tscnet.net] has joined #tunes -:- SignOff water: #TUNES (Ping timeout for water[ppp-tnt-231.tscnet.net]) -:- hcf [nef@me-portland-us730.javanet.com] has joined #tunes -:- ultima [ultima@user-38lcmoq.dialup.mindspring.com] has joined #Tunes hoy ultima -:- fare [fare@quatramaran.ens.fr] has joined #Tunes 07:40am hoy fare lo hcf 07:50am -:- ultima is now known as isAway -:- isAway is now known as ultima -:- krz [kzaback@gnat6.owo.com] has joined #tunes -:- krz [kzaback@gnat6.owo.com] has left #tunes [] -:- smkl [sami@MCCLIII.rdyn.saunalahti.fi] has joined #tunes -:- SignOff smkl: #TUNES (Ping timeout for smkl[MCCLIII.rdyn.saunalahti.fi]) -:- SignOff ultima: #TUNES (Read error to ultima[user-38lcmoq.dialup.mindspring.com]: Connection reset by peer) -:- smkl [sami@MCCLIII.rdyn.saunalahti.fi] has joined #tunes -:- ElGato [dave@bespin.dhs.org] has joined #tunes * ElGato/#tunes hits fare on the head with an "Are you awake?!" stick -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us730.javanet.com]) -:- hcf [nef@me-portland-us724.javanet.com] has joined #tunes * ElGato/#tunes is away: (Auto-Away after 10 mins) [BX-MsgLog On] * ElGato/#tunes is back from the dead. Gone 0 hrs 4 min 8 secs if i were to buy one book on compiler design what would it be? ask the mlist 11:30am and who pretell might they be? hmmm? :D huh? abi: mlist? i guess mlist is the formal way. IRC is good for thinking loud :)= abi: forget mlist hcf: I forgot mlist the tunes mlist the tunes mlist is worth reading oh gotcha uv read the comp.compilers faq's book section, right? uhhh.oh of course, you think im stupid or something? hehehe lazy != stupid let's hope so where may i find this fine piece of literature? news://comp.compilers also, as i recall, they recently had a thread about books well...ok where do u usually get faqs from? theres ftp://rtfm.mit.edu/pub/usenet* www.faqs.org and html-ized faqs at ohio state comp.compilers hp is at http://www.iecc.com/compilers/ 11:40am * ElGato/#tunes is away: (Auto-Away after 10 mins) [BX-MsgLog On] abi: dynamic scoping? wish i knew, elgato any volunteers? abi: foldoc for dynamic scoping dynamic scoping may be sought in foldoc at http://wombat.doc.ic.ac.uk/foldoc/foldoc.cgi?query=dynamic+scoping thanyou -:- _sham [sham@phila-dialup251.nni.com] has joined #tunes hola 12:40pm <_sham> hey im breaking down and actually getting a book on compiler design 12:50pm -:- eihrul [lee@usr5-ppp54.lvdi.net] has joined #tunes bienvenidos lo what's up? nada mucho... just coding miscellaneous things i see <_sham> i'm coding a virus for BRiX, ElGato good that should be one of your first prioritys aas a cracker/hacker <_sham> i'm kidding <_sham> that would be dumb no it wouldn't <_sham> elgato: i'm not a cracker/hacker non the less you should think about that for the future keep qz thinking on his feet <_sham> hmm some of the older games are pretty good hunt the wumpus! 01:00pm gakuk fare! the foldoc is greatly outdated. All lisps have been statically scoped since 1984 EG! permanent nick change? * ElGato/#tunes is trying to recruit a schemer fare: most likely recruit him or her into tunes that is fare: feel free to update foldoc 01:20pm fare: what's the difference between statically, dynamically, and lexicaly scoped languages EG: a schemer? statically scoped == lexically scoped EG: read LiSP no EG: LiSP in Small Pieces what's the difference between lexical and dynamic hcf: gotta write a few articles 01:30pm let x = 0 ; let print_x () = print x ; let x = 1 prints 0 if lexical, 1 if dynamic im lost do don't understand my syntax? s/do/you uhhh i guess 01:40pm smkl: you forgot the ending ; print_x () ... true ... fare: what recent progress has been made on tunes you yourself said you have no more excuses not to start coding 01:50pm EG: I'm writing a few policitcal articles, and trying to identify what LISP dialect to use I find standard Scheme unpleasant, because of non-lienar continuations what are non-linear continuations 02:00pm EG: see my recent messages on tunes@ i did and it is beyond me read the docs for Clean. Or the Haskell monad documentation then you understand what "linear" means in this context :/ 02:10pm fare: why don't you just create your own? (HLL) fare: if u know what they r u should be able to explain em to ElGato * ElGato/#tunes ^5's hcf main world = let new_world = remove_file "edfe" world -- now you cannot access world anymore because it's linear you could also hide world using monads (or something like that) hcf: I could, but it'd take more time than for him to read the articles hiumself fare: u dont know that for sure if i may interject, i think i'd probably understand it better if you just explained it to me hcf: I believe Wadler and others are much better at explaining things than me. hcf: if he still has problems afterwxzards, I'd happily clarify any remaining point in his mind fine, where are these documents 02:20pm http://www.cs.bell-labs.com/who/wadler/index.html abi: clean? clean is lazy purely functional programming language with fast compiler at http://www.cs.kun.nl/~clean/ 02:30pm * fare/#Tunes is away logout er every time -:- SignOff ElGato: #TUNES (ElGato has no reason) 02:50pm -:- liar [brand@p0wer.qzx.com] has joined #tunes lo hey hola, liar abi: stupid abi: dont talk to me again she's just doing what a stupid human programmed her to do which makes her equally stupid for not being able to NOT do what the stupid programmer told her to why does she only respond when i say hello/hi/hey? liar: its pseudo random eihrul: are you able to NOT do what the stupid god told you to do? so she randomly picks me, everytime, out of all the other ppl in this channel? fare: i fail to see how that parallel relates i think u enabled the piss_off_qz option liar: u should feel special eihrul: the problem is not that of abi, but that of the programmer liar: hmm, good idea * hcf/#tunes puts in a piss off brand routine heh fare: that's somewhat contradictory if you ask me or maybe the problem is with karmic disbalance why get upset at all? i'm not upset... it's sarcasm fare: theres no karma, its been disabled ;) hcf: no karma? fare: n/m * fare/#Tunes is reading "The Mind's I" why haven't I read it before??? * hcf/#tunes is away: () i think i have that book you think that you think you have that book, but maybe you don't actually think you have that book, and it's just an illusion of thought. * liar/#tunes shoots fare in the head you think you shoot me in the head, but is that real? its gonna be real 03:10pm i'm gonna wrap my hands aroun yer throat and u will think u are dying and it will be real liar: you lie! ok then, i'm not gonna shoot u :) and i'm not gonna wrap my hands around yer throat brb, gotta wash the dishes so i can have a dish to put food in 03:20pm -:- SignOff hcf: #TUNES (Leaving) -:- hcf [nef@me-portland-us226.javanet.com] has joined #tunes eihrul: u here? yep the cpu sets esp0 when returning from an interrupt right? 03:40pm or no? intel docs say no or rather don't say yes will look again if esp0 is like 0x180ff0 and i set tss.esp0 to 0x181000 will that hurt anything? no idea there... it should only read tss.esp0 when it interrupts <_sham> question: when an interrupt handler is called, higher privilege must be granted to the handler that's what i figure or rather liar: <_sham> but intel says the stack must change if higher privilege is granted u dont need to goto a higher priv <_sham> how are parameters passed on the stack if it msut be changed to a ring-0 stack the handler can be dpl3 <_sham> lair: what about syscalls? don't syscalls need higher privileges? nope the esp3 is stored on the esp0 stack so u can just use that as a pointer to parms _sham: all my syscalls do, but u dont need to liar: hrmm, good idea <_sham> why wouldn't say, Linux, need higher privileges for int 0x80 handlers that call syscall() or whatever you wouldn't even have to interpret the registers i don't think user level tasks can call interrupt handlers with any higher privilege than user level ya they can i thought the privilege level of the interrupt handlers was to prevent certain privilege levels from triggering certain interrupts <_sham> but does linux int 80h switch to higher privileges for the syscall handler? the code segment is non conforming so switches privs least in Linux 03:50pm figures.... people already send you messages telling you to unidle and when you get back, they're idle! heh s/already/always 04:00pm i hate tracking down bugs debugger :) UGH why must i keep doing this i push a register that i return shit in and then i pop the register before leaving the function for some reason the register doesnt have the right value in it after returning :) and i cant believe i missed it since i stepped thru that function TWICE 04:10pm if you had used TALx86, that would have never happened hehe talx86? typed assembly language sick idea UGH, i never even put the value in the stinkin register well i do not think i should continue developing brix abi: tal is typed assembly language at http://www.cs.cornell.edu/talc/default.html before i download this is it a binary of source? s/of/or/ 04:20pm it's winzip(ugh). i can't unpack it so i don't know what it includes they say that it has both source and executables hmm it would be nice if i wanted to convert all my code to it 04:30pm i am sooo close -:- NetSplit: mccaffrey.openprojects.net split from irc.linux.com [04:35pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [mccaffrey.openprojects.net] -:- Netjoined: mccaffrey.openprojects.net irc.linux.com -:- liar [brand@p0wer.qzx.com] has joined #tunes 04:40pm -:- SignOff smkl: #TUNES (sleeping ...) bochs: panic, iret: AR byte indicated non code segment anyone know what the AR byte is? 04:50pm liar: see http://www.altavista.com/cgi-bin/query?pg=aq&text=yes?pg=aq&text=yes&kl=en&r=&search=Search&q=%22AR+byte%22&d0=&d1= ar byte? hmm there is an AR bit hmm OF, SF, ZF, AR, PF, CF are undefined. that is on one of those pages but the intel manual has an AF bit where that AR is and AF has nothing to do with this 05:00pm could it have something to do with a segment descriptor? seeing as the AR byte "indicated non code segment" well it does eip=0x00400000 cs=0x0000002b eflags=0x00000000 esp3=0x00181ff4 ss3=0x00000023 thats the stack right before iretd eip being the top 0x820 : 0x0000ffff 0x00cff300 0x00100c00 0x00cfec00 that is my gdt BASE=, 0, 0, 0, LIMIT=, 0fh, 0ffffh, ACCESS=, PRESENT+DPL3+ER_seg+SEGMENT_desc, TYPE=, D_bit+G_bit wait a minute 05:10pm that last one is screwed up great, something is overwriting the dword at 0x828 and i have no idea what 05:20pm heh its also overwriting the byte at 0x82d 05:30pm ah ha found the little fucker <_sham> liar: in windowing programs, is it better to copy the entire back-side buffer to video mem for a frame or just copy the portion that was changed? (like movement of the cursor)? 05:40pm uhh are u asking if u should copy the entire screen again cuz the mouse moved? are u just being stupid or were u born that way? :) bout damn time, brix is running its startup method at last -:- ELGato [dave@bespin.dhs.org] has joined #tunes now im back to were i was on april 1st, but i have a better kernel now liar: go on bespin's roger wilco uhh ok let me turn on defiant now that defiant is on i will probably play starcraft and not work on brix uh i can't connect to bespin for some reason was the roger wilco server taken off? same here and i dont remember howto restart it :) i got a mic i wanna test it out hold on ok should be running 05:50pm did u fart? i cleared my throat talk dipshit uh are you gonna talk at all? did u hear that? i heard mic clicks u cant hear music? brb k i got some head phones on now speak into the microphone what are you doing? -:- gnudism [posix@209.42.200.16] has joined #tunes -:- gnudism [posix@209.42.200.16] has left #tunes [] im eating say something are u using the key to transmit? yes talk were you saying something? im not gonna sit and talk so u can wack off t o my voice what the hell are you afraid of? disconnect 06:00pm why? damnit qz, you suck ok connect i jacked up the quality what the hell was that supposed to be? damnit my mic was off haha do you hear me? ya windows sucks :D why does it turn off the mic each time u boot? i wish i had doors in my house then i could say what i want eh? well we haven't put them up yet can u hear that? ywah, im loading a file eh? for you to hear :D did it sound good? sorta :D know who it is? no did u just say something? WHAT? what did it sound like hold down button for 1-2seconds, speak, continue to hold button for an additional second or 2 after u stop ok take the mic out of yer mouth when talking :) uh well i think the quality of my mic sucks it sounds weird when i try to record stuff how much $? 06:10pm it came with my computer i cant understand u this mic is fucked hehehe yeah heh thats kewl the server died and i took over as host uhm bespin is back up screw it i can't talk heh 06:20pm <_sham> hmmm <_sham> someone on #mp3_depot on NewNet sent me a trojan <_sham> and my auto get was on <_sham> hehe so <_sham> liar but i've seen some programs (demos from hornet archive, Abuse, etc) just create a buffer and write everything into that, and then just copy the entire buffer to screen is mirc so lame that it runs everything it gets? <_sham> liar: i deleted it, but the point is that i find it funny that someone sent me a trojan <_sham> liar: say something on Roger Wilco <_sham> liar: how do you do animation with the graphics mem? just create a buffer, write into that, and only copy the portions of the buffer that are neccessary? <_sham> also: what causes the flicker you see in Windows 95? erasing and copying? * ELGato/#tunes is away: (Auto-Away after 10 mins) [BX-MsgLog On] double buffering... the solution to everything <_sham> eihrul: ok, explain how it works the problem becomes that before the eye has a chance to see the frame you just drew you're already drawing over it 06:30pm by drawing into a separate buffer, the frame gets left on the screen longer and only copied in when it's ready but i wouldnt copy the entier buffer just to move the cursor <_sham> so what causes flicker? that's overkill sprites == good <_sham> what causes flicker, eihrul? -:- kermit [kermit@rrosd27.impsat.net.ar] has joined #tunes hello all later all -:- SignOff ELGato: #TUNES (So I dub thee unforgiven.) <_sham> can someone answer that question? :/ i really want to know what causes the flicker 06:40pm bye all -:- SignOff kermit: #TUNES ([BX] kermit has no reason... just kidding :)) -:- water [water@ppp-tnt-245.tscnet.net] has joined #tunes hey all 06:50pm <_sham> hi sham: new here? <_sham> no <_sham> /whois me -:- Venatir [mircea1@193.231.65.11] has joined #Tunes i don't recognize the info anyone who installed PCI modems ? anyone who installed PCI modems ? sorry, not i what's up, sham man? Venatir: ask #linpeople water: hoy <_sham> water: the name's from the game "Ultima VII" k k what's news, hcf? btw, i've managed to pretty much prove that my ideas are unique. i spent quite a few hours last night searching for remotely similar material -:- Venatir [mircea1@193.231.65.11] has left #Tunes [] w/ alta, etc? and metacrawler and a few others <_sham> no if only Fare would stop claiming to have thought of your ideas before you had :) hehe i don't want to take any credit from him 07:00pm if only my laptop weren't down with the flu oh yes, i looked closely into rewriting logic... it's pretty damn cool <_sham> water: so are you ever going to get tired of using Windows? * water/#tunes thinks about that. the BeOS is really looking good to me lately <_sham> the hurd i plan to buy a desktop system soon, but can't make up my mind. hehe. does the hurd actually work now? <_sham> i haven't used it the prototype was said to have worked, but interest fizzled, i thought 07:10pm <_sham> water: well clementine is going to be released sometime hehe. <_sham> clementine sounds neat perhaps i should just run Squeak over DOS. :) * _sham/#tunes wonders if Squeak/BeOS would be good enough for water i should write an email to the Squeak team suggesting they change the VM to support self instead of smalltalk it might. squeak does run on it <_sham> well i'd choose BeOS over windows there IS that company making "geek machines" or something preloaded with beos/linux they have celeron cpu's and 3dfx cards <_sham> do you know of the web address? * water/#tunes looks <_sham> water is a geek, therefore water should get a geek machine i'm not sure of that <_sham> what i find interesting about you is that even though you are very much interested in logic and logic systems, you still have a lot of experience in actual coding which i stopped doing a while ago, though. and i haven't really touched actual os coding... i hacked something together once, but that's different <_sham> it's as if you are "burned out" on coding definitely so. it's probably my ideals that did it. <_sham> well bye -:- _sham [sham@phila-dialup251.nni.com] has left #tunes [] 07:20pm -:- SignOff hcf: #TUNES (Leaving) -:- hcf [nef@me-portland-us832.javanet.com] has joined #tunes wb water: what r u looking into at wash univ? i want to find cs (or philosophy or mathematics) majors or professors to collaborate on papers and brain-storming. kindred sure, but i'm not expecting too much. it's just that academia can pull for more resources than i can this journal i'm interested in subscribing to costs $300 per year christ and it's one among several and you can't get the discount unless you go to school whats the journal name or hp url? JoLLI: the Journal of Logic, Language, and Info. 07:30pm http://turing.wins.uva.nl/ it's on that site somewhere http://www.folli.uva.nl/Jolli/ yeah icuc, http://colibri.let.ruu.nl/ hmm. interesting you know, it's really funny that i stumbled on this paper last night about information theory and it hinted about atomicity, and it used the word "arrow", but only in reference to the physical weapon heh bits, bits, bits... i think i almost can make a good formal argument for arrows over bits, but it requires explaining my idea of an information system vs the conventional meaning. mine basically plays a social role, ultimately i assume that the #modtunes channel will not succeed it will when ppl r around yes 07:40pm we havnt tested it yet tested what, though? we need a logger and a good discussion to have ahh any one of us can log it i mean, 4+ ppl Fare is obviously re-thinking his choice about Scheme a full meeting would be nice, but noone cares right now what about Tril or beholder? both quite busy 0809: i got a job at NAS the ISP bespin is hosted at oh right i thought it was part time or something like that hell, i have a job, too! tril last i knew was also working mostly on his type system thing right, and slowly too he gets less help than i do * water/#tunes is currently getting a research-paper download fix. any different terms i could search with for u? not really, but thanks 07:50pm if i'm not used, i'll become rusty ;) * water/#tunes thinks "modality" - i could use a paper that talks in depth about the idea hmm, something by jmc, http://www-formal.stanford.edu/jmc/modality.html got it i have his whole site, actually http://ecampus.humnet.ucla.edu/classes/philos176-lec1-97f/syllabus.html 08:00pm hmm. interesting, but there's no material on-line. http://ling.ucsc.edu/~chalmers/mind.html whoa. very cool. http://home.ican.net/~arandall/Summary.html rock on! if i go this route any further, i'l probly just hit pages already linked to by the 1st of the last 2 -:- SignOff liar: #TUNES (Ping timeout for liar[p0wer.qzx.com]) right. thanks -:- liar [brand@p0wer.qzx.com] has joined #tunes oh yeah, i explained my arrow system ideas to a Java/Perl programmer today. it blew his mind away. he nearly reeled over when i told him about Aspect-Oriented Programming and what Xerox did with it and Java does it take much to blow a web-coder's mind? aspect orientation? abi: aop? aop is at http://www.parc.xerox.com/spl/projects/aop/ thank ye no prob abi: aspect orientation is see aop 08:10pm stunk... last night i was trying to read your squeak code and the power went out for 4 hours ouch just as i got about 1/4th through so that's why you were cut off i\and didn't return yessir the lightning had other plans for me it seems mmm.... lightning :) sorry, i guess i grok'd nietzsche a little too well should probably finish reading it :) who? you? yeah, your squeak code i mean oh there's not much to it, actually well, even so i didn't finish reading it :) k why the hell are the ChaOSers hanging around here when they don't ever talk? they've been idle on their own IRC server for days now chances are they're not really here at all 08:20pm ok got my game time in, since that jackass elgato made me turn that machine on. now i can get back to work on brix -:- j [j@c34068-a.lakwod3.co.home.com] has joined #tunes game time in? hi, j ya i played starcraft hi water. liar: ah j: have we met before, j? water: i dont recall such, but it's entirely possible. ok j: are you new to tunes? yes. was bored so i followed somebody in from another channel well, quite a few here are hibernating, it seems. as per usual... j: what are you interested in? j: u stalking me ;) j: so tell us about yerself hcf: i am. :) www.x25.org easily sums things up. has a short personal page + what i do for a living. i'm female, pregnant, and on strict bedrest because of such, which makes me a geek with a lot of time on my hands. that also sums things up. :) hehe. i don't hear _that_ very often what do you think of tunes, j? if there's any bad links or images on that web page plz let me know, it was just redesigned lately. it looks pretty good it's sort of missing something on the front page but i'm uninspired i'm looking at www.tunes.org now, and still trying to figure out exactly what it is :) Tunes is a Useful, Nevertheless Expedient System as tasteful as that is, it's not very explainitory :) 08:30pm hehe tunes is a specification for the perfect OS, but it will never actually be an OS look at the FAQ yah, i'm hitting the FAQ now. Fare used the word "infrastructure" a few too many times, i think wow. the FAQ is quite improved. is this the result of the last few weeks? hmm. core has been working on it ok. good for him or rather, good for us. thanks to him. 08:40pm hcf: thanks for the links. they will be very helpful. it seems sometimes elborate language is used in excress and somewhat distracts from gleaning more relevant meaning from the text. as if somebody is trying to make the whole thing sound more aesthetically pleasing than really getting a technical point across perhaps... well, our technical points are in the review section, really water: np ok brix is functional, no to make the startup load the keyboard and screen methods s/no/now/ * eihrul/#tunes looks at his un-functional microkernel and suddenly feels inadequate. j: that is fare for u water: http://www.irit.fr/JANCL/abstract-6.1.html j: water is also like that okay, liar. hcf: im gonna kill abi abi: me? you are at http://www.tunes.org/~water/water.html or an expression of the Tao or like that darn soon, u'l be able to go, 'abi: water =~ s/or like that//' kewl hcf: when will i be able to go, abi: die and erase all your code and data liar: what would the point be? she's backed up hcf: can u make abi not reply when i use the word also? and can u make it not reply when i say hi/hey/hello? j: questions? liar: i'v fixed the hello thing (i think) in the newer version hm. looks interesting... j: we definitely don't pretend to have all the answers whether it will ever be a reality comes to mind :) and it doesn't really say what you're writing in, except mentioning lisp at one point scheme 08:50pm so it will be to OS's what emacs is to editors? i have a prototype written in smalltalk half cobol and half intercal ok.. j: kind of, but it address interfaces with reflection, too i'm not sure i catch that whole relfection bit... perhaps you could summarize it into something bite sized? a reflective software system can examine _how_ it works at run-time and change it self aware/self modifying code? in a general sense, yes sounds like quite the endeavor... but in a way that is semanticallt clean well, it explains why we don't have a "language spec" yet haha indeed. how long has this been in the works? 5 years now, i think. my idea is very similar, and is now about 6 years old. i only joined last year, though wow it's a little embarrassing, actually water: http://www.illc.uva.nl/Publications/Lists/www-allseries-all.html although i've been working alone for almost all of that time hcf: yeah, i already mine that archive for papers 09:00pm damn! i am just sooo close to being able to write good papers on my system. i would kill for someone with which to discuss theory. * water/#tunes contemplates whether selling crack to nuns would actually help. nah! :) hah i'd discuss with you all day, but i'm not exactly studied on os theory i'm actually into logic research areas i.e. the horse before the cart although i do study os design, too most people don't realize that the family of logics has actually extended to nearly encompass most all paradigms of computation most people probably dont think about it :) which could be why they don't realize... i'm pretty fond of logic myself, hence being interesting in programming, but i'm not formerally studied on any of it. 09:10pm water: know anything about natural language processing? -:- SignOff water: #TUNES (Ping timeout for water[ppp-tnt-245.tscnet.net]) or not... -:- water [water@ppp-ip124-b59.tscnet.net] has joined #tunes back water: know anything about natural language processing? yep it's sort of something i'm looking at these days the research site i'm focusing on tonight has a lot on it, but it's very abstract stuff, though advanced hm. dynamic logics and multi-modal logics i want something less abstract and more geared towards implimentation hehe i haven't looked into open-source parsers lately there must be some very good ones somewhere i searched the web and found very very little almost all theory hmm i want to implement something fast and easy in perl i dont want to win the turing test, just something usable well, i mean, i wouldn't mind winning the turing test :) don't know. i'd recommend re-using someone else's code, but i wouldn't know where to look. perhaps hcf can help. hcf: any ideas? 09:20pm if there was code available that really fit what i was doing that'd be great i want to make it so that the database design really integrates well with the code design to get the best performance and accuracy i worked on parsers and parser schemes for a while, but i don't keep much code. it sounds sort of goofy, but i want to make a really really good infobot. have it web/irc/icq/anything client/server with an open spec adaptable then use it for things like technical support and reference, customer assistance.... k rather than just trivial irc factoids sound interesting/dumb/redudant? interesting and slightly redundant i know it's been done, but i have yet to find one that's been done *really* well -:- Beholder [beholder@ppp-170.m2-3.sub.ican.net] has joined #tunes actually, that's the only open-source interest i've ever seen in the idea beh! water! :) You're back :) but my laptop is sick :( -:- user1 [user1@195.26.132.185] has joined #tunes my paper-writing has gone on un-plugged hi, userOne wat: What are you on at the moment? i've got the specs on reflective arrow logic worked out, and a few simple lemmas have been worked out also, i'm refining my ideas for the other papers hi to everyone like ontologies and information systems and atoms Hey User1 * water/#tunes realizes he's probably going to scare off newbies with this kind of talk. sorry wat: Yeah I guess that stuff is necessary for practicality reasons ;) wat: I'm sure it's not as good as you're good news, but I got FreeBSD working as an internet sharing server in my house. (and I'm happy with it so far). I'm just testing ircII beh, user1: ok user1: familiar with tunes? 09:30pm water: I also jumped in here to see if everything on the IRC end was working. But I'm glad to hear you have made some progress :) beh: ok. thanks. Sorry, no user1: n/m then. Bye ok, bye user1 -:- SignOff user1: #TUNES (Leaving) wat: So how was your trip? well, with my computer acting up, not very good. i and Maneesh also were too busy while i was in San Diego to meet. Crappy... What's up with the laptop? water: actually maneesh came on here asking if we had talked to u cuz u stood him up he was all like "that bitch was suppose to come see me today but didnt, u guys hear from him?" the cd-rom drive kicked the bucket and i think there's either a virus loading with explorer or some corrupted driver keeps hogging time-slices when windows boots. i think those are his exact words liar: Hmm... you're nick doesn't lend credibility to that statement ;) bleh. i guess that i upset him Beholder: read the logs wat: Oh... not good. Maybe it's time for a re-install. beh: but i need the cd-rom drive to re-install water: maybe its time for... linux liar: Of course, I was only joking :) liar: maybe its time for a hole in the head wat: Hmm... good point. What brand name of laptop is it water: if you run windows you already.. er.... :) my linux machines never *act* up beh: NEC Ready 340T j: haha nec ready for the trash 340T liar: If it's a hardware problem... I don't think Linux would help liar: i bet your linux machines have you behave very well for them. hehe wat: I've only dealt with Compaq and IBM, but I'm sure a big company like NEC has a good replacement/warantee policy water: as opposed to windows machines not behaving at all for you :) -:- ElGato [dave@bespin.dhs.org] has joined #tunes water!!! well, if you guys have suggestions for what my next computer should be, i'm all ears. i just hate using linux. elgato: HS! there's minix * ElGato/#tunes ^5's the navy man lynxos! * water/#tunes clarifies water: $30 for a celeron 366, 4.3gig, 32meg system wat: Focus on your ideas, not your tools. I use Windows for work also. i despise Unix clones er $300 09:40pm water: if i am to invest some money in a first book on compiler design what should it be? agp video, ethernet, 56k, sound a _first_ book? the _red dragon_ book, probably. ok any major bookseller carries it ElGato: brix is running again bbl -:- j [j@c34068-a.lakwod3.co.home.com] has left #tunes [] Liar: Why bother the sound in Linux is flakey. My Live card certianly can attest to that. liar: is this version more interactive? ElGato: i said the kernel is working again is there any difference between the dragon book and the red dragon book? ElGato: i need to rewrite the startup method to support the new kernel liar: oic elgato: same thing k liar: What the hell QZ, why'd you change yer nick? ElGato: could u PLEASE disable yer lame nick completion i think the dragon book is a must read (from all the references i've seen to it) Beholder: to confuse u uh i don't know anything about bitchx so i don't care then get the fuck out of it no i like where my fuck is thankyou very much /SET FORMAT_NICK_AUTO $0:$1- /SET FORMAT_NICK_COMP $0:$1- type that only if you tell how to make it so i don't see netsplit info and oper kills im sick of that wait edit .BitchX/BitchX.formats and replace those two lines cuz bitchx wont save those formats for some reason ok /set swatch /save formating is in .BitchX/BitchX.formats and client crap is in .BitchX/BitchX.sav blah blah blah so go play with them in an editor liar: don't steal my sunshine ok? yes did u change em in .formats? no i don't feel like it well it will revert back when u restart not right now what's wrong with nick completion? 09:50pm u have a stupid BOLD character by default :( it makes the colon bold :{( |:{) and it screwed up my script and makes all yer text purple wtf is elgato.gif? look at it uh i gotta ftp it and shit why? i don't have enough money to buy a linux distribution right now i may do it from the slackware disks but that'll take a while u can get rh6 for like $2 yeah right i got a 2cd rh6 for $9 $9 included s&h i see it for like 69$ noooo the $69 has a commercial x server $69 rather metroX i think and it has some other commercial shit I think you can FTP most of Debian, if you want to download the boot disks. i don't want rh anyways www.lsl.com im gonna get slack slack blows get debian or rh bah! debain or slack u will like rh6 more rh sucks fare's bald nutsack it installs in 10 minutes and looks just like win98 * Beholder/#tunes says spend the $968 and just buy NT... heheh hah NT sucks * Beholder/#tunes clarifies NT "server" it has 99 percent uptime that's pretty bad Actually, I'm running FreeBSD right now. If you like Slack, it's very similar and has most of the Linux packages (better networking it seems also) bleh Even easier to setup than RH im gonna start tommorrow 10:00pm nothing could be easier to setup then rh6 Liar: What's wrong with BSD? it's gonna be a bitch without the cd though ElGato: u know its a bitch to install non-windows on a dell machine right? yeah u wont have sound no? u will be using the vga x server 640x480 16 colors cuz it dont support the dell video card why? liar: I thought the new Dell machines have ATI cards dell doesn't just have *one* video card Beholder: no they use the ati chipset Beholder: the machXX x servers wont work with it liar: Mach64 server should work then? liar: Oh... why not? they just dont the problem with dell is they only have winmodems Well, I sell/buy whitebox clones, and always with good hardware :) ya and yer fucked with that winmodem there should be a driver for a winmodem though Beholder: ah ya nothin but the best ElGato: nope ElGato: they dont release specs on them man im faced with a tough choice wtf i gottaget anew modem att bought tci, the cable company here, last year and now they are gonna bring cable modem to utah (something tci said they would never do) ElG: I'd reccomend an external USR 56K... nice modem my fone lines are multiplexed so i will never see 56k/isdn/dsl in this house but if i get cable modem i will lose my static ip subnet liar: get a t1 I'd go with the cable... it's worth it if you do a lot of downloading anyway to merge a cable modem route with a 33.6 modem route so i can have bandwidth and subnet? heh, for a price i'll hook up some phone lines for you not without slowing the cable down to modem speed I imagine... 10:10pm You'd have to route the cable through the modem through IP Masq I think i dont want ip masq mayeb ill just move shit i don't have money for a new modem how much u got? Well then stick with what you got... $0 send me $15 and ill send u a nice 14.4 well, i fuck no well, i'll be back in about 4 hours or so yer current winmodem will connect at exactly 0k, so my 14.4 will be a huge speed increase for u :) i'll just wait till adsl come to my town in september -:- water [water@ppp-ip124-b59.tscnet.net] has left #tunes [] ElGato: adsl was suppose to come to my town last year ElGato: im STILL wating well your fone company sucks yes indeed they do goto their web page and complain for me www.usworst.com mine doesn't know how to treat the customer right but they sure give good deals my fone company gave me back $75 that they stole from me im still waiting for the other $200 uh i'd say something but this is all logged 10:20pm then there is that $400 in insurance they stole from me i would like that back too but... liar: get em back well i thought about plug ac power into my rj11 but the lines are all buffered so it wouldnt affect them trying to bloto box em eh? bloto? you know anything about phone phreaking? i know what it is i have never done it well a bloto box is where you hook a large power source into your fone jack the only problem with that is it would burn my house down nah cuz all the 500 gauge fone line wires would catch fire the fuses would just burn out but not before the wires explodedd u havent seen uswest wires hehehe and i have more fones in this house then radio shack does network cable and fone lines to every room or you do the opposite and drain all the power out of the line and screw up the FBI lock and trace well a couple rooms wouldnt burn down cuz they got those ac transmitted fone lines that's what we call an aqua box 10:30pm or you can power household appliances with the phone line power i forgot what that's called uhh i dont know what kinda fone lines u got where u live but there is not enuf current or voltage to more any of my appliacnes s/more/power/ there's like 10 volts in the line lemme check my fone reference 15 12 or 15 and no curent its gonna be a cold day in hell before the fone line powered toaster crisps yer bread nah its got some current ya measured in ma * ElGato/#tunes thinks liar is using his multimeter right now -:- SignOff hcf: #TUNES (Leaving) 10:40pm did i give u pt_crt.inc? i don't think so i think so it clears the 4k page table and then writes the pages addresses into the table could u modify it so that it writes the addresses first and then clears the table? right now it wastes cycles by clearing memory that will just be written to right after if i had a 4meg object it would clear all 1024 dwords and then write them all in and u can slap yer name in the header :) really?! honest and for true?! ya why can't you just write ove what you already have? i could do it but its not important right now but its buggin the hell outta me knowing that is slowing brix down i want it to write over what i already have but the entries after what the object uses NEED to be cleared why does it clear it in the first place then? clearing them says there is no physical page mapped to that virtual address k i'll see what i can do right now it clears all and then fills it needs to fill and then clear the remaining entries that it didnt fill ok why do you put the copyright shit in there i know it isn't copyrighted -:- ruiner [nate@ppp331.wi.centuryinter.net] has joined #tunes hi ruiner 10:50pm hi whats up? it is copyrighted what is? urine smell? how much did it cost? a few years ago they passes a law that says u just need to add that copyright shit and put it on a secure site depends on what you drank to get it cuz too many ppl were copyrighting shit i thought copyrights were implicit and explicitly statement thereof is just warning? -ly and its $20 to copyright shit first and last 50 pages of source ack, when did they start charging? I should copyright the pattern of the hair on my butt eihrul: that was about 10 years ago liar: www.phonelosers.net/sound/pla_bomb.ra why should i have to pay to declare i own something? that's just heinious ruiner: no get a patent patents are $500 im gonna trademark the name "God" costs $50 to copyright the hair on your butt... that just sucks u should patent any idea that comes to mind then u can later sue companies right and left patent the idea of a man saving people then you can sue every action movie the catholic church any charities :) it would work very well yes indeed i like god better but god applies to less things mabye i'll trademark ala you'd have less to sue but u need to take out the trademark before it reaches mainstream patent a system for encoding information in a base 26 numbering system :) if you're lucky... they probably wouldn't even notice the prior art base 32 dude eihrul: ya but u need to sue everyone at once or u cant sue anyone yeah... exactly you get to sue the whole english speaking world! you could make them use sign language unless they pay you royalities :) only in the US like that company that m$ had sue netscape over the save as dialog box haha... i remember that they only targeted netscape and not the thousands of other companies so they lost plus they had the patent for years before they sued they should have sued GNOME would probably have been easier 11:00pm you need to jpatent a form of illegal narcotics too much prior art no way dude another thing that irks me about patents it makes a couple more things people get in trouble for they have to purposely try in obfuscate the english language in ways noone ever intended I never heard that about the netscape save as dialog box ruiner: its true when was that? it was on slashdot many months ago its been about a year details.... some tiny company had a patent on the save as dialog box used in everything the article might still be on slashdot but they didnt defend it until m$ came to them and gave em a large chunk of cash wait...doesn't ms have a save as dialog box? so they sued netscape cuz m$ wanted to hurt them ruiner: exactly a patent becomes worthless if u dont immediately defend it and u must sue everyone assholes which costs money how can it be proven that ms started it? the company had recently signed a deal with m$ they became "buddies" u know the m$ tactic "u sue this company with yer patent and we let u live for another month" heh heh heh....buddies....ms is in bed with so many other companies... so more like fuck buddies did u know that ibm pays more for windows than what it costs in the store? why so? cuz they have lotus on their machines oem's like dell/compaq/etc pay around $60 and ibm pays around $125 it's not like they're exactly pressed for cash though... yeah I knew that...stupid ms dates back to when ibm refused to stop working on os/2 eh? ms didn't give ibm the specs to windows or something cuz of that....bastards 11:10pm ibm owns the code to win3.x yeah, go read up but not 95 heh ya cuz m$ broke away they shoudl port 3.x to linux ms and ibm struck a deal about it like hours before 95 was released ibm sued claiming that all the time they lost to competition cost them lots good idea gato or release the code I'd love to see the win 3.x code i love win 3.x it's api is better than x i bet too its ok....dos was my favorite environment i think releasing the code would violate the m$ copyrights hmmm...... so they'd have to port it on their own....? make them an offer gato....get hired to port win to linux they can port it, they just cant release source code u would have to download a binary from ibm let's all email ibn and tell them to port it s/ibn/ibm ibn ibm s I'm bored, lets talk design or how oop is inherently flawed dooo tell me why it's flawed ;-p @ eihrul it will help me on my language design I'm just joking, I don't wanna get into that again but it was fun man no way D: and my opinion hasn't changed you you neither has mine _lied_ to me you lied to me how could you? who did? ruiner did I? 11:20pm you said you were joking that means you lied to me * ElGato/#tunes is saddened by this show of the dark side of human nature mabye i shall hang myself hopefully just kidding yeah, hanging is kind of painful bullets are a bit faster I'd suggest tying a brick to your member and tossing the brick off the roof of a tall building nah if done right, i'll be dead when my neck snaps -:- SignOff Plundis: #TUNES (Ping timeout for Plundis[chaosdev.org]) sheesh... plundis has been idle forver s/for/fore -:- SignOff Crimson: #TUNES (Ping timeout for Crimson[chaosdev.org]) bummer chaos crashed :) seems so they do a lot of crashing 11:30pm * ElGato/#tunes is away: (Auto-Away after 10 mins) [BX-MsgLog On] man it takes alot of time to write a good os i'm just beginning to see that :) it's taken me long enough to even figure out enough stuff to get an inkling of what a good os is 11:40pm oh great, my call gates arent working what are the benefits of using call gates versus trap gates? i have a million hurdles to get over and it takes a day for each one i can't seem to find any documentation anywhere on the pros/cons of both well i know that call gates are faster than int gates :) really? ya they dont push eflags :) how many cycles does that take? a ring-to-ring int takes 48 cycles and a no-ring int takes 31 and then doesn't the fact that arguments are copied from one stack to another takes some time too? since you have to push registers anyway what arguments? to syscalls ohhh i dont use that count shit you put the arguments in registers? i read them directly from the user stack wtf this crap manual is now saying it takes 44 cycles to do ring-ring call but isn't it easier to put them in registers? since you have to save the registers upon enterring syscalls anyway? i put params in registers but sometimes u need more space ah piss, now i gotta convert all my call gates to int gates why? cuz calls gates are slower oh wait you said int's are 48 cycles though yes i did im tired and was comparing it to the 31 11:50pm u know anything about call gates? just what i've read and what i've seen so the 4 cycles difference is basically pushing eflags? ya -:- SignOff Beholder: #TUNES (Read error to Beholder[ppp-170.m2-3.sub.ican.net]: Connection reset by peer) and its 45+2x if u copy params ack are you using one call gate per syscall? or putting the request number in a register? y ya yes, 1st one? 1per its faster to do 1 per can far calls take immediate data? ya ah, okie (0) 002b:0040000a: 9a000000000301: call 0103:00000000 ofcourse an int gate would be alot smaller 2 bytes 2 bytes compared to that beastly call do the extra 5 or 6 bytes to encode the call actually make the instruction itself slower? no or do caches nullify that? [msg(TUNES)] newlog 1999.0811 IRC log ended Wed Aug 11 00:00:00 1999