01:20:00 karltk joined #tunes 01:35:19 [QUIT] karltk quit: Ping timeout for karltk[195.70.169.126] 02:26:31 karltk joined #tunes 03:58:11 smoke joined #tunes 05:17:18 [QUIT] karltk quit: Read error to karltk[195.70.169.126]: Connection reset by peer 05:18:36 karltk joined #tunes 06:44:12 Fare joined #tunes 06:44:30 [QUIT] Fare quit: Connection reset by pear 06:45:00 Fare joined #tunes 07:08:22 thomas joined #tunes 07:08:34 zzz 07:13:06 hi thomas 07:13:13 hi 07:13:27 this channel isn't very active lately, is it? 07:13:55 well, your project isn 07:14:03 't very active 07:14:32 heh. it's not my project.. i'm just a 'lurker', as they say 07:15:10 hehe, I'm an imposter ( as they say ) :) 07:16:22 ) 07:16:37 do you know a thing or two about arrow logic? 07:18:03 tmf joined #tunes 07:18:11 [QUIT] thomas quit: Ping timeout for thomas[rits1.rits.idcomnet.no] 07:18:14 wb 07:18:22 tmf got alittle lost 07:41:17 ftp://ftp.phil.uu.nl/pub/logic/PREPRINTS/preprint107.ps.Z -- this is the tutorial water recommended for arrow logic 07:41:42 ok? 07:42:01 is that a newer version of the arrow paper? 07:42:28 what's it about, then? 07:44:21 nope, it's about arrow logic. water's arrow system is based on arrow logic i think 07:44:39 what's arrow logic? 07:45:19 that file i pasted tries to explain that 07:45:44 have you read it? 07:45:58 nope 07:48:26 Some copyright/financial institution rewied an idea I had - they liked it! 07:48:47 damn! I may have to work again :( 07:57:59 [QUIT] tmf quit: Ping timeout for tmf[rits1.rits.idcomnet.no] 07:58:43 smkl: thank you 07:59:07 hm i've read that paper 08:05:26 heh 08:40:43 Hal_ joined #tunes 08:40:57 eihrul! Remember me? 08:41:18 smoke: Used to talk to you too. :) 08:45:41 Ahh... I might have called myself Crimson back then... :) 08:47:22 hi hal 08:53:06 Hello. 08:55:12 How is it going? 08:56:52 ult joined #tunes 08:57:17 hal: bored 08:57:22 Why? 08:57:29 How is tunes going? 08:57:54 no idea. 08:58:49 You are not involved? 08:59:28 I'd like to have a word with eihrul. 08:59:46 hal: sorry, i'm not involved no. 08:59:56 He actually wrote some stuff in our kernel a while ago. 09:01:58 Is eihrul developing his microkernel still? 09:02:03 Eihrul? 09:02:15 Whatchoo want with that lamer? :) 09:05:11 ult: Hehe... 09:40:35 Auto-Changed status to Not Available 11:31:43 10:21:37 smkl joined #tunes 10:22:47 karltk joined #tunes 10:56:21 Odysseus joined #tunes 11:15:53 eihrul joined #tunes 11:41:40 [QUIT] ink quit: Leaving 11:45:06 [QUIT] kc5tja quit: Ping timeout for kc5tja[garnet.armored.net] 13:18:13 abi joined #tunes 13:18:13 ult joined #tunes 13:18:29 smkl joined #tunes 13:38:17 [QUIT] MysticX quit: [BX] Tiger Woods uses BitchX. FORE! 13:51:37 [QUIT] Odysseus quit: Leaving 14:20:47 ult joined #tunes 14:23:34 morton joined #tunes 14:29:57 [QUIT] ult quit: Ping timeout for ult[user-38lccff.dialup.mindspring.com] 14:35:00 ult joined #tunes 14:35:24 [QUIT] ult quit: changing servers 14:35:26 ult joined #tunes 14:38:03 does anyone know anything about "Leak"? 14:38:08 yep 14:38:22 What about it? 14:38:27 how's progress? 14:38:33 None whatsoever... 14:38:58 i was thinking about pretty much the same concept before i saw it. :-) 14:39:08 Just talk so far 14:39:22 Eihrul wants to finish Slate first, as a testing ground for some of the ideas he wants in Lekak 14:39:41 Hum-Dinger this is wonderful 14:40:03 well uh i'm going to start working on it today 14:40:06 i hope 14:41:27 Yeah, riiight.... 14:41:40 Which grapevine did you hear this one from? :) 14:41:52 AOL chatroom "TUNES" 14:41:55 hehee 14:42:01 oh wait, YOU'RE going to? 14:42:09 ult: my own project 14:42:19 hmm ok 14:43:39 odd 14:44:26 Why is "anonymous mysql access" letting me delete databases 14:44:29 you're nick is familiar. were you on DALnet #code or #hack 1 or 2 years ago 14:44:43 hmm maybe 14:44:49 hmmmm 14:44:51 i've been pretty much everywhere 14:45:05 Hear all do little kinda guy 14:45:27 hmm i think there was this character named "so1o" with some zine or something. oh well 14:45:29 who cares 14:51:43 morton left #tunes 14:56:20 [QUIT] ult quit: Read error to ult[user-38lccff.dialup.mindspring.com]: Connection reset by peer 15:02:52 [QUIT] downix quit: devlin.openprojects.net irc.linux.com 15:58:28 ult joined #tunes 15:58:31 hmm 15:58:54 [QUIT] Odysseus quit: Ping timeout for Odysseus[host62-6-75-97.btinternet.com] 15:59:03 [QUIT] ult quit: Hi there! Logging this, Brianna? 17:30:20 morton joined #tunes 17:39:52 yinzen joined #tunes 17:44:59 greycat joined #tunes 18:11:14 greycat joined #tunes 18:15:30 ult joined #tunes 18:32:19 Fare joined #tunes 19:21:49 Kaufmann joined #tunes 19:21:57 Kaufmann waves 19:21:59 hey gang! 19:22:01 [QUIT] lar1 quit: Bye 19:22:02 I'm back! 19:23:13 ... anyone? 19:58:26 Brianna joined #tunes 20:17:53 eihrul joined #tunes 01:14:25 billh joined #tunes