IRC log started Mon Jan 24 00:00:01 2000 [msg(TUNES)] permlog 2000.0124 -:- SignOff air: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) -:- smoke [smoke@16dyn84.delft.casema.net] has joined #tunes -:- NetSplit: merril.openprojects.net split from fontana.openprojects.net [12:31am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [merril.openprojects.net] -:- Downix [down@d-gnaps-208.ici.net] has joined #tunes -:- SignOff Downix: #TUNES (down has no reason) -:- smokie [tw026024@zaalf11.twi.tudelft.nl] has joined #tunes -:- SignOff smoke: #TUNES (Ping timeout for smoke[16dyn84.delft.casema.net]) -:- smoke [smoke@15dyn240.delft.casema.net] has joined #tunes -:- SignOff smoke: #TUNES (Ping timeout for smoke[15dyn240.delft.casema.net]) -:- SignOff Fufie: #TUNES (Leaving) -:- Downix [down@d-gnaps-208.ici.net] has joined #tunes -:- Downix [down@d-gnaps-208.ici.net] has left #tunes [Bye] -:- Ghyll [karltk@mp-217-219-16.daxnet.no] has joined #tunes -:- dalvarez_ [ircusr@212.68.72.98] has joined #tunes greetings 06:50am hi 07:00am -:- SignOff Ghyll: #TUNES (Ping timeout for Ghyll[mp-217-219-16.daxnet.no]) -:- SignOff smokie: #TUNES (woosh) -:- Ghyll [karltk@mp-217-238-216.daxnet.no] has joined #tunes -:- SignOff dalvarez_: #TUNES (the university's library has always been a good place to stay) -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- thomas [thomas@193.217.63.152] has joined #tunes -:- Nick [user8356@HSE-Toronto-ppp87180.sympatico.ca] has joined #tunes -:- SignOff Nick: #TUNES (Leaving) -:- SignOff Ghyll: #TUNES (bar) -:- smoke [smoke@15dyn159.delft.casema.net] has joined #tunes -:- SignOff smoke: #TUNES (Ping timeout for smoke[15dyn159.delft.casema.net]) -:- smoke [smoke@16dyn3.delft.casema.net] has joined #tunes -:- SignOff smoke: #TUNES (Ping timeout for smoke[16dyn3.delft.casema.net]) -:- smoke [smoke@16dyn107.delft.casema.net] has joined #tunes -:- SignOff smoke: #TUNES (Ping timeout for smoke[16dyn107.delft.casema.net]) -:- AlonzoTG [Alonzo@216-164-131-127.s127.tnt2.lnhva.md.dialup.rcn.com] has joined #tunes -:- pdm [pdm@host235-89.numega.com] has joined #tunes -:- pdm [pdm@host235-89.numega.com] has left #tunes [] -:- pdm [pdm@host235-89.numega.com] has joined #tunes -:- Fufie [stig@tunnel-44-10.vpn.uib.no] has joined #tunes -:- SignOff pdm: #TUNES (Leaving) -:- smoke [smoke@15dyn118.delft.casema.net] has joined #tunes -:- SignOff thomas: #TUNES (Ping timeout for thomas[193.217.63.152]) -:- thomas [thomas@193.217.63.152] has joined #tunes -:- SignOff Fufie: #TUNES (Leaving) -:- hcf [nef@me-portland-us1023.javanet.com] has joined #tunes -:- SignOff hcf: #TUNES (Leaving) -:- ult [noone@user-38lc60a.dialup.mindspring.com] has joined #Tunes -:- dalvarez [ircusr@212.68.72.98] has joined #tunes -:- dalvarez [ircusr@212.68.72.98] has left #tunes [] -:- dalvarez [ircusr@212.68.72.98] has joined #tunes abi: amoeba? dalvarez: wish i knew $%'\=[!!! does anyone know where I could download amoeba 5.3 source except from ftp.cs.vu.nl which somehow doesn't work i can reach ftp.cs.vu.nl ftp.cs.vu.nl/pub/amoeba/amoeba5.3/src/SRC.tar.Z 7,610Kb dated Apr 4 1996. ancient :) -:- hcf [nef@me-portland-us1023.javanet.com] has joined #tunes we seem to have a problem with the local DNS ... aliases are forwarded and then somehow resolved as hosts not having the appropiate service dalvarez: http://www.cs.vu.nl/pub/amoeba/amoeba5.3/src/ hcf: EXCPT! happened to me trying to access cmu too use a shell or proxy using shell AND proxy squid something and bash something :) or what'cha mean =) dalvarez: r u a tunes member? 12:40pm not, but I think I'll contribute even not being one being a member means having a shell on bespin as ppl told me it doesn't imply any advantages being one except having a shell account from which u could easily get what u seek and being able to modify the page ...causing double traffic well if tunes has too much money... members, in theory, have more control over what tunes does and becomes I'm still humbly and leave phylosophical issues to Fare I'll just code what's needed and that'S membership doesnt mean u have to do a thing just pro forma? huh? if it doesn't imply obvious reasons - I'm sure every ass would like to have one of those magic shell accounts somewhere in the web don't you have otherwise access restrictions? hmm I didn't realize everyone and their mother was getting shells? * dalvarez/#tunes asks his grandma if she wants to have one too (just for style and stuff) hcf: I don't really need one - later maybe dalvarez: whatever -:- SignOff hcf: #TUNES (Leaving) what I need now is a download url of amoeba 5.3 source 12:50pm hasn't tunes.org itself a mirror? thought amoeba would be popular around cs students no amoeba is ancient, outdated, old, useless, buggy, old, icky. and tunes doesn't exist yet. I just want to gain experience with basic distributed systems -:- SignOff smoke: #TUNES (Ping timeout for smoke[15dyn118.delft.casema.net]) ult: can you tell me something about other distributed systems worth in your opinion to take a closer look at ? I read a bit of a Tanenbaum text about it and thought I'd try it. It's now open source which makes it yet more attractive for edu 01:00pm uh plan9 was badass what's that (I'm reading the tunes reviews of existing systems but didn't get to far) ahh... you mean that AT&T UNIX successor what was about it ? did it come to an end? heared not much about it its kewl but it died cus AT&T fucked up on marketing tell me more about it please abi: plan9? plan9 is, like, at http://plan9.bell-labs.com/plan9/ If'n I had a millyun dollars... Well I'd buy you a house If'n I had a millyun dollars... I'd buy you furniture for your house... huh? * ult/#Tunes grins Tis a song... seems so... well distributed OS's are funky. Your better off just finding CS research papers (CORA) and reading em! =) -:- SignOff ult: #TUNES (Leaving) consuming informations.... -:- SignOff dalvarez: #TUNES (Leaving) 01:10pm -:- Fufie [stig@tunnel-44-22.vpn.uib.no] has joined #tunes -:- SignOff AlonzoTG: #TUNES (Ping timeout for AlonzoTG[216-164-131-127.s127.tnt2.lnhva.md.dialup.rcn.com]) -:- 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 -:- SignOff thomas: #TUNES (Read error to thomas[193.217.63.152]: Connection reset by peer) -:- SignOff Fufie: #TUNES (Leaving) -:- smoke [smoke@15dyn61.delft.casema.net] has joined #tunes -:- AlonzoTG [Alonzo@208-58-193-230.s484.tnt9.lnhva.md.dialup.rcn.com] has joined #tunes -:- eihrul [lee@usr5-ppp129.lvdi.net] has joined #tunes -:- [Alternative] [AlTeRnAtIv@ppp134.greco.com.br] has joined #tunes <[Alternative]> hi all 03:00pm -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) -:- SignOff [Alternative]: #TUNES (Ping timeout for [Alternative][ppp134.greco.com.br]) -:- AlonzoTG [Alonzo@207-172-184-111.s111.tnt6.lnhva.md.dialup.rcn.com] has joined #tunes -:- Fufie [stig@tunnel-44-16.vpn.uib.no] has joined #tunes hey fluffie 03:50pm s/fluffie/fufie hi eih :) did you finish tunes yet? haven't started doh * AlonzoTG/#tunes left clicks on eihrul if nothing happens I might try to make a squeaky-like thing in lisp in march Fufie: that was my idea (leak) though, if you don't mind collaboration? :) we had better cooperate then.. ghyll also like the idea ghyll wanted to try to make a decent vm underneath vm!? :) the hardware is the vm :) 04:00pm well, the language atop the hardware anyway heh it would be a shame to make a software-hardware layer above the hardware not really.. if it provides decent primitives for higher-level lisp-functions it is ok with me lisp to the metal :P cmucl et al seem to get along fine that way cmucl is too complex imho to base it on well, it'd be written from scratch of course :) (reinventing the square) -:- lar1 [larman@dialup-209.245.132.241.SanJose1.Level3.net] has joined #tunes Hey hi Fufie: you could have it target either a vm or metal though... by just treating the vm as any other target... then eventually retargetting off the vm eih: but I am still in the thinking phase.. finishing up on another project and need to write some on my thesis so march is the month for me to do an attempt on something new :) well, i've already started :) -:- SignOff smoke: #TUNES (woosh) eih: let me know of any progress Fufie: the bigger dilemma is defining a lisp or extending one to be suitable... I believe extending is the best way to proceed for a prototype eulisp? it has been said that eulisp is http://www.bath.ac.uk/~masjap/EuLisp/eulisp.html and http://www.aiai.ed.ac.uk/~jeff/lisp/eulisp.html and ftp://ftp.maths.bath.ac.uk/pub/eulisp/ 04:10pm -:- SignOff lar1: #TUNES (Leaving) hmm.. my minix isn't too friendly today om but now resolv.conf works at least -:- Kaufmann` [newbie@dial316.infolink.com.br] has joined #tunes Shalom! I've got some new ideas for the PORTUGOL editor 04:50pm Since it'll have a line-up-based syntax similar to Haskell's (converted to SEXP, not to Haskell's ugly C syntax, though), I've come up with an idea for an SCDB-like editor >>> Kaufmann` [newbie@dial316.infolink.com.br] requested PING 948761391 from #tunes * Fufie/#tunes sees if he can get lynx working on minix wow you run Minix? yes -:- SignOff AlonzoTG: #TUNES (Read error to AlonzoTG[207-172-184-111.s111.tnt6.lnhva.md.dialup.rcn.com]: No route to host) For any specific reason? because it rocks Minix Release 2.0 Version 2 retardo login: LOL I want clisp to run on it OUCH but I might settle for a scheme-thingie CL on Minix... now why didn't I come up with that idea? :) I just put 4mb extra ram into the 386.. it might work 05:00pm it now has 8mb ram Why not just run one of the mini-Linuces? Or a BSD? Or even better, one of those ridiculously small toy OSs like V2? Or maybe the QNX demo? :P pah when you know which supermodels have helped make minix.. nah http://www.minix.org/2.0.2/wwwman/man8/inet.8.html supermodels?!? (see acknowledgments) * Fufie/#tunes smiles ROTFL you never know who you might meet at a minix convention ;) oh boy * Kaufmann`/#tunes instantly starts work on a PPC port of Minix :) * Kaufmann`/#tunes is now learning APL, believe it or not imagine.. you were just pinged by a minix box: # ping amadeus.fluid.impa.br amadeus.fluid.impa.br is alive now that's something :-) 05:10pm Egads that process is still running :P amadeus.fluid.impa.br is a ghost from a BitchX session I ran weeks ago hmmpff.. I gave minix a nameserver and now it has forgotten the stuff in /etc/hosts -:- lar1 [larman@dialup-209.245.132.241.SanJose1.Level3.net] has joined #tunes 05:20pm -:- AlonzoTG [Alonzo@209-122-212-60.s568.tnt6.lnhva.md.dialup.rcn.com] has joined #tunes -:- LoveProoF [stitico@dns.rikcad.co.jp] has joined #tunes -:- SignOff LoveProoF: #TUNES (http://digilander.iol.it/merduomo - Loveproof@libero.it -) -:- air [brand@p0wer.qzx.com] has joined #tunes found xlisp for minix *applause* and siod (scheme in one defun) in one defun? that's the name okie is it really one defun? one single function... an entire Scheme interpreter ouch -:- SignOff AlonzoTG: #TUNES (Ping timeout for AlonzoTG[209-122-212-60.s568.tnt6.lnhva.md.dialup.rcn.com]) 05:40pm -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp129.lvdi.net]) *yawn* -:- eihrul [lee@usr5-ppp129.lvdi.net] has joined #tunes 06:00pm -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp129.lvdi.net]) -:- eihrul [lee@usr5-ppp129.lvdi.net] has joined #tunes -:- AlonzoTG [Alonzo@216-164-133-110.s110.tnt3.lnhva.md.dialup.rcn.com] has joined #tunes -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) -:- AlonzoTG [Alonzo@216-164-133-110.s110.tnt3.lnhva.md.dialup.rcn.com] has joined #tunes -:- ult [noone@user-37kbaso.dialup.mindspring.com] has joined #Tunes -:- Kaufmann` is now known as Kaufmann_brb -:- Kaufmann_brb is now known as Kaufmann` * ult/#Tunes sighs * Kaufmann`/#tunes sighs it's sigh-figh time Kauffie, what's wrong with me? I'm a damn animal. well, we all are I don't like it. well, then be the first to upload your consciousness into a computer. have a blast. om yeah, upload... -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp129.lvdi.net]) :) 06:50pm -:- eihrul [lee@usr5-ppp10.lvdi.net] has joined #tunes -:- SignOff lar1: #TUNES (Ping timeout for lar1[dialup-209.245.132.241.SanJose1.Level3.net]) later 07:10pm -:- SignOff Kaufmann`: #TUNES (kathyanne gets kick'd / as leaves fall on still waters / she is here no more.) -:- winter [nope@208.193.238.118] has joined #tunes -:- lar1 [larman@dialup-209.244.104.18.SanJose1.Level3.net] has joined #tunes -:- SignOff ult: #TUNES (n0000000000000000000000000000000000000000000) -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) -:- SignOff lar1: #TUNES (Leaving) -:- {Alt} [AlTeRnAtIv@200.225.149.192] has joined #tunes -:- SignOff air: #TUNES (Ping timeout for air[p0wer.qzx.com]) -:- air [brand@p0wer.qzx.com] has joined #tunes -:- hcf [nef@me-portland-us211.javanet.com] has joined #tunes -:- SignOff {Alt}: #TUNES (Leaving) -:- AlonzoTG [Alonzo@216-164-133-110.s110.tnt3.lnhva.md.dialup.rcn.com] has joined #tunes -:- SignOff eihrul: #TUNES (Ping timeout for eihrul[usr5-ppp10.lvdi.net]) -:- water [water@tnt-9-25.tscnet.net] has joined #tunes hello hi i figured out how to integrate icct and co-induction stuff with arrow papers it'll take time, but it won't break what's there -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) do i know winter from somewhere? 08:50pm -:- eihrul [lee@usr5-ppp210.lvdi.net] has joined #tunes hi eih lo lol the courts made DeCSS source part of the public trial record 09:00pm justice is blind... and intel cuts the price on its mobile chips as if that would solve their problems it worked before yeah sure, i'm gonna buy a cheaper chip even though it cuts battery life six-fold whome? not sure water =) yay i just beat q3 im a coder friend of eihrul oh hi winter hello =) you in high school too? uh no =) I make games a/s/l? heh alright 22,male,dallas hm i have a friend or two there cool you? 22m seattle mm, visit seattle on occasion =) redmond actually =) i wrote 3d graphics engines up until 2 years ago yikes! for who? for me :) oh gpled or anything? i'm stuck in the navy, so i don't get much of a chance to work outside oh doh no, mostly just trying to reverse engineer and improve on existing closed engines it was a hobby my friend and i wanted to make a space fighter game simulation-style but we had no time to make the actual game but oh the framerates with 20000 asteroids on the screen and a real-time rendered planet 8) 09:10pm water: help me make my game =) the game I last developed was Age of Empires 2 oh cool published by ev0l empire =) what did you do for that one? communications programmer all the multiplayer stuff =) ah i solely worked on graphics cool im a bit afk.. coding water: wanna do the graphics for me? :) but that's cuz i'm more a math wiz than a coder ok air: sorry, i'm out of it im making a space game hm like what i was talking about, simulation-style? the user has to build a fleet and issue orders and the server does the rest so the user can be offline oh that's way different but i want the user to be able to do the simulation too so u can pick one of yer ships and "get into it" that's a big stretch for a game engine especially if you want to control the fleet while in the ship u give them orders descrive the format they will have AI controlling them based on orders like in descent deepspace? the game will play itself even with all users offline er... freespace that doesn't make much sense that'd be like an online game of "life" pretty chaotic ya but u jump in each day and see what has happened and issue new orders or whatever build more ships, mine, expand, etcc well, you'd have to have an option to "park" a fleet in the docks or something or have it defend a planet and there will even be a "borg" player that will occasionly drop by and torment players with huge fleets of advanced ships plus u can make allies and shit no thanks dude doesn't sound fun to me sure it does not to me :) you haven't made much of a sale here, and i've played online games i want a mixture of netrek 2d map play, with homeworld style 3d ships that u can move around, plus a in the cockpit fighter player with games lasting months to years 09:20pm i don't get it... what's the advantage? its kewl bah every space game is c00l that doesn't make it worth replaying ya it does the game never ends hell, i had a space game on the apple II that was kewl one big galaxy so what? how do you interact with players? u hail them yuck... too formal when they are within range or u blow them away ever play EverQuest? no ah that explains your cluelessness about online game addiction :) what is it that game actually works better when people collaborate it's a d&d-style world * eihrul/#tunes was more partial to trade wars. u have to collaborate in my game too who? eih? 3D can kill a game... well, i've seen people love evercrack much more than any other online game and it's 3dfx-based .... /usr/bin/lisp, the ultimate game :) uh perhaps some day to be topped by /usr/bin/slate eihrul: what are the best threads to use with linux? single-threads... does 2.2 have threads in the kernel? linux is not the most thread friendly environment... pthreads is okay so long as you don't use large numbers of threads hm and whatever you do, don't mess with the stack pointer :) 09:30pm pthreads doesn't like that... i need to have the server listening for net connections, processing the AI for each user and then talking to any users that are logged on stack pointer? yes, stack pointer... aka ESP for i386 why would i mess with it? multiplex the net connections air: just a warning :) as for the ai... don't use a whole thread for each one if you don't have to -:- witten [witten@adsl-gte-la-216-86-196-179.mminternet.com] has joined #tunes this game could have hundreds of users with hundreds of ships hi witten hello and what do u mean by "multiplex the net connections? man select non-blocking io as well so test each socket instead of blocking select does it for you i know so should i use threads for the AI? don't use one thread per 09:40pm yeah i had a hierarchical fleet ai working without too many problems one thread per fleet water: how many players? and even then, non-interacting fleets (>1000km) were grouped into one thread is everyone here making both a programming langauge and a game? :) single-player and an OS? :) heh witten: yes :) no, i used to write game code air: though... unless you have a lot of cpus, threading isn't going to give you any more speed for your effort than just nice'ing the process generously ya but threading will give it a huge boost in speed on smp systems * eihrul/#tunes shrugs. i don't think having 100 threads is going to give you a boost... perhaps 4 * water/#tunes thinks air has pie-in-the-sky dreams yeah, 4 was plenty for the engine i had ok, how bout 5 threads. one for each quadrant and one for connections quadrant AI define quadrant 1/4 of the galaxy ugh you need to look into real online games ones with lots of complexity and interaction this has that yes, but it doesn't actually *work* yet, does it? so because its not written yet i should just scrap the whole damn thing? i think u should do the same with slate no, you should look at how existing games do it you weren't listening 09:50pm -:- SignOff eihrul: #TUNES ([x]chat) -:- lar1 [larman@dialup-209.244.104.18.SanJose1.Level3.net] has joined #tunes foo bar water: nothing new w/ slate? no, i've been stuck in reading and writing for arrow why? what do you expect? perfection ;) seriously -:- SignOff lar1: #TUNES (Read error to lar1[dialup-209.244.104.18.SanJose1.Level3.net]: Connection reset by peer) nothing nothing? nothing is, like, ever complicated ;) -:- lar1 [larman@dialup-209.244.104.18.SanJose1.Level3.net] has joined #tunes abi forget nothing water: I forgot nothing apparently abi is broken it's not forgetting anything properly how so? it forgot nothing at all heh if its statement can be trusted no, seriously, hcf. what would you like to see for slate that i could do quickly? Real time complition :) 10:20pm easy to say for people who don't help, lar water: just everyday progress if possible I was just joking with you hcf: well, some suggestions would help. it's not like i have free time to think about what i should work on water: I don't help you because it would involve learning a whole buncha languages hcf: i pretty much either work full-throttle on something because i have a good idea to work with at the time, or i'm sompletely relaxing. neither of these allows me to stop and figure out what to do next it would sure help to work *with* someone on anything yeah, that would always be nice rnt u working w/ eihrul? he doesn't know nearly enough about self or beta or many other things he knows a lot about c and libraries and crap sometimes knowing less is a benefit offers a fresh perspective.. someone to bounce ideas off of and unlike me, he can actually code in lisp without getting lost but he also doesn't get the point of slate, because he doesn't really grok self how would you sum up the point of slate? (lisp((has lots)of)parenthesis) lar1: shut up hm hcf: Sorry mostly to improve on self and beta what are the respective points of self and beta, then? :) to make an oo language that's really capable okay that's a good goal, imo for instance, pre-emption semantics now ya just gotta define capable :) you mean like futures? it's even missing from beta (unless you just access threads packages) yeah oh, that'd be neat * water/#tunes pulls up the maude concurrency paper to see if they handle pre-emption semantics 10:30pm i'm also looking at having the namespace / module system be compatible/extensible into memory spaces for processes and of course to interface with file-systems at a high level i thought tunes was orthogonally persistent it is, but persistence semantics can be variable eh? you wouldn't want to re-boot a system that crashed only to find the same bug, would you? :) that's why you make the system not break to begin with ) besides, the system will still have to interface with legacy stuff, if only to get the old data out of them i suppose so don't worry, i have better plans than name-spaces an object is a name space boy, i'm itching to write something on induction vs co-induction, but my ideas aren't presentable yet witten: an *inductive* object is a namespace :) i'm not familiar with that term in this context er... inductively-defined one made by enumerating an object's slots you'll find that if you use terms that the majority of other programmers know, it'll be a lot easier to convince them to use your stuff :) okay sorry, i'm working at the boundary between many fields no problem it's just that i often have the same problem myself and i catch myself doing it so i know what it's like i bet "ontology" means jack to you, then :) actually no, i'm a philosophy major :) then you really won't like the knowledge-representation version whose knowledge-representation version? the knowledge-sharing initiative a bunch of database types who think xml ain't enough i'm not a database type, but i think xml ain't enough 10:40pm do a web search it's a substantial software field ok i thought up a good use for squeak today scrubbing the toilet? :P when thinglab gets integrated into the morphic ui, the constraints compiler could be used for instant, dynamically upgradable simulations hm e.g. predicting the effects on the body of diet, exercise, etc (and sleep) sounds like that'd require a lot of knowledge to be accurate you'd need a lot of info, and publicly available sim-code it would require most likely dept o health support, but squeak is the only system that could handle the dynamic specialization -:- SignOff lar1: #TUNES (Leaving) 10:50pm "foo" i say! baz such boring people... i throw out ideas and get "hm" 11:00pm like i said. gotta dumb it down more people will catch on that way yeah, dumb ones abi thinglab not everyone is as lofty-minded as you :) geez well, all the cool tools are practically ignored granted. thinglab beig one of the coolest abi: thinglab is at http://www.2share.com/thinglab/ThingLab%20-%20index.html abi thinglab is also code at ftp://st.cs.uiuc.edu/Smalltalk/Squeak/Goodies/ThingLab/ okay, water. but it's out of date well, it'll run on sq2.2 what's it *do*? it makes visual simulations based on equations like newtonian physics of all sorts or electrical / electronic ckts ah ok very general yep and it's coming to a squeak direct-manipulation interface near you :) woo 11:10pm right now, it's just a standard oo "app" and it hasn't been worked on since 1978? :) no, since january ah not so bad well, except for the recent integration with morphic which is supposed to be done in a month or so morphic is a reflective ui like self? morphic was self's ui oh no wonder it sounds familiar squeak ported it ahh i think (conceptually, at least) morphic was the strongest component of self the most important, anyway it isn't very pretty or user-friendly yet, but it's getting there hm, maude simulates actor languages asynchronous message-passing could that be used for pre-emption you think? no.. isn't asynchronous message-passing just traditional block-on-call functions? i think so but i wouldn't be an expert futures are sort of "fork-on-call" i guess is there a good overview of the semantics of thread systems? hopefully high-level? -:- _ruiner_ [DIY@ppp433.wi.centurytel.net] has joined #tunes thread systems? that's a really broad term ok, futures but the broader the better hm i know that there was a fairly good eiffel paper on futures specifically 11:20pm hm ok what's the url for eiffel? abi doesn't know <_ruiner_> yahoo probably does water i'm looking right now http://www.eiffel.com/doc/eiffelworld/5.2/scoop.html that may be what i'm thinkinf of hm what can it handle and not handle? what, eiffel? it looks mostly like beta's concurrency no, the eiffel concurrency stuff it can supposedly handle dining philosophers nicely heh i think i did read about beta having an add-on for futures at one point hm remember where? in their faq it was like a two-line answer. let me see oh http://www.daimi.aau.dk/~beta/doc/faq/beta-language-faq.html#L13 L13 ok hm what about pre-emption of threads? you mean explicit task switching, or what? (or would that be something just in the implementation) 11:30pm -:- SignOff hcf: #TUNES (Leaving) in the implementation, i think just for when a future needs to block 11:40pm ok well, i'm planning on writing the implementation in the language at some point yeah that's a good way to go about it 11:50pm -:- SignOff winter: #TUNES (Leaving) [msg(TUNES)] newlog 2000.0125 IRC log ended Tue Jan 25 00:00:02 2000