IRC log started Thu Feb 4 00:00:00 1999 [msg(TUNES)] permlog 1999.0204 ωνω SignOff abi: #TUNES (Ping timeout for abi[bespin.ml.org]) ωνω abi [nef@bespin.ml.org] has joined #tunes ωνω SignOff abi: #TUNES (Ping timeout for abi[bespin.ml.org]) ωνω abi [nef@bespin.ml.org] has joined #tunes ωνω hotrod23 [MyComputer@as9-9.eatel.net] has joined #TUNES ωνω hotrod23 [MyComputer@as9-9.eatel.net] has left #TUNES [] ωνω iStormy [stormy@rain.futuresouth.com] has joined #Tunes hi http://aard.org/images/albus.jpg 08:10am ωνω TMF [s720@sik.ii.uib.no] has joined #tunes ωνω SignOff TMF: #TUNES (Leaving)  09:20am ωνω Fare [rideaufr@esmeralda.enst.fr] has joined #Tunes ωνω SignOff iStormy: #TUNES (Ping timeout for iStormy[rain.futuresouth.com]) π KeLp/#TUNES is back from the dead. Gone 12 hrs 30 min 3 secs ωνω hcf [nef@escher.sdi.agate.net] has joined #tunes ωνω Kor [kor@pm-ppp200.triton.net] has joined #tunes ωνω SignOff Kor: #TUNES (Hey! Where'd my controlling terminal go?) ωνω NetSplit: tolkien.openprojects.net split from sterling.openprojects.net [02:06pm] ωνω BitchX: Press Ctrl-F to see who left Ctrl-E to change to [tolkien.openprojects.net] ωνω Netjoined: tolkien.openprojects.net sterling.openprojects.net ωνω Fare [rideaufr@esmeralda.enst.fr] has joined #TUNES ωνω SignOff hcf: #TUNES (Leaving) π Tril/#TUNES is back from the dead. Gone 23 hrs 10 min 4 secs hey 02:20pm ωνω NetSplit: tolkien.openprojects.net split from varley.openprojects.net [02:35pm] ωνω BitchX: Press Ctrl-F to see who left Ctrl-E to change to [tolkien.openprojects.net] ωνω Netjoined: tolkien.openprojects.net varley.openprojects.net ωνω Fare [rideaufr@esmeralda.enst.fr] has joined #TUNES ωνω SignOff Tril: #TUNES (changing servers) π KeLp/#TUNES is away: (home) [BX-MsgLog On] ωνω iStormy [stormy@rain.futuresouth.com] has joined #tunes peekaboo 03:00pm ωνω Tril [dem@bespin.ml.org] has joined #TUNES I'm beginning a list of online pages on the lambda-calculus there are four on my bookmarks page (so I can quote the resulting page in my incoming paper) Tril: ~tril/bookmarks.html? ~dem , yes ROTFL: http://www.perdu.com/ 03:50pm π Tril/#TUNES puts a babelfish in his web browser yeah i should go to nas and work on zippy and have bob change the reverse dns zippy? beeblebrox? zippy is a box he has for me to work on there what does beeblebrox have to do with it what other conferences are you going to this year? PPDP'99? just got an announce for it on types-forum I propose that next server on the domain tunes.org be named for. Tril: I basically go to conferences where I can submit papers, or that I organize; previous years, I could go to two more conferences, because the lab had money but FT is cutting the funding... ωνω SignOff iStormy: #TUNES (Ping timeout for iStormy[rain.futuresouth.com]) I had the first link to macalester, but it's down where can I find samples of raw news from reuters or else? 04:00pm raw news like, press communicates from press agencies... Press release? you don't want USENET news w/ headers, like Path: news.nas.com!news3.nwnexus.com!nwnews.wa.com!nntp2.savvis.net!news.premier 1.net!news.stanford.edu!newsfeed.berkeley.edu!ctu-gate!ctu-peer!news.nctu.edu.tw !serv.hinet.net!news9.tp.silkera.net!not-for-mail Newsgroups: comp.software.licensing NNTP-Posting-Host: ts42155.tp.silkera.net X-Newsreader: Microsoft Internet News 4.70.1161 etc search for "press release"? not you, abi [abi(nef@bespin.ml.org)] Looking for "press release": [abi(nef@bespin.ml.org)] no matches found for "press release" ωνω iStormy [stormy@rain.futuresouth.com] has joined #Tunes what does www.perdu.com say in english this is the internet, you are here? Lost on the Internet? Don't worry, someone will help you. <--- You are here. ah, good guess π iStormy/#Tunes checks on the roast. back soon π Tril/#TUNES is away: (afk) [BX-MsgLog Off] 04:10pm π iStormy/#Tunes bites into a roast beef sandwich. ωνω SignOff iStormy: #TUNES (ice cream time) π Tril/#TUNES is back from the dead. Gone 0 hrs 38 min 25 secs http://www.vhemt.org 04:50pm ωνω _QZ [brand@p0wer.qzx.com] has joined #tunes Tril: seen the mail to tunes? Tril: is there no way for the tunes crontab to have errors mailed to me? at least, not to the mailing-list! (I fixed the junkscript for now -- requires the user to be tunes@bespin.cx) Fare: yes, to not have a "tunes" user, or to rename the tunes@bespin mailing list. Or get a new crond? a new crond, perhaps? or have jobs in root's crontab, with a su -c tunes wrapper? su tunes -c "toto" I think the best way is to make the alias "tunes@bespin" not be sent to the list! righto Do we really need our *alternate* list address to be called "tunes"? tunes-list would do or tunes-l alternate? alternate, as in, when tunes@tunes.org is down, we use tunes-l@bespin.cx oh, ok. That only happens when DNS is down, but bespin is up. That is rare now I will change it. we can set tunes@bespin.cx to go to you! 05:10pm Tril: good now someone needs to post to the tunes@tunes.org list to see if that still works. But I don't want to send a test message. Anything to announce? 05:20pm <_QZ> u can announce that brix will be ready before tunes :) when will brix be ready? <_QZ> soon 05:30pm ok, I'll do it 05:40pm done. 05:50pm it's not sending... yet... did you pipe that into sendmail on bespin? I don't see an smtp connection for it what message is it anyway oops, I don't see a message at all. I mistook one to cybernethics Feb 5 03:00:03 ZhengHe sendmail[12591]: DAA12589: to=tunes@tunes.org, ctladdr=f are (504/0), delay=00:00:01, xdelay=00:00:01, mailer=relay, relay=mail.cybercabl e.fr. [212.198.3.12], stat=Sent (ok 918179304 qp 6203) Sent, to mail.cybercable.fr, not to bespin :) that's my relay. ωνω Beholder [beholder@ppp-046.m2-1.sub.ican.net] has joined #tunes It'd better not be a bit bucket! >>> Tril [dem@bespin.ml.org] requested PING 918179686 891321 from #TUNES Hello hey ole! Got you message, just as I was about to send to the mailing list :) ... Tril :) So what's new? today was a new day. and so will tomorrow be! So was yesterday... at one point :) i'm not working on the web pages. freehive can. I'm working on specs (well right now I'm working for NAS, but..) that point is obsolete. freehive? freehive is to support free software by epople who don't program They must be growing, as I don't remember them having a list last time I looked. They're in some kind of financial trouble, they lost their domain (freehive.org) their domain is actually down, they couldn't pay the bill! Freehive.org is temporarily down. use http://freehive.styx.net/ 06:00pm Tril: Gotta Linux question for you... The guy setting up the UniOS server (not very experienced), does not know which deamons to have loaded for internet access to work (he forgot RouteD the first time, what elese is necessary?) internet access? routed? you should have inetd (for ftp,telnet,and others), sshd (secure login), httpd (web server) a daemon for mail is nice, also routed is only if you have two ethernet cards and are routing packets between them (not likely unless your person is responsible for the firewall! He shouldn't, if he is new!) I kinda figured... he shut everything down for "security" reasons... uggg... He didn't think inetd was important... I want to get my hands on this server and config it myself :) Tril: uh? I use ipfwadm for that Beholder: using inetd, he can selectively manage services with inetd.conf and various tcp wrappers Fare: routed is smarter Fare: You may know this... How do I get my linux machine to work like a proxy server for demand PPP internet access (3 machines at my house, and 1 internet account) forwarding sounds like a dumb router I don't have experience setting that up, but you need IP MASQUERADING in the kernel Tril: how undumb do you expect it to be? Beh: I use ip masq indeed Beh: very easy Tril: I've got that configured when I compiled, just don't know what config file makes it work Fare: Where would ip masq be in a slackware system? Beh: oh, if it's a proxy, you may even skip ip masq, and just setup squid on the ppp machine Beh: if not, just recompile the kernel, and download ipfwadm (for 2.0) or ipchains (for 2.2) Fare: Can I proxy things like ICQ (Socks5) and mail? not through squid, you can't!!!!! mail, you can either thru ip masq, or just with a correct sendmail config I need the same functionality of WinGate (nice program, but serves slow) ICQ, you may w/ ipmasq Beholder: it will always be slow, through a modem π Fare/#Tunes is very happy with cable -- until I see the bill! π Beholder/#tunes can get cable for somewhat cheap... but it's only downstream 06:10pm I only need it so my mom can have access while I'm playing with Linux. I just downloaded KDE for my slackware system, haven't tried it yet, but the screenshots are nice. Beh: ipmasq is the simplest beholder: come to #WCUG and ask about it..... Beh: afterwards, actual proxies (squid, sendmail, etc) will help you save bandwidth abi, where is ipmasq? rumour has it ipmasq is the simplest it's in the HOWTOs! Fare: Thanks :) Fare: I know where thoese are :) The HOWTO-Finding HOWTO, by tril The HOWTO-Finding-Finding HOWTO, by Fare or maybe the HOWTO-Finding-Finding-Writing HOWTO Anyways, I was thinking of something today, and I want your opinions: The only way that a totally portable, totally flexible OS is possible is by abstracting every basic nature of how a computer works, including basic calculations, and hardware I/O. This abstraction must be simple enough to encompas every method of processing. Does this sound ok? Fare: oops, I think i found the problem. i misspelled "virtusertablle" resend the last tunes mail (Subject: RFV: Learning Material) Beh: as simple as possible but not simpler. Fare: How simple can it be? Beholder: gotta abstract every useful piece of information about a program that the computer OR anyone reading or maintaining the code may care about Beh: the idea of reflection is not "going down to how things works in terms of quarks and the electroweak force", but "allowing programmers to dynamically chosing whichever abstraction level they want" 06:20pm what is to "abstract", anyway? Tril: make things irrelevant. Tril: or rather, forget irrelevant things you mean to hide Tril: I think of it as a way to make a standardized, interface to programming a machine that does not involve any knowlege of the physical hardware of the system. "minsky asked, why are you wiring it randomly?..." Actually throw out the word standardized... beh: you always need *SOME* knowledge B: that's creating a VM, yeah, that's what jiml calls domain abstraction beh: the question is 1) *which* knowledge is a good compromise what is the question? the question is "can you dynamically define the limits, or is there someone having made a static choice for you?" and 2) do I get to negociate my own compromise, or has someone else chosen for me even though he was completely ignorant of my needs. π Fare/#Tunes pats abi's head: "good dog" abi, the question is also "What is the result of multiplying 6 by 9?" okay, Tril. Fare: did you resend that yet Tril: may I? abi: what is the question? the question is "can you dynamically define the limits, or is there someone having made a static choice for you?" or "What is the result of multiplying 6 by 9?" Fare: I guess the answer for that question (1) depends on how much control you wish the programmer to exert over the system Fare: Yes resend it! It was not delivered to the list. I dont know why oh yes I do Beholder: wrong question. how much control will the programmer try to exert anyway, no matter what you do as a system designer? so you must include support for full control, otherwise the system will get hacked up send send send send send Tril: So a good solution is the abstract the basic functionality of the hardware, which gives a programmer total control over the system, but still allows a layer of abstraction? 06:30pm ωνω KeLp_ [kelp@xws054.xtrn03.wwu.edu] has joined #TUNES hello que tal, KeLp_ I'm trying to make my TeleVideo 912b terminal working programming languages do that provide a VM the problem is programming languages aren't META message bounced. why? uh? no it didnt' Tril: I'm refering to code distribution format that would allow programs to be run with near total control of the system, on any platform it's working, fare B: ok, i guess.. Tril: I'm looking for a way to abstract basic hardware and it's functionality. Any system can have multiple abstraction layers, to allow for the meta languages to do their magic :) Beh: s/layers/modalities/ Fare: whats the diff? wtf is a modality? any one know the excape code to turn off local echo on a tvi912? Beholder: what functionality? Logic? Arithmetic? Data storage? some kind of "semantic context", as in modal logics KeLp:GETTY option? STTY? π Beholder/#tunes has only used VT120 dumb terminals... nope, its plugged into my sparc I'm just at the monitor its a function of the terminal I think π Beholder/#tunes has 3 dumb terminals... he questions why... but he never has a good answer... send them to kelp 06:40pm <_QZ> did u guys watch netforce? no what? QZ: Nope, looked dumb <_QZ> i watched the end of it the other day, its another "the net" QZ: Can you overclock a Celeron A (to the degree that you have done?) I'm going to put this term in my living room it will be rad I just need to buy more cat5, some crimpers and some rj45 ends Fare: I agree with modality, then i heard crimpers were expensive we were talking about some weird wacko abstraction if you get the right cripers they are cheap we have some cheap piles of shit in the CS dept that work very very well Kelp: What are they called, I want to get a new set... I paid $50 CDN for mine and they crapped out (metal cracked, made them useless) umm, not shure I would have to go to work and check sorry ωνω jdl [jiml@ultra1.inconnect.com] has joined #tunes how did I know you were about to show up? :) just got your e-mail, jiml. Who, me? :) Tril: good, I didn't say much though. 06:50pm I thought prism showed the data in icon form. I guess not, though? (obviously, I haven't run it :) Tril: That would be WORK! :) I didn't mean to interrupt... Beholder, you were saying some interesting things about abstraction...? no he's talking to kelp about linux in the other channel :) that conversation is put on hold ah, oh well. jim: GO ahead and say anything :) jdl: Yep, how to abstract the basic operation of a computer Beholder: My take on it is that a computer is a programmable system, and every language abstracts that programmable system into a NEW programmable system. Thus a language and a computer are really the same type of thing. (Simplified view) jdl: Architecture indepedent abstraction of all the functionality of hardware I guess Beholder: I don't understand. hey me neither jdl: I'd have to agree, but for a portable (high performance) OS, wouldn't a basic hardware abstraction, make more sense, then build multiple levels on top of that (meta languages?) I'm just guessing at this stuff B: Well... the disadvantage of a domain abstraction is that you lose control over the stuff you abstract away, and you have to rely on the compiler to efficiently fill in the missing pieces. But... Depending on the abstraction, that might not be too hard for the compiler to do. Explaination: I see the way Tunes and Prisim are working, and that I think is the abstraction of programming "concepts". Which is perfect for Rapid application development, but the programmer looses control of the system, and therefore a lower level of abstraction is needed? B: See previous reply. :) jdl: Yes, noticed after I posted ... heheh :) :) So is a lower level of abstraction needed for an operating system that claims to be "Universal" (there's a word that is abstracted :) heheh Also, in Prism at least, the whole idea is that you use the metamodel/language/abstraction which is most appropriate for the task. So if you need that kind of control, use a metamodel that gives you that control. what is an example of this "control of system" you mean? You are talking about platform-specific optimizations, arne't you? Tril: yes (but it could be anything) 07:00pm yes, like jdl said those can be in their own metamodel, which can interoperate with the other domain abstractions through the meta-metamodel! Tril: I mean abstracted optimizations (impossibility?) like saying you wish to write to the frame buffer of video hardware. Almost every single PC or Mac, or any system with a monitor connected (not terminals) uses some kind of video buffering, which could be abstracted to produce high performance video apps (kinda like OpenGL or DirectX) B: I don't understand what you mean be "So is a lower level of abstraction..." gotta go, sorry ωνω SignOff jdl: #TUNES (Leaving) jdl: You're program run is Java correct? That is not a low level abstraction by any stretch. It does not interact with the hardware directly. I think tunes is a lower level, because it's going to be a real OS (am I right in this, or just confusing everyone?) tunes is higher level than most programming languages you know and lower level, as well. the "level" means how close to hardware, right? Tril: Yes, I'm sorry if I did not define that tunes is just more expressive: it maps problems more exactly at any "level": hardware is represented more like it is, and so are the high level problems the user deals with. now if that doesn't completely confuse you, i'll be shocked usually i say stuff like that and people start ignoring me, like qz Tril: So you would have to have some kind of drivers and kernel (to make it an os?) 07:10pm <_QZ> Beholder: what did u wanna know about the celeron A? "kernel"? Why do you need be so vulgar? what does an OS do? manage CPU, memory, I/O, disk, yes it can do that, by modelling them exactly and having a way for the model to affect the actual thing. QZ: Can it be overclocked? <_QZ> uhh ya Fare: Sorry... basic IO services I gues B: on certain motherboards it can <_QZ> i have 5 that are all running at 463mhz that doesn't mean the model is "low level" in the normal sense of being hard to understand or hard for the user to get at. qz: nominal speed? QZ: Just checking :) Didn't know if the ones with L1 cache could go very high <_QZ> Fare: eh? qz: what mobo to use for them? what's the nominal speed? <_QZ> Beholder: but u have to get a god one <_QZ> Fare: i have them in an abit bh6, asus p2b and asus p2b-d <_QZ> i havent got around to drilling/soldering 2 of them yet to make em smp'able <_QZ> s/god/good/ ωνω SignOff Fare: #TUNES (Back to the Tunes OS project -- /whowas Fare) <_QZ> the place where i buy mine tests them and tells me if they are good or not QZ: I can't get a god board? Damit... I bet that woudn't run any microsoft stuff hehehe B: low level hardware stuff is modelled with objects and then translated in order to affect the acutal machine >>> Tril [dem@bespin.ml.org] requested PING 918184587 594240 from #tunes Tril: This is the same thing I was thinking of. But do you have a standard set of these objects that should go with every Tunes system, to allow for easy cross platform programming? cross platform programming of the same hardware? oxymoron? 07:20pm I mean do you abstract things like basic I/O routines, like writing text to a screen, or pixels... will one program written work the same way on all other machines that run it (not counting speed as a difference) programs shouldnt do I/O! manually writing to the screen is part of a UI, not part of an indivudla program. Programs shouldnt assume they are being used by a person! Everything must be designed to work interactively (on ANY interface, including ones that may not exist yet), or from another program, using any API, including ones that may not exist yet../ I know that, but programs are input -> processing -> output... how do they achieve this, and will they do it uniformly accross variations in architecture? i hope people will program things that way, yes. (that's the 2nd question) <_QZ> Beholder: u need to think different how? by having the input and output formally defined, using the tunes typessystem <_QZ> Beholder: there shouldnt be any programs exactly qz do you know prolog QZ: And how do you replace isolated functional units of code (programs)... I don't see how a program can be avoided. You can have a bunch of objects interacting, but they still have an interface, which presents itself as a program 07:30pm program= manually written sequence of instructions on how to perform a task there can be programs but they should be automatically written every time no code. if your data is rich enough the code follows from it ωνω SignOff KeLp_: #TUNES (bbiab) Automatically written from what source? You can't use data as a source for a program, as you'd have to still feed in definitions of what the data IS. <_QZ> u integrate features into the OS and the OS does what u need <_QZ> the os becomes one large program logic programming uses logical inference to answer true/false questons. essentially generates a program for each question. all it does is go through the data systematically _QZ brix isnt integrated tho ???? <_QZ> ya it is with what Tril: What is an example of such a program? i dont know anyt prolog source archiv off hand 07:40pm prolog is a language for logic programming you can write very powerful programs very easily with prolog it has limitations, which i hope to overcome in tunes Tril: Any way I can get prolog to try it? (Win95, or Linux) yep SWI prolog is on sunsite http://metalab.unc.edu/pub/Linux/devel/lang/prolog/swi/ :) there's even windows binaries in there! ωνω SignOff Tril: #TUNES (Hey! Where'd my controlling terminal go?) 07:50pm ωνω Tril [dem@bespin.ml.org] has joined #TUNES i think i hit the wrong button gotta reboot bespin real quick ωνω SignOff Tril: #TUNES (rebooting) ωνω Signon time : Tue Jan 26 22:47:33 1999 ωνω Signoff time : Thu Feb 4 19:52:57 1999 ωνω Total uptime : 8d 21h 5m 24s ωνω SignOff: TUNES (brb) IRC log ended Thu Feb 4 19:52:57 1999 IRC log started Thu Feb 4 20:00:59 1999 ωνω BitchX: Auto Response is set to - TUNES ωνω Connecting to port 6667 of server irc.us.openprojects.net [refnum 0] ωνω BitchX: For more information about BitchX type /about ωνω Welcome to the Internet Relay Network TUNES (from bear.openprojects.net) ωνω Your host is bear.openprojects.net, running version u2.10.04.resolv9.nmt.egcs4.tok.pten.tlim4.admin.upper4.whisper3.gipl.modeless7 (from bear.openprojects.net) ωνω This server was cobbled together Sat Jan 23 1999 at 21 33:38 EST(from bear.openprojects.net) ωνω bear.openprojects.net u2.10.04.resolv9.nmt.egcs4.tok.pten.tlim4.admin.upper4.whisper3.gipl.modeless7 dioswkfcg biklmnopstv ωνω [local users on irc(12)] 5% ωνω [global users on irc(87)] 36% ωνω [invisible users on irc(156)] 64% ωνω [ircops on irc(14)] 6% ωνω [total users on irc(243)] ωνω [unknown connections(0)] ωνω [total servers on irc(29)] (avg. 8 users per server) ωνω [total channels created(64)] (avg. 3 users per channel) !bear.openprojects.net Highest connection count: 20 (19 clients) ωνω Mode change [+f] for user TUNES ωνω Mode change [+iw] for user TUNES ωνω TUNES [tunes@bespin.cx] has joined #tunes ωνω [Users(#TUNES:5)] [ TUNES ] [ Beholder ] [ _QZ ] [ ^lilo ] [ KeLp ] ωνω Channel #TUNES was created at Wed Dec 30 09:08:43 1998 ωνω BitchX: Join to #tunes was synced in 4.226 secs!! ωνω SignOff Beholder: #TUNES (Read error to Beholder[ppp-046.m2-1.sub.ican.net]: Connection reset by peer) ωνω KeLp_ [kelp@xws056.xtrn03.wwu.edu] has joined #TUNES ωνω SignOff KeLp_: #TUNES (Ping timeout for KeLp_[xws056.xtrn03.wwu.edu]) ωνω hcf [nef@escher.sdi.agate.net] has joined #tunes ωνω Kor [kor@pm-ppp38.triton.net] has joined #tunes hi 09:20pm <_QZ> hi 09:50pm beep ωνω abi [nef@bespin.cx] has joined #tunes meep meep 10:00pm ωνω KeLp_ [kelp@xws009.xtrn03.wwu.edu] has joined #TUNES yo hi hello, Kor abi: what country is .cx? i don't know, kor abi: your domain name ends is .cx...? wish i knew, kor abi: r u a bot? kor: bugger all, i dunno bah! 10:10pm xmas island >>> KeLp_ [kelp@xws009.xtrn03.wwu.edu] requested VERSION from TUNES you need an eggdrop bot in here to tell you that :) or just do /wii tunes dont need an eggdrop for that i just havnt loaded abi w/ the country codes factpack right, just do /wii tunes hcf: how is abi implemented? <_QZ> another section of brix is finished Kor: perl <_QZ> and now im going to sleep QZ: whut is brix? <_QZ> brix? somebody said brix was a free portable protected preemptive pervasive-multithreading multiuser persistant object-oriented high-speed distributed operating system located at http://www.qzx.com/brix π hcf/#tunes : afk thankyou abibot 10:20pm ωνω SignOff _QZ: #TUNES (BRiX [http://www.qzx.com/brix] :: sleep) FreeBSD? hmmm... FreeBSD is more cohesive & responsible, and is (on iStormy's hardware) faster. linux has more programmers/programs/drivers/neat-tricks. linux? linux is very cool, but it can screw with my head after awhile... Windows? Windows is probably a 32bit patch for a 16bit shell on an 8bit OS originally made for 4bit machines by a 2bit company that can't stand 1bit of competition WindowsNT? Solaris? i guess Solaris is better in both respects OpenBSD? OpenBSD is probably probably the most insecure secure OSin the world though NetBSD? abi? yes, KeLp_? tunes? tunes is in my head or tunes is a useful nevertheless expedient system. or at http://tunes.org/ π Kor/#tunes is in linux, although things are getting pretty messy... VFB/GGI/X/GLIB>K&ORBit&imlib/GNOME ... 10:40pm ωνω SignOff KeLp_: #TUNES (sleep) π KeLp/#TUNES is away: (sleep) [BX-MsgLog On] ωνω SignOff hcf: #TUNES (Leaving) ωνω SignOff Kor: #TUNES (Ping timeout for Kor[pm-ppp38.triton.net]) [msg(TUNES)] newlog 1999.0205 IRC log ended Fri Feb 5 00:00:00 1999