IRC log started Tue Sep 28 00:00:00 1999 [msg(TUNES)] permlog 1999.0928 12:10am -:- SignOff liar: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) -:- NetSplit: adams.openprojects.net split from devlin.openprojects.net [12:15am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [adams.openprojects.net] -:- water [water@tnt-9-102.tscnet.net] has joined #tunes anyone here? 01:10am -:- SignOff td: #TUNES (Ping timeout for td[1Cust250.tnt1.wilmington.nc.da.uu.net]) -:- smokie [tw026024@zaalf05.twi.tudelft.nl] has joined #tunes hello smokie hoy anything gnew? well, i've been working on my arrow stuff and i want tunes to get back to work the group, that is 02:20am and you? i was doing some gui design -- completely not os related :) what sort of gui design? (yes, it's related) (especially for tunes) i'm trying to build a platform and display independent gui framework, which should allow for both a flexible and a fast gui it's implemented it in C++ so the implementation is what you're designing eek display and platform independence in c++? have fun yes. :) I found out on altavista.com that 'gui design' generally means some artistic effort related to placing buttons on a screen :) well, that's for the average idiot do you have something against c++ ? (a lot of people seem to) i definitely do ever tried another oo language? Is that from an OS designers perspective, or just allround? (not java, i mean) it's more of a philosophical stance. it's a waste of your time literally I have tried some other languages, but never did enough to really understand them.. Some experimenting with Dylan, Sather, smalltalk and java i use smalltalk, mostly. it's not great, but at least i can program without worrying about complexity of code would you like to elaborate a bit on the drawbacks of c++ ? actually, it's best feature is that the squeak project supports it on many oses drawbacks? well, if you ever want to be able to program dynamically and safely, then c++ is terrible A very important goal for me is high execution speed for the gui.. The applications I want to build should run on a 486 and a p100 (those are my only machines) i hate tracking down c++ bugs that have nothing to do with "what i want my code to do" smokie: tried ggi? Yes, I've been using it for some time what's wrong with that? (i have no experience with it) However I have to support X natively too, because at university libggi is not installed, and my quota does not allow for it :( bleh. i don't envy you, then 02:30am I assume you are more into OS design than gui ? i want tunes or arrow or nothing i was a bit scared about the speed implications of tunes :) i realized a few years ago that it was the only reason that i ever wanted to use or program a computer bs there should be no speed implications btw, self is very close in speed to c++ code i'm just paranoid, i know there shouldn't be any problems with speed.. it's that some new standard design issues involve allocating as much memory as is useful for the programmer, not for the actual user "new standard design issues"? hum :) i should be somewhat more careful in what i say i'm not offended, just confused (start-excursion the GNU project, for example, advises to allocate more memory instead of performing weird 'hacks' -- in order to keep the code clean..) oh and my impression of the tunes project was that it was focussing on 'clean' programming strange is it my personal misconception of the tunes project ? (could well be, i still don't understand the project well) well, cleanness is always good when you can get it tunes wants clean code everywhere ah then i'm not mistaken :) now comes my point :) but we want it in high-performance areas, too 'when you can get it' can mean 2 things: 1 for the guy with the new P-III, and another for me with my 486 and p100 that what the "reflection" buzzword is about :-) yeah, but you could argue that for a 6502 indeed ! :) i have this personal dilemma; it wouldn't be hard for me to buy a P-III, but I just don't feel the need.. there's a threshhold for any kind of near-realtime performance for any programming scheme the things i want to do with my machines are mostly experimenting with some math and then writing a TeX article about it.. I could do that on a 286 eventually.. get a powermac g4! :) however, i see linux eating up more and more memory each day, and Hurd was even worse.. So my interest in new OS designs started growing, but my hopes went down :) all of them are oses written in c/c++, you'll notice :) 02:40am i got the impression that dynamic languages eat even more memory -- is that a common misconception with stubborn static-language people? :) sometimes dynamic languages do (as in self), but usually that's an implementation decision for instance, newtonscript runs easily in 640k, but is much like self hm iirc self is a product of sun? sort of they did the research for it, and it's on their site, but now there are programmers trying to make open-source versions aha interesting i have been considering other languages, but i really want to start programming [excited sigh] yeah, the desire to program should override quixotic fantasies :) for the gui itself we probably will have to implement a new language there are some scheme interpreters but they're all too slow for realtime purposes well, my gui ideas center around making a "system of visual concepts" for the user to work with hmm the basic routines could be compiled statically, leaving the high-level semantics dynamic perhaps i had better called it a 'ui' then whatever. i only have tunes/arrow in mind indeed.. it's the base that we wanted to do in C++ (with some assembly language where needed and possible), and then build the top layer in a special language :) arrow is a base OS for tunes, no ? well, i meant statically programming it in the hll what?!? hell no! :) eek i said something wrong :) arrow is a superset of tunes 02:50am note the lack of knowledge about the tunes project that i bear well, the arrow docs are fairly small hum hum .. i thought tunes was a superset of nearly everything already... hehe or is it that tunes is the OS related superset, and arrow wraps a ui too ? er.. sort of arrow adds on the idea of ontologies and formal information theory "An Introduction to the Arrow System" i should read that now :) actually, it replaces the hll with epistemic and ontological constructs hm it's not a very good paper, but i am working on replacements ontology is scary science to me it's definitely too abstract for the average person (or the average tuneser, for that matter) all i did related to ontology is limited to defining a database consisting of 3 fields and N+1 records (where N approaches infinity) hehe field_from field_via field_to, all of type INT the ontologies i want to use will require a new theory everything could be described in such a manner, by simply linking it to other objects.. the images that appear when you look into infinity should resemble reallife probably :) maybe i'll call them "abstract ontologies" yeah, that's the idea roughly 'link' is _the_ word here i think. 'link' = arrow? :) hm hm hm lol there IS a substantial difference between a link and a directed arrow i'm afraid a directed arrow is limiting well, the arrow can be interpreted with meaning yes, which introduces the need for meaning i.e. context-dependence hm which, say, ontologies could provide? :) er... maybe meta-ontologies come to think of it, i explained the field-structure wrong.. it shouldn't be from-via-to but just node-link-node that saves space by a factor 2 to start with :) i've definitely been considering methods to save space in my arrow prototype what i thought of was to limit the database each night 03:00am "each night"? ehm it's a dynamic system.. records are added every second when you type in a new word for example, that's added to the user so you mean GC hm hm sort of yes every night the system could start in a few random nodes (or possibly the last-touched ones) and from there browse the link-tree or more like taking a change log and compacting into the db 10 levels of browsing or so should be enough; the records that are not touched can safely be destroyed then (the human memory fades too) dunno about that i assume our models differ wildly at the implementation level :) i just thought about it for some months and then let the idea go implementation should follow design philosophy i couldn't find a medium that could hold the N approximation well, i've been working on arrow (off and on) for about six years wow it's really funny to see that more people have thought of it :) yeah, i thought up the vague idea on a school bus it's a common idea hm i didn't think so the idea of using links to specify meaning was explored in the sixth century wow but they didn't have the conceptual ammunition to deal with the complexity most people don't have the power to understand nowadays either well, "most people" don't understand much at all i gave up on the idea because everyone i tried to explain it said 'jeah jeah in the year 3000 perhaps it'll work' hehe i'm very stubborn i should have explained it with N instead of 'zilliards of records' perhaps :) but then, i've convinced quite a few people well, my system intends to deal with numbers without limit (beyond any particualr infinities you have in mind) the first idea that i could come up with was NODE(int),NODE(int),DESCRIPTION(string-of-chars) eek after some days the DESCRIPTION field seemed somewhat irritating, and then after some more thinking it seemed useless too you should read that paper but then i felt NODE(int),NODE(int) was somewhat limited, and then i introduced the LINK(int) field so to speak i'd like to know what you think of it i'm very much interested and i'll surely read it! cool thanks are you working on this at a university btw? nope. i dropped out because my cs and math dept's couldn't help me at all i'll be going back in about 2.5 years i correspond with a bunch of professors, though 03:10am The goal for the system is to promote complete freedom in the sharing of useful information among people and machines. _very interesting_ hehe was that your first goal or did that pop up later? well, it's not the precise goal, but the sentence describes it fairly well the first concept i had was designed as a generalization of a BBS my idea was closer to ai. i later realized what exactly i really wanted it suddenly embraced the WWW and a lot more too my original idea, that is well, i wanted to make it personal (or at least personalizable) hm it could be that AI played some role.. at that time we were discussing an AI environment for virtual robots that could explore a virtual reality personal? yes, it relates to some ideas about information privacy rights *thinks* like the ability to shape your thoughts any way you choose and still be able to share them with others aaaaaah! one could just open up the personal database for others to learn from? ..so to speak increased diversity of human creation without having to rely on a "standard" yes, sort of aren't you afraid of the HUGE recordlists? but you could also have the ultimate ability to hide info not really. i knew that this project would only find a home in performance levels of the future hm (back in 93) one really needs a big as/400 for things like these and there are many ways to compact information structures no, not really at least, i don't intend it to need a big machine considered a distributed approach? sort of standards could be posted in places, but only their public availability makes them standard another thing-what would make a basic storage link? the 'integer' in my model isn't all that nice well... arrows i.e. abstractions of pointers actually, CONS cells cons? from lisp ehm i know but very little lisp (emacs lisp for helping me in editing) a cons is the basic unit of lisp syntax. it's a data structure with two elements. each element can point to another cons, so you can build up syntax trees or loops or other shapes 03:20am cons = (a b) what is (+ a b) then for example? that has 3 elements it's really (+ (a b)) aaaaah it's syntactic sugar okay :) one last note before i go.. sure wouldn't this all fit in fuzzy set theory? eek okay that was a hard one yeah, maybe, but the arrow theory is very precise extending the object concept to a fuzzy set and the arrow into a set-operator.. and it has no semantic assumptions built in hm hm which allows more to be built into ontologies than other languages allow an arrow could easily be defined as the (what's that operator called in english) lambda? set-membership? x is element of both A and B A through B ? A cut B ? read the paper sorry, i only know it in dutch and as a symbol :) right it's ok okay i'll stop rambling.. :) thanks for this discussion! bye bye no prob bye -:- SignOff smokie: #TUNES (smokie has no reason) 03:30am -:- hcf [nef@me-portland-us1037.javanet.com] has joined #tunes hcf! :) water! i've been ts&r'ing the computers inmy house for a week the house sitter really screwed them all up :( ts&r? troubleshoot and repair anyway, my desktop system is now totally a linux box so ur back? yep. for a year or so i need to upgrade the kernel, though, since my agp card is now useless redhat 5.1 only comes with 2.0.34 i'll be getting beos next month, and that will be my primary user os oh, i got a reply from some of the professors whom i wrote they don't know of anyone who could help :( damn it they suggested i go to uwash for paper proofing since i live nearby 05:30am i even explained how reflective arrow logic related to Lisp, since the notion is familiar, as well as their own research however, i've been steadily refining my ideas for the arrow code as well as the formal specs unfortunately, i don't feel ready to commit any of the ideas yet to code until i go on vacation next friday, when i can devote more attention to it oh yes, i'm moving to downtown seattle soon, primarily to get closer to the univ district as well as the library system any news for tunes? has fare done a damned thing yet? not afaik #modtunes isn't even logged yet, apparently abi: seen fare fare was last seen on IRC 1 days, 13 hours, 23 minutes and 49 seconds ago, saying: goto 3053 [Sun Sep 26 16:10:25 1999] yeah, i checked the logs already for the last few days i havnt been here much i'm still not done reading all my email when i have been, all i'v seen is liar and his bfe stuff btw, the squeak project is really active the most interesting projects they have (imo) are the morphic-interface unification and their work into reflection they actually have a means for adding on bytecodes for compiled smalltalk code _dynamically_ (well, not really realtime, but close) 05:40am so whats next? for whom? u well, my two-week vacation will give me time to relax and then focus i.e. focus on squeak code and papers i'm thinking that code should come first, docs later since i already have a fairly good idea of what to write, but feel very uncomfortable writing about software that doesn't really exist why not code+docs as one? well, the code will be documented, but the formal theory requires some extra notation that squeak doesn't yet support btw, squeak now has a postscript-output facility (oh yeah, i forgot the token complaint - working in a shipyard sucks. there. i've said it. :) 05:50am -:- smook [jcva@zaalN.twi.tudelft.nl] has joined #tunes hello smook hi i have been reading your paper partially.. it lightens up a lot cool i also noticed that what i was thinking of is what is called pointless arrows i almost forgot abi: accial? accial is, like, "A Crash Course in Arrow Logic" at ftp://ftp.phil.uu.nl/pub/logic/PREPRINTS/preprint107.ps.Z who invented arrow logic? johan van benthem 1991 is he dutch? yep aha i've been corresponding with him, off and on do you happen to know from what university he is? (if at all) he's a pretty big name in some circles yeah, univ of amsterdam i'm from holland too but definately haven't been to the right circles :) hehe... FoLLi is the organization interesting never heard of folli either "euro association of logic, language, and information" unfortunately, their journal subscription is the usual $300 per year perhaps our university is subscribed to it.. perhaps i'll be back later it's mostly very formal logical stuff, and so isn't of much use to a programmer ok 06:00am brb 06:10am i'm off -:- SignOff smook: #TUNES (Leaving) 06:30am well, i have to go to work now hcf: have anything for me? well, i'll see you tomorrow afternoon, since i have duty for the next 24hrs bye -:- water [water@tnt-9-102.tscnet.net] has left #tunes [] 06:40am -:- hcf_ [nef@me-portland-us803.javanet.com] has joined #tunes -:- SignOff hcf: #TUNES (Leaving) -:- hcf_ is now known as hcf -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us803.javanet.com]) -:- ruiner [blah@ppp391.wi.centurytel.net] has joined #tunes -:- SignOff ruiner: #TUNES (Leaving) -:- Kaufmann [Kaufmann@dial626.infolink.com.br] has joined #tunes -:- SignOff Kaufmann: #TUNES (Read error to Kaufmann[dial626.infolink.com.br]: Connection reset by peer) -:- fare [fare@quatramaran.ens.fr] has joined #Tunes hum -:- fare is now known as Fare Jose Meseguer (of Maude fame) was at a conference joint to ICFP. could not convince him to release sources to Maude, although he promised that he would do it "once they are documented". (! ) 12:40pm -:- hcf [nef@me-portland-us647.javanet.com] has joined #tunes z/ rrrr..... 01:30pm ? 01:40pm ! :P I never even knew Maude was a not open source project only binary available currently the papers are still great ehh..I gotta go see you later * Tril/#tunes is still away we had two great presentations today, although it's a lot redundant with previous Maude presentations :) they put (rightly) an emphasis on the need not only for reflection, but also for initiality (property that allows for mathematical induction) 01:50pm -:- SignOff hcf: #TUNES (Leaving) -:- hcf [nef@me-portland-us226.javanet.com] has joined #tunes h c f ! what? 02:10pm how? why? -:- SignOff Fare: #TUNES (Connection reset by pear) 02:20pm -:- eihrul [eihrul@usr5-ppp18.lvdi.net] has joined #tunes -:- SignOff eihrul: #TUNES ([x]chat) -:- eihrul [eihrul@usr5-ppp18.lvdi.net] has joined #tunes -:- core [core@core.suntech.fr] has joined #tunes aloha hello so did you find the answers to last night's musings? hi :) no, i spent my day coding, y'see ;) only would take 5 minutes to ask the guy though :) 03:20pm well, he lives in north of france (~ 500 miles away). but when i get a hold of him, i will :) what's up? did you write more of EMK? in school i did... on paper :) in assembly, of course i rewrote my call activation syscall and it came out much smaller, pairable, cleaner this time :) note: making 'typos' on paper sucks especially in pen -:- SignOff core: #TUNES (Ping timeout for core[core.suntech.fr]) 03:30pm -:- SignOff eihrul: #TUNES (Read error to eihrul[usr5-ppp18.lvdi.net]: EOF from client) -:- SignOff hcf: #TUNES (Leaving) -:- eihrul [eihrul@usr5-ppp18.lvdi.net] has joined #tunes -:- liar [brand@p0wer.qzx.com] has joined #tunes liar: you mail kevin? 04:50pm -:- ElGato` [no@209.68.229.211] has joined #tunes grrr -:- SignOff ElGato`: #TUNES (Leaving) 06:30pm -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp18.lvdi.net]) -:- eihrul [eihrul@usr5-ppp18.lvdi.net] has joined #tunes -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp18.lvdi.net]) -:- eihrul [eihrul@usr5-ppp18.lvdi.net] has joined #tunes -:- NetSplit: varley.openprojects.net split from sterling.openprojects.net [08:46pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [varley.openprojects.net] -:- Netjoined: varley.openprojects.net sterling.openprojects.net -:- abi [nef@bespin.dhs.org] has joined #Tunes -:- Closing Link: TUNES[bespin.dhs.org] by devlin.openprojects.net (Ping timeout for TUNES[bespin.dhs.org]) -:- Connection closed from irc.us.openprojects.net: Success -:- Use /Server to connect to a server -:- Connecting to port 6667 of server irc.us.openprojects.net [refnum 0] -:- BitchX+Deb1an: For more information about BitchX type /about -:- Welcome to the Internet Relay Network TUNES (from varley.openprojects.net) -:- Your host is varley.openprojects.net, running version u2.10.05.18.(ipcheck4-5) (from varley.openprojects.net) -:- This server was cobbled together Wed Apr 28 1999 at 12 02:19 EDT(from varley.openprojects.net) -:- varley.openprojects.net u2.10.05.18.(ipcheck4-5) dioswkfcg biklmnopstv -:- [local users on irc(27)] 5% -:- [global users on irc(203)] 41% -:- [invisible users on irc(294)] 59% -:- [ircops on irc(14)] 3% -:- [total users on irc(497)] -:- [unknown connections(0)] -:- [total servers on irc(33)] (avg. 15 users per server) -:- [total channels created(154)] (avg. 3 users per channel) !varley.openprojects.net Highest connection count: 58 (54 clients) !varley.openprojects.net Welcome to Open Projects! You are on 4 ca 1(2) ft 14(14) tr. -:- Mode change [+f] for user TUNES -:- Mode change [+iws] for user TUNES -:- JOIN activated by "TUNES #tunes tunes@bespin.dhs.org " -:- TUNES [tunes@bespin.dhs.org] has joined #tunes -:- Topic for #TUNES: Free Reflective Computing System || http://www.aftersleeves.org/apostle/ || http://www.netpedia.net/sites.html -:- topic set by hcf [Mon Sep 27 13:03:53 1999] -:- [Users(#Tunes:6)] [ TUNES ] [@Tril ] [ smkl ] [ liar ] [ eihrul ] [ abi ] [openprojects]!varley.openprojects.net Net break: irc.linux.com crichton.openprojects.net (Ping timeout) -:- Channel #Tunes was created at Sun Feb 28 08:48:06 1999 -:- BitchX+Deb1an: Join to #tunes was synced in 7.075 secs!! -:- Mode change [-s] for user TUNES -:- Closing Link: TUNES[bespin.dhs.org] by varley.openprojects.net (Ping timeout for TUNES[bespin.dhs.org]) -:- Connection closed from irc.us.openprojects.net: Success -:- Connecting to port 6667 of server irc.us.openprojects.net [refnum 0] -:- BitchX+Deb1an: For more information about BitchX type /about -:- Welcome to the Internet Relay Network TUNES (from lucas.openprojects.net) -:- Your host is lucas.openprojects.net, running version u2.10.05.18.(ipcheck4-5) (from lucas.openprojects.net) -:- This server was cobbled together Wed Apr 28 1999 at 12 02:19 EDT(from lucas.openprojects.net) -:- lucas.openprojects.net u2.10.05.18.(ipcheck4-5) dioswkfcg biklmnopstv -:- [local users on irc(5)] 1% -:- [global users on irc(198)] 40% -:- [invisible users on irc(294)] 60% -:- [ircops on irc(14)] 3% -:- [total users on irc(492)] -:- [unknown connections(0)] -:- [total servers on irc(32)] (avg. 15 users per server) -:- [total channels created(154)] (avg. 3 users per channel) !lucas.openprojects.net Highest connection count: 12 (11 clients) !lucas.openprojects.net Welcome to Open Projects! You are on 4 ca 1(2) ft 14(14). -:- Mode change [+f] for user TUNES -:- Mode change [+iws] for user TUNES -:- JOIN activated by "TUNES #tunes tunes@bespin.dhs.org " -:- TUNES [tunes@bespin.dhs.org] has joined #tunes -:- [Users(#Tunes:6)] [ TUNES ] [ abi ] [@Tril ] [ smkl ] [ liar ] [ eihrul ] -:- Channel #Tunes was created at Sun Feb 28 08:48:06 1999 -:- BitchX+Deb1an: Join to #tunes was synced in 7.090 secs!! -:- Mode change [-s] for user TUNES wtf please tell me what the adult mode password is because im very annoyed that i can not get it when i am at a mature age to see such things wackojacko71@hotmail.com 09:10pm -:- td [x@1Cust11.tnt3.wilmington.nc.da.uu.net] has joined #tunes -:- Downix [down@d-gnaps-60.ici.net] has joined #tunes hi hey i just watched the matrix wicked show yeah 09:20pm -:- SignOff Downix: #TUNES (BitchX: now with 42 percent more random quit messages!) -:- core [core@core.suntech.fr] has joined #tunes core! core: lo * liar/#tunes thinks core went back to bed :) damn sleep.... -:- SignOff eihrul: #TUNES ([x]chat) 10:40pm -:- deity666 [jacko@207.158.145.71] has joined #Tunes a single consciousness that spanned an entire race of machines. -:- SignOff deity666: #TUNES (Leaving) eh? 11:10pm -:- Netjoined: heinlein.openprojects.net verne.openprojects.net -:- core [core@core.suntech.fr] has joined #Tunes core: u here? -:- SignOff core: #TUNES (Ping timeout for core[core.suntech.fr]) 11:40pm -:- BlackPhoenix [black-phoe@adm.univd.kharkov.ua] has joined #tunes -:- SignOff BlackPhoenix: #TUNES (Leaving) [msg(TUNES)] newlog 1999.0929 IRC log ended Wed Sep 29 00:00:01 1999