IRC log started Fri Feb 12 00:00:00 1999
[msg(TUNES)] permlog 1999.0212
ωνω SignOff dino_: #TUNES (Ping timeout for dino_[pm-ppp22.triton.net])
!koontz.openprojects.net!! Remote CONNECT vinge.openprojects.net 8005 from lilo
ωνω dino_ [dino@pm-ppp22.triton.net] has joined #tunes
ωνω Fare [rideaufr@esmeralda.enst.fr] has joined #Tunes
ωνω hcf [nef@escher.sdi.agate.net] has joined #tunes
ωνω SignOff dino_: #TUNES (Ping timeout for dino_[pm-ppp22.triton.net])
ωνω KeLp [tcole@sloth.wcug.wwu.edu] has joined #tunes
<KeLp> hello
<abi> que tal, KeLp
ωνω SignOff KeLp: #TUNES (class)
08:50am
ωνω dino_ [dino@pm-ppp207.triton.net] has joined #tunes
ωνω SignOff hcf: #TUNES (Leaving)
ωνω hcf [nef@escher.sdi.agate.net] has joined #tunes
ωνω tcn [tcn@cci-209150250096.clarityconnect.net] has joined #tunes
<tcn> howdy..
ωνω SignOff dino_: #TUNES (Ping timeout for dino_[pm-ppp207.triton.net])
12:40pm
ωνω tcn [tcn@cci-209150250096.clarityconnect.net] has left #tunes []
ωνω tcn [tcn@cci-209150250096.clarityconnect.net] has joined #tunes
ωνω SignOff tcn: #TUNES (Leaving)
ωνω binEng [bineng@dialup122-4-9.swipnet.se] has joined #tunes
<binEng> hi guys
02:00pm
ωνω tcn [tcn@bespin.cx] has joined #tunes
<tcn> hey
<Fare> hoy
<tcn> I finally got PPP working in freebsd
02:10pm
<tcn> I go to download mutt, and freebsd fetches ispell... wtf?
<tcn> better than dselect, though
ωνω SignOff tcn: #TUNES (tcn has no reason)
02:20pm
<Fare> what's better than dselect?
02:30pm
ωνω SignOff binEng: #TUNES (Leaving)
ωνω tcn [root@cci-209150250121.clarityconnect.net] has joined #tunes
π tcn/#tunes is away: (Auto-Away after 10 mins) [BX-MsgLog On]
ωνω dino_ [dino@pm-ppp193.triton.net] has joined #tunes
π tcn/#tunes is back from the dead. Gone 0 hrs 1 min 22 secs
<tcn> howdy
03:50pm
π tcn/#tunes is away: (Auto-Away after 10 mins) [BX-MsgLog On]
π tcn/#tunes is back from the dead. Gone 0 hrs 2 min 5 secs
ωνω SignOff tcn: #TUNES (tcn has no reason)
ωνω yery [ost@benetnash.ffke-campus.mipt.ru] has joined #tunes
<yery> hi
<abi> salut, yery
ωνω lar1 [larman@153.36.252.201] has joined #tunes
<lar1> Hi!
<yery> lar1: hello
<lar1> When does 
<lar1> Tril come here?
<hcf> lar1: often
<Fare> privet!
<yery> Fare: privet!
04:50pm
<lar1> Whats with all the privet?
<Fare> well, gakuk! if you prefer
<yery> lar1: Fare greets me in my mother tongue :)
<hcf> yery: he waves your mother's tongue at u?
<yery> hcf: no, no.
<lar1> What language is that?
<yery> lar1: Russian
<lar1> Ah
05:00pm
<Fare> lar: where are you from?
<lar1> United States, California, San Jose
<Fare> participating in windows refund party, on monday?
<lar1> Whats that?
<abi> that is, like, a system abstraction, but not sure
<lar1> abi: forget that
<abi> lar1: I forgot that
<hcf> abi: this is <reply>
<abi> ...but this is because it's including the external cache..and different ext. caches are different speeds....
<hcf> abi: that is <reply>
05:10pm
<Fare> http://www.linuxmall.com/refund/
ωνω tcn [root@cci-209150250095.clarityconnect.net] has joined #tunes
<tcn> howdy.. who's all here?
05:20pm
<lar1> Howdy!
<Fare> nobody
<Fare> ne1 caree to read my article?
<Fare> http://tunes.org/~fare/tmp/
<tcn> sure
<tcn> if it's in html
<Fare> k!
<Fare> dvi or postcript
<Fare> (or latex, if you want)
<tcn> lambdaND? what's it about?
<tcn> the pink triangle society!!?
<Fare> Reflection, Non-Determinism, and the $\lambda$-calculus
<Fare> pink triangle?
<tcn> oh
<yery> Fare: www.lambda.org
<tcn> haha
<tcn> There's a gay fraternity called "lambda-lambda-lambda" or something like that.. 
<tcn> yery, is that what lambda.org is?
05:30pm
<yery> tcn: international perverts organization
<tcn> Fare: Is it about NP-complete problems?
<Fare> not
<tcn> yery: How come you knew their web site? .. hehe
<Fare> I don't consider complexity, only computability
<tcn> jk
<yery> tcn: tried to find Lisp link of course :)
<tcn> haha
<tcn> this Freebsd is pretty cool
<tcn> Runs X 10 times faster than Linux
<tcn> 10 times!!
<yery> tcn: that's impossible?
<yery> tcn: say "sure"
π Fare/#Tunes is away (sleep)
<tcn> well, more like 2-3 times faster. Starts in 4 seconds, compared to 10-20 in Linux
05:40pm
<yery> tcn: and then?  with utimes typical for Unix startup time is not very important
<tcn> utimes?
<yery> oh! uptimes
<tcn> This is for my home machine, with 3 OS's on it. Startup time *is* important.
<yery> tcn: I use only one.
<tcn> I have some damned windows apps. Mostly need them for college..
<tcn> My old 486 won't cut it for that :).. just for Tunes testing and hosting MCU's
ωνω SignOff yery: #TUNES (Read error to yery[benetnash.ffke-campus.mipt.ru]: EOF from client)
05:50pm
ωνω SignOff lar1: #TUNES (Leaving)
ωνω Tril [dem@bespin.cx] has joined #TUNES
<tcn> howdy tril
<Tril> hi
<tcn> hey, I'm getting OCAML
<tcn> gotta check that out
<tcn> I'm running freebsd right now
<tcn> You tried FBSD right?
<Tril> well sort of
<Tril> i used the install program
<Tril> but i didnt get it booting and i wiped that drive for some other reason. i still may try it someday
06:30pm
<Tril> well i just stopped in 
<tcn> Yeah, it was a bit tricky installing it and getting PPP to work (except for the first time)
<tcn> allright, see ya :)
<Tril> if anything important to say, email me
ωνω SignOff Tril: #TUNES (Tril has no reason)
ωνω SignOff tcn: #TUNES (tcn has no reason)
ωνω SignOff dino_: #TUNES (ircII EPIC4pre2.001-NR8 -- Accept no limitations)
06:40pm
ωνω dino [dino@pm-ppp193.triton.net] has joined #tunes
ωνω SignOff hcf: #TUNES (Leaving)
ωνω yery [ost@benetnash.ffke-campus.mipt.ru] has joined #tunes
ωνω _QZ [brand@p0wer.qzx.com] has joined #tunes
ωνω SignOff dino: #TUNES (Ping timeout for dino[pm-ppp193.triton.net])
ωνω Kor [kor@pm-ppp54.triton.net] has joined #tunes
ωνω dino [dino@pm-ppp50.triton.net] has joined #tunes
ωνω AlonzoTG [Alonzo@client-151-200-127-237.bellatlantic.net] has joined #tunes
<AlonzoTG> om
<_QZ> fa
<_QZ> fag
<AlonzoTG> I updated my site
<AlonzoTG> all updated now...
<AlonzoTG> lots of new text...
<AlonzoTG> very exciting
<AlonzoTG> :)
<Kor> what site?
<AlonzoTG> atc.peon.net/~cyborg/
<_QZ> im going to get my fully equipped sunfire tomorrow night
<AlonzoTG> We don't care about cars
<_QZ> thats cuz yer a luser
08:30pm
<AlonzoTG> om
<AlonzoTG> so Kor howzgoin?
<Kor> AlonzoTG: good, check out www.starbridgesystems.com for another archtecture, it is even morepromissing them Alpha :/
<AlonzoTG> ./ignore qz
<AlonzoTG> checking...
<AlonzoTG> also check f-cpu.tux.org
<AlonzoTG> Sorry; I don't have 700 million on me . :(((((((((((
<Kor> AlonzoTG: it wont be that expensive for too long
<Kor> AlonzoTG: also, its the idea of reconfigurable computing thats important, not really there implementation...
<Kor> s/there/their
<Kor> I like your combination of projects, they are very cool
<AlonzoTG> thankyou
<AlonzoTG> Anything that you would be interested in helping with?
<Kor> The OS, and the Reality Engine
<Kor> I am still working on low level specifications myself though
<AlonzoTG> don't start low!
<AlonzoTG> start at the top and work down!
<Kor> I didnt, not conceptually... I am doing implementation now...
08:40pm
<Kor> just thespecifications needed to get my ideas working on todays hardware :)
ωνω SignOff Fare: #TUNES (Ping timeout for Fare[esmeralda.enst.fr])
<AlonzoTG> I discovered reciently that you should always start at the very most abstract
<Kor> really, how so?
<AlonzoTG> Describe your ideas in terms of mathematics
<AlonzoTG> write your ideas as a system of equations
<AlonzoTG> They can then be prooven or disprooven
<Kor> I agree with you there
<AlonzoTG> then work on implementation
<AlonzoTG> Only a month ago I was trying to write a prototype
<AlonzoTG> Now I am reading a book called "software engineering" and its changing my whole perspective!
<AlonzoTG> Look at my current work in my OS project
<AlonzoTG> I am doing basic research into math and formal methods!
<AlonzoTG> That is the place to start! :)))
<Kor> I agree with you there too, you need an axiomatic way of representing your algorithms
<AlonzoTG> That's a good word!
<AlonzoTG> :)
<Kor> yeah :)
<AlonzoTG> See my universal languge project
<AlonzoTG> I hypothesize that a language of thought is possible
<AlonzoTG> I'm going to attempt to base my OS on pure mathematical theory...
<Kor> I like that idea, very long term though, probably longer term then nano-tech :/
<AlonzoTG> :((((
<AlonzoTG> Yeah
<Kor> the universal language idea that is
<AlonzoTG> I was wondering about that
08:50pm
<_QZ> did u know that roseanne drives a hummer?
<AlonzoTG> looking on my plan from the borg page I made an allowance for two generations of OSES
<AlonzoTG> But I don't like to plan in obscelescence
<AlonzoTG> QZ: is your OS perfect?
<_QZ> yes
<AlonzoTG> good
<AlonzoTG> :)
<_QZ> so u should all quit
<_QZ> cuz i have acheived perfection and there is only one perfection
<AlonzoTG> My e-mail address is ogrimes@bellatlantic.net
<Kor> whey you say error free humnan genome, do you mean to extend human life?
<AlonzoTG> I want you to present an argument why your os is superior
<AlonzoTG> Not necessarily
<Kor> which os is QZ's?
<_QZ> brix?
<abi> rumour has it brix is a free portable protected preemptive pervasive-multithreading multiuser persistant object-oriented high-speed distributed operating system located at http://www.qzx.com/brix
<_QZ> so that tens times in a single breath
<Kor> _QZ: does it have d/l'able source
<AlonzoTG> Simply a genome that doesn't have genetic or inherited diseases
<_QZ> yes
<_QZ> everything in brix is distributed as source
<Kor> AlonzoTG: oh, ok... I was thinking keeping the DNA error-free so that cells keep reproducing perfectly forever
<Kor> _QZ: what is the kernel structure?
<AlonzoTG> 99% of cell reproductions are error free
<_QZ> can u turn off daytime running lamps?
<AlonzoTG> But there is the haflac limit
<Kor> AlonzoTG: yeah about 50 reproductions too...
<AlonzoTG> :)
<AlonzoTG> you know this stuff!!! :))))))))))))))))))))))
<Kor> koo, eh :)
<_QZ> brix uses a uK
<AlonzoTG> Proof
<AlonzoTG> Show me Proof
<Kor> _QZ: not exo-structure?
<Kor> _QZ: i think I went to the brix page before, what language was itimplemented in?
<AlonzoTG> asm
<AlonzoTG> x86
<AlonzoTG> an os is only as good as the platform it's on?
<Kor> whatabout for highlevel stuff?
<_QZ> the uK is x86 asm, the OS is written in brix
<AlonzoTG> hehehehehehehhehehehehehehhehehehehehhehehehehe
<AlonzoTG> oh brix is a language now...
<_QZ> it has always been a language + os
<AlonzoTG> okay
<_QZ> the uK is based on the language
<Kor> QZ what is brix like? scheme/c/forth?
<AlonzoTG> I want to see the specs for this beast and why it is so supperior, in my mailbox NOW!!!
<_QZ> Kor: its like nothing ever seen before
<AlonzoTG> Kor: It is unwise to mess with QZ; I'll deal with him...
<_QZ> Kor: do u know anything about tunes?
<Kor> im not "messing with him"
<Kor> hehe
<Kor> _QZ: yes
09:00pm
<AlonzoTG> SHOW ME THE PROGRAMMER'S REFFERENCE!!!!!!!!!!!!!!
<_QZ> brix and tunes are very much alike
<_QZ> cept brix is closer to becoming reality
<Kor> _QZ: tunes seems to follow the s-exp(scheme) syntax mostly, is brix reflective?
<_QZ> AlonzoTG: u are not one of the chosen ones that i let see that material
<AlonzoTG> om
ωνω AlonzoTG has changed the topic on channel #tunes to: Brix sux
<_QZ> Kor: yes
ωνω _QZ has changed the topic on channel #tunes to: alonzo sucks
<AlonzoTG> Kor: topick?
ωνω AlonzoTG has changed the topic on channel #tunes to: <_QZ> AlonzoTG: u are not one of the chosen ones that i let see that material (I would be too embarased because I know you could see through it)
ωνω Kor has changed the topic on channel #tunes to: TUNES: Project For A Reflective Computing System
<Kor> bah!
<AlonzoTG> :)
<Kor> _QZ: I couldnt get the brix source from the d/l link
<AlonzoTG> om
<AlonzoTG> Lets talk about something non demeaning...
<AlonzoTG> do you have a webpage?
<Kor> no
<AlonzoTG> okay
<AlonzoTG> I am going to get an ATX case tomorrow...
<Kor> wohoo, hehe
<AlonzoTG> What type of motherboard should I get ( x86? alpha? mac? other?
<Kor> alpha
<AlonzoTG> yes 
<AlonzoTG> I like alpha too 
<AlonzoTG> but they won't have a .25 micron processor for another year at least! :(((
<Kor> they dont run very hot though
<AlonzoTG> I know
<Kor> the 21164s are very affordable now too
<AlonzoTG> Hmm
<AlonzoTG> maybe...
<Kor> what do you have already?
<AlonzoTG> P100
<AlonzoTG> 3 years old...
<Kor> what OS?
<abi> OS is not the browser...yet
<AlonzoTG> Windoze 3.11
09:10pm
<Kor> ahhhh
<AlonzoTG> bug?
<AlonzoTG> dos?
<abi> dos is an OS, and a bad one, for it brings little useful knowledge, with lots of limitations
<AlonzoTG> huh?
<AlonzoTG> ban abi!!!!!!!!!!!!!!!!!!!!!!1
<Kor> tunes?
<abi> tunes is probably in my head or tunes is a useful nevertheless expedient system. or at http://tunes.org/
<Kor> abi seems to be knowledgable
<AlonzoTG> its a bot
<Kor> i know
<AlonzoTG> and an annoying one at that!!!!
<Kor> AlonzoTG: linux is a good development OS, especially for making other OSs/languages/etc...
<AlonzoTG> I agree
<AlonzoTG> I also hate linux
<Kor> uh oh
<Kor> why for?
<AlonzoTG> It pisses me off every time I turn it on...
<Kor> well, the current distro's do all suck
<AlonzoTG> I have redhat 5.0
<AlonzoTG> I have been messing with linux for more than 2 years...
<_QZ> bullshit
<AlonzoTG> I still can't figure out how to get the thing to do what I want it to...
<AlonzoTG> like those fucking init scripts...
<Kor> _QZ: eh? does a distribution not suck?
<AlonzoTG> and its COMPLETE LACK of interactive configuration tools...
<AlonzoTG> don't talk to QZ
<AlonzoTG> He gets us off topic :((((((((((((9
<AlonzoTG> he is just trying to sabotage all other OS projects...
<Kor> AlonzoTG: I use only linux and dont have any trouble with it anymore
<AlonzoTG> anymore?
<Kor> AlonzoTG: although, I have been using it since late 1993
<AlonzoTG> I'm a DOS phreek
<Kor> bah! DOS is just boot code for x86;s :)
<AlonzoTG> that's all I want from my OS!!!
<Kor> and GRUB is better boot code
<Kor> or OSKit
<AlonzoTG> Fuck all the rest
<AlonzoTG> It gives me a headache...
<AlonzoTG> where kan I find oskit?
<Kor> ill find my link
<Kor> http://www.cs.utah.edu/projects/flux/oskit/
<Kor> its very koo
<AlonzoTG> oh that one...
09:20pm
<AlonzoTG> okay looks somewhat interesting...
<AlonzoTG> right now I am studying abstract stuff
<AlonzoTG> I'll come back to that after my current jag is done...
<Kor> what isyour current job? (er money job)
<Kor> _QZ: I cant find BRiX source :(
<AlonzoTG> I am a monk
<AlonzoTG> I go to my cell every day and pray to my deity that I pass ENG 111
<AlonzoTG> om
<Kor> hehe
09:30pm
<AlonzoTG> send me that mail
<Kor> there, just sent it.
<AlonzoTG> thanks! :)
09:40pm
<AlonzoTG> om
09:50pm
ωνω SignOff AlonzoTG: #TUNES (Have Nice Day :))
ωνω SignOff Kor: #TUNES (Ping timeout for Kor[pm-ppp54.triton.net])
ωνω tcn [root@cci-209150250056.clarityconnect.net] has joined #tunes
ωνω SignOff tcn: #TUNES (tcn has no reason)
ωνω SignOff dino: #TUNES (ircII EPIC4pre2.001-NR8 -- Accept no limitations)
ωνω SignOff _QZ: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep)
[msg(TUNES)] newlog 1999.0213
IRC log ended Sat Feb 13 00:00:00 1999