IRC log started Tue Jan 11 00:00:01 2000 you too -:- Draugath [me@ldslppp72.sttl.uswest.net] has left #tunes [] bleh [msg(TUNES)] permlog 2000.0111 * water/#tunes takes a look at lisp philosophy the process of language development is beginning to really bog down have fun :) -:- SignOff air: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) it's really odd to look at self ebnf and try to minimize it even further heh. and watching windows barrely hold on to existence 12:10am -:- smoke [smoke@15dyn40.delft.casema.net] has joined #tunes water: here? 01:20am -:- SignOff hcf: #TUNES (Leaving) * Fufie/#tunes yawns.. morning already -:- AriB [arielb@209-122-223-179.s179.tnt3.nyw.ny.dialup.rcn.com] has left #tunes [] -:- SignOff water: #TUNES (Ping timeout for water[tnt-9-227.tscnet.net]) Gakuk * smoke/#tunes wonders why scheme is considered to be a `bad' language especially compared to common lisp i'm starting to like common lisp very much, but i'm afraid there will be no good implementation of it available in the near future.. 04:40am smoke: Scheme is considered "not a complete language" more so than a "bad" language, althoguh it does have some badness smoke: how are clisp and cmucl not good? 04:50am fare; i can't see any active development on both :( perhaps that isn't a bad sign, but it feels bad smoke: clisp and cmucl are maintained, at least they strive to implement all of the standard, so that any miscompliance is considered a bug, and treated by the maintainers now, of course, if you want _more_ than the standard (MOP, threads, etc), then YMMV hm i guess i'm a little too paranoid then using lisp gives you the feeling you're the only one doing so lisp has lost the celestial mandate, after all hm 05:00am -:- binEng [Anders@j141.ryd.student.liu.se] has joined #tunes -:- SignOff zarq: #TUNES (Ping timeout for zarq[9dyn107.delft.casema.net]) -:- SignOff smkl: #TUNES (argh) -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes smoke: clisp is actively developed at least smoke: there is a new release every other month as for alone.. yes, there are fewer lispers than most of us want.. but it is early spring in lisp land the frustration over c++ and java will make people look for something better and many of those will find lisp 05:50am * binEng/#tunes will take a Lisp class this spring -:- zarq [zarq@10dyn148.delft.casema.net] has joined #tunes Fufmann: not if lisp stays in its present state (standard) lisp is unusable for modern purposes at least, C is "extensible" in a standard way lisp will change. lisp is probably one of the languages that can handle change without ruining all the wisdom accumulated over the years the language can. Can the community? if you say that c++ is the modern version of c, it is apparent that c didn't do well Frankly, I doubt it. at change that is Fufmann: GCC is much better than K&R C. s/GCC/GNU C/ the lisp community will lose a few old and wise people, but I think it will happen I sure hope so. anyway, the 1990 CL is doomed but the only way it can change is when TNG makes a new system which is great and the CLers seem to not understand it Fufmann: are we TNG? in the meantime, people like the pliant community seem to do great 06:10am comp.lang.lisp is not a good measurement most CLers want CL to get new life fare: we might be TNG I see more life in OCAML than in the whole CL community (as far as communities go) I find the smalltalk community to be a parallell.. it was dying.. but Squeak seems to have gotten life into the community again but people need a friendly (and free) environment they can hack code in.. as for myself.. once a base is up and somewhat running I can add a hypermedia system (like xanadu) pretty quickly and development tools to be able to inspect the system important building blocks imho 06:20am -:- Ghyll [karltk@mp-217-219-228.daxnet.no] has joined #tunes hi -:- SignOff thomas: #TUNES ([x]chat) hi 06:50am how is your daily rhythm nowadays? still weird? 07:00 - 22:00 so, yes. wow I am still at 11.30 - 03.00 that's a pleasant one. I really hated 03:00 - 18:00.. luckily the dentist appointment was at 13.00 it's usually not a real big problem to pick the hour of day. soon the semester starts :( lecture and groups at 10am 07:00am i222 - programming language semantics this semester Fufie: any fun ? probably not.. the focus is usually on imperative languages it could've been worse though but it's algebra.. 07:10am and the chalboard-cowboys at the institute love algebra chalkboard you got that right.. especially if they can cram a tree in there. if it's their lucky day, even a k-ary one. so I sense some sarcasm towards yours truly there? :) it was the word "cram" that revealed me, right ? :) trees are nice all trees even pine can be nice unless used as furniture then it suddenly attains geometric properties, and that reminds you of matrices and linear algebra, right ? yes :-/ and it looks bad the linear algebra book can't be used to hit people over the head sucky book 07:20am my linear algebra book can be used for that purpose. but I find webster's more suited to that taks. taks/task do not underestimate your calculus book didn't think of that. I like the engineering maths book more, but it's paperback. * Fufie/#tunes is in no mood to do anything remotedly useful.. pulling teeth sucks Had I thought it would help, I'd hand you one of my very soft cookies.. what brand? don't say home-made :p 07:30am McVitie's, I believe.. jaffa cookies? Yup. -:- hcf [nef@me-portland-us225.javanet.com] has joined #tunes 07:40am -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us225.javanet.com]) -:- hcf [nef@me-portland-us225.javanet.com] has joined #tunes * Fufie/#tunes says to himself "debugging is fun" "debugging is fun" many times -:- SignOff binEng: #TUNES ( <k!14>) -:- SignOff Ghyll: #TUNES (Ping timeout for Ghyll[mp-217-219-228.daxnet.no]) -:- SignOff hcf: #TUNES (Leaving) -:- NetSplit: forward.openprojects.net split from sterling.openprojects.net [09:13am] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [forward.openprojects.net] -:- Netjoined: forward.openprojects.net sterling.openprojects.net -:- Fufie [stig@tunnel-44-22.vpn.uib.no] has joined #tunes -:- Ghyll [karltk@mp-217-242-229.daxnet.no] has joined #tunes hi again hi 09:20am just updated the lisp-code, do an update and the java-code will at least go through csf2sdoc and sdoc2doc and generate docs.. java? ouch it's a java front-end which collects interesting information about java-code and saves the info in a a common format we use in SDS -:- SignOff zarq: #TUNES (Ping timeout for zarq[10dyn148.delft.casema.net]) -:- zarq [zarq@10dyn148.delft.casema.net] has joined #tunes -:- SignOff smoke: #TUNES (Killed (NickServ (This nick is reserved by another user))) 09:30am -:- smoke [smoke@16dyn103.delft.casema.net] has joined #tunes * Fufie/#tunes finds some pesticide for an elusive bug here * Fufie/#tunes kills the bug.. -:- AlonzoTG [Alonzo@216-164-139-164.s418.tnt5.lnhva.md.dialup.rcn.com] has joined #tunes * Fufie/#tunes kills ya ugly bug -:- smoke is now known as smoke_pixels -:- smoke_pixels is now known as smoke -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) hmm.. it works :) 11:00am -:- binEng [Anders@j141.ryd.student.liu.se] has joined #tunes Hey, has anyone else here got spammed by Kiril Koval? -:- SignOff Ghyll: #TUNES (no) 11:40am bin: no.. 12:00pm just thought it was an unusual one what kind of project do you work on? me? well.. I'm thinking of how information models can be made explicit in the whole syftware system so you can automate reasoning and operations that needs such info A typesystem, you could say . hmm.. ok a little related to S14, maybe maybe even SDS too yeah.. it seems to be Prism/SDS related at least Yes. Maybe it has a broader goal, though. yup.. SDS would be a tool for such a project 12:10pm But only for source code-related domains, I understand? SDS is mostly for source code yes a slightly important part of most software I guess -:- NetSplit: forward.openprojects.net split from irc.linux.com [12:15pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [forward.openprojects.net] but far from the only perspective -:- Netjoined: forward.openprojects.net irc.linux.com -:- binEng [Anders@j141.ryd.student.liu.se] has joined #tunes 12:20pm -:- SignOff smoke: #TUNES (Ping timeout for smoke[16dyn103.delft.casema.net]) -:- smoke [smoke@16dyn107.delft.casema.net] has joined #tunes -:- SignOff binEng: #TUNES ( <k!14>) -:- rares [rares@wtrb-sh1-port44.snet.net] has joined #tunes -:- SignOff rares: #TUNES ([x]chat) -:- AlonzoTG [Alonzo@216-164-136-135.s135.tnt4.lnhva.md.dialup.rcn.com] has joined #tunes * Fufie/#tunes stretches -:- NetSplit: fontana.openprojects.net split from irc.linux.com [01:39pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [fontana.openprojects.net] -:- Netjoined: fontana.openprojects.net irc.linux.com -:- smoke [smoke@16dyn107.delft.casema.net] has joined #tunes -:- ult [noone@user-37kba2t.dialup.mindspring.com] has joined #Tunes Woot. hi 02:00pm -:- Closing Link: TUNES[bespin.dhs.org] by norton.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 lewis.openprojects.net) -:- Your host is lewis.openprojects.net, running version u2.10.05.18.(ipcheck4-5) (from lewis.openprojects.net) -:- This server was cobbled together Wed Apr 28 1999 at 12 02:19 EDT(from lewis.openprojects.net) -:- lewis.openprojects.net u2.10.05.18.(ipcheck4-5) dioswkfcg biklmnopstv -:- [local users on irc(7)] 1% -:- [global users on irc(345)] 46% -:- [invisible users on irc(406)] 54% -:- [ircops on irc(25)] 3% -:- [total users on irc(751)] -:- [unknown connections(0)] -:- [total servers on irc(31)] (avg. 24 users per server) -:- [total channels created(218)] (avg. 3 users per channel) !lewis.openprojects.net Highest connection count: 12 (11 clients) !lewis.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 -:- Topic for #TUNES: vapourtech.com not! -:- topic set by rares [Mon Jan 10 21:45:37 2000] -:- [Users(#tunes:9)] [ TUNES ] [ ult ] [ smoke ] [ AlonzoTG ] [ zarq ] [ Fufie ] [ smkl ] [ Fare ] [ abi ] -:- Channel #tunes was created at Sun Feb 28 08:48:06 1999 -:- BitchX+Deb1an: Join to #tunes was synced in 7.058 secs!! -:- Mode change [-ws] for user TUNES ack.. they're not extraditing pinochet to spain :( -:- NetSplit: fontana.openprojects.net split from tolkien.openprojects.net [02:24pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [fontana.openprojects.net] -:- Netjoined: fontana.openprojects.net tolkien.openprojects.net -:- smoke_ [smoke@16dyn107.delft.casema.net] has joined #tunes -:- Kaufmann [Kaufmann@dial326.infolink.com.br] has joined #tunes Hey guys >>> Kaufmann [Kaufmann@dial326.infolink.com.br] requested PING 947629821 from #tunes 02:30pm Anyone...? not really heh Anyone care to explain how lambda calculus is inadequate? it's a mess to write anything but simple examples in comparison to what? you in comparison to.. scheme s/you// ? in pure lambda caluclus you don't have names.. those are useful aaaaaah Stanley mentioned arrow theory and combinator theory and using Y for all recursion is not awfully readable Y? Y is done in the same way Y is the Y-combinator which is a neat hack to make recursion possible in lambda calculus ah remember that for ordinary recursion you need a name pure lambda calculus is a straw man, although a cute one it is however the basis of functional languages 02:40pm back so what is considered a better theoretical model for programming? -:- SignOff ult: #TUNES (Ping timeout for ult[user-37kba2t.dialup.mindspring.com]) It was my understanding that they are all equal. Anyway, lambda calculus is less kludgy than turing machines. I think the best theoretical model for programming is a cold bottle of coke, pringles, dip and maybe some chocolate and enough time to make something one can be proud of :-) it's a theory though.. LOL -:- Kaufmann` [Kaufmann@dial726.infolink.com.br] has joined #tunes GOD DAMN IT Where were we...? we were discussing coke vs lc vs turing ah -:- SignOff Kaufmann: #TUNES (Ping timeout for Kaufmann[dial326.infolink.com.br]) coke is eevil -:- Kaufmann` is now known as Kaufmann pah.. that's your teeth speaking don't listen to your teeth.. they have an agenda they hate sugar 02:50pm no, the shugar isn't what does it, coke has too much phosphoric acid... that's what kills your teeth. =P Sugar? I thought we were discussing cocaine, not coca-cola :) -:- mibin [mibin@62.11.106.2] has joined #tunes -:- SignOff smoke_: #TUNES (brb) om -:- eihrul [lee@usr5-ppp152.lvdi.net] has joined #tunes anyhoo ? sheesh, squeak mlist is pretty active is it readable as well? eh? 03:00pm is the mailing list readable for non-smalltalkers or is it very inside? mostly small, private discussions and a lot of them... it dwarfs the other 4 mailing lists i'm subscribed to -:- SignOff mibin: #TUNES (Ping timeout for mibin[62.11.106.2]) can anyone enlighten me on the discussion re. JOY? ... on the Tunes list -:- mibin [mibin@62.11.106.2] has joined #tunes 03:10pm -:- Kaufmann` [Kaufmann@dial301.infolink.com.br] has joined #tunes -:- SignOff Kaufmann`: #TUNES (Read error to Kaufmann`[dial301.infolink.com.br]: Connection reset by peer) -:- SignOff Kaufmann: #TUNES (Ping timeout for Kaufmann[dial726.infolink.com.br]) -:- air [brand@p0wer.qzx.com] has joined #tunes -:- ikobi [ikobi@laptop-4-163.Reston.mci.net] has joined #tunes -:- ikobi [ikobi@laptop-4-163.Reston.mci.net] has left #tunes [] -:- hcf [nef@me-portland-us108.javanet.com] has joined #tunes does anyone have a good lisp walker? -:- lar1 [larman@sdn-ar-012casfrMP011.dialsprint.net] has joined #tunes Hey -:- hcf has changed the topic on channel #tunes to: TUNES, Free Reflective Computing System 04:10pm -:- SignOff lar1: #TUNES (Ping timeout for lar1[sdn-ar-012casfrMP011.dialsprint.net]) Fufie: make one :) -:- lar1 [larman@sdn-ar-006casfrMP095.dialsprint.net] has joined #tunes hmmppff I just might have to do that :-/ 04:20pm but not tonight.. I need sleep.. good night.. (afk) Fufie: just make sure to release it when you're done -:- NetSplit: asimov.openprojects.net split from irc.linux.com [04:28pm] -:- BitchX+Deb1an: Press Ctrl-F to see who left Ctrl-E to change to [asimov.openprojects.net] -:- Netjoined: asimov.openprojects.net irc.linux.com -:- Fare [fare@quatramaran.ens.fr] has joined #tunes -:- smkl [sami@glubimox.yok.utu.fi] has joined #tunes -:- Fufie [stig@tunnel-44-22.vpn.uib.no] has joined #tunes -:- zarq [zarq@10dyn148.delft.casema.net] has joined #tunes -:- AlonzoTG [Alonzo@216-164-136-135.s135.tnt4.lnhva.md.dialup.rcn.com] has joined #tunes -:- eihrul [lee@usr5-ppp152.lvdi.net] has joined #tunes -:- lar1 [larman@sdn-ar-006casfrMP095.dialsprint.net] has joined #tunes hcf: can you specify many messages to abi at once? 04:30pm eihrul: how do u mean? in order to put in many factoids? multiple queries without having to re /msg abi nope no dcc or multi query would be useful (hint (hint)) abi: oznoid? oznoid is probably at mailto:lenzo@cs.cmu.edu or at http://www.cs.cmu.edu/~lenzo send him the suggestion where's the source to abi? (it would probably be a trivlal modification) www.tunes.org/~nef/abi/src and abi: infobot? infobot is at http://www.cs.cmu.edu/~infobot abi: infobot is also at www.infobot.org okay, hcf. what is infobot written in? abi: infobot =~ s/org/org (newer)/ OK, hcf perl doh... out of my league then :) * lar1/#tunes could do it i could do it too likely easily but will you? but i dont wanna fuss w/ oz's code anymore I can't do anything till friday just needs to interpret ; as the start of a new query why not, hcf? lar1: look at the infobot srces, u may understand Ah, its a readablitiy issue then lar1: hairiness and at times down right bad coding hairy bits.... such a mental image Heh eihrul hcf: That sucks Well I would do it, but I really can't afford adding more to my queue Its near more then I can handle already 04:40pm lar1: exactly Ounces can't be converted to grams, right? yes... they're two different types of units though -:- lar2 [larman@sdn-ar-004casfrMP164.dialsprint.net] has joined #tunes I need to know how many grams 14.5oz of tomatoes is... surley somone has figured this? -:- SignOff lar1: #TUNES (Ping timeout for lar1[sdn-ar-006casfrMP095.dialsprint.net]) -:- lar2 is now known as lar1 04:50pm yes why do people even bother using ounces anyways? No idea http://www.acces.net/local/weights.htm Metric is the far superior system if you haven't noticed, the average human is about 70,000 grams or so :) Thanks alot Heh 70,000g eh? (yes, they're using some foreignish notation for decimal places) which is why i brought it up :) woah, they are! I didn't notice that abi: selflinks? i haven't a clue, eihrul hcf: what was the factoid again? air: self links abi: self links? self links are at http://www.cetus-links.org/oo_self.html fucking a nicks rmm, the one with all the papers on it? eihrul: u use 'abi: scan for ' too s/use/can use/ Ooooo, hcf is pissed ;) lar1: yeah right hcf: oblige him to change his nick back to qzx :) Just _QZ will do mr_brix perhaps Heh Brix are $.17 a peice at the local hardware store eihrul: correction 'abi: scan for [maxhit] ', maxhit defaults to 5 How the hell am I suppossed to know the mass of a medium onion?!? * eihrul/#tunes doesn't know perl. lar1: check the onion faq i already established that hcf: Is there such? lar1: dunno hcf: Heh eihrul: man perlre or just ur substrings s/ur/use/ lar1: couldnt hurt to look TBS is tablespoon, right? 05:00pm abi: mathsym is "the earliest uses of various mathematical symbols" at http://members.aol.com/jeff570/mathsym.html 05:10pm -:- SignOff lar1: #TUNES (Read error to lar1[sdn-ar-004casfrMP164.dialsprint.net]: Connection reset by peer) -:- lar1 [larman@sdn-ar-004casfrMP164.dialsprint.net] has joined #tunes Do all published documents need to be reported to the Libary of congress? 06:00pm no, only if you want to be copyrighted... Just saying "copyright 2000" protects you untill 2002 =P You don't need to file papers and pay $$$ for a copyright??? Ok, I was eating a naval tangerine, and there was a seed.... if I plant that will the tree be naval???? very likely. Sweet Why was there a seed in the naval tangerine though? *shrug* I don't eat fruit. heh 06:10pm -:- SignOff AlonzoTG: #TUNES (Ping timeout for AlonzoTG[216-164-136-135.s135.tnt4.lnhva.md.dialup.rcn.com]) What causes mucles to "knot"? Sorry for creating noise, but these are burning questions! -:- mibin [mibin@62.11.106.2] has left #tunes [] 06:20pm -:- SignOff lar1: #TUNES (Ping timeout for lar1[sdn-ar-004casfrMP164.dialsprint.net]) -:- lar1 [larman@sdn-ar-001casfrMP109.dialsprint.net] has joined #tunes Hmm, whats wrong with this picture... 'flood near liberia' on alta gives me: . !> 100% FREE Hey water! hey hcf, i missed something you had to say just before you left hi lar water: it was sorta answered anyway well ok i was skimming the log so well, have you any ideas for me? some input perhaps? have u written anything up for slate? not yet... been working out lisp-level implementations in my head it wouldn't take long to write it up how does slate differ from ur oct since i'll wind up paring down sel oct? well, oct is object code translation @ http://www.ifi.unizh.ch/richter/people/pilz/oct/ oops old college try heh oh the oct was just a small lisp object system with a tinier mop developed from self's reflectors and mirrors and i didn't formalize a grammar for it at all; it was almost entirely a visual idea but then, i didn't know much at all then about mop's and the problems with mutability etc s/etc/and continuation-passing etc so, hcf, any thoughts? have u looked at visual lang stuff lately? not in the last four months, no may be another place to post to, possibly finding some help hm 06:50pm well, i already have some good papers on vis, data-flow, and persistent store relationships heh... i had a lot of time today to contemplate slate and arrow the sooner u post to the various camps (self,beta,etc) the better i found myself every two hours trying to make slate into arrow without realizing it for a minute or two since, as usual, #tunes isnt providing much help as usual tho a post to tunes@ is worth a shot i suppose i find it a bit odd to post for a language without formalizing it, but then perhaps GPLing the language grammar would be beneficial hm.. a new good paper on lanl well anyway i was playing with language design today trying to see the effects on mop possibilities put all u can up on ur hp -:- SignOff Fufie: #TUNES (Ping timeout for Fufie[tunnel-44-22.vpn.uib.no]) ok i'll try not to get too vague an interesting coincidence that i try to get this language while self porters get active abi: mathsym? mathsym is "the earliest uses of various mathematical symbols" at http://members.aol.com/jeff570/mathsym.html icuc k interesting hm... evolution of mathematical syntax 07:00pm a while ago, u mentioned <> being used in something already, what was it? well, it's part of modal logic, but that's it -:- ult [noone@user-37kbagu.dialup.mindspring.com] has joined #tunes i don't think any company would bother me unless i typeset it or made a logo out of it that resembled their logo too closely hmm, google has a apple specific search now yes i noticed i just heard it on zdtv shows how often i use google heh... that explains some performance problems with my searches ;) wow. i seem perfectly content to let the current discussions in tunes go their own way -:- NeBulOuS [hidden@sl4lh.dorms.usu.edu] has joined #tunes unless of course things die down without real progress hm. it seems Xerox has been suing 3com over Jot heh... and i wrote a similar program back in 91 Whats Jot? the palm pilot's handwriting recognition Ah 07:10pm bummer heh. someone at work today asked me to do a little cracking and phreaking research on several banking systems they expected complete results in 10 months if i took up the offer Heh water: 'morning they also wanted me to set up a proxy server set of accounts, strong message-encryption, and strongly-encrypted storage hi eih water: How was the pay? ;) they promised a percentage water: any new thoughts/material on slate? * ult/#tunes bonks eihrul yes, but nothing set in stone stop that, ult * ult/#tunes bonks water =) mostly it seems best to start with self and modify from there water: Your the one making puns about slate/set in stone =P lol i didn't notice heh i'll bet david ungar thought of hybridizing self with another language once or twice 07:20pm well, let's see water: i've just been thinking about slots... the notion of having certain messages that mute their contents (data) or add an object to a stream versus messages that mute perform a functional action seems kind of hackish (from the perspective of self anyway) which seems hackish? mutable or functional? messages that perform assignments on their host objects k, but sometimes it's all you need often you don't need to have an object history to ensure consistency, etc from the perspective that data is just a constant function it seems somehow "unclean" well, i don't see the lisp perspective as the king of computing unclean? like pigs? The meat Pat Buchanen will outlaw if he ever takes presidency? er.. s/lisp/lambda water: this is not from a lisp perspective... :) lisp is even worse in that respect no, it's a lambda perspective and it's not the only way to do things i don't want to force a model on the user of the language mop's will definitely be a major concern of the implementation for instance, did you read the web pages on Joy? i've been meaning too but i have a lot of things to read: well, for joy, data is a 0th-applied function self papers, beta papers, another arrow paper, lisp books, etc :) lol ok abi: joy? rumour has it joy is at http://www.latrobe.edu.au/www/philosophy/phimvt/j00syn.html or a forth like functional programming language i really do read a lot, don't i? ok, good... water: i'd guess so 07:30pm okay, this is annoying well, anyway, i feel that any slate implementation should be self-hostable and reflective this microsoft keyboard likes to spontaneously effectively depress its control keys or caps lock keys such that i can't type any letters not only that... would it be tunesish otherwise? :) but i'd like to take the normal primitives of various programming languages and model them at an abstract level using slate objects (patterns?) which potentially could allow for re-implementation of the language using other primitives what constitutes a slate object at this point? wow. slate can express rewrite quite nicely eihrul: the default? well... yes, your bootstrap slobjects :) the default mop should probably specify that the first slot be (implicit) inheritance, the second be initialization code, and the rest be method (function) slots the initialization code's position could be variable by simple syntax variation actually, of course all the syntax of the object could be variable keep in mind that objects are again functions here would methods be considered true objects as well (represented with initialization code), or will they be represented with a different atom? ok and the method code will work within the 'block scope' of the object by default as for the initialization code, i'll look more closely at how beta does threads and co-routines before i decide for sure hopefully, this will be tonight i'd like to get a preliminary page for this set up, and announce the slate plans to the various lists 07:40pm -:- SignOff ult: #TUNES (Ping timeout for ult[user-37kbagu.dialup.mindspring.com]) it might be better if you wait to have some rudimentary specification first :) well, it wouldn't be hard to specify some of it, since self and beta specs already exist least ye create another vapour.com :) actually, .org in this instance i'm mainly focussed, though, on keeping it's "selfishness" primary, which means leaving more of the language features in the environment heh that's the way it should be yes, that site made me pause a minute ok the self papers describe how they used the environment to optimize the language, and suggested how to generalize this idea to other languages any specific forth paper? er self (sorry, brain fart, last thing i read last night) since they eventually got 50% speed of optimized c, i'd have to agree with their results hm i mean which paper explains this :) yes i'm looking (though 50% does sound impressive for what self is) afaik, that's about on par with ocaml et al? not familiar with ocaml speed well, i'm not sure which paper offhand, but i'd say that "making obje-oriented langs practical" probably has some of that content hmm... cecil also has some interesting ideas (among many bad ones) about objects abi: self links? self links are at http://www.cetus-links.org/oo_self.html 07:50pm oh, i have to read cecil papers as well :) don't bother too much it overlaps a lot with self but it also might be more intuitive for you how so? -:- SignOff hcf: #TUNES (Ping timeout for hcf[me-portland-us108.javanet.com]) actually, there's a good blurb in "programming-as-experience" under "minimalism" that explains why self is so small dunno, cecil just works from a different perspective than self does -:- hcf [nef@me-portland-us646.javanet.com] has joined #tunes and perspective counts for a lot when learning new ideas -:- lar1 is now known as lar1-eating what would that perspective be... dunno... the "non-simple language" perspective cecil supports a lot of grammar "out of the box" or, not-"minimal" sure but it still has self features -:- _ruiner_ [blah@ppp241.wi.centurytel.net] has joined #tunes -:- _ruiner_ [blah@ppp241.wi.centurytel.net] has left #tunes [] hm. i can see how beta's ideas of virtual function could be useful for slate when developed by the environment -:- SignOff NeBulOuS: #TUNES (reboot) but even a generalized idea of virtual function seems to require an extra primitive so that incomplete functions are differentiated from complete ones i should keep investigating this aspect -:- rares [rares@wtrb-sh1-port63.snet.net] has joined #tunes do you necessarily need an incomplete function? incomplete? well, it would be nice to have incomplete initializers, i suppose rares: virtual functions rares: hello wage slave ;) well, i mean to implement virtual functions same to you hcf :) hcf: everyone is -:- SignOff water: #TUNES (Leaving) eihrul: i was refering to something water and rares were discussing recently 08:00pm he didn't leave on my account? hmm, if i neglect sleep tonight i can have enough time to read some of these papers sometimes pingouts r shown as quits I'm sorry if he doesn't understand that no one is going to create some sort of legal defense fund for sourcerers without having money first i'm not a wage slave -:- water [water@tnt-10-110.tscnet.net] has joined #tunes bah timing hehe just when you came in darn win32 water let me ask you this no! stop! don't ask! :) what you want to create is a system where an applications guts are available in realtime yes and change as needed among other things that too then we're in the same boat well, that's not everything to it, but ok though I was looking at it more specific to the machine you want to generalize it i mean, you can argue that even linux is like that you mean more low-level? i think we can work together in a while i just have to produce something that will fuel more projects here's my idea: have a system where libraries can be replaced that is libraries become mere pathways to the kernel and hardware 08:10pm i like the metaphor but to me, that's not enough the way i was going to begin was to study elf then go from there hm... i'm not familiar yet with elf for your stuff you shouldn't need it i didn't think so there's a point where a library has little to do with hardware i'm sure (with exception of code format) i guess i'm looking at the bottom half well, i want that bottom half to be worked by the top half imagine installing libraries and having a profiler app build a working skeleton i can't i mean, i'm not familiar with a profiler app or what sort of skeleton you're talking about imagine as in fantasize not actually think it out well, the terms mean nothing to me rares: that is more or less clementine, afaik preofiler hmm i should have said an optimizer ssomething that registers the new pathways to be used at run time based on the performance of the libs * water/#tunes notes more useless replies from Laurent Martelli on the Tunes mlist hcf: you think i could write an mlist-independent slate announcement? self's syntax is a little twisted you have to read middle to left then middle to right sometimes i don't want self's syntax good :) besides, there is a better way to work it out water: would it be best? you have to understand how messages get parsed hcf: no, but it'd save time i guess actually, it would just make confusion hcf: n/m * eihrul/#tunes nods. as i thot eihrul: it might be clementine but I think you would not want to see gnome or kde included in kernel just apps transformed 08:20pm * water/#tunes is sick of people peddling low-level ideas in #tunes sorry hey, i haven't peddled a low level idea in months! water: icuc, http://cs.wwc.edu/%7Eaabyan/Logic/ * eihrul/#tunes has been moving on up... to the high side. hmm thx hcf heh. did you search on "<>"? water: know a search engine that allows for puncuation? alta certainly doesnt hmm no maybe within quotes try "blah, Blah!, blah?" * eihrul/#tunes ponders how many papers he could read if he did not have to do homework. rares: alta doesnt index punc. at all eihrul: yes, concentrate on school water: eh? its english/spanish/etc versus self/beta/etc you're forgetting one of eihrul's probs he prints out vars in Pascal at school and builds Oses and muds at home i didn't drop out because i didn't study, i dropped out because i *did* basic, not pascal eww worse * eihrul/#tunes nods. water has a point there e: i was burnt out for quite a while, perhaps i still am water: you try writing do loops and doing spreadsheets with a guy who also says "C+" and promoting Basic as god's gift to man heh xchat i said nick completion now do it! water: this is CS 2 AP, note eih: oh wow. i never heard of a cs ap course they have them, but they're pitiful AP in Bnasic i'm sure they are, as are almost all cs programs what is this AP remnedial water: i'l be posting some links to review@, i think u'v seen 'em all already, so ignore 'em Advanced Placement: college courses i know hcf: k but Basic? lol water: if this is the AP cirriculum, think about what the normal CS cirriculum will be if CS ever becomes a required subject... hcf: that logical foundations page was really nice millions of students nation-wide learning C++ and Basic first heh. being programmed for low-level and lame ideas :) what's to stop me from hosting Computer Science fairs if I get rich *if* :) 08:30pm I get to pick the topics (ooh poetry) hmm. what about introducing indirection to self? how so? or would that be redundant? don't slots already provide indirection? well, beta allows things like pattern variables and indirection, but it also has pointers yeah i guess hm a one data slot object => indirection cell (well, two if you consider assignment) yeah, i actually use objects like that in my arrows code is there any advantage to providing them? not sure, i'm working it out they *do* allow circular definitions, whether through self-references or references through loops which reminds me of hyperset theory and the formalization of stream-objects wouldn't slots allow for circular definition all the same? (see the "a mathematical definition of reflection" mlist posts for urls) no, self and smalltalk don't allow slots to point to "self" water: links msg sent, i havnt given the last 3 urls b4, probly none of conseqence to u, i wont paste them now so as to not interupt slate talk ;) how do they enforce that? -:- SignOff lar1-eating: #TUNES (Ping timeout for lar1-eating[sdn-ar-001casfrMP109.dialsprint.net]) hcf thx well, it's just that you have to construct "self" before referring to it and perhaps more importantly, why? it's a constructive notion of the object as container instead of treating an object as a true model of a concept hm 08:40pm * eihrul/#tunes ponders how you would necessarily refer to "self" before constructing it. well, it's encountered in specifying streams as immutable objects since the stream's type satisfies X=(A X) where A happens to be the type of the object considered as mutable X happens to be the type of stream of objects of that type so this problem is only inherent in specification of a type before hand? well, there might be other unexplored applications and having a loop of references would take on new meaning for instance, cecil *allows* circular inheritance (combined with multiple inheritance) to specify some interesting things circular inheritance? but no one's apparently used the feature yes could you give an example? :) of how it could be used... well, i'll check the cecil-spec real quick ok they don't allow it in the current implementation, but they add that they might support it later on well, they suppose that it could be used for factoring a single large object into multiple separate objects where each implements a separate facet of the total object's implementation (which sounds vaguely like interaces) but why can't that just be achieved by multiple inheritance? it can theoretically then where does circular inheritance improve on this? but the implementation might hang for an ordinary implementation keep in mind that cecil is a bit different from self... more static, for instance is slate going to be as such? i don't see it as helpful yet * eihrul/#tunes nods. 08:50pm since part-objects could inherit from anywhere and those could allow for interfaces besides, the cecil idea requires the objects in a loop to implement disjoint methos so circular inheritance is kind of multiple inheritance as applied to polymorphism? s/methos/methods i suppose so (where instead of one object behaving as an ancestor you have many cooperating to compose the ancestor's behavior?) * eihrul/#tunes is trying to second guess what circular inheritance actually does. :) yes that's the way i understand it ok keep in mind they haveonly a short paragraph and no examples and perhaps circular inheritance could be useful in other ways as long as neither of you tries to plug a power strip into itself and present it to Comdex you're fine :) actually... lol that could have been useful in some of my OO'd programming endeavors how so? well, for instance, the chess program i was working on i have a polymorphic chess program, and it got more specific as it was being derived but, it had many unrelated components that needed to implement various functionality (logging, networking, rules, etc) -:- Downix [down@d-gnaps-125.ici.net] has joined #tunes which perhaps could have been done through multiple inheritance hey D but then you ruin the polymorphism of the chess object the chess *object*? because it brings with it a rigid set of policy What's up? water: well, it was a chess board object :) but actually more like a chess game object oh, the *board* not quite the board heh (it implemented various aspects of a chess game, including a board) logging/networkking could be external couldn't it? i think you should read up on oo programming styles water: well, i'm not a newcomer if that's what you mean :) well, it doesn't matter most of the books on oo programming style seem overly simplified... cuz they want to sell more not teach more more hype books than expedient books yep there's an online tutorial on mvc which i happen to like 09:00pm gah why do I have to be haunted by ideas about how the world should be all I want is to gwet out of my mother's house lol rares: because, we collectively, suck i'm not going there * water/#tunes bites his electronic tongue bzzzzt toothache n'm * rares/#tunes changes his gnome theme ok the conversation has de-railled sorry abi mvc? water: bugger all, i dunno abi mvc is the model-view-controller paradigm of object-oriented design explained at http://st-www.cs.uiuc.edu/users/smarch/st-docs/mvc.html there's also the original Xerox PARC mvc paper as pdf well, for referencing, maybe the most important choice is what the default mode should be every one say some thing or maybe a system of modes i'm testing some stuff (anyone here into sleater-kinney?) hwat? they're a grrrl punk rock band very good as far as punk is concerned heh... i think they're my age actually 09:10pm well, anyway, beta presents three kinds of composition methods * eihrul/#tunes ponders if schizophrenia would make it any easier to read alll these papers. lol why schizo? one could sleep while the other reads :) oh god anyway... three kinds of composition methods... i doubtit you'd be writing Como esta inheritance for Spanish homework and reading Don Queue beta allows you to treat part-obects as part of the whole, or as pure references, or also as nested blocks lol sounds to me like beta wedges itself between the link from slot to its contents hm maybe the best choice is the pure reference mode with mop's allowing other interpretations it's most general, and doesn't sound too difficult but its yet-another-primitive... how so? i think the parts and nested blocks are just handy contexts they added to pure references water: well, don't you mean to provide a reference as a default object by this? well, beta is nested by default hm references as objects would be expensive if used heavily to me, they just seem implicit in the concept of slots.... since most objects are passed by reference anyway (save for small ones) there would be a reference object whether or not reference would be a primitive vice containership yeah, but even self doesn't seem to act like that eh? -:- AlonzoTG [Alonzo@216-164-129-61.s315.tnt1.lnhva.md.dialup.rcn.com] has joined #tunes i think that the self guys thought the possibility of self-reference by an object's slots would be non-intuitive it's not as bad as 640k but still well, i'm pretty sure that having references as the default won't be so bad 09:20pm how are they represented? the gc will have to pay more attention to references, though probably just by name i mean, would they just refer to slots or be free-floating objects? they would probably just refer to slots by default keep in mind, it shouldn't be too hard to switch modes just re-interpret the object structure using a different mop (i know that that's vague, but it's not hard for a lisper to grasp) well, i'm new to lisp :) i can hack lisp but not from scratch just enough to change options emacs a new mop would just be a n ay of evaluating the object a new way, even well brix now has a working shell great cool u can type commands what about the language? is that what the shell will be? shell/language whatever heh sorry shell will be the interpreted side of the language right hcf: why don't you join in the discussion much? you're here so often heh. ok now i understand :) lack of knowledge/experience haven't i covered so many topics, though? 09:30pm i mean in the channel imagine the horror on teachers faces if we all got degrees by doing papers on this stuff all cuz of irc heh i'd like that 8) gah, education by irc :) the medium needs an overhaul, though i dunno, i learn a lot more sitting through a month of #tunes than two years of school :) squeak happens to be working on some new ideas, like MuSwiki i'm telling you the day I hit $2 or $3 million i'm going to start plowing the market they have classes on undernet hcf: really? on what? oh, that medium irc basics, other topics i forget i got a global msg once hm the details r probly at the undernet site irc basics sheeshg that's not a course it's a pamphlet :) yeah its a course for those w/o previous exp you have no idea how little previous experience you when you want something really badly .... /msg, /join, /names, /nick quite enough to get around on yeah, #Class on undernet and #OpSchool and #OpSchool2 hasha but i doubt being an OPer requires high-quality education and i also doubt eihrul has enough knowledge to write papers ;) well, it depends on the subject :) he wrote a garbage collection paper that was a research paper, man for whom, though? i think himself ultimately water: science project that's how he managed to finish it heh icky high school things hm more slate stuff * rares/#tunes drools :) go on 09:40pm oh i was just considering some uses, but that doesn't mean much for the spec it's basically just adding beta patterns to self and the effects for modelling things in the real world that can wait for later sans virtual? ah water: put some slate poop up i still haven't gotten to the virtual issue which you should probably get to as well as another one from cecil but i digress umm why does my hd make noise when i move the mouse hcf: sure rares: swappage? i think i'm going to put netscape to bed good idea use kfm moz 12 is solid so far much more light-wieght hm beta and self have similar ideas for object naming (or allowing unnamed objects) ok time to update the home page with a branch for slate agg, i hate post script with no numbered pages 09:50pm anyone good at basic web design? eihrul: same here or rather, can someone suggest a good existing style of language-description page? hcf: any particular favorites? hmm -:- SignOff rares: #TUNES (Ping timeout for rares[wtrb-sh1-port63.snet.net]) of course, it's a new lang, so there's no reason to give vapour much decorations just basic content format something like cecil's? can do you think i should name the reflection system mobius or not? files are mutable :) heh water: its good enuf for now, proceed k 10:00pm -:- SignOff AlonzoTG: #TUNES (Have Nice Day :)) what's a good term for Lisp syntax? sexp? i mean, i'm looking for a term that will explain it in a few words yes i know, abstract syntax trees s expressions eih: but i want something more widely known ast's should be better hm.. i used both just in case 10:30pm is 'immutable' common enough to use in an overview? hcf: what'dya think? i'd assume so if its good enough for languages to use as a keyword... hm ok ur audiences know it right? hmm well, the people who work with multiple languages will -:- satori_ [satori@spc-isp-mtl-58-5-748.sprint.ca] has joined #tunes -:- satori_ [satori@spc-isp-mtl-58-5-748.sprint.ca] has left #tunes [] 10:40pm anyone know the ascii value for underscore? 95 thank u, my chart has a space there 10:50pm water: hmm, interesting... objects as namespaces yes much cleaner than global oh yes because afai can see, it would allow for things like modules implicitly yep, although i haven't checked out beta's module system yet i remember a long time ago i wrote the system as an os idea with the lnguage implicitly including a namespace accessing system modelled after shell languages so, '/' was block inclusion, ':' was inheritance (clone), '>' was function-call (i think), and there was another with '.' and '..' having the usual meanings when suffixed to a namespace accessor it was a toy idea 11:00pm i.e. i implemented it but never got around to really testing it out thank ult :) so slate will be selfsh? ;) do the puns never end? yep hey, it makes it more fun ok, i have some updates to upload nothing serious yet, but enough ok, check stuff out gimme some feedback man, nothing exciting sorry dude :) i'll add more, but it'll take a little time ok this is just to give an overview and be friendly to the reader 11:10pm ok oops, some typos water: slate will be fine-grained, right? yes water: lisp and sexp also there letters with slate :) my deadtree dict defines slate as a hard, fine-grained, metamorphic rock cool except for the "hard" part enuf things r easy i guess that would translate to "raw ppower" its time for some hard stuff :) hmm dictionary.com definition is better oooh yes :) "A fine-grained metamorphic rock that splits into thin, smooth-surfaced layers." hmm * water/#tunes does some typing hmm water: " and you don't define reflective before you use it." hmm hcf: heh hm abi: quote? downix: i haven't a clue hcf: how do you suggest i write that, then? abi: Downix? well, Downix is doing it right now uh huh 11:20pm water: defs can be added later k maybe i could referrence the tunes glossary water: what did u upload and where? any suggestions for info to add or typos to correct? air: check my home page air: http://www.tunes.org/~water/slate-home.html or that hmm gonna have to read that tomorrow i didn't mention streams with immutable objects because i don't want just streams in the lang water: werent u gonna redo the glossary? erg yes but that can wait k, uploaded typo-fixes and the defintion (in why) what should fit under overview? hmm 11:30pm nothing? :) understandability works for me 8) lol who do you think i am, some normal language-implementor? :) lol i'm studying some pages for beta and cecil right now achieving achieving? u have ei accommodating ok huh? i guess my parser is buggy what the hell are you saying? * Downix/#tunes is saying "hmm" and "ok" duh :) ok * Downix/#tunes sets up a perl script iow, "om" lol every 3-4 minutes, in high conversation it goes "ok" well then, thanks for the input :) otherwise,it hmm's Dx: what's the diff? :) Nothing lol It's the Downix script! You too can be as cool as Downix! just put some company secrets on it that it spills at 4am every morning :) lol hmm i suppose GPL doesn't apply until we actually have code :) 11:40pm nope hm. water: have u talked to jecel lately? eihrul could probably write up a lisp implementation as soon as he groks it fully hcf: no not lately this looks good gonna write posts now? what the page? the page is fixed thx hmm sure, mostly as looking for interested parties -:- SignOff water: #TUNES (Read error to water[tnt-10-110.tscnet.net]: Connection reset by peer) hmm ok hmm -:- water [water@tnt-10-29.tscnet.net] has joined #tunes heh foo on win32 well im off to bed, cya ok -:- SignOff air: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) lol 11:50pm heh... now to find some appropriate subject titles ok * Downix/#tunes gryns * water/#tunes ignores the local perl script * Downix/#tunes takes out a large tuna.... Perl Script this lol * Downix/#tunes attacks you with the tuna ack! * water/#tunes unsheaths his trusty rapier * hcf/#tunes hands water a tuna shield thx hcf ok, so that's the game you'llplay * Downix/#tunes whips out a sythe * water/#tunes makes fish pudding out of Downix's tuna Good for grim reapers and horror movie villans the world over -:- SignOff hcf: #TUNES (Leaving) uhoh -:- hcf [nef@me-portland-us910.javanet.com] has joined #tunes * water/#tunes thinks n/m * water/#tunes runs!!!! -:- water [water@tnt-10-29.tscnet.net] has left #tunes [] * Downix/#tunes laughs -:- water [water@tnt-10-29.tscnet.net] has joined #tunes * Downix/#tunes sharpens his sythe ah, fresh meat! yikes! :) -:- water [water@tnt-10-29.tscnet.net] has left #tunes [] * Downix/#tunes shhs, and puts the sythe away, and gets out a chainsaw -:- water [water@tnt-10-29.tscnet.net] has joined #tunes * Downix/#tunes revs up the new chainsaw * water/#tunes whips out the gatling gun eat flying lead! truce ok i need to work on slate Ok * Downix/#tunes ponders hmm... for the self and beta lists, simply titling the mail "self/beta hybrid" would probably get enough attention for squeak, the perspective is different ok water: sounds good they'd be seeing a better language for their existing environment style alright so, "a new language in the style of squeak"? not quite right [msg(TUNES)] newlog 2000.0112 IRC log ended Wed Jan 12 00:00:01 2000