IRC log started Tue Feb 29 00:00:02 2000 [msg(TUNES)] permlog 2000.0229 -:- SignOff air: #TUNES (http://www.qzx.com/ :: sleep) -:- _ruiner_ is now known as Nater -:- Nater is now known as _ruiner_ -:- SignOff _ruiner_: #TUNES (destroy what destroys you) -:- SignOff smoke: #TUNES (Ping timeout for smoke[16dyn175.delft.casema.net]) -:- SignOff smkl: #TUNES (Ping timeout for smkl[130.232.143.28]) -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- SignOff smkl: #TUNES (changing servers) -:- smoke [smoke@15dyn117.delft.casema.net] has joined #tunes -:- SignOff Fufie: #TUNES (Ping timeout for Fufie[129.177.44.38]) -:- Fufie [stig@tunnel-44-10.vpn.uib.no] has joined #tunes -:- SignOff thomas: #TUNES (Ping timeout for thomas[193.217.63.152]) -:- thomas [thomas@193.217.63.152] has joined #tunes -:- SignOff thomas: #TUNES (Ping timeout for thomas[193.217.63.152]) -:- thomas [thomas@193.217.63.152] has joined #tunes any of you have a window on bespin? I'm not able to log in seems to work now as cvs.tunes.org 05:20am -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- rares [rares@wtrb-sh4-port176.snet.net] has joined #tunes -:- SignOff rares: #TUNES (Read error to rares[wtrb-sh4-port176.snet.net]: EOF from client) -:- SignOff smoke: #TUNES (Ping timeout for smoke[15dyn117.delft.casema.net]) -:- SignOff thomas: #TUNES (Ping timeout for thomas[193.217.63.152]) -:- thomas [thomas@193.217.63.152] has joined #tunes -:- smoke [smoke@16dyn148.delft.casema.net] has joined #tunes -:- zombieflesh [youlian@216.89.84.6] has joined #TUNES Hi, I am new here, the guy from Intelligenesis -:- SignOff zombieflesh: #TUNES (Leaving) 11:40am -:- eihrul [lee@usr5-ppp39.lvdi.net] has joined #tunes -:- rares [rares@wtrb-sh4-port213.snet.net] has joined #tunes -:- SignOff Fufie: #TUNES (Ping timeout for Fufie[tunnel-44-10.vpn.uib.no]) -:- rares [rares@wtrb-sh4-port213.snet.net] has left #tunes [Segmentation] -:- SignOff smoke: #TUNES (zee blbl) -:- lar1 [larman@2Cust30.tnt20.sfo3.da.uu.net] has joined #tunes -:- AlonzoTG [Alonzo@216-164-129-154.s408.tnt1.lnhva.md.dialup.rcn.com] has joined #tunes -:- hcf [nef@me-portland-us1002.javanet.com] has joined #tunes -:- Closing Link: TUNES[bespin.dhs.org] by carter.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 devlin.openprojects.net) -:- Your host is devlin.openprojects.net, running version u2.10.05.18.(ipcheck4-5) (from devlin.openprojects.net) -:- This server was cobbled together Wed Apr 28 1999 at 12 02:19 EDT(from devlin.openprojects.net) -:- devlin.openprojects.net u2.10.05.18.(ipcheck4-5) dioswkfcg biklmnopstv -:- [local users on irc(100)] 12% -:- [global users on irc(408)] 49% -:- [invisible users on irc(418)] 51% -:- [ircops on irc(15)] 2% -:- [total users on irc(826)] -:- [unknown connections(1)] -:- [total servers on irc(30)] (avg. 27 users per server) -:- [total channels created(257)] (avg. 3 users per channel) !devlin.openprojects.net Highest connection count: 115 (112 clients) !devlin.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: TUNES, Free Reflective Computing System @ http://www.tunes.org || slate @ http://www.tunes.org/~water/slate-home.html || WebMind @ http://www.intelligenesis.net/ -:- topic set by water [Sun Feb 27 15:17:43 2000] -:- [Users(#tunes:10)] [ TUNES ] [ hcf ] [ AlonzoTG ] [ lar1 ] [ eihrul ] [ thomas ] [ smkl ] [ abi ] [ Fare ] [ Plundis ] -:- Channel #tunes was created at Sun Feb 28 08:48:06 1999 -:- BitchX+Deb1an: Join to #tunes was synced in 7.319 secs!! -:- Mode change [-ws] for user TUNES -:- tcn [tcn@cci-209150250052.clarityconnect.net] has joined #tunes -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us1002.javanet.com]) -:- hcf [nef@me-portland-us1002.javanet.com] has joined #tunes -:- SignOff lar1: #TUNES (Leaving) -:- cwz [cwz@24.141.250.195] has joined #tunes -:- cwz is now known as lambda hey /server irc.home.com )@# -:- SignOff lambda: #TUNES (changing servers) -:- water [water@tnt-9-47.tscnet.net] has joined #tunes hi all 05:10pm hi http://www.netlib.org/slatec/index.html * water/#tunes prepares to sift through 125 incoming emails ok doesn't seem like too much of a name-clash right well, the guy i'm talking to at intelligenesis groks, cto doesn't whats that result in? it doesn't seem the cto is a bit deluded about the implementation s/doesn't seem/seems/ bleh. tried to write one statement, and then switched to another this guy's read van benthem and co-induction stuff and everything he wants to help me, too the non-cto u mean yes, Youlian is his name thats good (he's russian) 05:20pm it seems he proposed co-inductive ideas earlier, and "was regarded as a wacko" hm they're in NYC and he is a programmer doing sql, though i think he's most likely more capable than that suggests how'd he find ur work? he apparently has been suggesting improvements to the design since he signed on last fall, but no one listens to him he looked at tunes.org, apparently i'm thinking the word "arrow" sort of stood out and he does think the tunes idea is revolutionary on what grounds do they dismiss his ideas? hi eih hey water: i found lots of concurrency papers off of cora still need to sort through them all yes there are quite a few 05:30pm i have one that looks to be a survey url? don't have urls any more i just downloaded them all :) yeah but you can look them up, can't you? "concurrent object-oriented languages and the inheritance anomaly", kafura and lavender got it i didn't think it was a survey,though well, quite near the abstract it says "this survey" etc actually, in the abstract hm well, let me know when you have a "warm fuzzy feeling" about concurrency in slate so we can hammer out the ideas try inheritance anomaly in RI well, right now it's a desolate waste-land with a shiny thing off in the distance :) bah hey... i don't even have a single year of college under my belt :P gimme a break... still have much to learn ok i have other stuff i'm cooking up anyway hey water.. hey tcn btw, today's a good day for dressing up and updating slate docs dressing up? re-factoring suppose I get some time to study more mathematics and crap... what sort of literature led you toward this slate/arrow stuff? (besides cybernetics) making it more coherent s/literature/whatever/ :) tcn: heh lots of stuff from folli 05:40pm folli? a mathematician? no an organization abi jolli jolli is the Journal of Logic, Language, and Info at http://www.folli.uva.nl/Jolli/ that domain hosts their publications etc there's also clsi, who published "vicious circles" by barwise and moss and then there's the volume of stuff i gathered from the net but my original idea of arrows replacing bits occurred to me on a school bus in 1992 :) the coolest stuff i had learned at the time was galois theory, formal proof systems, and non-euclidean geometry :) water: has youlian seen the slate stuff? (also a little group theory) galois theory? tell me about that.. hcf: he hasn't mentioned it tcn: do a net search there's plenty of info on it well, briefly, what's cool about it? it relates solving higher-index polynomial equations using a geometrical mapping so that the solutions form a radially-symmetric pattern about 0+0*i in the complex plane ah I've seen a bit of that when I took calc or pre-calc he showed that for an n-degree eqn, there were always n solutions well there's more to it than that as for it's fundamental contributions to mathematics I found a whole shitload of galois' theorems :) yeah i told you 05:50pm * eihrul/#tunes hmms. water: besides concurrency, what were the other foggy issues? * hcf/#tunes is away: (afk) thanks water np macros, maths, rewrite, ... hm what was the last one? oh yeah meta-objects and their protocols -:- SignOff tcn: #TUNES (tcn has no reason) you mean default, "primitive" meta-objects or the concept of meta-objects and protocols themselves? sure, but also outlining the schemes for modifying them in useful ways i wonder if i should tell Youlian what i do for a living? i think he'd be totally shocked i know i'm still shocked about it :) i really hate my job a friend of mine tried to kill himself last night a bottle of hard alchohol and one of aspirin he emailed a short note to his mother, who promptly called the police 06:00pm he's in the hospital still he was going to get this great job working for the navy in their wrestling team but they cancelled his transfer at the last minute, because "he's a nuke", essentially so he's stuck in his frustrating job for another 3.5 years yes, Youlian, i know you'll read this well, anyway... eih: just keep thinking over concurrency stuff until you feel comfortable talking about it well, my notion of concurrency is limited to what i know of concurrency as presented by operating systems for more procedural systems so is mine for the most part have dealth little in functional and objective concurrency or maybe you mean something more simple s/dealth/dealt 06:10pm -:- air [brand@p0wer.qzx.com] has joined #tunes heh, my computer at work was reporting tomorrow as 32feb2000. is that an intercalary day-related problem? er 30feb 06:30pm eih: got recommendations for slate doc content? sec -:- lar1 [larman@dialup-209.245.128.199.SanJose1.Level3.net] has joined #tunes hey hi lar water: How goes it? 06:50pm a friend of mine tried to kill himself last night Woah... thats some heavy stuff Are you ok? yeah i'm fine water: perhaps clarifying lazy execution wrt blocks eih: ok yeah i was just looking at that i should probably re-organize that stuff a bit "object as function" has two separate issues for instance this will look much better in tutorial form but that requires an implementation ;) yes (i know) hm s/objects as functions/slate code execution/ but lucky me... i have a whole novel to read, an essay to write, the physics problem set, and essay questions on the novel... all due thursday and factor out the object representation stuff eihrul: Ouch bleh eihrul: AP classes? i could use another coder hmmm maybe youlian would help * lar1/#tunes can code, but doesn't understand your concepts Who is youlian? water: end of quarter right now... stuff piles up lar: the fellow from intelligenesis who wrote me water: Ah but actually i can code in school tomorrow :) Sweet!! heh how? because tomorrow is "map day," all we do is career/future seminars paper... eihrul: If you had a pda you could do it there ;) nope... the confiscation thing Oh yeah plus typing on a pda is trouble-some... and the keyboard would be a dead-give-away :) Jot well, it's faster to write on paper.... I guess :) 07:00pm yeah pda's don't work well for input unless you had a dynamic kb eihrul: the pilot has shortcuts that u can put the most common words into. u can write much faster by using them brb air: pilots also have keyboards... ya but who wants to pack a keyboard around with them and the onscreen keyboard sucks -:- Metaphor [MethiK@209.148.133.79] has joined #tunes hm if a slate object is "active", then it can force its own result and send it to other objects to process -:- SignOff Metaphor: #TUNES (Metaphor has no reason) hello metaphor which isn't lazy at all, but rather just active i suppose though if all statements were to be lazy in slate anyone know what OSes ProFTPD runs on? not sure what something like: myCollection (Sort (usingMethod : ../foo)) would end up being... unless that statement as a whole is lazy :) my guess is NT cuz the support ppl are dumber than a newbie win98 luser yeah the whole statement is lazy it returns an object that doesn't get evaluated until you ask for the result 07:10pm (like what i was saying about object-representations) which also preserves the environment myCollection selects into, of course? it should, but we haven't specified how that should be made to happen (i.e. the preferred traits of methods, i think) well, for right now, it's easy enough to think of a lazy statement as a closure ok though i'm not sure if this is the correct way to think of it right now :) an object-message closure no problem with that just like a function-arg closure except we only bind with accessor messages Gakuk! hey fare fare: did you hear of the intelligenesis interaction? anyway, when can i take a peek at SSSSSS? SSSSSS? 07:20pm perhaps (S)extet would be an easier to type name? :) frak I voted for McCain but my state went heavily for bush. =(((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((((( i guess Fare's just teasing us yet another time Heh he must have a script to do that... ;) -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us1002.javanet.com]) 07:30pm -:- SignOff air: #TUNES (Ping timeout for air[p0wer.qzx.com]) -:- air [brand@p0wer.qzx.com] has joined #tunes -:- SignOff Fare: #TUNES (Ping timeout for Fare[esmeralda.enst.fr]) -:- Fare [rideaufr@esmeralda.enst.fr] has joined #Tunes fare: so when do i get a peek at SSSSSS? water: when I write it? heh n/m then ok, so the principle is that I try to isolate basic modules in the design of a computing system and I relate these modules each to a way to develop software fare: also did you notice the recent interaction about intelligenesis? first kind of module is a library, to support incremental programming. intelligenesis? where? www.intelligenesis.net some start-up company making a crappy piece of ai that is based on a theory similar to arrow stuff S2: a monitor, to support concurrent programming om water: if it's crappy, I hope it's not that related to arrow S3: a compiler, to support programming abstraction no, the implementation ideas are terribly flawed S4: an admission controler, to support dynamic/interactive programming S5: a code verifier, to support contractual programming S6: an expert system to support metaprogramming hm so what does this analysis of units yield? the problem is how to introduce reflection in all that i don't think i'd do it that way water: it yields basic components that already exist in current systems, but never all at once. 07:40pm why does it suck? It seems to be one of the few systems that is on the right track. (webmind) water: and it suggests that these components must all have support deep in the system, least they cannot work in harmony fare: ok but i'm not sure how much that will convince a non-tuneser that's a problem. I'm not fully convinced myself some piece of the puzzle is missing atg: it implements something very trivial compared to the philosophy the cto proposes in his books atg: it's also a hack, written in java, and fairly cumbersome to use and maintain but then financial analysis doesn't care if the theory is good they just care about reliable numbers =L but a coder in the company definitely thinks otherwise fare: that's how i found out about them. this coder wrote me about tunes.org and the arrow paper 07:50pm -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) -:- hcf [nef@me-portland-us319.javanet.com] has joined #tunes wb hi water: do you have any idea how I could make S^6 better? 08:00pm hm libraries, you find in just any computer since Turing's works in the 1940's. monitors are the heart of "operating systems" and "kernels" you're basically sugfgesting that relfecting in a unified way breaks the isolation of these modules, yes? compilers are well-known, albeit few systems integrate them deeply (notable exceptions: LISP, Java) (ok, UCSD Pascal) water: 2000.0229:-:- zombieflesh [youlian@216.89.84.6] has joined #TUNES 2000.0229: Hi, I am new here, the guy from Intelligenesis 2000.0229:-:- SignOff zombieflesh: #TUNES (Leaving) 2000.0229:11:40am admission control is the other "kernely" attribute, albeit really badly done hcf: hmmm * water/#tunes nods perhaps if you chose a different way to slice a complete system into parts (except that thanks to static scoping, you can do it in LISP) Actually, it's not so much slicing the system into parts as showing different "directions" for the expressiveness of the system. what criteria did you use for selecting the functionality to describe? for the parts are not "independent" water: excellent question imo, you could base it on the programming language features needed to easily express each part water: the lower parts, library, monitor & compiler, appeared naturally when describing "implementation support". s/features/semantics/ hm do you have "implement1" in mind? i wasn't thinking of it explicitly, but sure well, if you look at an implementation diagram, you see that an implementation comprises these three elements the compiler translates chunks of high-level code into chunks of low-level code perhaps i think the major point is adequately describing the viewpoint that sees the system this way but the low-level code is always executed "in context"; there must be startup, standard functions, etc, not comprised in the user-provided source hence a library to appeal to the widest audience (i.e. more than just you ;) and multiple compiled programs that interact must synchronize through a monitor so i could s/library/orthogonally-persistent code base/ 08:10pm water: not necessarily orthogonal; although of course that is better hm I try to make an analysis that's valid for _any_ computing system, and deduce a "natural" design from the analysis. admission controller is roughly equivalent to a security system? It so happens that the "natural" design has never been met. water: yup although only the very core of it needs be in the initial/common system hm to be maximally expressive, you (just) need be able to delegate verification to arbitrary metaprograms concurrency must mean to include the notion of communications i mean, at high level as well as low on the other hand you _must_ be able to ensure that it is a same shared agreed-upon metaprogram that runs perhaps you should offer an explanation of where traditional designs map into this ontology the core of the controler is a "trust broker". It's like state in a libertarian constitution: does nothing itself, but enforcesses private contracts. water: let us consider GNU/Linux as the traditional design k the controler can delegate all checking to the code verifier; its goal is only to enforce the binding character of contractual agreements. well, leave the long story for the paper itself in GNU/Linux, you have a standard library; part of it has been moved into the "kernel". The "kernel" also comprises the monitor and the admission controler. but it is designed to work with a trivial compiler. sure, the kernel performs a base level of several of these (supposedly) orthogonal functions i.e. only hardware-enforced invariants are admitted. this is a hard constraint, dubbed "language independence", that actually means "low-level language". the admission controler is VERY stupid it only knows about statically-fixed name tags and bitmaps it cannot delegate anything, and doesn't enforce much well, most people expect language / application complexity to "control admission" :) not sure what you mean 08:20pm forget it only sure it's time for 3053 ok bye! yeah anyway is anyone else still listening? yep oh good, i thought fare drove everyone off :) he got a little long-winded, there phd training? do you have any more slate docs requests/suggestions? heh not yet ok, i'm adding and refining quite a bit here not much new to you just lots of clarification (which i guess makes your part easier anyway) btw, the co- prefix has to do with taking the category describing an object and reversing the arrows well, i usually take it to mean a reversal of a relation which i assume is close if not similar :) close enough yes 08:30pm -:- _ruiner_ [DIY@ppp330.wi.centurytel.net] has joined #tunes it'd be nice to have a range of object activity types from passive to active, or something like that bleh, i hate wishlist statements like that it shouldn't work like that at all hm take a look at that paper, and let me know if it works for you 08:50pm k -:- AlonzoTG [Alonzo@216-164-133-194.s194.tnt3.lnhva.md.dialup.rcn.com] has joined #tunes btw, do you auto-accept dcc stuff using your client? nope k * hcf/#tunes is away: (afk) 09:00pm I should take off hm? ok Will you be buisy all of tommarow, water? -:- water has changed the topic on channel #tunes to: TUNES Free Reflective Computing System http://www.tunes.org/ || Slate Language http://www.tunes.org/~water/slate-home.html i'll be here tomorrow by 6pm Ok, but will you discuss some #{} or just tunes? well invite me, and i'll go talk Ok, good deal Later! k -:- SignOff lar1: #TUNES (Yeah, yeah... ;)) 09:20pm -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp39.lvdi.net]) -:- eihrul [lee@usr5-ppp76.lvdi.net] has joined #tunes -:- _ruiner_ [DIY@ppp330.wi.centurytel.net] has left #tunes [] hm * AlonzoTG/#tunes left clicks on water I started a Brain-computer-interface page today. =) * water/#tunes sighes it'd be interesting to have intermediate-value caching modelled as a queeed update accessor message or something like that 09:30pm om s/queeed/queued/ Are those words intended to convey some sort of meaning? but then it could only block on the particular clone used for the message-send or something like that nah, it's too complicated or maybe not * AlonzoTG/#tunes formulates a hypothesis that water just likes to talk incomprehensibly. i was talking to myself, eihrul, and nay log-readers a/nay/any/ * AlonzoTG/#tunes hurls a laser guided flaming woodchuck at eihrul not to pot-smoking hallucinating os-coderz clarify 'queued update accessor' that's for learning too much too quickly. a queued message in the port of the object acting as the slot like if i ask for some result lazily, and one of the sub-results is already available, it can forward it to the port of the receiver 09:40pm a queued message being an not-yet-essential demand? sort of the receiver would be a blocked expression well, could you elaborate on 'queued message' here :) sort of like in that paper i sent you on hybrid well, haven't gotten to it yet k 09:50pm -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) bleh they use a really odd form of delegation 10:30pm water: bbt... will code in school tomorrow :) -:- SignOff hcf: #TUNES (Leaving) ok -:- SignOff eihrul: #TUNES (sleep) 10:50pm -:- smoke [smoke@16dyn148.delft.casema.net] has joined #tunes -:- water [water@tnt-9-47.tscnet.net] has left #tunes [] -:- SignOff air: #TUNES (http://www.qzx.com/ :: sleep) -:- nate37 [nate37@ppp-206-117-27-141.dialup.pcmagic.net] has joined #tunes hello. 11:50pm [msg(TUNES)] newlog 2000.0301 IRC log ended Wed Mar 1 00:00:01 2000