IRC log started Sun Oct 3 00:00:00 1999 [msg(TUNES)] permlog 1999.1003 12:10am lar1: translate them into english... it's obvious lar1: "i want i am going to the movies" lar1: "i want to go to the movies" now babelfish might surely say the first :) 12:30am -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp11.lvdi.net]) -:- eihrul [eihrul@usr5-ppp11.lvdi.net] has joined #tunes -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp11.lvdi.net]) -:- eihrul [eihrul@usr5-ppp11.lvdi.net] has joined #tunes Heh, I suppose yer right eihrul makes mucho sense Hcf: Do you read Abi's logs? I gotta go I am mucho tired -:- SignOff lar1: #TUNES (Uhhhhh no?) -:- SignOff hcf: #TUNES (Leaving) 12:50am -:- eihrul [eihrul@usr5-ppp11.lvdi.net] has left #tunes [] -:- SignOff air: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) -:- smoke [smoke@14dyn26.delft.casema.net] has joined #tunes -:- SignOff Tril: #TUNES (Ping timeout for Tril[bespin.dhs.org]) -:- Tril [dem@bespin.dhs.org] has joined #TUNES -:- mode/#Tunes [+o Tril] by ChanServ -:- water [water@tnt-9-246.tscnet.net] has joined #tunes hey hello ! what's up, smoke? want to discuss something? i was just discussing the arrow system a bit with an 'oldschool bbs' person k 09:20am yes, what about? what did you discuss with that person? -:- wedge [wedge@lossi149.uku.fi] has joined #tunes hi wedge hi water: applying an arrow alike idea to create a bulletin board system (shoot any wamp rats lately? :) ok any interesting results? water: not yet :( what did you come up with, then? water: i didn't get one thing right - does the arrow system have arrows pointing to actual data ? smoke: arrows _are_ actual data water: or is it just arrows pointing to arrows pointing to arrows, ad infinitum? smoke: it's the same thing. the arrows _form_ the data okay i got more than one thing not right then :) it's like that for most people how would that interface with say, ascii stored data? btw, arrows can be stored in the usual datat structures well, you have to have a way to derive the "arrow content" of a format s/format/scheme of representing info (or data) hm when you do, the interpretation into the arrow environment of the data can be implicit would it be hard to give an example on how to store say a number? er.. you don't "store" numbers, you refer to them... they have a priori existence you store an arrow from the "variable" to the number hm. but this variable is stored as a collection of arrows then? the entire number system will exist in arrow like a programming library or could it just be a memory-slot in a computer? bleh. forget variables forget "memory slots" hehe. okay, forgotten. think abstractly... computer=finite-state machine (with access to infinite-state devices) hm, data equals to transitions in this state machine? a finite state machine has a set of allowable states and a set of transitions that can be performed on that machine 09:30am think of it as a graph of arrows states being nodes, and arrows being transitions but i shall not think of a value associated with a node? the idea is that you select the next datum in the sequence that specifies the data the node _is_ the value aha. so if i have 26 nodes somewhere, and attach a typewriter to those nodes directly, i could make a typewriter inside an arrow system? keep in mind that until i get the theory completely worked out, i can't give you complete answers yeah, sort of that is, those nodes could make a portal from the latin alphabet to the involved arrow system? yep did you experiment with implementations already? i have something on the tunes site for working with basic arrow logic, and my own internal versions with more structure i'll keep that in mind -- i'm just looking for how to think less vague about it :) it's written in smalltalk ouch. is there a nice smalltalk implementation for linux? yep. squeak (which is what my code is for) abi: squeak? squeak is a cool language descended from Smalltalk, at http://squeak.cs.uiuc.edu/ or at http://www.squeak.org/ or The open source mouse that roars! thank you, abi my pleasure water grin. bummer.. it's apl'ed "apl"? ehm i meant the apple license no the squeak image contains it's own source code you _can_ reuse it besides, disney is the only company supporting it confusing. 09:40am well, it descends from apple's smalltalk, which of course is the same as the xerox version in fact, it still has a version of the old GUI model but hardly anyone uses it now did you experiment with storing 'text' in an arrow system? not yet i'm still working out the graph and ontology systems ah. i have this idea that text compression will be either straightforward or completely nontrivial in an arrow system "completely nontrivial"? you would not care about text in arrow would not? hm. allow me to explain my thoughts a little: arrow would be used for storing info that the software could directly understand and re-use in arbitrary ways english text (not built from concepts, but from strings of characters) would not be as useful as arrow info i thought it'd be nice to store messages on a bbs system in an arrow system to make it easy to link information to other information and files easily you _could_, but that's not the best way to do it any good hypertext system could do that wouldn't be ? my thoughts were that with a decent trained neural network it could well be used, or even translated to a compact form the arrow system allows something more, and should be used that way keep in mind that there is an entire philosophy that the paper demonstrates of course i want more than hyper/text/ ehm. ok i won't deny that using nn's with arrow would help with info-gathering but someone with an arrow system shouldn't preferentially use a text-based info-interface no? 09:50am they shouldn't have to type in comments for their code (for example), because the info should be directly integrated with the system code=info -:- SignOff wedge: #TUNES (Ping timeout for wedge[lossi149.uku.fi]) i'm not saying that naming things is bad, i'm saying that the current way of doing it is terrible how then would people add information ? the interfaces would record their selections of meaning, not their character strings as such btw, interfaces = ontologies hm i don't know how to explain it formally except by saying that arrow interfaces will be "noiseless" ones so you cannot talk to a system? yes, you could talk to it but it would not store "what you say" ah i see then i have mis-explained my idea it would store the info derived from "what you say" according to the ontology spec okay oh? that's about what i was thinking ok but imho it wouldn't harm to store the original messages too i disagree, since the messages could be factored into info and noise, and the noise stored and discarded according to user-preference, and the info used by the system uhuh hopefully, all the useful info could be derived from the noise hmm... time for some arrow info-theory so you think the idea of building a bbs on top of an arrow system is not very useful? no, it would be very useful but you would completely have to do away with the idea of a bbs as such but if only the 'useful' info were stored, then the social feeling would get lost, no? yes of course it's not much like an original bbs, agreed. well, i mean that the philosophies are "ideally" incompatible but you _can_ store the social feeling as info lol :))) keep in mind that the ontology idea is ultimately flexible 10:00am i'm serious sorry, i know you are serious - it's just that you speak so freely about very weird ideas. :) info theory applies to everything, not just data in computers i mean, not just "what the programmer calls data" hm yes. if you had a video-stream for a "video phone" conversation, the arrow system could abstract info from that, too yeah that would be nice that's what i somehow meant by text compression one could write text and only the important facets would have to be stored the point is that with the arrow system, you can control any information that comes into contact with it, no matter what kind of info it is or what the source but that would surely need some decent neural nets, no? for example to understand 2d representations of 3d images in case of the video phone conversation well, that means for the computer to do it in real time you could tell the system to store the data, and then later on do the info-abstraction yourself and use that to teach the system how to do it in real-time since the system would take info from your process of info-abstraction do you see neural nets as subsets of arrow systems, or do you prefer to consider them outside the arrow systems? neural nets could be applied and understood by arrow. the theory of the should definitely find a home within arrow i.e. nn theory is very useful info for arrow aha. that's good :) but since people can do what nn's do, a person could do the same thing in arrow and arrow would still get the info * water/#tunes notes to self to include this example in the "optimization" section of the intro draft so, to get back to the bbs a bit; would it be feasible to have a system on, say, a 486 that stores data as arrows with a messagebase and chat-sessions as input ? yes, it would be feasible i can't get a clear image of the size of an arrow system ah -:- tmf [s720@rovmaur.ii.uib.no] has joined #tunes by "storing data as actual arrows" do you mean lisp cons cells? hi tmf hi personally i'd think that about 10 links for each message would make for a nice hypertext system; yet i see more use in a system that can store about 1000 links.. 10:10am (most of those links would be context generated of course) well, if you can derive the links by a "formula", then the storage req's for the links go down and the "formula" consists of info about those links this is why the notion of graph exists the storage isn't the biggest problem i think.. 100-1000 links for each item wouldn't at all be a problem.. with some garbage collecting a resulting 50-100 links would be enough * water/#tunes thinks that smoke is missing some small clue here uh oh. you're really close to the big picture, but it sounds like you're not considering some aspect which aspect would that be ? the fact that most times, you will be dealing with infinite numbers of arrows (i think) (i mean, i think that's what you're missing) eek. infinite numbers? yeah, arbitrarily so. it's in the intro draft i surely missed that one. i thought one could just number each node and store that as a 32bit int -*- mode: naive -*- i mean, you could never put a limit on the number of arrows in the system. any infinity would never be large enough hm arrow ~= lisp :) i think that you were considering using lisp for bbs's, not arrow look in the "garbage collection" section of the draft -:- SignOff smoke: #TUNES (Ping timeout for smoke[14dyn26.delft.casema.net]) yeah, i should really say something there about how nn's allow seemingly "uncalculable processes to become calculable tmf: how goes it? 10:20am water, nn's seems close to arrows -:- Miellaby [sgarden@Rennes-Villejean-1-154.club-internet.fr] has joined #TUNES miellaby! hi :) it's been too long tmf: huh? tmf: i hardly think so ok:) what's up, miel? -:- smoke [smoke@14dyn26.delft.casema.net] has joined #tunes -:- eihrul [eihrul@usr5-ppp185.lvdi.net] has joined #tunes well.. I'm asking for some news from Tunes's crew. wb guys water: i finished reading your paper if i were to implement what i have in mind atm, i would probably use c++ ? did i leave? miel: hmm... i guess i'm the representative for now smoke: yeah, ping timeout oh bummer smoke: chekc the logs water: (repeating), i wasn't thinking of using lisp at all. If i were to implement what i have in mind atm, i would probably use c++ water: mostly it's that i want a system to store information which would be gathered from irc and email sessions.. and that data should be made available in a way less stupid as the www does it. :) smoke: well, i'd say that adapting the ideas of irc and email to arrow would be MUCH more useful from eihrul: 1. how do you decide the bootstrap ontology? from eihrul: 2. how do you introduce information into the system? ( good questions ) for (2), a preliminary answer is in the "user interface" section of the draft as for the bootstrap ontology, i'm working on that right now preliminary, but not definitive there is a lot of theory to work through it just points out certain pieces of information as noise eihrul: sure i would assume information is put into the systems as arrows itself... but arrows are abstractions they don't have to be data structures yes... well, consider the example squeak code but how much information does a 'mouse click' introduce ahh would it modify the arrow structures or would it introduce a model of the mouse click.... very abstractly, it could be the selection of a modality shift if it just introduced arrow structures without giving information of the mouse click more concretely, you could be drawing an arrow, and selecting an endpoint (sic) then you would have some small kernel doing that which would be bad, no? :) er.. not a "kernel" or you would atleast have to make that part of it reflective itself the ontology interprets the info so that it could be changed right 10:30am well, the reflection is implicit for arrow info is info is meta-info is subject 'arrow' : what is it ? the amount of info a mouse click introduces depends on the ontology used to view the event 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/ where was the squeak code again? eihrul: www.squeak.org/ oh sorry i see you mean the arrow squeak code. * Miellaby/#TUNES thinking .oO ((what a get-up !)) yes http://www.tunes.org/~water/Abstract-Arrows.st you file it into a Squeak image which allows you to view it in a browser eihrul: maybe you should refine your question to, say, how the executable code might work, maybe? i think that question is implicit in the whole arrow idea :) well, right now i implement it in smalltalk but the implementation isn't nearly complete 10:40am the idea is that the software in memory responsible for handling hardware input buffers would pass off the data to a sort of parser that would handle the info deterministically, allocating arrows in various graphs the graphs contain info which could potentially be used to generate the code that handles those input buffers make sense? that much i've understood the actual implementation could be changed, since 'allocating arrows in graphs' is a very abstract idea any data structure which could be interpreted into arrows could store arrow info in fact, the code generated by arrow stores arrow info, but extracting that info would be very difficult which means that actual code wouldn't be kept around unless directly re-usable actually, the squeak vm code performs exactly that role right now any more questions? in all of this i still see a small kernel, no matter how minute, of privileged code :) then you have no imagination abi: slk? somebody said slk was the safe language no-kernel research project at http://www.cs.cornell.edu/slk/ do i, or do you? well, you'll admit that linux can replace it's kernel, right? yes, and so could arrows 10:50am i'm sqying that this could be done at run-time i.e. without re-booting it could there of course is a real difference between code that actually runs on the various machine processors, and data which is not but then, even code contains data i.e. binary code contains numbers, and addresses and such i guess perhaps there would be no kernel, eventually i'm saying it's possible especially since memory-protection and task-switching can be done safely at the software level as long as you have a language (or system of langs) which enforces certain safety constraints well, i will be afk for the next 15 minutes * water/#tunes is away -:- ultima [ultima@user-38lcn4c.dialup.mindspring.com] has joined #Tunes lo Heya hello how goes the hardware project? s'ok 11:00am I'm pretty much condemned to ColdFire, but I'd kill to be able to use MIPS. there's worse.... 8086 not by much ;) ColdFire is completely adequate for my purposes, I'd just rather do it on mips. Instructions like beq just give me a woodie. -:- Jacob [Jimmy@ppp204-17-109-202.online.sh.cn] has joined #Tunes je is more finger-friendly eihrul: MIPS instructions are kewl though. beq is like beq operand1, operand2, address if operand1 == operand2, branch to address all in one instruction how many cycles though? not sure. Shit shit shit eh? $4k for a MIPS eval board used? new i meant why not look for.... *mumble* 11:10am eihrul...you can get a fucking used SGI for less than these boards! so why not? hmm -:- SignOff Jacob: #TUNES (Leaving) la de da ultima! * water/#tunes is back hey water, I don't suppose you know where I can get a cheap MIPS evaluation board? i don't suppose the old conversation thread still has any momentum hmm... various pda's use mips evaluation board I don't want a PDA... i know, but that's all i know about cheap mips hardware smoke, eihrul: still there? 11:20am yes still want to talk? talk is cheap so is smalltalk! :) but so are not mips lol ls somewhat foggy as to how arrows transform into executeable code hups! eihrul: well, you can specify algorithms in arrow for any finite-state machine you would need some translator that could take, say, a bitstream modeled by arrows and converted it into an actual one yep, which would be executable code generated to implement an arrow spec for it i honestly haven't implemented that yet, but i have a pretty good idea the basic idea is that the bootstrap system provides access to the binary storage device, and you have to model this situation and link it to the model (i think) re. and the ultimate goal is to one day have arrow-native hardware? :) no hardly well, it'd be nice it wouldn't do anything for me it would theoretically happen if arrows became widely used, though -:- air [brand@p0wer.qzx.com] has joined #tunes yeah, but at that point, i'd be moving on to my next projects -:- SignOff ultima: #TUNES (Write error to ultima[user-38lcn4c.dialup.mindspring.com], closing link) bye:) -:- SignOff Miellaby: #TUNES (Leaving) 11:30am bleh oh well smoke: ? anyone? waiting for squeak to download oh there's a way to strip the image of unwanted code (safely) once you start using it you can cut down the size by about 50%, but for some reason they don't offer that version on the site they could atleast gzip it 11:40am yeah, i'll post that suggestion to their mlist done * eihrul/#tunes struggles with Netscape. just remember that the arrows code from the tunes site is very minimal. i run experiments on code on my own system so why not post such? because it's usually some weird experimental stuff that i change around a lot i put code on the site to explain things, not make them more difficult it can still be helpful if nothing else to clarify ideas about the arrow system by showing various things you're attempting with it 11:50am i disagree, because i've changed the code very many times i've re-implemented the entire thing about 5 times 12:00pm -:- SignOff eihrul: #TUNES ([x]chat) smalltalk is a weird language 12:10pm what's weird about it? hm. it's me i think. i don't understand it. it's the closest thing to tunes that i've seen, as far as providing an environment that can be played with at any level what's so difficult? you send objects messages, that result in executing code and the code just consists of more messages or VM primitives there are so many characters that i can't place.. like ^ ! : and _ ^ represents the return instruction _ represents assignment (shortcut for :=) hm i don't usually use !, so i'm looking it up almost every line ends in ! ! oh, that that's the FileOut syntax don't think of it as code you never have to use it when you program, anyway i should use the browser? well, it helps a lot maybe i should have exported the class diagrams i haven't installed squeak yet.. i only have 5mb of free diskspace here (and on top of that i'm trying to install octave, which needs a lot of diskspace too) ouch what's octave? hm 12:20pm it's a math language for numerical computation oh i use MathMorphs under squeak i've been using matlab and maple, and was looking for an opensource replacement.. MathMorphs :) hehe, you really like smalltalk, no? :) actually, i like squeak more than smalltalk i wish that they'd turn it into self they're doing it gradually ehm. what's self? oh wait that's sun's language. sorry it's a language like smalltalk, but without classes yeah well, not any more i mean, sun doesn't support it, and it's being ported to a bunch of architectures i have my backgrounds in assembler and C, so i feel very uncomfortable with all these 'newschool' languages.. newschool?!? smalltalk is older than c and definitely older than c++ i feel uncomfortable with c++ too :) hell, self's 11 years old now. it just doesn't run on anything useful funny fact, smalltalk and C both originate from 1972 :) smoke: you should :) the projects i'm currently working on are mostly about taking a simple machine to the max like forth hm i don't know forth http://www.forth.org/ it's pretty much a high-level macro-assembler if that means anything sounds scary :) it runs in tiny memory spaces, and is very fast and handles i/o and just every kind of looping construct and its drawbacks? :) 12:30pm *eek* gazing at www.forth.org example code - the syntax to start with the memory model doesn't work well on large machines the keywords are short and it's not encouraged or recommended to re-use code: better to build your own specialized code well i guess that's not what i'm looking for :) well, code re-use in less than 64k is not the usual kind of thing on one side i want to write very fast code, but i'd like to have the big parts maintainable maintain"able" or easy to maintain? hehe :) easy to maintain that's a joke what kind of maintainability are you looking for? compared to? oh yeah, i forgot to mention that "_" in squeak is displayed as a left-arrow for assignment "<-" ah. i really ought to install squeak and see what it brings me :) 12:40pm MathMorphs has to be downloaded separately, if that's what interests you i'd like maintainability that will free mee from having to think about designing c++ classes until headache strikes well, then smalltalk would be the answer, unless you need executable speed, in which case you should get a smalltalk compiler i do need the speed :) i think i'll probably end up writing a lot specific code in C anyway is there a decent opensource smalltalk compiler available? hmm gnu smalltalk hm. i'll have a look at it then.. but maybe they don't have a compiler well, squeak can convert code to c i have to go now.. thanks for the information there's already a project for dynamically-compiling squeak code to make primitives ok brb 12:50pm -:- bdb [bdb@bdb.rezel.enst.fr] has joined #Tunes hello, bdb hi another frenchman oui :) just being interested by the webpage ah browsing does lead you to some strange places ! we can answer questions for you hehe is TUNES available for my PC ? :-) :( no I was just kidding seems very interesting though. yeah, but our current problem is that Fare won't decide on a Lisp to use hehe :-) note: Fare and Tril are away I would suggect O'Caml ;-) ocaml is pretty good being a french, i was taught it at school by its inventors, and they were good at advertising it :) smoke: keep in mind that much squeak code must be "filed in" after being downloaded separately oh this explains why Fare likes it so much hehe :) it has taken me a while to understand him at all In fact, the browse that took me here was Inria -> ICFTP -> ENS Team -> Faré -> Tunes :) ah are you involved in the project ? unfortunately, it seems Tunes _does_ belong to Fare, though he believes otherwise sort of i discovered it on the web about 4 years ago, but kept separate until a year ago are there many similar os'es ? i work on an even stranger project called Arrow (in the building, i mean) there's UniOS, i guess but most aren't like tunes as far as abstractness hmm abstractness is _cool_ abi: arrow? hmmm... 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/ s/representation/manipulation ... don't ask even Fare doesn't get it you're all kind of theoretical people here, hmm ? :-) well, i am and fare is 01:00pm maybe tril and tmf are too, in some ways do you know what they are having me learn at school at the moment ? the lap-b serial line protocol :) but the rest are coders i see eek :) well, not only that, hopefully ! that characterizes why i dropped out, anyway i couldn't afford to take classes like that while working on my project i could write your lap-b driver if you need it at some point :) er... we'll let you know :) :)) right now, i'm concentrating on completing the arrow theory tell me when the book ships :) well, there's an intro on the tunes site (draft form, since the system isn't ready for release) yes, i'm sort of having a look at it. yeah, there eventually will have to be a book is tunes currently designed to run over unix ? well, the prototypes we've written run on linux well, posix ok i was thinking you probably hadn't started with assembly code :) god, no :) that's how os start, mostly ! no, we go for lisp or scheme i see. well, we shouldn't write the os unless we can write the compiler since it's supposed to be reflective anyway, caml has too much keywords to be aesthetic -> prefer lisp... (or schemeà ) yeah, it makes it more complex to reflect upon eval & apply for ever! :) :) actually, i'm also a smalltalk & self fan the scheme compiler in scheme is quite straightforward, i was told ? wait... brb i mean, interpreter 01:10pm bye all, gotta go ! -:- SignOff bdb: #TUNES ([x]chat) back darn 01:20pm cool! the Self/R page is starting to show results 01:30pm -:- NetSplit: irc.linux.com split from lewis.openprojects.net [01:41pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [irc.linux.com] -:- Netjoined: irc.linux.com lewis.openprojects.net -:- Tril [dem@bespin.dhs.org] has joined #Tunes -:- abi [nef@206.63.100.13] has joined #Tunes -:- Fare [fare@quatramaran.ens.fr] has joined #Tunes -:- water [water@tnt-9-246.tscnet.net] has joined #Tunes -:- tmf [s720@rovmaur.ii.uib.no] has joined #Tunes -:- smoke [smoke@14dyn26.delft.casema.net] has joined #Tunes -:- air [brand@p0wer.qzx.com] has joined #Tunes -:- ServerMode/#Tunes [+o Tril] by irc.linux.com who's messing with the logger? is anyone here? 02:00pm * smoke/#tunes 's here every now and then. k 02:10pm -:- water [water@tnt-9-246.tscnet.net] has left #tunes [] -:- SignOff smoke: #TUNES (Zz.) -:- hcf [nef@me-portland-us725.javanet.com] has joined #tunes -:- SignOff tmf: #TUNES (Leaving) -:- Downix [down@d-gnaps-134.ici.net] has joined #tunes Downix: hey -:- SignOff Downix: #TUNES (Ping timeout for Downix[d-gnaps-134.ici.net]) 03:20pm -:- Downix [down@d-gnaps-71.ici.net] has joined #tunes any1 used infodisc cd-rw's before? not I 03:30pm 25pk for $13 u heard of cmc magnetics cd-r discs? nope $7 for a 20pk do u use cd-r's at all? yes Sony CDU-928 what kinda discs do u use? usually Sony heh samsung has a 700meg cd-r disc impossible due to the fact that every CD-R has the same max 03:40pm to make one that's larger would make it incompatable they are all 700+ meg unformatted, but formatting them removes a lot of that memory this is 700meg 80min audio very few support them mine doesnt mine doesn't I'll guarantee u probably need a new cdr drive to do 700meg I'm not buying one just to add 20 meg 50meg nopt worth it in the end -:- eihrul [eihrul@usr5-ppp185.lvdi.net] has joined #tunes can u burn a cdrw to be a cdr? so it will work on most all cdroms? the damn cdrw's are $.50ea and the cdr's are over a buck 03:50pm nope air a cdrw is a cdrw a CD-R is a CD-ROM damn ok -:- SignOff Downix: #TUNES ([BX] Dr. Kavorkian would KILL to use BitchX. Shouldn't you?) 04:00pm -:- NetSplit: irc.linux.com split from lewis.openprojects.net [05:07pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [irc.linux.com] -:- Netjoined: irc.linux.com lewis.openprojects.net -:- Tril [dem@bespin.dhs.org] has joined #Tunes -:- abi [nef@206.63.100.13] has joined #Tunes -:- Fare [fare@quatramaran.ens.fr] has joined #Tunes -:- air [brand@p0wer.qzx.com] has joined #Tunes -:- hcf [nef@me-portland-us725.javanet.com] has joined #Tunes -:- eihrul [eihrul@usr5-ppp185.lvdi.net] has joined #Tunes -:- ServerMode/#Tunes [+o Tril] by irc.linux.com -:- Kaufmann [Kaufmann@200.224.105.148] has joined #tunes Hey! lo 05:20pm -:- SignOff hcf: #TUNES (Leaving) -:- water [water@tnt-9-232.tscnet.net] has joined #tunes wb thx got ?'s i mean, do you have questions? ok, maybe not anyone want to talk? aside from the bootstrap ontology... not much i guess it would be the "arrows and graphs" ontology, if it is one 05:40pm -:- SignOff Kaufmann: #TUNES ("Jesus would make a good main character for a Seinfeld spinoff" - Amber) why do you ask? actually, my reflective arrow logic (with textual input) would probably be the first ontology you have to have some way to make the system active... it can't just be completely passive data yeah, i'm working on that... the arrow logic part will address it Be right back 05:50pm !Hyrinux:*! Abusing my wallops priviledge ... I'd like to ask if anyone is up for a few rounds in quake3 on a decent server... -:- Kaufmann [Kaufmann@dial608.infolink.com.br] has joined #tunes !irq:*! hang on back hey kauf, why'd ya leave? eihrul: reflective arrow logic quantifiers can introduce new arrow graphs and switch arrow contexts and, hopefully, ontologies -:- SignOff Kaufmann: #TUNES (Ping timeout for Kaufmann[dial608.infolink.com.br]) indeed, but you need to start somewhere :) yes, which means i need "arrow primitives" or perhaps better, "graph primitives" now, i have classes for arrows and graphs but i haven't looked into how to make smalltalk-proper primitives * water/#tunes looks into this eihrul: do you have squeak yet? 06:00pm yes what do you think of it? too naive with it yet to have such an opinion :) well, if you have questions, just fire away btw, i work in the Morphic UI, mostly how do you run a given smalltalk file (i.e. your arrow code) you have to import the file... open the desktop menu, the select "open..." and "file list" then you browse until you find the right *.st or *.cs file, right-click on it, and select "fileIn" that results in the system parsing the file and creating the classes and objects in the file you then open a browser to look at them, or use a workspace to invoke them 06:10pm no 'fileIn' what's the file's extension? if it's not *.st (say, *.txt), then you have to rename it to remove the extension arrow.st hmm you right-clicked on the file name in the file list? yes ah second mouse button so not right, not left, but middle :) oh, you have all three mouse buttons all three are used for squeak * water/#tunes uses Alt-right for middle two button mice are not quite x11 friendly yeah, so i've found with my linux-box know of any good smalltalk tutorials? :) hmm... 06:20pm i know http://www.squeak.org/ has links to a few * eihrul/#tunes sees he will not go far with Squeak unless he learns smalltalk. well, the syntax can be seen from the browser i can't even find the imported arrow objects :) er... once you select a method for viewing scroll down the list in the first pane at the bottom, you'll find "Abstract-Arrows" that's the category of my classes not there... i'll try importing again what's the last entry on the list, then? actually, click on the first pane (middle button?) and select "update" no luck darn it, i should have sent you my image... it has syntax-highlighting and is already set up for arrow is it working now? i tried importing/updating a few times, but no... am reading a tutorial right now k 06:30pm can you redefine operators in smalltalk as messages or are they just treated as primitives? "operators"? oh, arithmetic yes they _are_ messages that's what i wanted to know :) look into their code within the Numeric collections to see how they wrap around primitives yes, there are unlimited-length integers and naturals and rationals and reals .... and complexes, etc nice yeah mathmorphs are even better so if i wanted to play around with smalltalk, i just put code in a workspace then do what to run it? select the entire text, then click on the selection and pick "doIt" from the menu there's actually a system for programming graphically, but it's still a prototype system 06:40pm * eihrul/#tunes is not very proficient with mice, anyway. you will be ;) actually, there are shortcut keys everywhere * eihrul/#tunes got a trackball yesterday, so maybe not. well, that's what i have as well much easier to target things with yeah how do i print a value? hmm... like show 4+3? yes select "print it" instead of "do it", silly :) i just saw that, but there was an object you could send a message to to print a value what object was that? cannot remember the name, i believe it started with a T 06:50pm transcript? yes you can open a transcript window from the desktop i don't work with them very much, except when i'm toying with handwriting-recognition Transcript show: 'foo' oh ok haven't worked with it ah.. i see * eihrul/#tunes revels in the short-cut keys. of course... the same kind of code is what the handwriting recognizer uses which means it could be plugged into anything, potentially hmm stupid bochs wont let me press a key and step into the irq * eihrul/#tunes wonders if you could boot Squeak as a stand-alone environment. perhaps wiring it to OSkit? well, they've considered doing it they did it with kaffe but they probably won't until the native-code generation project is done which will be a few months * eihrul/#tunes ponders where BRiX is supposed to fit in with a native-code generating squeak. it could disclaimer: sarcasm given above about booting it stand-alone? or about Brix? oh n/m 07:00pm there is an irc interface in smalltalk? er squeak? yep you'll have to get into morphic even emacs doesn't have that :) from the desktop, open "project (morphic)" done click on it to enter it now from the desktop open IRC chat btw, morphic is 10 times more powerful than the other UI you were using, but it's still in development is there any help file in here? :) and if you see these dots pop up around a window, ignore them (click outside somewhere) er, doh, everything in here uses the middle button hmm... help for morphic... er... open a browser and read the comments for the source code :) is there any way to make it cover the whole screen? squeak? squeak is probably a cool language descended from Smalltalk, at http://squeak.cs.uiuc.edu/ or at http://www.squeak.org/ or The open source mouse that roars! yeah doh! even if i resize the window it stays the same size when you resize, click on the desktop, "restore display" that's a VM bug that hasn't been fixed yet click desktop, then "appearance", then "full screen on" to make squeak full-screen -:- eihrul-squeak [eihrul@usr5-ppp185.lvdi.net] has joined #Tunes lol hello again so how do i resize the window? :) 07:10pm the squeak window or the irc window? the whole squeak window just resize it like normal, and select "restore display" oh wait... you're in X11, aren't you? there, worked... you can use squeak outside of x11? hmm... i think that there's a version for it there IS one for bare dos and i know that you can emulate dos how the flip do i get outta this morphic thing lol air in squeak?!? morphic is nice.. what is the world coming to? select "previous project" from the desktop use "jump to project..." in the general sense if i ever do decide to finish my kernel, squeak would make an excellent environment for it methinks yeah, it has a lot of potential -:- SignOff eihrul: #TUNES ([x]chat) it still needs some improvement before the average person can really use it to its potential /nick eihrul ack -:- SignOff eihrul-squeak: #TUNES (Read error to eihrul-squeak[usr5-ppp185.lvdi.net]: EOF from client) -:- water-squeak [username@tnt-9-232.tscnet.net] has joined #Tunes -:- eihrul [eihrul@usr5-ppp185.lvdi.net] has joined #Tunes testing, one two three irc is bit clumsy, but otherwise... i can feed back bug reports to the squeak mlist is there a squeak-terminal? yeah, but you have to download it where at? 07:20pm check out the squeak site... there's a connection to a Swiki (smalltalk wiki) if i could just port squeak to GGI, i'll never have to use X11 again :) it has links to all of the add-ons that people have made which reminds me, there's a special Swiki interface for squeak in it now hmm... updating "self #nick" doesn't work i'll have to mention that -:- water-squeak [username@tnt-9-232.tscnet.net] has left #Tunes [] btw, there's a well-known performance lag with ports that squeak has, and a few coders are working on it can't find squeak-term hmm i remember someone mentioning a t3270 found syntax highlighting, tho make sure to get the 2nd version the 1st won't work after image version 1.8 or so 07:30pm squeak telnet telnet is under "goodies" i have almost all of the goodies in my image, so it's quite bloated 6.4 GB hd's remedy that hehe -:- air-squeak [brand@p0wer.qzx.com] has joined #tunes yeah, but my "bloated" image is about 6.3mb in fact, i have a squeak image ready for my Casio E-105 when it arrives the image i got started at 5MB stripped down of course yeah, well i don't use speech-recognition very often, which would boost image size by a mb or two :) -:- hcf [nef@me-portland-us135.javanet.com] has joined #tunes hcf! wat! i'm sharing the gospel of squeak :) i even got air to check it out praise the vm :) eihrul: have you checked out the 3d scripting stuff? it uses a vm plug-in nope 07:40pm it's in one of the "play with me" windows in the original MVC project it has a tutorial with it dern... can't find TelnetMachine even though i filed it in... hmm did you update the "class categories" pane? i just tried to open it in a workspace oh it's probably not that simple open a browser and look through the source to see what messages it responds to i can't find it in browser and the class isn't found either when i try to instantiate a new one weird i can't figure out how to run it neither can i :) this irc chat is dumb i mean, the class exists, but i can't get it to open 07:50pm air: the squeak client or the content? :) i tried 'find class' and i got nothing squeak client air: yeah. why don't you re-write it? testing :) its nothing more than a telnet client well, it does have some features, like user and channel lists and message windows oh wow eihrul: "TelnetMachine open" it works fine "Unknown variable: Telnet Machine" er w/o the space it isn't loading the class at all oh wait what os/gui? debian/x11 the files have apple-style cr's there's a way to change the fileIn so that it handles them correctly so i have to strip them out? -:- SignOff air-squeak: #TUNES (Read error to air-squeak[p0wer.qzx.com]: EOF from client) no. i'm looking up the class variable that you have to change hmm nice quick message quit keep in mind that code gets improved in squeak extremely quickly there are usually about 5 bugfixes per day and 3 enhancements stripped them out stripped what out? oh n/m actually, the answer is in the faq stripping didn't help will check faq 08:00pm http://minnow.cc.gatech.edu/squeak.565 found it it doesn't say what to change though er, n/m System-Files/FileStream(class)/concrete classes/concreteStream found... how do i commit the changes? trust me :) alt-s or select "accept" from the pane's meny menu btw, notice that the "?" box in the class pane will bring up class overall documentation agg, still not working but you _stripped_ the cr's the cr's have to be there but i output to diff filenames oh did the syntax-highlighting file in correctly? didn't install that yet 08:10pm squeak doesn't like this page very much what page? the page the syntax highlighting was on oh syntax highlighting is not loading hmm... and you changed FileStream #concreteStream to ^CrLfStream? yes ugh 08:20pm don't know... maybe you downloaded in text mode instead of binary nope, the carriage returns are still there that's really strange could it be a bug in this version? maybe in your vm, but the image can't be the problem i'm using 2.4c should i be using a later version? there isn't one for linux i have 2.5, but it hasn't been ported yet 08:30pm i can read the file in from a workspace cool is there any way to take that and load it in? i don't know select all and "do it" i think it worked... it said "loading TelnetMachine.cs", haven't seen that ::) hehe yeah, that's what you should have seen earlier i just did (FileStream oldFileNamed: 'TelnetMachine.cs') fileIn hmm that's odd that it works if i load file in workspace, but not from browser easier to load from workspace anyway, though yeah well, check out the arrow code, if you could the image will maintain all loaded classes, even if i exit, right? you have to "save" before exiting or "save and quit" done how do i get syntax highlighting working? it's that way for safety, since you won't discover a bug in a method until you actually use it just file it in and open a new browser did check out a message just monochrome (in the 4th pane) hmm hold shift down while de-selecting and re-selecting the mmessage once 08:40pm then de-select and re-select again (without shift) nope damn you opened the browser after filing in? yes :P why not try arrow? :) arrows are loading, atleast they don't do anything by themselves, yet so no bugs so far :) what is foo? or atleast in the context of an Arrow "SyntaxHighlightingParser doSyntaxHighlighting" just the state of a reference mm... color cool yeah, it makes the syntax more clear for newbies make sure to notice the class hierarchy AbstractObject -> Arrow -> ArrowGraph -> ArrowWorld 08:50pm AbstractObject inherits from Object itself this allows me to treat a graph as the arrow that forms the parent node of its meta-graph don't you get the same effect by subclassing ArrowGraph from Arrow? -:- td [x@1Cust22.tnt3.wilmington.nc.da.uu.net] has joined #tunes that's exactly what i did hi td then what is AbstractObject for? hey to allow the naming of objects.. it will provide the default user ontology for system objects it's only variable is "uiName" /me foo hrmm ? not many features btw, reference is a class instead of a variable, because variables can't refer to their containers, whereas and arrow's references must be able to refer to their arrows nope. not yet features should stay in the objects as much as possible, not the classes 09:00pm i should put an ArrowWorld into a MorphicWrapper to make it into an actual project i was talking about IRC-Chat specifically :) oh :) you have to disconnect and reconnect after doing "self nick: foo" to change nicks wow, squeak browser even handles images gifs, mostly no more netscape :) there's a vrml viewer, but it doesn't work with the web browser it's got a long way to go, though there's a java system and xml parser in the works, too java squeak? shudder.... well, it won't be part of the standard image 09:10pm the central squeak development has to do with native-code-generation and JIT compilation must go do homework, bye -:- SignOff eihrul: #TUNES (Read error to eihrul[usr5-ppp185.lvdi.net]: EOF from client) hmm... anyone else out there? 09:20pm ya i am i am sooooooooo close to having a keyboard driver in brix you mean the kb doesn't work yet? no well, that's re-asssuring it will in like 5 minutes i currently have a text mode screen driver that will support text windows in a few days ah also have a speaker driver :) so what's wrong with kb input? well the driver works fine its getting it to run oh but i have found several stupid typos i made in the kernel that were the cause hehe someday, i will have an os kernel where "typos" would be impossible to make its making bochs segfault right now when i press several keys and bochs kinda dont give any log file when that happens so i have no clue what happened and im forced to manually step thru it until it crashed crashes 09:30pm hmm i think tril should junk his os-help/ideas mailing lists and just add a pointer to the pmode-l mailing list hehe dont u agree? i don't look at that list at all 09:40pm -:- SignOff Fare: #TUNES (Ping timeout for Fare[quatramaran.ens.fr]) -:- Fare [fare@quatramaran.ens.fr] has joined #Tunes -:- lar1 [LarMan@1Cust5.tnt31.sfo3.da.uu.net] has joined #tunes Hey hey lar Hey water you old enough to drive yet? :) Me? Nope yeah, i know 1 3/4 years left :) btw, don't come to me with your ideas and expect me to be interested until you've learned quite a bit more 10:00pm Water: Who was that directed to? hmm. maybe it was addressed to the 14-year old people in the audience What should I learn more about then? anything... compiler design, language implementation, language paradigms, ... look into actual language implementations and learn how to use some of them learn about advantages and disadvantages of as many languages as possible before touting a language idea as "the solution" for problem X Are you telling me this because of my idea for that compiler? yes Last night I decided to drop the project simply because I don't know enough about optimizing, and I am not willing to learn it all right now i can point out a few really good books about optimizing I don't want to learn that right now well, optimizing assembly using software is probably the hardest way to optimize I want to learn more about OS stuff eek what's the hardest program you ever wrote? Mmmm, I don't know just an example Mandelbrot set generator? I haven't done alot of really hard programming. I know lots of how it works in theory... 10:10pm * lar1/#tunes invisions water in a histerical laughter what is it you want to know about oses? how they work or how to code them? no, i'm not laughing, i'm trying to find out how to get you on a good track I figure I need to grok how they work before I can grok how to code them (although now that you mention it, "bwa hahahahaaa!!! :) Because all the time someone in here is talking about somthing and I go, oh crap, better add that to the design! so, you want to know how oses work in general? hcf? :) yes? I know how they work in general... I think * hcf/#tunes is back can you help him with pointers about how oses work? I want to know enough to be sure that when I start up emacs I don't have to reimplement a whole bunca stuff because I didn't know about somthing lar1: sure abi osweb? water: no idea www.osweb.8m.com , i think Is that a sure of sarcasm or a sure of aggreement? abi: osweb is at http://www.osweb.8m.com/ ...but osweb is at http://www.osweb.8m.com... hcf! geez beetcha :P :P :) Hey! My OS is listed there wow. Umm what should I be looking for at this site? research projects, mostly Uhhh, where do I even start? That is a pretty extensive list! hehe lar1: check out the nachos link(s) on tunes-rev-os yeah, that one's a good uK teacher Hmmm, eihrul has tought me to hate uKs... there's also the OS Ring, which has more HowTo info lar1: great, hate things u dont understand, good start abi: OSRing is at http://junior.apk.net/~qc/osring/index.html hcf: I can only go by what I know hcf: Don't uKs have lots of overhead? 10:20pm lar1: dont go by ppl's biased opinions, seek the truth How? Every thing I learn will have a bias to it lar1: there are tech reports for all good research Now I am just lost where? My mind, I need to reboot it lol NeuroWare -- Build 14 starting... :) Where do I go from here? learn about different file-systems Ugh or memory management Ugh++ or task-switching Yah! or thread support Yah! or even (dare i say) high-level language kernel-writing Isn't task switching easy? hehe oh yeah, it's a piece of cake ;) I had my task switcher all planned out how would it work? The timer would be set to quantum of each thread. Every time the timer interupt would occur, the registers would be saved and the next thread looked up. Its registers would be loaded and execution would resume. * lar1/#tunes hides almost Registers being saved via software 10:30pm Tsses are too bulky u do need to check for sleep timers and load iobitmap tables for system threads air: true And also if a thread needs v86 mode, I must switch to that water: What do you think? i gave up that kind of os-writing a long time ago... it's too difficult and time-consuming for the value of the end-product (which makes me less of a coder, i suppose) water: How would _you_ do it? i _wouldn't_ :) So you don't switch tasks ever? serously, i'd put the functionality into the compiler or the language vm Huh? and leave switching within processes to the language Ouch! exactly That just hurt my head my idea of an os is not yours No, not at all (or most people's, for that matter) oses are lame How so? they require c or c++ or assembly programmers to work on them in secluded places for long periods of time in order to adapt to new circumstances or to just fix bugs How is your idea different in that respect? "lame" = hobbles around because programmers have to hold onto its legs and push them around to get it to move hmm 20 minutes to have keyboard support in brix or im gonna shoot myself air: Whats to hard about keyboard support? s/to/so the language implementing the os should be simple enough for the user to work in, and dynamic enough to allow new kinds of semantics for the os You dont care about factors such as speed? yes, of course i do but speed is always relative to the task that something is designed for I see your point I want my os to do heavy gaming and anything the avgrage Joe would want to do on his home box hehe... for c-coding game programmers, of course 10:40pm anything that the c-coders let Joe do with their programs Whats that suppossed to mean? it means that if Joe isn't a c-coder, then he doesn't have a choice c-coders have power, and others don't lar1: there is nothing hard about keyboard support. its making my really nice event handlers fork threads for the keyboard driver and then making the keyboard driver fork a thread to the client that received the scancode Why don't forth coders have power? air: Why so many forks just to deliver a scan code?! the event handlers are forking correctly now and i have found the bug that made the keyboard driver not fork the scancode they have a certain kind of power, but it is again limited by the language used lar1: thats the way brix works lar1: very flexible air: Isn't that mucho slowo? no water: But you are always limited my the language of the platform, right? water: The opcodes of the chip stay the same... damnit, i bid $31ea for 8 1.2gig drives and was 3 of 49 earlier today and now im 31 of 42 well, there _are_ fpga's, but i digress air: fpga? Is that like a bigass gal? air: Ouch field programmable gate array auction closes in 14 hrs im gonna have to bid $34 each a processor whose (read-writable) microcode completely determines processor architecture water: Like a whole bunch of generic gates and your code decides what each one of those gates become? yeah Why do you say nay to that? air: What auction service do you use? 10:50pm abi: be water nay hehe now, i'm a naysayer :) abi: be lar1 water: Why don't you like fpgas? abi: be lar1 but i _do_ they're just not relevant lar1: add a saying to abi by using 'be lar1 is saying' hcf: Ok abi: be lar1 be lar1 is AIEEEEEEEE! water: How are they not relevant? we're discussing os principles water: Doesn't the OS depend on the architecture, though? yes, but having an fpga cpu just allows the cpu to take over os functions Is that not reflection in a way? lar1: i use both ebay and onsale but im on onsale right now 11:00pm -:- SignOff water: #TUNES (Ping timeout for water[tnt-9-232.tscnet.net]) air: Which do you perfer? * lar1/#tunes has tried ebay and donsn't like it too much they both have good deals Onsale doesn't look like an auction place... Ohh, nevermind Heh, it would help if I clicked on the auction tab :) YES right after i tell the keyboard driver to resume the forked thread it will work Cool ok maybe just a little more debugging :( heh 11:10pm Whats with this rectuangular pixels in digital cameras crap?! I want _square pixels_! 11:20pm -:- SignOff lar1: #TUNES (Leaving) -:- SignOff hcf: #TUNES (Leaving) -:- demoncrat [darius@shell.accesscom.com] has joined #tunes demoncrat: u got any 386's ? can't say I do [msg(TUNES)] newlog 1999.1004 IRC log ended Mon Oct 4 00:00:00 1999