00:55:56 Brianna joined #tunes
00:56:11 <lar1> There ya be
00:56:18 <water> thx
00:56:44 <lar1> np
01:13:14 palby joined #tunes
01:13:25 <water> hi palby
01:13:46 palby left #tunes
01:13:55 <water> it's that damned script again
01:14:09 <lar1> Pardon?
01:14:09 [MODE] ChanServ set mode: +o water
01:14:34 <water> this script is set up to join and part random channels at a time with random nicks etc
01:14:52 <water> it's been happening for about a week now
01:15:16 <lar1> Lame
01:15:17 <water> i thought i banned it properly earlier today, but i'll fiddle with the settings to see if i can fix that
01:16:51 <water> hm random ip's and everything
01:17:13 <water> whatever it is, it's creator is pretty clever
01:17:35 <eihrul> well, maybe he has a dynamic ip...
01:17:53 <water> the whole ip was different
01:17:58 <water> every digit
01:18:44 <water> that's not the same as your usual dynamic ip, is it?
01:19:11 <eihrul> nope, i'm 216.x.x.x
01:19:37 <water> yeah, like i said, every digit changed
01:19:53 <lar1> Is it possible to spoof that?
01:20:02 <water> i don't know
01:36:54 weltel joined #tunes
01:37:28 weltel left #tunes
01:37:54 <water> same ip that time, totally different set of channels
01:38:16 <water> no wait, same channels
01:38:23 <lar1> How can you tell what channels its joining?
01:38:44 <water> nm
01:38:49 <water> whois
01:39:01 <water> there was only one channel in common that time
01:39:13 <water> other than tunes
01:56:33 billh joined #tunes
01:56:40 <billh> Hello.
01:56:47 <water> hey bill
01:57:25 <billh> What's up water ?
01:57:32 <billh> I was at Usenix all last week.
01:57:39 <water> just working out slate stuff with eihrul
01:57:47 <water> ok
01:57:48 <billh> Yeah, how's it going ?
01:57:56 <billh> Yeah, I might get a job at SGI because of it.
01:57:58 <billh> or BSDI.
01:58:00 <water> details of implementation
01:58:39 <water> really good nit-picking
02:00:15 [QUIT] Fare quit: Ping timeout for Fare[esmeralda.enst.fr]
02:00:31 polcon joined #tunes
02:00:46 <water> script
02:01:05 polcon left #tunes
02:01:44 <water> hm
02:21:33 [QUIT] KingNato quit: Ping timeout for KingNato[212.28.215.84]
02:23:50 <water> g'nite
02:23:52 [QUIT] water quit: The Tao went that-a-way!
02:24:29 banciful joined #tunes
02:25:03 banciful left #tunes
02:48:36 wonjety joined #tunes
02:49:09 wonjety left #tunes
02:55:23 [QUIT] Hyphen quit: zzzZZZ
03:12:43 renfon joined #tunes
03:13:17 renfon left #tunes
03:14:14 KingNato joined #tunes
03:18:25 [QUIT] billh quit: BitchX: made with real honey.
03:32:30 ProGuy joined #tunes
03:32:45 <ProGuy> Hi!
03:36:50 polyedog joined #tunes
03:37:23 polyedog left #tunes
04:03:13 TUNES joined #tunes
04:08:22 simwin joined #tunes
04:09:26 simwin left #tunes
04:20:05 smoke_ joined #tunes
04:29:00 [QUIT] KingNato quit: Ping timeout for KingNato[212.28.215.84]
04:40:00 KingNato joined #tunes
04:49:29 [QUIT] smoke_ quit: Hey!  Where'd my controlling terminal go?
04:52:27 dirdog joined #tunes
04:53:36 dirdog left #tunes
05:00:52 billh joined #tunes
05:04:42 [QUIT] billh quit: BitchX: now with Olestra!
05:20:48 winenwin joined #tunes
05:22:22 winenwin left #tunes
05:48:06 welxy joined #tunes
05:49:39 welxy left #tunes
06:15:08 welran joined #tunes
06:16:42 welran left #tunes
06:25:15 dalvarez joined #tunes
06:36:46 <dalvarez> beginning with file 2000.0616 the logs contain tons of something like escapes. what is their purpose?
06:43:05 sememcol joined #tunes
06:44:39 sememcol left #tunes
06:54:32 ProGuy joined #tunes
06:55:59 [QUIT] dalvarez quit: Leaving
07:11:33 bancon joined #tunes
07:13:07 bancon left #tunes
07:38:50 bentor joined #tunes
07:40:24 bentor left #tunes
08:16:31 [QUIT] ProGuy quit: BitchX: the ONLY bug-free client
08:18:17 [QUIT] kc5tja quit: [BX] You can breathe without BitchX, but I wouldn't recommend it
08:32:52 [QUIT] INK quit: Ping timeout for INK[ppp-206-170-2-96.sntc01.pacbell.net]
09:33:42 smklsmkl joined #tunes
10:24:15 KingNato joined #tunes
10:24:17 smklsmkl joined #tunes
10:26:56 [QUIT] lar1 quit: Ping timeout for lar1[adsl-63-203-75-17.dsl.snfc21.pacbell.net]
10:26:56 [QUIT] coreyr quit: Ping timeout for coreyr[net255ip95.parklink.com]
10:28:23 lar1 joined #tunes
11:05:13 billh joined #tunes
11:09:08 diving joined #tunes
11:10:41 diving left #tunes
11:38:36 rentel joined #tunes
11:40:09 rentel left #tunes
12:07:33 sinsoless joined #tunes
12:09:07 sinsoless left #tunes
12:30:11 smklsmkl joined #tunes
13:54:54 billh joined #tunes
13:59:11 <smoke> http://msdn.microsoft.com/vstudio/nextgen/technology/csharpintro.asp
14:00:03 <smklsmkl> billh likes java
14:00:15 <smklsmkl> billh: is C# better than java?
14:00:21 <billh> you one EFNet?
14:01:12 <billh> Yeah, I was given this observation that Java is dying.
14:02:03 <smklsmkl> "you one EFNet?" ??
14:03:02 <billh> are you on EFNet ?
14:03:11 <smklsmkl> oh, not atm
14:03:18 <billh> Because I'm in a thread about this stuff on #java.
14:04:23 <smoke> interesting
14:14:12 eihrul joined #tunes
14:22:02 coreyr joined #tunes
14:59:11 [QUIT] clintonr quit: oops.
15:03:52 [QUIT] smoke quit: z!
15:13:47 [NICK] rares changed nick to: memeblister
15:59:48 eihrul joined #tunes
17:59:36 Nebulous joined #tunes
18:14:19 Nebulous left #tunes
18:33:05 [QUIT] billh quit: Ping timeout for billh[cx739861-a.dt1.sdca.home.com]
18:35:17 billh joined #tunes
18:53:07 [QUIT] kc5tja quit: THX QSO ES 73 DE KC5TJA/6 CL ES QRT AR SK
19:16:41 water joined #tunes
19:16:52 <water> re all
19:18:50 <water> damn it, that script is at it still!
19:20:02 [QUIT] KingNato quit: Ping timeout for KingNato[212.28.215.84]
19:56:34 KingNato joined #tunes
20:06:32 [NICK] rares changed nick to: memeblister
20:19:25 washort joined #tunes
20:20:43 <washort> anyone know where i can get Vortex (the Cecil compiler)? hobbes.cs.washington.edu doesn't seem to be accepting anon users
20:21:00 <water> hm
20:21:05 <eihrul> its free?
20:21:07 <water> eihrul would, i suppose
20:21:20 <water> yeah it's supposed to be, i thought
20:21:28 <washort> eihrul: it should be, i think
20:22:07 <eihrul> google for it
20:22:11 <eihrul> its on the very first hit
20:22:40 <washort> eihrul: i know
20:22:42 <water> wash: why interested in vortex?
20:22:46 <washort> eihrul: the link from there doesn't work :)
20:22:52 <washort> water: because cecil is a nifty language
20:23:20 <washort> water: prototypes + multimethods = cool, not to mention predicate objects
20:23:43 <water> i guess
20:24:11 <eihrul> sure, but isn't it static?
20:24:17 <washort> water: lack of MOP isn't all that great, of course...
20:24:26 <washort> eihrul: optional static typing
20:24:57 <water> hm
20:25:07 <water> washort: send them a mail asking for it
20:25:18 <water> (access i mean)
20:25:31 <washort> eihrul: pretty good static typing too, from what i can see - F-bounded polymorphism, etc
20:25:41 <washort> water: yeah, that's probably the best idea
20:25:55 <water> i really should go talk to those guys
20:27:36 <washort> "Cecil supports the view that static type checking is a useful tool for programmers willing to add extra annotation to their programs, but that all static efficiently-decidable checking techniques are ultimately limited on power, and programmers should not be constrained by the inherent limitations of static type checking."
20:28:07 <water> washort: yeah we're used to measuring languages only in terms of tunes-worthiness
20:28:19 <washort> water: Understandable.
20:29:45 <washort> water: the TUNES Review has helped a lot for more mundane purposes, too. :)
20:30:07 <water> i'm gonna contact someone at UW before signing up for this VL2000 conference
20:30:59 <coreyr> you should make someone go with you
20:31:07 <water> from uw?
20:31:11 <coreyr> yeah
20:32:17 <water> we'll see
20:32:30 <water> i did meet a professor into VR
20:32:49 <water> although he was unaware of craig chambers and such with self
20:33:30 <water> i'll have to apply for vacation for this
20:33:37 <coreyr> yeah
20:33:47 <coreyr> i was wondering if youd get stuck on a ship
20:33:57 <coreyr> so i didnt even mention it not to jinx it
20:34:06 <water> i can get out of it
20:34:41 <water> there are certain strings that can be pulled
20:35:36 <water> hm who to contact
20:37:31 <water> heh people who got degrees before my parents got married? :)
20:37:44 <water> (my parents are rather old)
20:52:20 [QUIT] digit quit: [x]chat
20:55:28 <water> should i go for craig chambers, do you suppose?
20:55:43 <water> i don't even know if he's attending
21:03:44 <eihrul> sheesh... you're just gonna go straight for the big dudes, eh? :)
21:04:07 <water> heh
21:04:14 <water> he doesn't seem very active lately
21:04:28 <washort> eihrul: why not? :)
21:04:29 [QUIT] billh quit: My damn controlling terminal disappeared!
21:04:30 <water> which qualifies him as an EX-big dude
21:05:06 <eihrul> maybe he's under NDA somewhere >:)
21:05:24 <water> *shudder*
21:05:45 <water> do you suppose he's behind c#?
21:05:53 <eihrul> i'd hope not...
21:06:19 <eihrul> going from Cecil to C# is a stretch
21:06:22 <water> people are really biased towards M$ here
21:06:51 <water> they have no idea how much they are brainwashed by the presence of big money
21:07:04 <water> EMP for example, but i digress
21:07:56 <water> i wonder what people are aroung the CSE dept in the summer
21:08:05 <water> s/aroung/around/
21:08:50 <eihrul> same way here... except towards gambling
21:09:08 <washort> C# is an amusing joke. :)
21:09:24 <water> heh that's different from M$ stock speculation?
21:09:44 <water> yeah Objective C seems much better
21:10:23 <water> but since *everyone* uses visual studio :P
21:10:36 <water> forget it, i'll go read
21:10:57 <washort> water: well, that's like debating which end of the hammer you want to hit your fingers with
21:12:47 <water> heh that reminds me of the programming language comparison where you shoot yourself in the foot :)
21:13:14 <washort> yeah :)
21:13:55 <washort> Objective C: You shoot yourself in the foot, but the gun is a whole lot lighter than with C++.
21:17:13 <eihrul> well, heavier gun can mean less recoil :)
21:17:53 <water> no, c++ is heavy like a train cannon
21:19:01 <water> and the programmer has to man all the stations himself :)
21:21:21 <eihrul> well, yeah
21:21:49 <washort> and then he has to make sure to run around front to get shot
21:22:08 <water> heh
21:36:57 Fare joined #tunes
21:37:31 <water> hey fare
21:37:57 [QUIT] MysticOne quit: I am enough of an artist to draw freely upon my imagination.
21:38:47 <Fare> lo
21:38:55 Fare is _very_ tired
21:39:05 <Fare> setting up the network for this lame startup...
21:39:17 <Fare> (not yet the tunes startup)
21:39:36 <water> what a valuable way to spend your time :P
21:39:39 <Fare> (ought to have eventually become it, but I'll look for betterassociates)
21:39:48 <washort> hey fare.
21:40:01 <Fare> also trying to cruise a geekgirl
21:40:18 <Fare> but she's no easy girl
21:40:41 <washort> that's the best kind (non-easy) :)
21:41:11 <Fare> my dad waited 10 years, but he started younger
21:41:23 <washort> hmm
21:41:28 <washort> guess i better start waiting now
21:41:40 <Fare> not passive wait, tho
21:42:00 <Fare> software problems are horrible; hardware problems are worse.
21:43:19 <washort> Fare: we can at least expect hardware to get faster. =)
21:47:34 [QUIT] alterego quit: Floppy...ohhh, the possiblities!
22:01:56 Terralthra joined #tunes
22:02:23 <Terralthra> Anyone alive?
22:03:01 <Fare> not
22:04:03 <Terralthra> Finished paper is on my homepage at http://members.home.com/terralthra/
22:28:47 folless joined #tunes
22:30:20 folless left #tunes
22:34:55 <eihrul> Terralthra: is decent enough :)
22:35:19 <Terralthra> Thank you.
22:35:33 <Terralthra> Would be pleased to have any comments by e-mail, guestbook or IRc
22:35:54 [QUIT] washort quit: Ping timeout for washort[d143.narrowgate.net]
22:36:26 [QUIT] _ruiner_ quit: fastlane.openprojects.net varley.openprojects.net
22:42:55 smoke joined #tunes
22:44:25 [QUIT] Fare quit: Ping timeout for Fare[193.251.37.24]
23:14:25 billh joined #tunes
23:16:18 <billh> Hello
23:16:52 <eihrul> hey
23:18:51 <billh> eihrul What's up ?
23:19:03 <eihrul> nuffin' much
23:19:11 <billh> I've decided that SSA form is what I need to learn and I'm just now hitting that material. ;-)
23:19:47 <eihrul> ah
23:43:13 eihrul is going to represent expressions internally as trees.
23:43:19 <eihrul> as opposed to sequences
23:44:26 <water> ok
23:44:34 <water> what particular reason?
23:44:42 <water> the apply basis?
23:45:13 <eihrul> well, because the tree form makes it easier to manipulate expressions :)
23:45:31 <water> ok
23:45:50 <water> i thought you might have a more specific example
23:46:10 <eihrul> at this time, no
23:46:17 <eihrul> i'm an intuitional kinda guy :)
23:46:58 <water> hm people get ignored for saying things like that
23:49:09 <eihrul> definitely
23:49:17 <eihrul> but at this point, i have a captive audience :)
23:49:23 <eihrul> being that i'm implementing it >:)
23:49:35 <water> i suppose
23:49:50 davness joined #tunes
23:49:52 <water> but i'm one of the few who is aware of that ;)
23:50:27 [MODE] ChanServ set mode: +o water
23:50:32 [MODE] water set mode: +b *!*@212.150.38.152
23:50:39 [KICK] davness was kicked by water (davness)
23:50:51 <eihrul> hmm, was that the right guy?
23:50:58 <water> yep
23:51:23 <water> er...
23:51:33 [MODE] water set mode: -b *!*@212.150.38.152
23:51:36 [MODE] water set mode: -b *!*@199.203.59.*
23:51:44 <water> we'll see
23:52:06 <water> that had 97% correspondence to the scripteer
23:52:30 <water> yep it's the one
23:52:43 <water> varying the pattern a little
23:53:54 <water> vpl papers are soooo bloated in size ;)
23:56:18 <water> heh lynn maxson strikes again
23:56:26 <eihrul> oh, that reminds me
23:56:33 <eihrul> i just starting reading that mail, but got distracted :)
23:58:00 <water> can he say things which could possibly be more empty of meaning?
23:58:17 <eihrul> like i said, he'd work out nicely for a marketting department
23:59:01 <water> of course Fare is so busy that he will never have time to respond to the idiot
23:59:17 <water> so we'll just have to let him run out of steam i suppose
23:59:51 <eihrul> well, has fare even taken a stance on lmaxson?
23:59:52 <water> i don't suppose he's ever considered that every programming language ever created is a specification language
00:00:07 <water> i don't think he's aware of lynn