IRC log started Mon Sep 6 00:00:06 1999 -:- IMPO [ihatebob@p09-05.hartford.dialin.ntplx.com] has joined #tunes :D hi IMPO hello [msg(TUNES)] permlog 1999.0906 hey zhivago and eihrul this is IMPO :D HE'S MY BUDDY :d <-- the very same HEHE i thought hcf was your buddy? oh yes he's a two-timer well there is a conflict of interest here IMPO and i go way back (a year is way back for irc) even back to when i was a parachat kiddy eihrul: how's your os coming? good... i haven't made much progress on the code front but i keep solving implementation problems beforehand so when i do finally sit down and write the other half of the code, should be easy i see what do you already have done? just memory management stuff... structures, constants, that kinda stuff oh, and a scheduler and an event handler is it ontop of a language or just a regular 'ol os? it's 100% nasm no i mean the interface like retro is the interface is whatever the user wants ok well i think that answers the question the interface to the kernel is at the assembly level like any kernel... libraries to call the software interrupts are up to libraries er wrappers 12:10am i'm going to sleep, see ya gnight -:- SignOff eihrul: #TUNES (Leaving) i better get to bed soon too just gotta figure out how to implement a good fsm in C and i should write this essay for pre-west. civilization since i know i won't do it tomorrow is that that paper you have due tuesday? yes uh oh :D i have to read "The Death and Rebirth of the Seneca" be sure to save it for my english class :D i'll make a note of it before i hang myself in the student union lounge okey dokey whatever gets me an A i still want to write about the legalization of prostitution and marijuana if she gives me an F for subject matter i'll get him/her fired :D :D i've started working on my operating system i can get it to prompt with "Hello, World" aren't you taking a class on that or something? and then it crashes oh heh i figure it's windows 98 without the gui next semester architecture class all the ones this semester are refresher courses oh here's my assignment for wednesday Using MS Word, write a one page summarizing what you learned from doing the labs. Leave a copy of the word document file on Atlas in your NT account. yeah well im taking computer programming class ;) we shall learn pascal oh boy i didn't even get the labs she was like "ok go setup your account on the vax" so i did and then went home :D cool i guess they can't do anything it's like the school fucked up and gave me spanish 1/2 "well you're paying to go here so do whatever the hell you want" when i should be in spanish 2 of course i'm not paying so i don't care either way 12:20am that's how all colleges are or so i hear i didn't go to calc on friday morning i was like 30 minutes out of hartford and in traffic so i just said fuck it and went to burger king most of the people here don't go to college because they don't want to or aren't old enough oh how can you not be old enough to go to college well there is fare, tcn and liar like not old enough to live on campus like juniors and seniors in high schoo; oh most of the people here are like past 20 though fare is 25 i think as is liar water is like 24 or something hehe...water dropped out of college and joined the navy i don't know the circumstances but it wasn't very logical i could be wrong i'd drop out of college if i had a lot of money (which i usually am) at least these little prep kids who go here can afford to fail a class i get below a 3.0 gpa and i'm out of school for good all this is logged so it's easy to offend someone even behind their back oh 3.0 isn't hard id think nah it's just a b all B's i have a tendency to dislike work wow i do too :D calculus isn't my best subject i think i pulled off last year with a 78 average that's the lowest i ever got for a math class just wait til you get done with calculus and take discrete math of course i was asleep for most of the first three quarters or theory of computation i'm glad i'm not a math major at least cs majors don't have to take physics yes quite lucky i have like 5 classes total and i get all 15 credits what other cs classes are you taking? i'm going to test out of some of them soon just cs 114 and calculus it's all i can get is that like basic C programming or something? they never gave me a rubric c++ on a god damn nt machine oh so they're skipping C these days straight to C++ i know all the shit in like the first 20 chapters of the textbook maybe i'll just request to be moved to the second semester course well think about it well you do know java which helps for classes maybe ucsd is switching to java is that where your brother goes yeah how many years does he have left 12:30am he needs one more for his bs and he's planning on a masters two more years til he moves out in? in what? he's getting his baccalaureate in what oh cs oh do your parents pay tuition yeah...he does have that job at natural-selection now though i think he pays for some of it if i had to pay my own tuition i wouldn't bother going of course i'll have like 30,000 in loans in about five years to worry about er wait well i don't remember he helped my dad build our house so he got off easy...my mom's all "you better get a job in high school" 9,000 of it each year is free and clear the other 12,000 is paid for by the government and loans so whatever that is join the navy or something :d yeah that would go well when they see that i'm a member of the communist party haha you are? of course you believe in socialism? you?! i believe in certain aspects of marxism well i'll be damned i don't think they can discriminate but it defeats the purpose doesn't it to defend the country when i'm for revolution oh think of it as leeching from the country i want to break up social classes and political parties me too the party system is done dumb rather and free health care and education beyond high school i always hear bad things about that though free health care yes it has downsides and education such as people only moving here for it we could very easily pay for it by cutting the defense budget extremely yes that is true do they really need 600 billion dollars a year just so they can create more paranoia to keep the funds going it's a bunch of little kids seeing how big they can build their fortresses i don't see china attacking us with their rinky dinky missles china is not going to attack us anyway yes how many times in the history of their country have they attacked another country without provocation or just cause i like it either way as long as nasa gets more money :D they are relative pacifists they did attack south korea and vietnam 12:40am did they ye s vietnam was a result of ho chi minh being scoffed at by the rest of the world when he asked for help they faught in the korean war and attacked vietnam in the 70's i think when he came to woodrow wilson for assistance for his country after world war i our dear president had him removed from the building so he turned to lenin no...vietnam was the result of the un being a nunch of dipshits and seperating countrys who i dislike well you can't blame the un for the failure of france yes but i mean after ww2 er ooops is china still barred from the un? they were for an awful long time they should'nt have seperated them though which is ironic considering the majority of our population as a world they make up vietnam wasn't meant to be cut in half impo: i thought you don't like political parties who said i do yet you joined the communist party ah but the communist party is closer to a faction than a partisan group i'm non-partisan oh oh well do you see a communist ballot for a president or communists in congress congress needs to be destroyed as long as you don't want to mass the people into a herd and control them like ants i don't care with all of them in it washington himself was opposed to the idea of dividing legislation i like our government minus the integated party system our government pretends not to be a socialist one but ever since fdr it has been just that they're out to make a buck just like every other business that's what i think is wrong with political parties they want money and power you can't deny that the republicans stole democratic secrets and the democrats sold secrets to china i must be going bye -:- SignOff ElGato: #TUNES (:D) 12:50am uh, the US government a socialsit government? not by any sane definition hah the government is supposed to disallow any interaction with commercialism vietnam was a result of teh US refusing to help the keep the french out yet they run the government like a business so the vietnamese went to the communists for help instead then the US decided to blow up the vietnamese instead uh the us was afraid of a domino effect of communism in the orient that was the excuse yes this is what happened read about the history, and why the US decided not to help the vietnamese keep their independence from the french which would have prevented the whole thing :) i don't really care about the whole mess a few less million people in the world is for the better remind me to drop ebola in newyork :) -:- SignOff IMPO: #TUNES (Leaving) -:- SignOff Zhivago: #TUNES (Leaving) 01:00am -:- SignOff liar: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) -:- hcf [nef@me-portland-us146.javanet.com] has joined #tunes -:- hcf has changed the topic on channel #Tunes to: Free Reflective Computing System || http://liinwww.ira.uka.de/bibliography/index.html -:- nader [user3104@193.188.118.33] has joined #Tunes -:- nader [user3104@193.188.118.33] has left #Tunes [] -:- MAxD [m.dentico@a72.teseo.it] has joined #tunes -:- MAxD [m.dentico@a72.teseo.it] has left #tunes [] -:- SignOff hcf: #TUNES (Leaving) -:- hcf [nef@209.94.148.99] has joined #tunes -:- SignOff hcf: #TUNES (Leaving) -:- hcf [nef@me-portland-us736.javanet.com] has joined #tunes -:- iepos [iepos@bespin.dhs.org] has joined #TUNES -:- SignOff abi: #TUNES (dying by hcf's request) -:- abi [nef@bespin.dhs.org] has joined #tunes -:- SignOff iepos: #TUNES (Leaving) -:- eihrul [lee@usr5-ppp145.lvdi.net] has joined #tunes -:- _ruiner_ [nate@207.230.192.92] has joined #tunes -:- DBullen18 [user3827@212.56.123.2] has joined #Tunes -:- DBullen18 [user3827@212.56.123.2] has left #Tunes [] -:- MAxD [m.dentico@a84.teseo.it] has joined #tunes -:- SignOff MAxD: #TUNES (Ping timeout for MAxD[a84.teseo.it]) -:- MAxD [m.dentico@a119.teseo.it] has joined #tunes -:- MAxD [m.dentico@a119.teseo.it] has left #tunes [] -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us736.javanet.com]) -:- Downix [down@d-gnaps-164.ici.net] has joined #tunes hi all <_ruiner_> hi hey <_ruiner_> ok..... 11:20am <_ruiner_> later -:- SignOff _ruiner_: #TUNES (Leaving) -:- hcf [nef@me-portland-us637.javanet.com] has joined #tunes 11:30am -:- ElGato [no@209-68-229-147.dialup.cust.tfb.com] has joined #tunes hi 11:50am lo hey what's goin on? eating i be coden lexer ? i gotta start school tommorrow yeah im almost done with it but the debugging is gonna be a bitch * Downix/#tunes is trying to code his talker Downix: in which pl? and noone has yet convinced me that any language but C is ideal for coding up a talker. hcf: C im not convinced that lex is the tool for me mine is probably just as fast downix: 'talker'? ElGato: Is it as fast, as portable, as compact? but easier to read downix: lex output? portable? hah! yes eihrul: customized telnetd made for pure conversation. eihrul: that's my viewpoint cooly sounds like a mud to me of sorts, anyway eihrul: Similar idea, but much more compact w/ less flexibility on the user-end. you can make a talker with a mud :) very simple with LPMuds I can, but it'll be bloated and slow compared to my code, plus be a lot more complicated for the newcomer nah... simpler all around because you don't it in C, but LPC :) * Downix/#tunes shakes his head, LPMuds take up far too much CPU time and memory so rip the networking code from one the networking code is inefficient compared to mine it's still larger and takes up more cycles/memory 12:10pm with over 2000 talkers using this non-LP code on a single machine I know of, I think I've got the edge probably more bug-free though depends on which varient of the code. I know of bug-free codes out there (NCOHAFMUTA, TalkerOS, DAmnuts) and some majorly bug-ridden codes (rNUTS, Acorn, LL) -:- hans [user3440@210.78.130.66] has joined #tunes any body there? yup bye -:- SignOff ElGato: #TUNES (Leaving) eihrul: Plus my new ACTS code is bug-free for now, but it's still lacking features that the other codes have eihrul: name me a single MUD server running on a single x86 CPU that can handle 2000 MUDs w/o running at above 12% CPU usage mine which CPU? and how much RAM? k6-300, 196MHz er MB :) brain fart Pentium-60 and 32 meg RAM i forgot to mention though, mine doesn't do anything right now :) this one has been running for 2 years now and how do you have 2,000 open processes? what OS? RH Linux hmmm... ack -:- hans [user3440@210.78.130.66] has left #tunes [] I know another server dealing with 800 talkers on a pre-PowerPC Macintosh 12:20pm running NetBSD that's probably simple for a talker though they are largely idle creatures whereas LPMud's have periodic interpretive maintenance talkers have routine (once a day) maintenance but that's about it well, LPMuds have call_out's :) so it's not a necessarily fair comparison hehe, the point of my own talker code is to reduce the overhead of running multiple talkers we mustn't forget heart beats * Downix/#tunes nods why multiple talkers when you can just have one talker, many channels? well, I just said that these things were made for efficiency eihrul: It's because of themes. define 'themes' eihrul: I run 2 different talkers, to attract two VERY different groups of people eihrul: On one, it's for spirituality, with seperate sub-sections of it in different chat rooms so why not nested channels? eihrul: In another, BDSM w/ a slant on FemDom discussions, all with seperate channels within it certain channels could only be accessable from other channels eihrul: Because that would be difficult to maintain nah... not really, instead of global channel lists eihrul: One talker site I know has over 40k people on it you have channel lists local to channels themselves imagine trying to keep those people from getting abusive, swearing in childrens channels, etc? so, how does having different talkers on diff ports solve the problem? :) you're only using the port mechanism to support nested channels, nothing special each port is run by different people so why can't each channel? because you end up with an IRC problem especially if you are on multiple talkers take a look at me, I'm on 4 talkers plus IRC irc does not have nested channels doesn't matter you have multiple channels, channel takeovers, difficulty in maintenance, etc. plus combined with the limitations of the telnet protocol ok eihrul, how about you join me on my talkers, I'll show you how one works fine, gah... :P telnet to dune.net 1839 and talker.com 6000 cheesy cheese sells 12:30pm gah, you're making money off this? * Downix/#tunes thinks eihrul didn't even look, only went "this is cheese" and left i've been on those sorts of talkers before you have? amazing, since the code is new this morning you're not the only one to make a talker dude I know that but no two are identical unless you're a lamer talker-out-of-the-box kind -:- Bubba^ [Your@209.250.35.36] has joined #tunes now my problem becomes: how do i eliminate soft limits on threads? well, for being cheesy, I have 600 users on that site. 200 on my other pretty good cheese for that but what about my question... personally, I do not know. I know someone you could ask tho -:- Bubba^ [Your@209.250.35.36] has left #tunes [] right now i have all thread structues mapped into a specific portion of the address space it makes location from an identifier very simple, but that means i can only support 8k threads if i reserve one super page of address space (at 512 bytes per thread) hmm that's odd if i did 2 superpages, sure... that's more threads, but there's still a soft limit that needs to be enforced yup if i mapped thread structures locally, that would make certain other things impossible like sending messages (which requires accessing another thread structure) 12:40pm not a clue is an 8k limit on threads really that bad? :) nope okay, thas good enough for me hell, the 64k limit on packet sizes in true UNIX's isn't that bad either how about a soft limit of 1024 on the number of tasks? :) hmm, that's workable what the hell... it's good enough 12:50pm -:- SignOff Downix: #TUNES (BitchX: so real, you'll wet yourself!) -:- MAxD [m.dentico@a88.teseo.it] has joined #tunes -:- iepos [iepos@bespin.dhs.org] has joined #TUNES -:- MAxD [m.dentico@a88.teseo.it] has left #tunes [] -:- SignOff iepos: #TUNES (Leaving) -:- water [water@207.137.15.202] has joined #tunes hola hi i'm at a net cafe in sd any news? hmm. dull irc logs today dull irc logs since u left :P which is usally the case thanks. now i won't even look hcf: got url's :) ? 1sec http://www.mpi-sb.mpg.de/~ohlbach/scan/scan.html, http://www.mpi-sb.mpg.de/~schmidt/publications/Schmidt94c.html, http://www.fis.lv/ru.koi8/english/science.html, http://www.unich.it/filosofia/benthem.htm, http://www.psychology.nottingham.ac.uk/staff/Frank.Ritter/pst/hungry-thirsty/full.html http://ftpsearch.lycos.com/cgi-bin/search?form=advanced&query=benthem&doit=Search&type=Case+insensitive+multiple+substrings+search&hits=15&matches=&hitsprmatch=&limdom=&limpath=&limsize1=&limsize2=&limtime1=&limtime2=&f1=Count&f2=Mode&f3=Size&f4=Date&f5=Host&f6=Path&header=none&sort=none&trlen=20 hum hey fare 02:50pm yeah, water! huh? what's new? new is failing at ftp://ftp.gte.com/pub/m3/notes/When-NEW-fails.txt abi forget new water: I forgot new thanks, hcf np i'm going to 'hit on' some ppl at ucsd to co-write papers or at least read my drafts going brain-hunting ;) hcf: will have to peruse those papers in a few days yeah, i hope to bag some big'uns fare: you want to talk or not? all he does is hum i've also been perusing economic-related possibilities * fare/#Tunes hums mostly legal issues as they relate to commercial applications of arrow or tunes implementations abi: new failing is at ftp://ftp.gte.com/pub/m3/notes/When-NEW-fails.txt and i've figured out several plausible formalization schema for the arrow system legal issues? formalization schema? tell me more about that all... LI: intellectual property laws and how they affect the current software market for up-starts with new theories FS: the arrow idea admits many formal models of itself. the choice between them being how well certain kinds of proof-theoretical judgements may apply to them FS: the models can be grouped into families of models which are trivially equilavent FS: go ahead... 03:00pm FS: well, i'm concerned with which models are most intuitive to programmers vs. users vs. information systems experts sure... FS: of course, i'm not going to rule out any model which admits of a useful formal proof :) FS: but then, the similarity between certain models and current 'accepted formalizations' of modern more familiar systems is useful for teaching purposes FS: btw, the 'schema' word just characterizes the families of formal models bleh, the mlist archive has become quite dull to peruse Fare: FS: anything to add, commment upon, or question? i'm still trying to come up with a simple (perhaps in one sentence) explanation for what the arrow system accomplishes wow, massive response coming from fare's direction not surprised 03:10pm * fare/#Tunes is also responding to email well, this is definitely my big fat roll of dimes i'm pumping into this machine, so go ahead and take your time :) FS: I'm in wait&see mode; optimistic, but passive. f*** off -:- SignOff water: #TUNES (Leaving) ??? did I say anything wrong? no 03:20pm -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us637.javanet.com]) -:- liar [brand@p0wer.qzx.com] has joined #tunes liar: how goes the front end? 03:40pm -:- ElGato [no@209.68.229.199] has joined #tunes lo hi i start school in 15 hours :( same here or rather 'again' yes yes what grade are you in agian? 04:40pm 12 a year til college eh? from the people here i'd say college isn't all it's cracked up to be i'd say so i hear horror stories most of the time yes well my brother is going to college and he doesn't seem to be enjoying what most of the time is just hype what's he majoring in? cs he must be learning Java, huh? yeah he had to 04:50pm wow someone wrote forth on a ti92 ack! syn! 05:00pm syn! you are one with the tcp/ip i see sorta what's the tcp/ip complement to ack packets? i think he's stowing it all because he knows he's going to get booted syn brb -:- SignOff ElGato: #TUNES (Leaving) 05:10pm -:- ElGato [no@209.68.229.238] has joined #tunes i just ate a spoon full of yeast and drank a coke major burp time 05:20pm -:- SignOff ElGato: #TUNES (Ping timeout for ElGato[209.68.229.238]) -:- mkuser [newbie@rm2-977.tiscalinet.it] has joined #Tunes -:- mkuser [newbie@rm2-977.tiscalinet.it] has left #Tunes [] -:- Downix [down@d-gnaps-70.ici.net] has joined #tunes -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp145.lvdi.net]) !irq:*! Sorry everyone, adams.* is having a major internal problem, it is being rebooted now.. more to follow -:- SignOff Downix: #TUNES ([BX] The FDA says 5 servings of BitchX a day increases sexual potency) !irq:*! adams.* is back, sorry for the inconvenience -:- _ruiner_ [nate@ppp296.wi.centuryinter.net] has joined #tunes !irq:*! there will be another reboot of adams.* soon for a new kernel, should be the last for a long time -:- SignOff _ruiner_: #TUNES (Read error to _ruiner_[ppp296.wi.centuryinter.net]: Connection reset by peer) -:- eihrul [lee@usr5-ppp145.lvdi.net] has joined #tunes -:- Beholder [Beholder@ppp-065.m2-2.sub.ican.net] has joined #tunes -:- lar1 [LarMan@1Cust196.tnt2.sfo3.da.uu.net] has joined #tunes hey hey 09:40pm eihrul: Did you get a chance to work on the bochs front end? -:- Beholder [Beholder@ppp-065.m2-2.sub.ican.net] has left #tunes [Bye] 09:50pm -:- SignOff lar1: #TUNES (Leaving) -:- SignOff liar: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) -:- hcf [nef@me-portland-us800.javanet.com] has joined #tunes -:- ranc0r [rancor@152.228.37.142] has joined #Tunes -:- ranc0r [rancor@152.228.37.142] has left #Tunes [] [msg(TUNES)] newlog 1999.0907 IRC log ended Tue Sep 7 00:00:00 1999