IRC log started Sun Aug 29 00:00:01 1999 j00 r 31337 d00d see.....the part where I disagree with tril is that he seems to think I want to keep others down....when in reality what I want is to bring others up Very true ruiner what about issues of specialization? you are assuming people have an infinite amount of time to devote to everything [msg(TUNES)] permlog 1999.0829 when that's quite far from the truth you're assuming they'll want to know everything about everything eihrul: Who is assuming? ok....I want to know everything about everything....but I don't think I'm the norm there's nothing wrong with that I wish I had the time to learn everything about everything... If I knew I could live long enough to do it... I would but even so, you would not have near enough time to learn anything practical 70, 80 years anint enough knowing a little about a lot is less useful than a lot about a little Yes anyways back to the discussion, lar1, do you understand what reflection is? depends on the environment it would be wholly less efficient team leads are better if they know a little about a lot....specialized programmers had better know a lot about their niche man ive had almost 100ozs of water in the last 2 hours. gotta love anchoives you can add new features to a language and they become as if they were part of the language, not added on top Tril: Yes I understand what it is. But I am still a little hasy on why this is a good thing hiya liar and you can take features out that you don't need. Or adjust the ones there, slightly. it isn't sounds like he's trying to make a self contained version of VB Tril: Won't that lead to bloat and nonstandard code? only without standards, and perpetually expanding Tril: Uh oh, you can't run app X you don't have the pdq extention! nope, all the variations of languages produced under reflection, will interoperate seamlessly. exactly lar like I said, lar has a bright future that's why it is useful Sounds like DLLs, except more intergrated all your programs can share features good luck... No no no no! It looks good on paper in fact, you don't write programs anymore, just individual "capabilities" to be added to the "whole" system. That makes 0 sense yeah, it'll drag ass too So you are going to dynamically link the programs to the kernel or something? to become 'part of the system' _bad news_ not a kernel, it's called a meta-evaluator hmmmmm......think he's going for a non kernel system...somehow And how is this 'meta-evaluator' different then a kernel? see sounds like a sneaky way of saying interpreter it interprets each of the individual interpreters for the langauges in your system. * lar1/#tunes belives only in real kernels, no uK no exo, just plain, simple, reliable kernel That will be s-l-o-w Thats like VB on steroids lar....micro or monolithic? ruiner: What? Oh * ruiner/#tunes thinks exokernels sound sweet I perfer monolithic ah 12:10am no it's been shown that reflective systems are only slightly slower than the closest non-reflective equivalent. And in theory, they could be made MUCH FASTER due to increased high-level information available about the entire system. That's one thing we're trying to do in TUNES. the ONE thing I know for sure I agree with Tril about is that OOP is crap Analogy. TUNES = Forth but then he seems to be headed that direction with his OS....disturbing ruiner, tunes is not an OS... Its a computing envrioment it is a software environment. It need not be an OS, to be TUNES when it includes OS features, it would be better, sure uhhuh.... ruiner: In other words it can run inside another OS as an application as soon as it gets past the drawing board let me know sounds dragging ass slow I don't like this idea... For just that reason ruiner I'll help out like i always say * ruiner/#tunes shudders at the thought of running Tunes in windows But I don't think its gonna work how can it be slow, when it is a specification? Only implementations have speed. and how exactly would you deal with the security restrictions of NT? ruiner: you mean the security holes? can't do anything about i'm sure what you meant I mean the fact that your programmers are going to want access to hardware for some apps, and NT won't give it to you is that it will be HARD to implement a fast one. but, isnt that what implementors like, challenges? so basically, TUNES is already dead to the NT platform damnit my tv just went into suspend mode :) implementors = programmers ruiner: I said running TUNES as its own OS would be better... lar1: yes, so? business depends on NT a lot... That kinda contradicts what you were saying before, tril I think you're living a pipe dream as far as who is gonna use it Basiclly you said programming is boring. But implementors like to program -:- Mr_Wrong [seanl@adsl-63-192-213-146.dsl.snfc21.pacbell.net] has joined #tunes cuz your average joe blow homebody computer geek wannabe porn hound isn't gonna mess with it tunes is not comparable to an OS. A complete reflective system includes OS+compiler+development environment+debugging+editors+people+hardware Tril: Thats like saying Linux isn't an OS because it comes with GCC and HOWTOs Tril....I'm sorry to say this....but get off the ship now before it sinks ruiner: who's going to be writing for that dude? i sure wouldn't you write for the user it's not a contradiction. people who want to cash in on his ignorance....make pretty apps that any lobotomized zombie can understand (MS) 12:20am MS has a good racket going...making an os simpler to use further removing the user from the underlying machine perpetuating even more ignorance...making them more reliant on MS what a money making gem simple? ha Because not everone wants to know everthing about everthing! more like they've forced suppliers to put the os on most hardware lar has the hacker spirit -:- SignOff Mr_Wrong: #TUNES (Ping timeout for Mr_Wrong[adsl-63-192-213-146.dsl.snfc21.pacbell.net]) Ruiner: Thanks ;) that too eihrul.... i doubt any one of those people could even reinstall Win9x on their computer but why can't the suppliers stand up to ms? cuz consumers demand windows i think your'e wrong ruiner, MS apps are hard to understand -:- Mr_Wrong [seanl@adsl-63-192-213-146.dsl.snfc21.pacbell.net] has joined #tunes windows in inconsistent and makes no sense. You must learn new interfaces in every program you install. ruiner: Because the devlopers write for windows, becase that what the OEM guys use ruiner: it's a chicken and the egg situation... consumers demand windows because it's there eihrul: exactly! maybe to you, but to the point and click slaves, its all they can understand ala the money begats more money phenomenon no, it's all they've been given to understand if all computers came with some other os, they'd eventually find out how to use it somewhat simply because they had to they'd have no choice otherwise true.....but given the choice..... even better. If computers came with NO OS. They would have to learn how to write one. now THAT would be cool tril not quite But should you have to grok a computer just to use it? and if all computers were different, so the same OS couldnt run on them anyway. that'd take care of all the bloat in the computer industry too..wouldn't be such an attractive place to make a living there probably wouldn't be a computer industry then actually tril...thats an elitist attitude you have... ;-p i dont actually believe that, btw I think the OS should be easy to learn how to use for what you want, but then also easy to delve in deeper so you can udnerstand how it works. mine is gonna come with all kinds of low level apps Tril: What you propose is impossable I should get cult of the dead cow to write lots of stuff for my os to break windows lar1: good, why bother doing something when you know it is possible Thats like saying I want it to be easy to live in the universe and easy to understand every aspect of it heh heh heh Tril: :) we have limited control over the universe that we know of speak for you self we have a orders of magnitude more control over programs we write I disagree eihrul that was part of a contrast :) we have complete control over the universe so don't necessarily take that statement individually all deals with perception perhaps i should have said: you, individually, at this point in time, have little control over the universe as a whole eihrul, nah, your contrast fails. The universe and programs are too much alike :) all deals with perception in principle, but alas not in practice eihrul: I aggree with yer second contrast you suck then, dude night the purpose of TUNES is to give complete control over the software to the user. er wait -:- SignOff liar: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) thought you were disagreeing :) must be kinda late.... i'm adding letters onto other people's words tril...you're building a brick house on a foundation of playing cards play with the hand you're dealt, no? :) ruiner: yes, well, in reflection you build down anyway. So that's ok. 12:30am Tril: You can't start a house from the roof starting at the high level, and going down to the low level start with the concepts, the purpose behind it and then find how to express it in a particular framework. I'm gonna issue a challenge.... wheras CURRENT systems, you start with the framework (Hardware) and try to write a language that runs fast on it. BAD idea it will be not useful for people to program in it. given your superior programming skills...and that you've laid out how you want your os to work...you should have the edge...but here is the challenge... Tril: But the framework can't be changes unless you are intel I propose a race...see who can get their OS/software environment up and running first RavenOS! I like this race better: who can have their OS/software environment up and running last. what about it lar? Not get it STARTED running last.. but get it STOPPED running last whats the point of that? i propose an analysis! when all OS's cross the finish line, see which is the best one! :) RavenOS! It will fly! which OS will stand the test of time , and evolve but will it be useful? I hope to god yes! sure... DOS was fast but it sucked eh? you mean see who can keep their os on life support longer before the project is dropped? what is the lifespan of an OS. 3 years? * ruiner/#tunes loved dos Windows still runs on dos, which is from the 80s ruiner: no how long the OS is in general use worldwide how long it is still useful lar1: and WIndows is slow and less useful on possibly very different kinds of computers that we dont know about yet, that arent invented can your OS translate itself to new hardware? lar1: but dos in itself is not as useful as other modern systems you mean as competition to linux/be/windows? if not, you lose Tril: Its called porting can you port it to a quantum computer? how about a liquid computer? given a language abstract enough, sure eirhul begins to see the light never get there tril.... the most abstract possible language, suitable for representing any other possible language inside itself and i thought that comment was in spite of :) but i guess it works both ways? cuz yours will be so slow it'll be dead long before anything of the type comes along ruiner: i don't see why slow at what? everything given enough information about a program Interpeters for interpeters?? you could optimize it adeptly EVERYTHING will be interpreted at least 2 times right? think about it this way. A language so powerful, maybe if it runs slow the first time, but you can write in it a compiler that optimizes orders of magnitude better than ones in another language. just thinking of it makes my butt feel like it has gravel embedded in it from dragging it down the street ruiner: In fact everything is interpreted infinite number of times cuz it will drag ass Tril: How? not on the computer, but that's how it appears ruiner: thou must suffer before thou comes unto paradise * ruiner/#tunes yawns something like that don't let him pull you into an argument like that lar ruier: :) it's true, every interpreter needs one above it. how else would it run? Tril: And that applies to _everything_ ? 12:40am what? tril: who interprets the universe then? you Tril: I see your point i mean that objectively, not constructively :P Tril: And it is quite valid, but not practical in the computing worls heh heh... if the computer interprets tunes, and the universe interprets the computer... Shall we make BASIC reflective? look at it this way....you interpret the universe, but what tril is proposing is adding 20 different levels of people to censor what you can see no... yes what tril is proposing is allowing you to change how you see yourself lar1, in the last paper Paul posted on the tunes list, there is an infinite tower of interpreters, but it is emulated by a program called the meta-evaluator. The M-E simulates infinite interpreters by creating them as they are used and then taking them away when they are no longer used. (Used= A level below it uses reflection to access the level above) the M-E is a regular interpreter that runs on a computer adding interpreters on top of interpreters is just begging to give up speed bah! tril speaks of www.cb1.com/~john/thesis/thesis.html hi hcf, you are still here :) yep ruiner speaks of suck it I don't understand how interpeting 10 million times will be fast? Intel added the TLB cause interpting 2 times was bad! ruiner is thinking the way intel wants him to, then. soooo incredibly wrong....the only way I can see tunes as being useful is as an application in other OS's lar is not understanding what intel has to do with it * ruiner/#tunes is intel's bitch stop thinking about speed. think about WHAT you are running that you are measuring the speed of. Final Fantasy 7 I want to play that in TUNES I love that game and 8 looks cool too! What about quake II or III?? there is one simple reason why you cant complain about the speed of reflective systems. Because they output non-reflective systems that can be just as fast as you want. hmmmm...... Now it's time for me to sleep. I'll come back tomorrow. maybe Heh, ok tril, well argure later night tril night tirl nice talking to you both * Tril/#TUNES is away: (afk) [BX-MsgLog Off] Yes, likewise I still say he's wrong Me too But he has interesting points you have impressed me lar Just not practal IMHO thanks :) obi wan has taught you well, but you are not yet a jedi but at the very least, practical if not practal ;-p Like my spelling eihrul it's fun to take advantage of Yes ruiner: I wish there were more _young_ jedi tranies around me I hate women.....if it wasn't for being straight I'd give up on them trainees Hehe! Thats a cool quote cut off your genatalia I like my pee pee reflect on yourself... 12:50am Use an interpter each day I become more and more convinced every woman I know is a lesbian cuz I'm just dead sexy I become more convinced that no hot female geeks live in San Jose why would you want a female geek? Because personally I want somebody who is different enough from me to actually be interesting Then you have nothing in common, nothing to talk about, bad news but will still be excited when I come up with a new way to code this or that...even if they don't really understand it _that_ would be cool yeah... Godamn that would be cool that would suck why's that? cuz you can step on a person's foot and make them excited eihrul: It would suck cause it wouldn't las long it doesn't really do much for you * lar1/#tunes senses some nasty conversation coming up blah blah blah....leave it to eihrul to twist my words around to mean something totally different that what was originally intended the 14 year old knew what I meant.....why couldn't you? :) hopefully by the time the kid is old enough to work for a software company I'll have one up and running and established...the kid is cool in my book i'm just interpreting what you state so far anyways... I think you need to add a few more levels to it.... At least 10 million perhaps you're speaking at too abstract a level like when I say something now, it should take you maybe....4 hours to come up with a response such that you're leaving large gaps for me to fill in in ways that not satisfactory :) heh hmmmm.....question.... : but even so a friend is pushing me to try for a job at a place in sweden...probably not programming....maybe art or level design perhaps you did not grasp your statement: do I go for it or not? you said you want them to be excited without having any real understanding of what to be excited about I don't really wanna argue about that....you know what I meant ruiner: I wouldn't i don't right there if you don't mean what you say... reasons? ruiner: It would get boring ruiner: sit and make levels all day in what way? any excitement thereof would be essentially false, as the person would not know why they are excited ah.... hmmmmmm....... * ruiner/#tunes senses that he should ignore eihrul 01:00am like trying to use a computer without wanting to learn or have any sense of the underlying mechanisms, at all suppose I wouldn't mind making levels all day? eihrul: Are you saying I must grok all internel workings of computers if I woujld like to play a game nope ruiner said it :) ruiner: Then I would probly go... but I'd check out sweeden first just ignore him....he's just arguing for the sake of arguing Yes you mean like go to see what its like? can't afford to fly over there beforehand no, read up on.... Make sure the govit is in an ok sate and such ah....no worries (however ok a govit can be :) ) damn lar....you are impressing me gov't = bad....good lesson to learn early on Yes it is and the screw em lesson is good I have my style and if someone don't like it? Screw em! you're too much like me.... heh heh heh Mabye you are my long lost brother? that does it...if I'm set up with a cushy business of my own, and we're still in contact you're invited aboard... Yay! for minimum wage or something just don't hold your breath, I'm chronically lazy Nah, I don't hold my breath unless I am swimming depends on how well I was doing....I'd pay what I could...seeing as how I'd probably only hire friends eihrul: At my age, any pay is good pay :) -:- SignOff hcf: #TUNES (Leaving) (almost) i'd say that expands to the set of all unemployed people (i.e. me) True ack... why didn't i think of that me too...hopefully not too much longer though, I need cash didnt think of what? move-to-front + probing 01:10am reading through AOCP I'm gonna head off to bed guys.....catch you later -:- SignOff ruiner: #TUNES (Leaving) night ruiner * lar1/#tunes thinks tonights conversation will make a nice addition to the logs 1 am! Wow! I lost track of time!!! logs are good Yes * lar1/#tunes also hopes no one was pissed off too much ;) pissing off is good case depending agreed 01:20am Why is Hewitt spelled with 2 ts? it's a name... and name's suck er names Would you prefer to be called by a number? that would be cool 6789900987328497023872345-349859 is yer number Now is it cool? if there were some way to easily remember the number yes It says yer country, state, zip, and universal person nuber but if this were your name: Fahoifhoifsdhoifhdsoifhdsoifgoidsfgoisfgoids is that cool? Hmmm Harder to rememer faidfasdfkjasodifajksd;flakdfja that would suck Yes now... if this were your number: 1234567890987654321 that would be doubly cool Yes But it won't work in poems :( it could Not that I care for pomems noone needs poems anyhow True We only need whitepapers! 01:30am even those... Then what _do_ we need? electronic whitepapers Same thing nah... not if they were tunesy... they wouldn't jhave to be whitepapers they could be bluepapers, or blackpapers, and be in whatever language you wished Hehehehehe I perfer black need sleep, l8rz ciao! -:- SignOff eihrul: #TUNES (Leaving) Me too... g'night to anyone still alive ;) be back marrow -:- SignOff lar1: #TUNES (Leaving) 01:40am -:- SignOff Mr_Wrong: #TUNES (leaving) -:- sama [sama@asy16.intercity.it] has joined #Tunes Hi all. Just trying to understand what this Tunes thing is about. 02:50am I'll try to return another day... seems interesting, though. :) Bye. -:- sama [sama@asy16.intercity.it] has left #Tunes [] 03:00am -:- fare [fare@quatramaran.ens.fr] has joined #Tunes -:- water [water@ppp-tnt-223.tscnet.net] has joined #tunes ! hey yeah read the latest mlist post? yup replying to it thoughts? in my reply... good ideas 06:10am although the final conclusion is misleading. misleading? explain completeness of the formal logic isn't about "we can prove all the is true", but only about "we can prove all that can be proven". That's the only claim of formal methods. he's right in insisting that the formal is not everything that's not much of a claim i agree on that no, that's not much, but can you do as good? yes but if he suggests that formal methods are mostly useless, then I can but disagree. gotta read the full paper before I make up my mind more precisely i can probably do better, even. my arrow frames can reify inference flow-graphs (sequent calculi) which are extra-algorithmic likewise reminds me of my ~fare/article/cybernethics.html draft about knowledge and rational thinking. did you read it? a while ago, yes you can reify the same using formal methods (arrows are formal methods, btw) yes, i know so they have the same limitations water: it's all about inductive reasoning. but i want to use them to reify frames that exceed formal specification you can't let's just say i'd like the default reasoning to be nonmonotonic as soon as you reify them, that's formal specification yes, but the system tries to leave things to the user as much as possible and not insist on a single model at any given info-update (of course, i'm still working out how this policy will be reified by the system) water: monotonicty is great when you can have it. When you can't, that's life. sure and of course, you can always push back the intentionality from your system; that's what reification is about. what you can't do is push back *all* intentionality from your system. kind of that we know since Godel. i think that i'm looking for a better expression of reification when you find it, I wanna be told! which is why i've been looking at ontologies, and relativism thereof 06:20am I still don't understand for sure what you call ontologies. The latest thing I saw about it was just domain-specific languages with another vocabulary. kind of. i don't restrict them to being "domain-specific" (well, that's an illusion, but... ). you can use an ontology to express any information ontology tells you "what things are". they (i believe) should be used to interpret information which was not originally considered in the onto-definition no, no; the fact that reification is used is an independent feature you say "no" to what exactly? not sure anymore. hm your ontologies sound "just" like aspects eek ? aspects are very specialized ontologies are we talking about aop or the informal notion of aspect? 06:30am informal or rather, formal, as in my papers hmm. well, then it's closer, but i allow my ontologies to return infinite structures arbitrarily infinite structures infinite is not and has never been the problem the problem is *infinitary* if you have to represent something, then yes whatever. i used the wrong word i also use ontologies to represent vocabularies that can be "layered" over the intentional meanings of things the semantics of infinitary structures is usually defined by considering infinite descriptions of them in finitary structures yep or else, they are not constructible well, not within a fsm finitary isn't same as fsm true (altho fsm are obviously finitary) 06:40am but fsm's closure with an unbounded stack or tape produces a finitary device, right? yup not all of them, either just making sure we're agreeing on the basic ideas ok * fare/#Tunes shouts "hey! hey! water & I are agreeing on basic ideas!" anyway, ontologies can be as simple as the naming conventions for the view a user has of his document system or as complex as a meta-programming framework :P :) * fare/#Tunes gets flamed on comp.lang.lisp in the usual research, ontologies are developed within a language framework, to specify what the primitives used in a program "mean" to some agent (i only use that term in the sense of computational process) flamed? i have to check this out :) * fare/#Tunes goes 61543 oh well cu l8r sure * fare/#Tunes is away -:- hcf [nef@me-portland-us1006.javanet.com] has joined #tunes hey hcf hoy water fare and i actually just had a civil, productive discussion * hcf/#tunes faints from amazement lol 06:50am -:- smkl [sami@CMLXXXI.rdyn.saunalahti.fi] has joined #tunes water: did u send the tao guy any mail? no hey smkl my review wasn't very good (imo) anyway mail him yourself if you think it's worth it hello all 07:00am -:- AlonzoTG [Alonzo@209-122-214-71.s325.tnt3.lnh.md.dialup.rcn.com] has joined #tunes * water/#tunes drags AlonzoTG to the Trash icon. * AlonzoTG/#tunes ignites a flamethrower and eyes water hcf: I did * fare/#Tunes is back fare: oh? * water/#tunes is catching up on comp.os.misc threads 07:50am hcf: just sent him URLs 08:00am anyone have any pointer? i'm going to post a question to the comp.theory about the use of arrows for information theory primitives. pointer to what? er.. pointers, suggestions *what* "arrows". Just because it's a line with a tip doesn't mean it has the same meaning for everyone. i know. i'm going to include the accial url and a brief explanation of the intended meaning you might as well ask for the use of tilde and accents in information theory primitives no, i'm talking about "selection" vice "state" vice? vs versus (vice is an acceptable alternative in most circles) oh i'm not sure if the etymology is correct, but i've never researched it * fare/#Tunes doesn't find this "vice" in webster anyway what's this "selection" vs "state" thing? the point, though, is make selections the primitives (with no cardinality assumed) rather than tuples of state primitives I'm not sure what you mean. Could you give a pointer or elaborate? well, most good hlls' syntactic structures are based on selecting various expression primitives from what the language syntax definition allows i'd like to place that selection at the center instead of the state-centric model that the usual code-writing format supports it's not a revolutionary idea, justa study of the formalism 08:20am I'm not sure what you mean. I understand that languages allow you to combine primitives that you "select" from available ones. generalizing the abstract syntax tree idea. placing computation within a world of such shapes instead of everything being studied in terms of e.g. binary data I'm not sure what it all means. How is computation in a world of shapes or not? and do you pretend that your digital computers won't be binary anymore? making the shapes first-order and not some abstraction layered over the "primary" one - that of the "underlying" state machine What do you think of a stateless language like Haskell? er... a persistent store it's not quite stateless, not at the meta-level and how are arrows shapes? Just because you can draw them with a pencil doesn't make it more of shapes than letters and symbols. ok, so of languages like unlambda? but the letters and symbols are based on the idea of a finite alphabet unlambda? unlambda is probably a silly language based on call-by-value combinatory logic at http://www.eleves.ens.fr:8080/home/madore/programs/unlambda/ arrows are an even more finite alphabet! ' ... "selection" vice "state"', vice | vice- : in the place of, the successor of oh, combinators sure, but arrows trivialize the alphabet. they make it irrelevant as in vice-president? fare: yep ...to identifying meaning water: so if instead of considering letters, I consider the binary digits with which they are encoded, I make the alphabet irrelevant? no 01111001011001010110000101101000 that's my point: even if you had a unary numbering system, there's a definite difference in what the arrow shapes express you assume a sequence always you assume arrows oh geez what does sequence have to do with state? what does arrow have to do with state or lack thereof? sequence just carries over the legacy ideas from human languages btw, a sequence is how you model the successive states of a discrete variable. arrows aren't about state at all, they're about selections - that's my point it's a largely useful concept 08:30am successive states are a notion from spoken language I don't understand "selection" and why you focus on rejecting sequences (that are but a tiny part of computing) i don't reject them, i'm looking for a different formalism sequences assume finitary size they do not characterize existing formalisms any formalism assumes finitary *description* yes they do- exactly even the arrow formalism oh, you may have finitary descriptions of infinitary ones, too :) well, when i describe it in a sequential format - yes! (which by reflection allows you to somehow manipulate infinitary concepts) don't you see that i'm trying to break info theory's ties with human language ? mind you, your mind can hold but finitary concepts, for it is finite in size. to get a different perspective? umm. not exactly water: remind me about the AI koan where Sussman tries to make a problem solver that has no prejudice the state of each neuron is infinitary thanks for trivializing the idea ? (koan? how irrelevant can you get?) the state of a neuron is finitary; at least we know that from quantum physics. selection: i'm looking at interpreting all info in terms of a primitive that can only be selected, not indirectly specified the koan: if it's not a human language, then you cannot communicate it fare: nonlinearity? ever heard of that? so what? so nonlinearity definitely relates to infinitary state and the state of a neuron has been shown to be nonlinear wrt several variables hcf: i don't suppose you could help me out at all besides, selection can model state because meta-information concerning an object can specify what values can be accessed by the object's "state" selection. the actual selection made (by, say, an arrow) models current state just as state models selection via pointers (addressing) water: how so? water: w/ this selection in place of state thing? hcf: i don't know. it's just that you're the only other person here with a clue hcf: yes 08:40am hmm Fare: are you still there? my clue is probly an illusion of a clue well, Fare has abandoned the discussion, so it's probably a moot point. have any s-v-s (selection vice state) pointers yet? 08:50am abi: svs is selection vice state er... no. the subject is empty, i think. that's why i wanted to post to the newsgroup 09:00am accial? accial is "A Crash Course in Arrow Logic" at ftp://ftp.phil.uu.nl/pub/logic/PREPRINTS/preprint107.ps.Z * fare/#Tunes has family at home back later how does nonlinearity relate to infinitary state? family > irc ?! ;) ever seen finitary chaotic system? they have finitary description! a finite number of variables is insufficient to completely predict the value of the system and finitary computations are also insufficient to specify the system 09:10am chaotic _is not the critical issue. nonlinearity _is_. -:- zwhitley [equinox@yardley116-pri.voicenet.com] has joined #Tunes Z.Whitley? hello Hello interested in tunes? I didn't feel like playing the name game today. er.. ok. who are you? water: sure it is sure what is, fare? finitary does not mean either finite or deterministic or computable or whatelse it just means finite description so? sorry, fare, i moved on a long time ago -:- SignOff zwhitley: #TUNES (xchat exiting..) 09:20am 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/ 09:30am -:- joat [tkramer@ppp49.irt.net] has joined #Tunes hi joat 'lo water <-- just lurking k joat: did u find #tunes by /whois'ing me, /list, or some other way? -:- ruiner [nate@ppp065.wi.centuryinter.net] has joined #tunes bbl all -:- water [water@ppp-tnt-223.tscnet.net] has left #tunes [] 09:40am -:- SignOff ruiner: #TUNES (Leaving) -:- SignOff abi: #TUNES (dying by hcf's request) -:- abi [nef@bespin.dhs.org] has joined #tunes abi: part #tunes goodbye, hcf. -:- abi [nef@bespin.dhs.org] has left #tunes [] hcf: no, just joined a whole bunch of channels... lurking, watching tv, and talking on the phone hcf: have also got qlu up on its own chan... try "qlu list xxx" where xxx = one of the following: 403-security, dnspolicy, dtheathre, geeknews, hackernews, hairypalm, slashdot, securityportal, or techdirt -:- water [water@ppp-tnt-186.tscnet.net] has joined #tunes 10:10am -:- eihrul [lee@usr5-ppp05.lvdi.net] has joined #tunes -:- Equinox_ [secret@star.l93.com] has joined #tunes hello, equinox GREETINGS Damn caps lock * Equinox_/#tunes snickers. what brings you to #tunes? Well, I was wondering this channels purpose actually. Does it have something to do with MP3s? abi: tunes? abi is down for repairs and replacement darn it, the info-bot is gone * Equinox_/#tunes grins. tunes is a free reflective computing system project What is reflective computing? tunes is a free reflective computing system at http://www.tunes.org or for programming languages what the internet is to networks or like flypaper for hallucinogenic programmers or discombobulated or obnubilated * hcf/#tunes will try when possible to act as abi ;) it's where the program can manipulate other program's or its own source code Ahhh interesting. * hcf/#tunes is away: (f00d) it can even change the language compiler's code to change the langauge What language ru using? Lisp? s/langauge/language yes, we're working on a lisp to build tunes out of. i hapen to be working on a similar project, but tunes hosts my ideas, because it is so similar 10:30am -:- tmf [s720@snutebille.ii.uib.no] has joined #tunes hi hey tmf water, how is arrows going? it goes i'm still working out the various formal research papers for it what are they about? abstract ontologies, self-contained info systems, reflective relativised arrow logic 10:40am information atomicity, epistemology vs ontology I'm working on a paper myself, which is to explain the basis for TML\TOOL and two papers that put it all together ok it's not about to be very successful :| but there are some interresting aspects -:- liar [brand@p0wer.qzx.com] has joined #tunes hey liar hi I have an outline of a proof showing that "the class of complete and consistent systems is exactly that of the reflective systems". -:- hcf_ [nef@me-portland-us346.javanet.com] has joined #tunes -:- SignOff hcf: #TUNES (Read error to hcf[me-portland-us1006.javanet.com]: Connection reset by peer) Lately I've been drawing some "thought maps" which turn out to be very useful. ( water, would like "thought-maps" - they're very arrowish : tmf: usually called concept maps right! ( it's norwegian english :) 10:50am mindmap is used too, but is trademarked ok, but anyway, water: yes? there turns out to be three diferent classes of concepts 1. those related to ' oops 1. those related to 'static', structure ... 2. those related to 'dynamic', ... 3 those related to the way 1. and 2. are related! er... sounds a bit arbitrary i mean, i can think of static things in a dynamic way, and vice versa sure! ( I'm not saying that this is like true in a reallity sence of way - just that it is a striking pattern ) many words come in pairs - noticably in politics ... oh ok ... conservative - radical ... that's just the subject-verb pattern (sort of) continue why? n/m conservative and radical are both adjectives right? yes, but the idea of static vs dynamic concepts relates to noun/verb duality ... a prori - posteriori ... ok, it can certainly be seen that way, but I'm not sure I follow forget it ... evolution - revolution ... ^ a nice one please get to the point ok :) ( now THAT is my problem ... never getting to the point ... 11:00am The point was that assuming this property actually gave me more insight in the system ( on the conceptual drawing -boad ) er... into tmf? * water/#tunes suggests tmf read "Exploring Logical Dynamics" by Johan van Benthem yes i mean into tml :) why do you suggest that? it covers similar ideas in a very formal way similar in what way - ok it takes logic and re-interprets its semantics as a program formal is tricky - logic is tricky it also introduces many logics with natural dynamic interretations n.d.i? interpretations no, it's not a technical term it just that ( even if this is an excuse ) there seems so naive to construct something on logicTM, while simultaneously some other people are trying to figure out what the heck is wrong with this very same logicTM ) huh? why? observation: logic has problems ( paradoxes ) - sientists are trying to fix/understand errr... not quite errr not quite why? 11:10am the problems are due to the actual questions, not the representations thereof i.e. logic is not the problem, but it makes the problem hard to avoid what does that mean - don't ask difficult questions and we will amaze you ? researchers have made slightly less expressive logics in which paradoxes are impossible, but can still express many complex problems they're called decidable logics the arrow logics are an example of those :) "many complex problems" - that does not hold in any formal recening recening? reasoning! does not hold? why not? darn. gotta go. sorry, bbl -:- water [water@ppp-tnt-186.tscnet.net] has left #tunes [] I don't see how on one hand people praise this locigTM so highly, while in practice it just works on "moderatly complex problems" leeving the definition of "moderatly" to the C++ guy who's implementing it. what is the grand point of it beeing sooo strictly defined in the first place??? hello??? anybody? you there? well eh? water left i know oh, was that a call for argument? no it was a sinsare(spelling) question from my stand 11:20am well i am definitely not qualified to answer it :) I don't think anybody is -:- hcf_ is now known as hcf 11:30am -:- lar1 [LARMAN@dialup-209.245.143.24.SanJose1.Level3.net] has joined #tunes Hey lo 11:50am -:- change_me [user6029@ppp-32-189.mtl.aei.ca] has joined #Tunes -:- SignOff change_me: #TUNES (Leaving) damn writting a new type of os sucks, i keep running into a different problem each day eh? my stupid gc crap isnt working now that's bad, huh? well after i call screen.init() and it allocates the screen memory and io ports the kernel frees the osp that it allocated that stuff in and unallocates the ports/memory so that when a call is made to another screen method it will fail cuz the kernel will now need to create a new osp for the screen object and it wont have that stuff allocated that is normally what happens on regular objects and is ok but it dont work for drivers 12:00pm yet another syscall? oh wait, that is not what is suppose to happen the osp shouldnt be freed until the object is i think i know where i screwed up -:- hcf has changed the topic on channel #Tunes to: Free Reflective Computing System | abi will be down for a day or 2 Ali: 2.11*50 Oops, wrong chan. :) 2.11*50? hm abi isnt here How much making this circut is gonna cost I was asking Ali, my bot I forgot the /msg hcf: ? liar: ? where is abi down why? db cleaning etc No gail either?? are you transplanting? lar1: yeah hcf: Cool! liar: Do you know of a cheap transistor that can do 15-20A at 110 volts? transistors dont handle that, u need a power transistor 12:10pm is it ac? No I need to pulse 96V at 400-450A at about 4Khz 400 amps? -:- Downix [down@d-gnaps-7.ici.net] has joined #tunes Yes It powers a motor 38000 watts? I want to build a large array of smaller power tansistors I need to keep cost in mind well u can throw out the word cheap when searching for the transistors cheap is a bad word Nah, transitors are monitarily cheap Usually ya low power transistors but u need one that can handle 38kW * Downix/#tunes nods to liar * Downix/#tunes gets out his electronics catelog what is this motor for? An EV, my controler fried and I am building one ev? Electric car -:- abi [nef@bespin.dhs.org] has joined #tunes found a transistor for 38kW, it's $180 per chip 12:20pm told ya ok, ppl I don't want a transistor, I want a array of powertransistors abi's back w/ the old db took me awhile, and it's actually for 45kW, but it should handle it dont bother adding/changing her factoids Downix: actually he wanted 38kW minimum upto 43kW -:- hcf has changed the topic on channel #Tunes to: Free Reflective Computing System I would like 110v at 10-15A oh man, anyone here want a riot! Then I will massively parallel them lar1: why dont u just buy one of those $180 ones * Downix/#tunes nods, it'll save you a LOT of money in the long term it would be easier than hooking 30 of them together Cause with an array you have less of a chance of the thing going under I don't mind hooking 50 together lar1: Uh, that's wrong. With an array you have MORE of a chance of something going wrong. In one case, you have a single unit, in another, 50. Same chance for something to go wrong. actually, the chance is 50 times greater in the array and if one of the 30 is bad then u burn them all up Downix: If one or two goes under, the rest will conpinsate lar1: uh.. sure liar: Thats ehy there are 50 what if 21c go bad s/c// so, anyone here want a great joke from userfriendly? Downix: whats he gonna pay for one of those? Then I pull off to the side of the road, swear a little, call AAA, and redesign the circut Downix: Sure liar: $38 per part heh * Downix/#tunes got this in his mailbox and fell over laughing u sure? -:- SignOff hcf: #TUNES (Leaving) liar: No, I'm not sure exactly what he'll need. I was just fogiring on an 800W transistor, which the best model I can find is for $38 * lar1/#tunes doesn't get the joke lar1: You'd have to be an Amiga fan to get it he needs a 2.2kW transistor liar: oh, hold on liar: Hmm, strange. $17 for one $850 for 50 i would take the 50 over the single $180 one :) Is there a web site with tansistor datasheets? 12:30pm how come it's cheaper for less W's? Downix: does it handle 20a at 110v? lar1: TOns of em, go searching Downix: can't find em' thats why I am asking liar: nope, 18a # 110V lar1: go to hotbot and search for "chip transistor diode" Ok, thanks brb food hey liar, how the heck did this convo start anyways? 12:40pm why wont hp release a new hp48 calulator? they could use a faster processor, more ram, better screen, some more functions (if any exist) and sell it for what the gx sold for years ago I don't know Never used an HP calc before tho 172.14 hmm, not bad i thought the hdd was $49? roughly $175, double that for init MSRP to get a $350 price tag and u said scsi was $7 I found a cheaper SCSI-3 drive out of Samsung, so I needed a more expensive SCSI controller but in the end, you paid less and u get faster scsi :) right 12:50pm uhh there are a few prices missing ok, I knew I was missing something motherboard manufacturing cost? case, keyboard? the firm in India would do the motherboard cost for $5 a board. Case we can get for $15 and the keyboard I designed would run us around $9 to build, including the RF in the case u also need modem,sound,vid,net ok, allow me to re-do it. I am a scatter brain now hmm, $12 for a 33.6 or $3 for a 28.8.... or $18 for a 56k... need any mo discs? the 56k probably, a good selling feature don't think so. A single HD should be fine, for now anyways ok, there -:- SignOff tmf: #TUNES (Leaving) 01:00pm -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) $500 msrp is really steep for a webtv oops 01:30pm Downix: Going into buisness selling boxes? yup Whats yer selling point? depends on which poroduct. We've got a few designs, determining which one we can deliver first. * Downix/#tunes needs a typist, these typos are killer -:- lar1 is now known as lar_working -:- SignOff Equinox_: #TUNES (Returning to Nothingness...) 01:40pm -:- joat [tkramer@ppp49.irt.net] has left #Tunes [] * Downix/#tunes downloads a GPL' * Downix/#tunes downloads a GPL'd flight sim -:- Mr_Wrong [seanl@adsl-63-192-213-146.dsl.snfc21.pacbell.net] has joined #tunes -:- sr [depag@phila-dialup500.nni.com] has joined #tunes -:- SignOff sr: #TUNES (Leaving) -:- water [water@ppp-tnt-113.tscnet.net] has joined #tunes -:- AlonzoTG [Alonzo@209-122-253-112.s112.tnt8.lnh.md.dialup.rcn.com] has joined #tunes hey Al 03:10pm -:- billyboof [hatefull@ptnm-sh3-port31.snet.net] has joined #tunes B00F!!!! did you get boof'd again om? -:- terrorist [terrorist@164.47.71.59] has joined #tunes hello sup alonzo.... yo, does anyone know something like abi is available for download? I think I solved my linking problem... I just need to hack out some utilities for file format manipulation. abi, billyboof? billyboof are you close to finishing the OS? boof: looking or do you have the url already? sup billy i just came here cause i know you have him and i want a bot like it... abi, abi? i am the little girl borg with a big brain or #tunes' personal little whore or gaklosmontic or flurivostuginuous or xyvarestoplik or an Artificial Idiot or braindead or a crack addict infoslut or stubborn 03:20pm abi info abi, info? billyboof: bugger all, i dunno abi, info -:- geek [giray@pultar.ne.mediaone.net] has joined #Tunes hmmm... :( abi, stats? Since Sun Aug 29 12:19:24 1999, there have been 7 modifications and 3 questions. I have been awake for 3 hours, 2 minutes, 0 seconds this session, and currently reference 5581 factoids. abi, die ok i'm dead water, do you know of where i could download it? abi, who terrorist: i don't know water, what tcl is this ? -:- SignOff lar_working: #TUNES (Ping timeout for lar_working[dialup-209.245.143.24.SanJose1.Level3.net]) abi, download? i don't know, billyboof abi, url? url is for self-printing programs in various langs. he was looking for other programs in multiple langs -:- SignOff Mr_Wrong: #TUNES (leaving) tcl? yes it's a tcl in a bot :) no... i was asking abi .. :) abi, tcl? billyboof: i haven't a clue abi, tcl abi, hcf? well, hcf is boring abi, fare? well, fare is sometimes looking at another screen and interruptible with a beep (/msg Fare ^G) or at http://www.tunes.org/~fare/ or connected through a crappy ISP (cybercable.fr) or pronounced Fahree -:- Mr_Wrong [seanl@adsl-63-192-213-146.dsl.snfc21.pacbell.net] has joined #tunes abi, thril abi, thril? billyboof: i don't know damn... i thought someone in this channel actually coded abi.. abi, alonzotg? alonzotg is trying to figure out how to program..... -:- SignOff geek: #TUNES (Leaving) dem ? you around ? 03:30pm -:- ElGato [no@216.120.17.12] has joined #tunes damn! this place is crowded I know it is ? yes okki.. is tril around ? err if he comes around.... tell him, i wanted to talk with him.. ok :D thanks :) if i'm not around mail me at txorg@bespin.cx or txorg@bespin.dhs.org bespin is down for some reason no it's not.. 03:40pm -:- hcf [nef@me-portland-us208.javanet.com] has joined #tunes hey hcf hoy Downix ... everytime i try to telnet in it says "connection to host lost" -:- SignOff billyboof: #TUNES (hatefull@antisocial.com) ElGato: Sucks to be you. Means wherever you are telnetting to isn't up right now, or isn't accepting connections oh too many people mabye possible cats don't get any respect i'll tell you that much yup 03:50pm -:- SignOff terrorist: #TUNES (Ping timeout for terrorist[164.47.71.59]) D: i just want to check my damn email then wait for the user load to drop * water/#tunes is back hi agua * ElGato/#tunes can't settle on programming language ideas * water/#tunes drags AlonzoTG to the Trash icon. hola, gato hahaha why not? om? om is in hinduism, a word of affirmation or assent intoned as part of a mantra or as a symbolic mystical utterance during meditation whatchyawanna talkabout? im always learning new things and i come up with new ideas are you familier with poplog? kinda. never used it now im thinking of a high level forth :\ "high-level forth"? forth is cool cause it's syntax is so minimal right a stack machine with a high level stack but why is that good for a hll? with gc and junk 04:00pm syntax is just so trivial it gets in the way with forth your words are always very powerful i did have an idea i wanted to run by you though ok get some feed back sure i was thinking about the c preprocessor and how limited it is for runtime reflection and i came up with an idea for structured preprocessing complete with metavariables and metafunctions :\? preprocessor? or macroprocessor or what have you you mean macros, then, but recursive? k recursive in what way? hum describe the metavariables. would they be macros? seen SIMPLE? or m4? yes fare or defmacro? i mean a macroprocessor with looping constructs and variables a functions that of course are not in the source code but do affect how the program compiles i've only studied m4 defmacro ok then does that have all of what im talking about? defmacro has everything Lisp has when writing macros oic 04:10pm is it part of lisp? yup it's standard -:- fare is now known as Fare3053 excellent not exactly what i want though man, the 6502 was one cool CPU hell yeah yes it was 04:20pm i remember that someone once figured out what benchmarks it would get if made with modern manufacturing methods it's assembly was fun too unfortunately, i don't remember where i saw that water: I was just wondering what would happen if someone upgraded it like how other CPU's have been it would probably be about half the speed of new amd chips mostly because of pipelining probably but be a hell of a lot cheaper the problem being RAM access, with a 16-bit address space although it's instructions were pretty short yes, that would be a huge bottleneck for a modern cpu Fare3053: The 8086 had an 8-bit address space. Does the Pentium 3 still have that? gosh, a 6502 made with modern etching processes would probably be too small to distinguish from a grain of sand! :) heh a huge SMP system water: I know huge == the size of a pocket calculator yup Downix: 8-bit? Fare3053: 8-bit, yes. Fare3053: Check that, 8088 was 8-bit address 8088 was 8-bit *data* bus it has 20-bit address bus Fare3053: the 8088 was derived from the 8080 which was derived from the 8008 which was derived from the 4004, so you say a Pentium 3 has an address space of 4-bits? * water/#tunes is off to play some EverCrack. -:- water [water@ppp-tnt-113.tscnet.net] has left #tunes [] * Fare3053/#Tunes thinks Downix smoked Crack, too :P crack is bad :( address space size is not an inherited attribute. * Fare3053/#Tunes removes last gif from site... Fare3053: Well, a modern day chip derived from the 6502 wouldn't inherit it either, right? hold on, roomate's calling my name it wasn't about deriving, but about making the same chip on another process or else, every single chip is derived from the ENIAC. Fare3053: No, water was referring to that. I was referring to deriving chips from that or from Babbage's machine. 04:30pm well, then StrongARM is a 6502-derived chip on modern processes, already Hmmm. I use an ARM-710T machine. wow cobol sure does suck om -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) * ElGato/#tunes shivers at the site of the limitations cobol gives the programmer 04:40pm -:- Downix is now known as Dx_AWAY -:- SignOff Dx_AWAY: #TUNES (Ping timeout for Dx_AWAY[d-gnaps-7.ici.net]) gee i wish i could log onto bespin 05:10pm -:- SignOff ElGato: #TUNES (Leaving) -:- |Wallace| [mik@rm1-287.tiscalinet.it] has joined #Tunes -:- SignOff smkl: #TUNES (sleeping ...) -:- |Wallace| [mik@rm1-287.tiscalinet.it] has left #Tunes [] >>> hcf [nef@me-portland-us208.javanet.com] requested PING 935975644 from TUNES why so quiet? zzZZ 06:20pm -:- lar1 [LARMAN@1Cust202.tnt31.sfo3.da.uu.net] has joined #tunes Heyo 06:30pm When booting, are CS and DS the same? 06:40pm yes they both equal 0 and ip=0x7c00 06:50pm liar: Could you take a peek at my code now? what code? can u ping starhack.ml.org? My boot sector code I can't ping starhack.ml.org did u dcc it to me? No, I was gonna but you left to eat and I forgot to send it (about 2 days agao) I'll send _thank you_ On some boxes it triple faults, on others it won't boot at all uhh this isnt nasm code? Its nasm it compiles hmm why dont u use nasm syntax Where don't I use nasm syntax? 07:00pm -:- SignOff eihrul: #TUNES (Leaving) How is the syntax in the file you sent different? -:- eihrul [lee@usr5-ppp05.lvdi.net] has joined #tunes mov ax, ds ;We need to make a linear address out of DS that does nothing since u just cleared eax and ds=0 same with the shl after it But I have an org 7c0, so wouldn't that set ds to 7c0? hahahah, NO Then what does the org directive do?? offset for data accesses u have gdt dw ... at the top so when u load ax into [gdt] it will load it to 7c00h i use an org of 0 and then load ds with 7c0h what should be at [gdt]? just 7c0? Wait, whats wrong with 7c00? 7c00h is the physical offset, 7c0h is the segment if u use org its 7c00h, if u load ds its 7c0h So my gdt psuedo-descriptor is all good? no u didnt odd word align it Thats important??? uhh YES it should be: gdt dw 0 dw size-1 dd pointer Why the hell didn't the docs say that? damnit! they do 07:10pm it will fault if u dont Why? cuz that is how intel did it dont question me on it Ok :) Does aa55 need to be at then end of the 512 bytes or is it good where it is? oh and when u set the PM bit use or al,1 instead of inc eax aa55 needs to be at the end or t wont boot the bios checks for it before calling the code I was using or al, 1 and people said what the hell are you doing that for? So I switched to inc eax... I'll change it back. inc eax is slower So if I want paging enabled, what should I do to eax? or eax,80000000h hahaha u need to use an org 0, set ds to 7c0h and then yer final org 1fe will work Hmmm, I like the way you do it That way it always if 512 bytes s/if/is Is it better to do org 0 ds=7c0 or org 7c0? 07:20pm It still faults Don't I need lgdt [gdt+2]? and deosn't add [gdt+2], eax need to be add [gdt+4], eax? BRR -:- lar1 is now known as lar_away -:- SignOff lar_away: #TUNES (Read error to lar_away[1Cust202.tnt31.sfo3.da.uu.net]: Connection reset by peer) 07:30pm -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us208.javanet.com]) -:- SignOff liar: #TUNES (Ping timeout for liar[p0wer.qzx.com]) -:- liar [brand@p0wer.qzx.com] has joined #tunes -:- lar1 [LARMAN@1Cust158.tnt31.sfo3.da.uu.net] has joined #tunes back 07:40pm Liar: You still there? ya brb k 07:50pm -:- hcf [nef@me-portland-us208.javanet.com] has joined #tunes Hey hcf hoy lar1 08:10pm hcf: Where do you stand in the tunes will be slow argument? i dont mind a loss of speed Hmm, ok 08:30pm What is TUNES target audience? CP/M users Who uses CP/M?!? many ppl lar1 dont listen to him liar must have stolen his nick :) Tril: What is TUNES target audience? I think it's for ourselves mainly, but anyone who wants it Tril: i froze abi's db earlier today it doesnt have a target audience of everyone, but because of the technical requirements, it will probably be suitable for everybody. * Tril/#TUNES is back from the dead. Gone 19 hrs 47 min 22 secs Problem is I can't accept _any_ speed loss cause I play games but it will be prefered by at least 42% of CP/M users ;) hcf: what's that mean? you made all factoids sane? lar1: If you play games, you dont WANT reflection (at least during the game) because that would allow you to cheat. Make sense? Tunes will let you temporarily turn off reflection (or permanent if you really never want to change your system again :) Tril: any further factoid changes wont be permanent hcf: she learned enough? What about gail? im explaining this wrong i'm not understanding the word freeze in this situatuion abi's current code is the new code the is/are DBs are currently the same as yesterday Tril: Hmmm, I think I would be using TUNES in non-reflective mode 99% of the time I thought abi should continue to learn new factoids indefinitely? i dump'd the DBs today and am in the process of the clean the trash out of em ok, so you will turn her back on learning mode after you are done with that? she's learning now just will get rm'd when im finished lar1: Well, I think when you "load" an application it will probably be written reflectively anyway- so tunes will be useful for you if there are apps for it you will use abi: x to sp she's learning now hcf: ella está aprendiendo ahora lar1: I.e. if you load a game, it will use reflection to set the state of teh system the way it needs it (direct access to hardware, etc with your permission) abi: how many languages do you know? tril: wish i knew just a gateway to babelfish do they have a backdoor or does she use HTTP http 08:40pm abi: x to en ella esta aprendiendo ahora Tril: abi: abi: x from sp ella esta aprendiendo ahora hcf: she this learning now abi: x from spanish en ella seta aprenndiendo ahora lar1: in her mushroom aprenndiendo now damn typo ;) i didnt mean to interupt u guys, molest the bot another day continue the tunes discussion that's up to lar1 if he has anything to say Tril: Hmm Tril: is the faq fixed yet? Tril: How will reflection help other non game apps, lets say a spread sheet program? hcf: I'm not sure how it should be fixed. Every occurence o fa word in the glossary, should be linked?? or just that one I would do just the first, too many links otherwise plus the other problem (bugs-to?) Bugs to Tril, hcf, or Fare lar1: speradsheets have a language for writing formulae for cells, right? IMHO lar1: not me well, in tunes that spreadsheet language could use any function in teh system. It wouldnt be a separate thing. i suggest, faq-suggestions@tunes or something instead of directly personal mail addrs let's use the main list, then bugs@tunes.org which gets sent to all tunes members it's not that busy and i dont expect much faq contribution Hmmmm * lar1/#tunes busts out FAQ scouring it for flaws so he can suprise Tril whats the point of the faq pointing to the huge ass glossary full of improperly defined terms? 08:50pm because that's a problem with the glossary? I have never read the glossary? s/?/. -:- terrorist [terrorist@164.47.71.59] has joined #tunes hi terrorist * lar1/#tunes thinks the band Offspring is cool are you a cyber terrorist, or a regular one? Tril: do u recall what that professor guy fare was talking on the list to said about the microkernel glos entry? * terrorist/#tunes is away: (Auto-Away after 10 mins) [BX-MsgLog On] yes, he said it was dead wrong. he seemed to know mroe about microkernels than Fare did. i mean about the structure of the entry no facts 1st, then opinion Put under opinion: uKs are bad. hcf: well, that's a good idea. Tril: manifest it! Tril: any ppl join u in the coordination group yet? no I didn't think so * lar1/#tunes voulenteers hcf and Fare * lar1/#tunes then hides 09:00pm * hcf/#tunes hunts lar1 down, and shoves trouts in each of his orafices Ouchie some of em aren't big enough i'l make em fit Ouuuuuuuuuuuuuuchie! Tril: what r u currently doing as a coordination group member? Tril?\ thinking about? (about what i will do as a coordination group membner) why is the pg-sql thing stalled? because I don't like having to do everything myself u havnt asked for help yet, have u? I'll help now that I understand what it all means didnt i? Tril: w/ the jobs post? aside from that u havnt afaik that, or much earlier with some post about ultima not doing his work 09:10pm Ultima is a tunes member? Tril: perhaps u could get someone from outside of tunes to assist here is the real reason: Since no one else is particupating in the tunes project, I decide what priorities I want, and review doesnt get very high priority or perhaps code s/code/core/ yes, core offered to help. He said he would look at my db design but he hasnt said anything about it so he's probably busy Tril: What do you need help with? so fuck the things w/ low priority hcf are you being frustrated or serious lar1: hcf is referring to revamping the Review project Tril: What is the Review project? Tril: being both it's a collection of links that was started by Fare of languages, OS, and other links related to tunes concepts go to www.tunes.org/Review/ or click on Review from the main page How does it need to be revamped? right now it is in HTML, but it should be in a database of some kind Ohhh links + bias'ed reviews w/o many real facts I don't know SQL sorry :( you can help if you are quick learner Where can I learn about SQL... I am a quick learner www.google.com, type "sql tutorial" and hit search the content shouldnt just be thrown into a db hcf: exactly, it needs dedicated committment, which is why I'm reluctant to work on it- I only have time to "just throw it into a db" Actually, try that search on dmoz.org. That's a human edited directory, noncommercial, and it turned up good stuff for me Tril: right, so fuck it I said google because that's where I found a good sql tutorial which I learned it from recently it was either the first or second link in the results Whats the magnitiude of the Review project? Mr_Wrong: plus google doesnt have ads right now odp has ads? (so its not exactly being commercial looking) No, i'm just wondering why mr_wrong said dmoz is noncommercial when compared to google Aah lar1: uhh... Well, if people use dmoz.org more, it will help us have a nice alternative to yahoo for a human edited directory Whats the difference between Search google and I'm feeling lucky? lar1: can you tell by looking at it? one of the reasons for the review proj is to have the content under our control Tril: Ok, I'll look noncommercial as in it is not for profit and will never have ads. I do use google for stuff a human editor is not likely to have put in the directory lar1: lucky picks a link for you, i think the top one, takes you straight there but alas thats pointless since noone cares about it i woudlnt say no one cares, just that we haven't the tools to properly maintain it the way we want noone cares to put the tools in place unfortunately we're all tunes people and have learned to not be satisfied with any tools except tunes 09:20pm so we're in a wait and suffer cycle w/o an end * lar1/#tunes is lost lar1: how so? What is pointless the Review project or google or dmoz? lar1: rev proj Its pointless cause noone cares? i dont know exactly what you mean to have content under our control. whose other control would it be under. Are we comparing google/dmoz to Review? That wasnt my intention I was talking about using Google/dmoz t find an SQL tutorial seemingly, fare wasnt/hasnt been satified w/ foldoc, so he's done the glos/rev Tril: Isn't putting it in a DB just the same as putting a search engine on it? hmm, no, peopple want to make connections between the projects. Sorting them into categories for example. letting you search by individual features I am not getting why puttin them into a DB is better and viewing the same information in various different forms. Couldn't that be acomplished with a parametric search engine? 09:30pm but different views of crap still means ur looking at crap Yes the search engine still needs a database to search So this means that the serchengine is just a CGI script ontop of a DB? i dont know we dont have one yet. and wont anytime soon hcf: Well mabye... I am thinking about putting the RavenOS info in to a DB now... and if I am doing that I might as well do the review project too Tril: Where is a DB that I can try this stuff out on? lar1: but the rev-os entry structure needs to be agreed upon Tril: or have u and core done that already? 09:40pm Tril? Tril is here, and i dont know what you mean by very familiar abi: forget tril hcf: I forgot tril abi: lar1? i think lar1 is mailto:lar1@earthlink.net or mailto:lar1@bigfoot.com abi: lar? i haven't a clue, lar1 Where is a DB that I can start testing/solidifying/continue learning my knowledge of SQL on? 09:50pm lar1: on yer own machine? 10:00pm liar: I don't know how to set one up yet... liar: Nor do I have to software to do that hi i guess i forgot about this window Tril: Back from the dead?? we should all just forget this window Hehe, hcf lar1: you want a SQL database to try stuff out on? Tril: Yes hmm hold on ok liar: My code still faults, any ideas? lar1, ok you have access to the database server on bespin. login and type 'psql template1' to begin you should create a new database for you to play with ask me if you cant figure out how to do that 10:10pm hmm bochs sucks, Error: no more virtual breakpoint slots left. -:- water [water@ppp-tnt-28.tscnet.net] has joined #tunes hi water hey tril been busy today? hmm it only lets u have 10 breakpoints what makes you say that just wondering if any tunes activity present Tril: Ok, thanks Tril: Is there some form of help that will tell me how to create a database? 10:20pm yes it has a \h command not sure if it's useful enough, if you cant fnid it i'll go to the web page of docs * water/#tunes is getting tired of listening to testosterone-derived conversation all day long at work? if i hear "that's cool" or "that kicks a**" again, i'll go postal i live with people i work with but yes, at work, too water: What would you perfer guys to use? [instead of cool or kick ass] i would prefer no use of the concept at all water: Uhmmm what do you say when you think somehing is good? water: care about newtonscript any longer? nothing! Water: Uhhhh, ok.... hcf: not really. lisp->dylan = smalltalk -> newtonscript lar1: what good does it do the listener to know that you like something irrationally? water: What harm does it do? it reinforces the ubiquity of testosterone in memetics it makes chemicals the cause of what people consider reasonable directly, that is Why do you tink that 'cool' is caused my testosterone? I hear pleny women say cool women are affected by testosterone in that case, it would be 'worse' and the culture is patriarchal in nature anyway water: so if a woman says a guy is hot this is caused _only_ by testoserone? s/culture/overt social control structure lar1: send it to me again yes, the _expression_ of that feeling is testosterone-based water: so the origin of that feeling is estrogen based? dunno. sure. perhaps the causes are undefinable. that's not the issue in either gender for my statement 10:30pm Tril: How do I make a new database? I haven't gotten that far in the tutorial, and I think if I play around anymore I'll screw somehthing up my statement is not about feeling. it's about statements thereof water: What I am hearing is that you don't like anyone saying cool because its illogical not exactly true water: then what are you saying? i'm saying that it is an addictive behavior that re-inforces a lack of thought er... i think i just said it I sent that before i receved that message k lar1: try that liar: but w/o the A20 line can I write to B8000? well, having reviewed the logs, i see that there is little to discuss Tril: got anything for me? water: Reflection lar1: yes lar1: well, sure. what about it? water: Is slow lar1: and you don't understand it lar1: does it work liar: Whats wrong with my A20 code? lair: hold I will compile lar1: reflection is slow if you don't change the underlying system to support new abstractions. in other words, if you just emulated everything within a Lisp without changing the VM on the fly, then the result will be much slower than "actual" lisp lar1: but if you change how the underlying code works so that it supports the new abstraction set as well as it did the previous one, then you lose little (perhaps none or even a big boost) liar: Is there a faster way to write the BS then format a: debug bs w 100 0 0 1? water: the more you abstracet the slower it is lar1: get linux? liar: I have linux then use it liar: Its just broken right now lar1: you're not listening liar: RH 6 is bad rh6 works just fine lar1: abstraction is not equal to strict interpretation water: No, I just don't undersand liar: The include sym links are broken -:- ElGato` [no@209-68-229-173.dialup.cust.tfb.com] has joined #tunes HI FRIENDS :D 10:40pm lar1: whatever lar1: type "create database DBNAME" liar: i though you would have compiled your newer brix image by now water: no, I don't "have anything" for you, but I encourage you to read ALTTLG and discuss it with me! ElGato`: i have :D i wanna run brix on my computer liar: It just hangs lar1: strict interpretation of abstractions is Very slow, but reflection that changes how the code-generator works is quite different. the question is how to shift models of computation so that they support the different abstractions in a quick way. that's part of what tunes wants to do (and also to make the shift efficient to implement as well) Okay... lair: It doesn't triple thought i guess i've done my part bye all -:- water [water@ppp-tnt-28.tscnet.net] has left #tunes [] YES! Tril: That didn't work why not It still says template1 oh you need to swithc databases template1=> create database lar1 | $ psql Connection to database 'lar1' failed. FATAL 1: Database lar1 does not exist in pg_database damn water left, i was just about to say how much i think the new nin song kicks ass :) lar1: just exit and run 'psql DBNAME' that you created doesn't work liar: :) liar: Why didn't it put the A in the corner like is supposed to? ahh i see why liar: do you mean or al, 1 hold on ok liar: exception = 0x000a error = 0x0000 :( 10:50pm and u really need to get an editor that uses tabs ElGato`: :) :P liar: are you sure or al, 1 instead of or al, 0?? lar1: log in again to bespin (or type ". /etc/profile"). then at the bsepin prompt type "createdb DBNAME". lar1: are u questioning my code? liar: No liar: I don't understand it you wont have to log in again after this to create databases, just this once liar: Ahhhhh, nevermind -:- SignOff ElGato`: #TUNES (testing brix) lar1: u might wanna consider learning asm then liar: I know ASM just not like like you do the jmp short $+2 will clear the cache and the other jmp will load CS with the correct selector u also need to load ss:esp Does that clear the prefetch queue? Tril: ok, thanks yes liar can I leave ss:esp alone until I need to use them? lar1: there is also a 'baseball' database you should be able to connect to and try (psql baseball, or \connect baseball inside psql) ok just dont make any calls or stack ops liar: It still didn't print my a * Tril/#TUNES is away: (afk) [BX-MsgLog Off] 11:00pm that file has working a20 code and other things u will need My A20 code is bad? lar1: yer a20 code is beyond basd bad try that try it before looking at it Whats wrong with my A20 code? I want to know where I went wrong, so I can prevent in future liar: ok after u try it then look at pmode.inc and u will see what is wrong with yers for one u didnt return from the call u had no io delay I need an IO delay?? -:- ElGato` [no@209-68-229-171.dialup.cust.tfb.com] has joined #tunes liar: :D and yer test was flawed elgato` yes? I didn't return cause I pulled it to a lib I made, and I forgot Whats was wrong w/ test? look at my code did u try the bs file? But I haven't tested yet I am still formating oh jeez Now its on the disk in linux u would type "dd of=/dev/fd0 if=bs" and it would take 2 seconds or u could just type "cp bs /dev/fd0" Errrr... makes me want to fix my linux liar: still no A in the corner i just use bochs and dont have to do any floppy copy get bochs and see what its doing Whats bochs? bochs is a PC emulator at http://www.bochs.com that runs on win32, un*x, beos, mac, os/2 and amiga COOOOOOL! I was wondering where I could get one YES!!! Is it free? shareware. on a p2-450 it runs as fast as a 7mhz 386 you get 2 30-day trial periods for each year 11:10pm i think liar has used up all of his ;) Tril: hahaha anyway i'm going to sleep. bye night tirl Tril: if i gave a damn about that then i wouldnt be using my burned copy of win98, starcraft, every other game i own and everything else liar: it doen't cripple right? no u even get the code if yer 'honest' u should pay him Ohhh its that kinda shareware scareware ppl like tril are scared so they dont use it And bochs will tell me every thing I want to know about the prosser? and make sure u compile in the debugger u can step thru yer code just like u do in dos debug cool the only problem is that it uses long names instead of short one letter commands like debug well for a few things it has short names ok "info registers" will show u register contents I need to get linux working for this... I don't have a good C compiler for win 32 but u can edit the debug/lexer.l file and change "info" to "i" and "registers" to "r" ohh bummer :) windows isnt a real programmers OS What distro should I install Caldera, Debian, StormLinux? I knwo I use Linux until I break it ;) oh heres an idea install bochs on bespin That would be sooooo slow but u will need an X server for windows lar1: debian and bochs can remote serve the window to u Hmm, I need Xwin32 is that free? liar: no there are free ones X/something is free liar: Do you use RH? or was it something/X rh6 MI/X? liar: And it didn't come broken?? 11:20pm no liar: Lucky man... hi :D ElGato`: u like brix? yes it is very... interactive :D if u type help it will tell u what it can do BRiX will run on Bochs? lar1: yes Yay!! I've been wanting to try it well it wouldn't accept any keyboard input as i remember lar1: what kinda video card does yer other machine have? ElGato`: hmm Trident Cyber 9382 ElGato`: maybe yer box is broke the text box?? s/text/test lar1: is it color? liar: Yes, it is some old Genoa (cirus I belive) VESA localbus card Does Debain come with Gnome? bochs: panic, read_seg_reg() undefined segment register! that is from bs.asm lar1: it has packages for it, ya eihrul: Any weird quirks about debian that I should know about? liar: What does that mean? not that i know of it's generally less quirky than Does Bochs emulate at a decent speed? on a p2-450 it runs as fast as a 7mhz 386 You are/were serious? yes so on my p233 its gonna be crap 11:30pm brix has very accurate mhz testing and that is what brix says how much more crappier can it get maybe 386-3mhz speed? How does BRiX test speed? Thanks jump_protected: gate type 0 unsupported When are you going to relese all of the BRiX source code? bochs: panic, interrupt(): gate descriptor is not valid sys seg maybe 2 years or 5 years What do those bochs errors mean? gdtr:base=0xff53f0, limit=0xff that means it loaded gdtr wrong Thats aint right ahhh cant believe i missed that one What was it? yer pgdt isnt odd word aligned the 3 byte jmp above it screwed up alignment Ohhh heh I wondered about that -:- SignOff eihrul: #TUNES (Leaving) But I didn't want to 'question' yer code :) sure How do I fix it? ah i see another bug dw gdtEnd - 1 ;How many slots we use in the GDT (limit) 11:40pm u might wanna substract gdt from that too :) -:- SignOff hcf: #TUNES (Leaving) so dw gdtEnd-gdt-1? Ok, well I am going to install Debian BRB (I hope) -:- SignOff lar1: #TUNES (Leaving) -:- eihrul [lee@usr5-ppp167.lvdi.net] has joined #tunes -:- Mr_Wrong [seanl@adsl-63-192-213-146.dsl.snfc21.pacbell.net] has left #tunes [] 11:50pm lar1? lar1 is, like, mailto:lar1@earthlink.net or mailto:lar1@bigfoot.com -:- SignOff liar: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) -:- lar1 [LARMAN@1Cust109.tnt2.sfo3.da.uu.net] has joined #tunes I can't get debian to work whatcha mean? I says loading linux........ then reboots (on booting from the install CD) I have tryed 2 different CDs i never install from the CD... i always do net installs S-l-o-w on 56k I still have to boot into the installer to start the net install, right? yah... but you can easily download the install disks And it uses kernel 2.0.36... WTF? [msg(TUNES)] newlog 1999.0830 IRC log ended Mon Aug 30 00:00:01 1999