02:33:18 [QUIT] Fare quit: Ping timeout for Fare[ppp42-net1-idf2-bas1.isdnet.net] 02:33:57 Fare joined #tunes 02:58:44 [QUIT] AboryM quit: Ping timeout for AboryM[rau.admin.knet.ro] 03:11:16 clog joined #tunes 03:11:40 abi joined #tunes 04:05:25 adu joined #tunes 04:05:39 hi 04:05:59 howz everybody? 04:15:05 adu left #tunes 08:08:30 enfinity joined #tunes 08:19:46 [QUIT] air quit: http://www.qzx.com/ :: sleep 08:27:30 Zhivago joined #tunes 08:37:42 [QUIT] enfinity quit: Ping timeout for enfinity[ascend2.9.mcm.edu] 08:53:36 kev joined #tunes 08:57:28 oui? 08:57:38 kev: hi 08:57:47 hello 08:58:50 eihrul joined #tunes 09:35:26 [QUIT] kev quit: Leaving 09:53:19 [QUIT] AboryM quit: Ping timeout for AboryM[rau.admin.knet.ro] 10:03:42 [QUIT] nate37 quit: barnes.openprojects.net tolkien.openprojects.net 10:03:42 [QUIT] smklsmkl quit: barnes.openprojects.net tolkien.openprojects.net 10:03:42 [QUIT] ink quit: barnes.openprojects.net tolkien.openprojects.net 10:04:25 [QUIT] Fare quit: Ping timeout for Fare[ppp42-net1-idf2-bas1.isdnet.net] 10:04:43 smklsmkl joined #tunes 10:04:43 nate37 joined #tunes 10:05:20 Fare joined #tunes 11:11:37 [QUIT] Kyle quit: Leaving 11:29:41 Fare: i believe you mean zhivago 11:29:59 and there is more or less "active" work being don on vapour atm IIRC 11:30:55 ok 11:31:42 [NICK] Fare changed nick to: Fare61453 11:46:06 ffkfk joined #tunes 11:46:23 [NICK] ffkfk changed nick to: skol 11:47:02 [QUIT] ult quit: Hmmm. EPIC has another bug. Go figure... 11:47:38 ult joined #tunes 13:18:18 [QUIT] Fare quit: Ping timeout for Fare[ppp42-net1-idf2-bas1.isdnet.net] 13:19:00 Fare joined #tunes 13:27:51 [QUIT] Aardappel quit: http://www.planetquake.com/aardappel/ 14:08:44 [QUIT] eihrul quit: Leaving 14:42:27 eihrul joined #tunes 14:42:32 eihrul left #tunes 14:42:39 eihrul joined #tunes 15:04:42 Kyle joined #tunes 15:04:55 hey kyle 15:04:58 what's up? 15:05:09 not much. 15:05:35 thinkin about inheritance and encapsulation 15:06:05 There is a case where encap should be used instead of inher, but I can;t remeber it. 15:09:10 encap is like using a common interface. 15:09:25 inheritance is evil. Subtyping is good. 15:09:37 Hi Fare 15:09:43 what's wrong with inheritance? 15:09:47 Gakuk, Kyle 15:09:57 inher is good for programming efficiency. 15:09:59 eihrul: don't get me started. 15:10:13 single inheritance, then 15:10:23 Fare: i wish to, please enlighten me, because i've had some troubles with multi-methods as well :) 15:10:28 and even then, you don't gain much. 15:10:39 in the context of inheritance, anyway :) 15:10:47 but inheritance doesn't seem to play nicely with polymorphism 15:11:05 eih: inheritance in dynamically typed languages like CL or ST is acceptable. 15:11:09 [QUIT] JALH quit: night 15:11:19 ugly, tho 15:11:23 well, when does inheritance become a problem? 15:11:30 when would inher explode in your face. That may be the answer I look for. 15:11:32 also, what would be a cleaner way to provide it in dynamically typed languages? 15:11:37 contravariant vs covariant typing. 15:11:49 Fare: please refrain from academian terms here :) 15:11:55 layman-speak, please 15:12:06 classical example: the cow is not an animal 15:12:43 why does this represent a problem for inheritance? 15:13:02 an animal eats food. thus has a (defmethod eat (animal food) ...) 15:13:58 well, you could just do: (defmethod eat ((a-cow cow) food) ...) 15:14:01 grass is a subclass of food, and you have a method eat (cow grass) 15:14:25 well, you can't have that with statically typed inheritance. 15:14:45 why not? 15:14:53 you can share a pattern, but then you must get the grass type as a parameter 15:15:03 oh 15:15:07 now... 15:15:11 in a dynamically typed situation 15:15:22 because inheritance is covariant whereas subtyping is contravariant in parameter types 15:15:44 in a dynamically typed situation, you check at runtime that everything goes fine 15:15:44 what would be a less ugly way or way(s) to provide atleast all or those parts relevant of inheritance? 15:16:12 Fare: covariant and contravariant typing are meaningless to me :) 15:16:21 eih: drop the very concept of inheritance. Accept patterns as first (or second) class instead. 15:16:29 eihrul doesn't quite understand the meaning of those terms, stick to layman speak. ) 15:16:37 Fare: example? 15:16:52 eih: GJ and MzScheme do it right. 15:17:03 well, i mean an in-channel example :) 15:17:41 semantically, a class is the fix-point of a C->{ ... } functor 15:18:06 a subclass is the fixpoint of an extended functor 15:18:25 but subclassing isn't worth shit as a structural relation 15:18:52 the real interesting relationship is extension of functors, that give subtyping. 15:18:53 why isn't it? 15:19:21 because there is no good relationship between the fix points of two similar functors F and G. 15:19:34 even though there may be good relationships between F and G. 15:19:36 eihrul is not quite understanding what you mean in terms of functors. 15:20:26 Consider the functor Animal->{ Animal->Food->Unit } 15:20:54 no, must be [Animal:Type] { Animal->Food->Unit } 15:21:14 well, that's the functor of which class animal is a fixpoint 15:21:41 well, cow is fixpoint of [Cow:Type] { Cow->Grass->Unit } 15:21:54 well, what do you mean by fixpoint here? 15:22:00 eih: letrec 15:22:04 Y 15:22:16 well 15:22:21 maybe its just your notation that is confusing me 15:22:25 Cow = Y [Cow:Type] { Cow->Grass->1 } 15:22:27 could you pick something more familiar? :) 15:22:37 [x:T] E is lambda 15:22:50 { a ; b } is record type 15:23:04 Y is higher-order fix point 15:23:43 and Cow->Grass->1? 15:23:53 Fare: You are confusing me too. And I know Co/Contra variant. 15:23:55 I am in the covariant inheritance camp! :) 15:23:58 Cow is the least type such that a record of a function of type Cow->Grass->1 yields a Cow 15:24:14 Cow->Grass->1 is a procedure taking a Cow and Grass and doing stuff with it 15:25:23 I guess IRC is not the right place. 15:25:37 Look for papers by Luca Cardelli. He does explain it well. 15:25:52 Also look for the Cow vs Animal paper on the web 15:25:53 Yes, I think I got it there too. 15:25:53 are they in english? :) 15:25:56 yes 15:26:18 http://www.luca.demon.co.uk/ 15:26:51 what's the name of it? 15:27:26 I don't know. It was a while. 15:27:50 someone must know 15:29:06 But not us it seems! :) 15:29:40 Fare: ? 15:29:49 Fare: when would inheritance become a problem? 15:30:34 well 15:30:39 i think that was what he was trying to answer 15:30:43 when it doesn't take into account contravariant type dependencies. 15:30:48 oh. 15:30:53 I did not help :) 15:30:55 better question at this point is what can be used in place of inheritance? :) 15:31:28 when it ties structural relationships to implementational dependencies 15:31:35 no, I am using popular languages, so I would like a measurable to distigush when one or the other should be used. 15:31:50 eih: in the first case, higher-order modular design 15:32:05 [QUIT] air quit: Ping timeout for air[p0wer.qzx.com] 15:32:10 in the second case, abstraction through interfaces 15:32:33 second case, i can see 15:32:43 but what of higher-order modular design? 15:32:56 eih: have you seen ML-style functors? 15:33:33 i may have 15:35:11 why so? 15:36:13 they answer the first case 15:36:38 well, be so kind as to describe :) 15:38:15 you have modules and interfaces that depend on types 15:38:27 with various subtyping constraints on types. 15:39:51 although ML doesn't allow recursion between modules, there can be recursion in the treatment of types within modules 15:42:01 sigh, would be nice if i didn't have this college bullshit to contend with, otherwise i might actually be learning stuff 15:44:19 college bullshit? 15:44:37 physics? 15:45:48 once you're in the place, can't you move your registration from physics to CS? 15:45:59 tcn joined #tunes 15:46:10 tom! 15:46:20 hey fare 15:46:24 eih: GOT IT! 15:46:33 http://citeseer.nj.nec.com/cachedpage/172025/1 15:46:35 Fare: well, math, ATM... 15:46:46 tcn: btw, is the source on bespin uptodate? 15:47:03 Fare: but i don't really like the way in which college educaiton is structured 15:47:11 eih: take the courses in logic and cat theory 15:47:23 Fare: already going that way ATM 15:47:29 algebra might help with cat theory 15:47:36 but then again 15:47:44 i can't take any of those courses until 2-3 years from now 15:48:00 course scheduling and education is highly rigid 15:48:01 fare: it's the latest working version 15:48:05 uh? that sucks. 15:48:16 eih: right on man! 15:48:33 would rather get a few books 15:48:39 it sucks it sucks it sucks :) 15:48:50 have all the free time that i am now wasting upon shitty teachers and stupid homework, and just read the books myself when i want to and how 15:48:57 but if you get a good professor it's well worth it 15:49:19 Kyle: thanks 15:49:48 as it is though, math students are in the college of science 15:49:53 our community college has some good math profs 15:49:55 tcn: I was reacting to what eihrul said 15:49:59 so we have to take a lot of pointless courses 15:50:28 canadian education is supposed to be much better 15:50:35 shoulda moved there 15:50:41 tcn: btw, you converted its.html to its.txt ? 15:50:43 who's canadian other than I? 15:50:54 if george bush becomes prez you better move to canada! 15:51:08 unless you wanna die 15:51:10 tcn: yep, conservative supreme court 15:51:11 tcn: what's bootosa.zip ? 15:51:19 [QUIT] trans quit: Leaving 15:51:20 I did not find my university courses a waste. 15:51:29 tcn: then the US is fucked and raped, whereas right now its just screwed 15:51:31 tcn: how could GWbush kill us citizens? 15:51:37 But I am just of average intellegence. 15:51:38 fare: bootosa.. see www.forth.org.ru. Russian forth-os partly based on retro 15:51:45 ok 15:51:54 Kyle: shrug, chemistry i find a waste, physics i find a waste :) 15:51:59 biology i find a waste 15:52:11 Oh, too bad you have to take those! 15:52:20 fare: he'll draft us and send us to invade.. mexico, iraq, iran, france.. maybe even canada! 15:52:33 or all of the above! 15:52:39 yep, that's american education: "We have no idea where we want you to go, so we're going to force you to go everywhere rather than let you choose!" 15:52:56 U of Waterloo does not put math under science. 15:53:09 you should hear bush & cheney's speeches.. basically they're saying "let's go spill some blood!!!" 15:53:13 i don't attend U. Waterloo :/ 15:53:14 tcn: what's retro4 ? 15:53:27 Kyle: i attend CMU, and i never got into CS department 15:53:28 All math, every day. And electives in any are on the side. 15:53:40 fare: retro4.. rewritten in block formatr 15:53:45 Kyle: so, i'm basically screwed 15:53:47 tcn: historically, large wars are declared by the left wing, not by the conservative 15:54:30 Fare: well, the left and right wings of america are schizophrenic 15:54:32 fare: historically there was also a difference between the two :) 15:54:56 ahh we'll prolly have a bloody civil war or something ;) 15:54:56 Fare: the "conservatives" want a larger military but less economic interference, the "liberals" want a smaller military but more government/economic interference 15:55:14 I like large government. 15:55:21 eih: all in all, both want large government 15:55:31 Fare: yep, that is why i said they're schizophrenic 15:55:35 unvote! go libertarian! 15:55:36 canada might invade us in a moment of govt. disarray 15:55:50 war of 1812! 15:55:54 tcn: clinton is still president till january :) 15:56:05 maybe a re-run in 2012? 15:56:31 yeah, the limeys lost scotland & wales, now they want america back!! 15:56:34 Fare predicts a major war in the 2010-2020 15:56:36 Fare: there is also the constitutional law party i believe, which is similar to the libertarian party 15:56:50 eih: why don't they join forces, then? 15:56:53 natural law party? 15:57:01 We have elections soon we have to defend against some very popular far-right utra conservatives. We are too busy to attack America. 15:57:01 tcn: that's a *different* party :) 15:57:03 [QUIT] gREMLiNs quit: I am one who is many 15:57:06 oh 15:57:25 Green party took 3rd place this year.. 15:57:26 Fare: no idea, they should, and it is not unprecedented that smaller third parties join to become major parties (it has happened in american past and i believe that is how democrats arose) 15:57:47 Green is actually just another left-wing thing. 15:57:52 yeah 15:57:59 in France, too 15:58:03 yeah, further left than democrats 15:58:04 green is just the democratic party 10-20 years ago 15:58:19 they'll prolly be just as bad if they ever come to power 15:58:26 yep 15:58:32 all parties corrupt 15:58:37 isn't there a green govt somewhere in europe? 15:58:57 tcn: the green are part of the left gvt in France, and maybe also germany 15:59:33 16:00:32 heh.. bush & gore are within about .0000001% 16:01:09 gore is ahead in popluar vote by 200K, though 16:01:18 What's the diff between the electoral and popular vote? Who the hell votes for president? 16:01:28 the electors 16:01:42 in most cases, electors are bound to be determined by popular vote in each state 16:01:52 but not in all, IIRC 16:01:52 they generally follow the popular vote for the state, but I think it's up to their discretion 16:02:02 Who are the electors? 16:02:04 it's an oligarchy type thing 16:02:13 tcn: well, heard somewhere that some states have laws that say electors must go with popular vote 16:02:25 heh.. depeneds on the state 16:02:33 yeah, "some states" 16:02:34 Are they senators, or do they buy in? 16:03:08 I think all that matters is how much money and whose cock you suck 16:03:13 "élections, piège à cons" 16:03:27 elections, trap for morons 16:03:43 heh 16:04:11 Who are the electors? 16:04:18 Kyle: the morons 16:04:41 What is the name of the position they hold? 16:04:56 screwed 16:05:15 Fare: stop being silly. :) 16:05:43 kyle: go to the library and look for The Federalist Papers.. it's a bunch of articles by Madison, Hamilton & Jefferson arguing democracy vs. republic.. 16:06:13 eihrul reads luca. 16:06:27 there's one where Madison talks about giving the people the illusion of democracy without really giving them power 16:06:35 apparently, they didn't understand that vote was successful only as a means of pressure _against_ power. 16:07:10 Silly Americans. 16:07:31 tcn nods 16:07:32 well, shrug, electors have pretty much never gone against popular vote 16:07:35 having power out of the vote destroys any beneficial effect of voting. 16:07:38 so i think if anything 16:07:47 voting is not adequate pressure against power in america 16:07:51 you can always BUY votes 16:07:55 most major parties do 16:08:07 and besides, you're only voting for people, not issues 16:08:07 so should you. 16:08:17 The problem is with _whose_ money you buy votes. 16:08:29 Fare: they buy votes with corporate money 16:08:35 Buying votes and ignoring popular vate are two differnt things. One is bad, the other is crazy. 16:08:37 voting for people is good. 16:08:38 and some government money 16:08:48 eih: if it was only corporate money, that'd be good 16:08:59 the problem is that votes are bought with tax money 16:09:06 eihrul nods. 16:09:20 Fare: the problem is though, that people who get more corporate money are more adept at buying votes 16:09:26 well.. you need honest people to run the govt.. but you also need democratic input on lawmaking, etc.. 16:09:36 so people who can't get corporate money like the libertarian party or the constitutional law party or whatever are rather screwed 16:09:47 "honest people to run the govt" is an oxymoron 16:10:33 even when you get them, you're not better off (remember Diocletianus, anyone?) 16:10:47 it would probably be best to have a tiny govt and let people take care of themselves.. 16:11:28 "tiny govt" is an oxymoron, too 16:11:37 [NICK] ink changed nick to: lar1 16:11:46 what did diocletian do? 16:12:21 create a socialist cast system, the tetrarchy, and more 16:12:32 we have a party, the Alliance Party, that wants to dissasemble gov't and give control to the provinces: goodbye Quebec :( 16:12:39 he was perhaps the most honest emperor rome ever had. 16:12:40 eihrul thinks we should vote lemurs for presidency. 16:13:15 he proved it: he quit after the 10 (or 20?) years of service he promised to stay, and refused to ever come back into power. 16:13:16 fare: so he was honest, but he had too much power? 16:13:42 nah 16:13:46 probably didn't have enough power 16:13:53 or use enough of it 16:13:55 tcn: his economical ideas were flawed. 16:14:18 the system he built was bound to fail, and create misery 16:14:31 but he himself was most honest 16:14:45 kev- joined #tunes 16:15:44 where is the corelation between his honesty and a bad economic policy? 16:16:08 or is it just coincidental? 16:16:35 [NICK] lar1 changed nick to: ink 16:16:59 coincidental 16:17:04 heh: 16:17:12 "The simula lament: 16:17:18 [NICK] kev- changed nick to: kev 16:17:33 but even honest leaders cannot save government from being evil 16:17:34 'Unlike procedural languages, object-oriented languages have no formal foundation.' 16:17:44 (I.e. We made it up)." 16:17:59 luca is kinda funny :) 16:18:06 ohh that guy 16:18:21 The paper I ref'ed is not luca 16:18:24 likes functional languagues, right? 16:19:46 like any sensible computer scientist 16:19:49 well.. I got file I/O in assembly working just fine here.. 16:19:57 btw, FORTH _is_ a functional language 16:20:03 yup 16:20:18 tcn: great! what was missing/wrong? 16:20:21 _pure_ functional just isn't practical 16:21:02 _pure_ oo isn't, either. 16:21:15 or _pure_ logic, or _pure_ most anything. 16:21:48 yeah, I suppose OO has it's uses.. 16:22:06 Kyle: i know, i'm reading luca's papers though 16:22:46 anyway.. 16:23:20 now I can think about running Retro under Unix 16:23:57 tcn: what was missing/wrong in I/O ? 16:24:02 nothing! 16:24:19 never messed w/ unix syscalls before :) 16:24:46 I always figured it was more complicated 16:25:24 the linuxassembly.org page is here to help 16:27:24 btw, did you see asmutils? 16:29:01 Fare joined #tunes 16:29:25 Fare was disconnected by my ISP 16:29:29 yup. 16:29:35 so.. did you see asmutils? 16:30:55 yes, some time ago 16:31:22 Konstantin Boldyshev is a pal. He took over the asm HOWTO. 16:31:39 he's doing some nice work 16:32:03 great work 16:33:53 those russians really know their shit :) 16:34:08 and ours too 16:35:34 sometime I intend to learn russian so I can keep up with their forth os efforts :) 16:36:01 ) 16:36:38 it looks pretty easy, coming from english.. pretty similar 16:36:49 except for the alphabet 16:37:46 I just have to learn the pronouns, and all the idioms.. 16:38:47 but I felt like studying Gaidhlig instead :) 16:38:54 Gaidhlig??? 16:39:42 irish/scottish 16:40:02 actually similar to Breton.. 16:40:44 I don't speak any of these 16:40:59 i wouldn't think so :) 16:41:11 although the french boast to descend from keltic gauls, who spoke similar languages 16:41:20 yup 16:41:42 it has some commonality with modern french 16:41:52 but we also speak a latin language, adore a jewish god, have the name of a german people, etc. 16:41:59 heh 16:42:27 apparently the gauls were able to speak with the romans, no problem.. 16:43:19 the language of swords is universal. 16:43:26 heh 16:43:44 get off this land!! 16:44:22 "igni ferroque", fire and iron, said the romans 16:45:13 it's funny, my ancestors are roman on one side, gauls on the other :) 16:46:07 and they worshipped the jewish god and were ruled by germans, too 16:46:43 germans, when? 16:47:32 the north of italy was ruled by the lombards 16:47:53 the south, uh, I'm not sure. 16:48:04 so do you speak anything other than french, english, vietnamese? 16:48:21 I don't really speak vietnamese. Even my spanish is better. 16:48:42 oh yeah, that's right.. 16:50:29 heh.. all the indo-european languages are pretty similar.. it's me/mi, you/tu/thu.. 16:50:50 'yoke' in english, 'yoga' in sanskrit.. 16:52:34 heh.. I should go study linguistics if I'm so interested in it, eh? 16:53:22 I can always make money in programming :) 16:53:47 I got a friend who's also made some linguistic studies. http://www.eleves.ens.fr/~madore/ 16:56:55 he's not an american is he? 17:00:17 [QUIT] MysticOne quit: See ya! 17:05:21 his dad is canadian 17:05:32 .fr tells all 17:06:20 i think i'm confusing him w/ someone else 17:09:05 heh.. Internet Exploder 17:11:23 say, I read a sci-fi novel from the late 80's where the ship's computer was a Torvalds.. hmmm 17:15:25 a torvalds? 17:15:47 yeah.. but I think Linus Torvalds was about 15 at the time 17:16:08 i know, do a search :) 17:23:30 dammit that doesn't help 17:32:01 what is aztec? 17:32:50 aztec forth.. a fairly simple, optimizing compiler for win32.. some kind of graduate project 17:33:43 ok 17:34:00 do you already have an ELF32 generator? 17:34:33 i kinda like aztec.. but apparently is was aborted, and I don't think kernel source was released.. 17:34:43 would be worth checking into though 17:35:04 nope.. no ELF generator yet (except via NASM) 17:36:05 shall we go to #forth? 19:11:46 adu joined #tunes 19:27:29 [QUIT] nate37 quit: varley.openprojects.net tolkien.openprojects.net 19:27:30 [QUIT] smklsmkl quit: varley.openprojects.net tolkien.openprojects.net 19:27:30 [QUIT] adu quit: varley.openprojects.net tolkien.openprojects.net 19:27:30 [QUIT] Kyle quit: varley.openprojects.net tolkien.openprojects.net 19:27:30 [QUIT] air quit: varley.openprojects.net tolkien.openprojects.net 19:27:30 [QUIT] MysticOne quit: varley.openprojects.net tolkien.openprojects.net 19:27:30 [QUIT] ink quit: varley.openprojects.net tolkien.openprojects.net 19:27:34 [QUIT] tcn quit: ircII EPIC4-2000 -- Accept no limitations 19:28:48 nate37 joined #tunes 19:35:56 smklsmkl joined #tunes 19:41:56 adu joined #tunes 19:52:24 lar1 joined #tunes 20:07:45 [QUIT] kc5tja quit: Read error to kc5tja[cx248891-a.ocnsd1.sdca.home.com]: EOF from client 20:55:06 mhd joined #tunes 20:55:39 mhd left #tunes 21:29:28 [QUIT] adu quit: Ping timeout for adu[1Cust93.tnt1.vacaville.ca.da.uu.net] 21:41:08 [QUIT] Aardappel quit: http://www.planetquake.com/aardappel/ 22:10:51 adu joined #tunes 22:10:57 hi all 22:26:59 Nebulous joined #tunes 22:29:49 [NICK] adu changed nick to: katie 22:32:09 [QUIT] kc5tja quit: THX QSO ES 73 DE KC5TJA/6 CL ES QRT AR SK 22:45:09 [NICK] katie changed nick to: adu 22:56:18 [QUIT] adu quit: clarke.openprojects.net tolkien.openprojects.net 22:56:24 adu joined #tunes 23:08:29 [QUIT] lar1 quit: Ping timeout for lar1[adsl-63-203-74-8.dsl.snfc21.pacbell.net] 23:09:39 [QUIT] adu quit: pohl.openprojects.net barnes.openprojects.net 23:09:39 [QUIT] coreyr quit: pohl.openprojects.net barnes.openprojects.net 23:09:39 [QUIT] eihrul quit: pohl.openprojects.net barnes.openprojects.net 23:09:39 [QUIT] smklsmkl quit: pohl.openprojects.net barnes.openprojects.net 23:09:39 [QUIT] clog quit: pohl.openprojects.net barnes.openprojects.net 23:09:39 [QUIT] abi quit: pohl.openprojects.net barnes.openprojects.net 23:09:39 [QUIT] ult quit: pohl.openprojects.net barnes.openprojects.net 23:09:39 [QUIT] ink quit: pohl.openprojects.net barnes.openprojects.net 23:09:39 [QUIT] nate37 quit: pohl.openprojects.net barnes.openprojects.net 23:09:39 [QUIT] air quit: pohl.openprojects.net barnes.openprojects.net 23:12:40 coreyr joined #tunes 23:12:40 clog joined #tunes 23:12:40 abi joined #tunes 23:12:40 ult joined #tunes 23:12:40 eihrul joined #tunes 23:12:40 nate37 joined #tunes 23:12:40 smklsmkl joined #tunes 23:12:40 adu joined #tunes 23:12:40 lar1_ joined #tunes 23:33:03 [NICK] lar1_ changed nick to: lar1 23:54:32 [QUIT] ree quit: Ping timeout for ree[twisted.goodnet.com] 00:00:26 [QUIT] JALH quit: ess see hach ohh ohh ell :(