00:11:27 Brianna joined #tunes 00:12:06 [QUIT] ult quit: Leaving 02:57:08 Ghyll joined #tunes 02:57:08 eihrul joined #tunes 02:57:08 abi joined #tunes 03:07:06 billh joined #tunes 03:07:16 [QUIT] billh quit: Read error to billh[cx739861-a.dt1.sdca.home.com]: EOF from client 03:30:00 billh joined #tunes 04:15:11 smoke joined #tunes 04:26:08 [QUIT] billh quit: [BX] Time wasted: 56m 23s 08:51:07 eihrul joined #tunes 08:54:24 smklsmkl joined #tunes 09:01:51 lumbarg joined #tunes 09:01:58 hello 09:02:30 can someone please tell me what "tunes" is all about? 09:05:53 lar1 joined #tunes 09:06:12 hi 09:06:17 read http://www.tunes.org/ ? 09:06:41 i know, it's all text, i want to know what it looks like 09:07:16 didn't see any screenshots 09:11:08 tunes isn't about looks 09:13:02 what, it has no gui, you're telling me? 09:13:45 i think you need to read the pages more to find out about the project status 09:25:37 [NICK] Geeky changed nick to: g33ky 10:12:04 [QUIT] lar1 quit: [x]chat 10:12:36 [QUIT] JALH quit: JALH has no reason 10:15:56 ult joined #tunes 11:21:28 goner joined #tunes 13:23:23 yinzen joined #tunes 13:32:21 [NICK] Geeky changed nick to: | 15:37:36 Fare joined #tunes 15:38:11 [QUIT] MysticOne quit: Leaving 15:46:42 _carlito_ joined #tunes 15:46:52 _carlito_ left #tunes 16:34:34 Ghyll joined #tunes 16:59:59 [QUIT] Ghyll quit: Ping timeout for Ghyll[janus.prosalg.no] 17:02:30 Ghyll joined #tunes 17:24:00 [QUIT] Ghyll quit: Ping timeout for Ghyll[janus.prosalg.no] 17:29:20 water joined #tunes 17:29:35 re all 17:29:38 hey Fare 17:30:38 re, water 17:31:05 [TOPIC] water: TUNES: Free Reflective Computing System - http://www.tunes.org 17:31:14 Ghyll joined #tunes 17:31:30 water just spent about 40 hours at work continuously 17:32:14 Fare: how's progress on your end of things? 17:39:52 Kyle_L joined #tunes 17:40:00 hey kyle 17:40:01 progress? What's that? 17:40:08 hi all 17:40:17 horrible evening 17:40:24 hm 17:40:26 likewise 17:40:45 my job has been trying to kill me lately 17:41:44 water: you've been imprisoned into the reactor core, and there, you turned into a mutant with superpowers. 17:42:16 heh 17:43:09 [NICK] Odysseus changed nick to: ` 17:43:38 Fare got two uncles condemned to death in the coming years, and a brother with a serious hand wound. 17:43:50 yikes 17:46:15 Fare has diagnosed his own illness and will try to do something about it. First thing -- stop irc, NOW 17:46:23 Ahem. 17:46:28 ok 17:46:38 abi: Fare? 17:46:39 you are sometimes looking at another screen and interruptible with a beep (/msg Fare ^G) or at http://www.tunes.org/~fare/ or pronounced Fahree or a Narcissist 17:46:50 g'bye 17:46:55 toodles 17:47:10 [QUIT] Fare quit: goto 3053 17:57:50 [QUIT] smklsmkl quit: back tomorrow 18:02:57 [QUIT] ` quit: Ping timeout for `[host62-7-70-177.btinternet.com] 18:13:35 darn it, i forgot to mention libra to Fare 18:22:14 ult joined #tunes 18:22:22 hey ult 18:22:41 'lo 18:44:52 hcf joined #tunes 18:45:09 hey hcf 18:45:11 ltns 18:45:12 sup? 18:45:17 work :P 18:45:30 slate-wise? 18:45:40 more research, and eihrul's putting together an interpreter in c++ 18:45:57 we've worked out a lot more recently 18:46:01 doc'd? 18:46:11 although my working ~80+ hours a week doesn't help 18:46:25 no, diktuon has been really buggy 18:46:59 and i haven't been able to outline my ideas properly for the average audience 18:46:59 need anything seek'ed? 18:47:26 "how to explain your higher-order ideas in 6 easy steps!" ? :) 18:48:07 any luck finding real life ppl to talk to? 18:48:29 hm 18:48:50 i met a MOPS forth programmer 18:48:50 but that's about it 18:49:09 like from the uni that may help w/ the 6 steps prob 18:49:26 well if i had the friggin' time, i could 18:49:36 who's yinzen? 18:49:45 he's been here a few times 18:49:51 just a lurking newbie 18:49:58 oh good 18:50:02 #tunes needed another 18:50:06 heh 18:50:10 i have ops now 18:50:20 i've kicked quite a few jerks already 18:50:30 Kicked Lynn? 18:50:31 oic, no wonder the pop. is low 18:50:42 yes i kicked Lynn once :) 18:51:00 who pretty much asked for it 18:51:06 He tends to. 18:51:44 anyways, i'm putting together lots of new ideas recently, so when i have time, expect code and docs 18:51:58 especially arrow code from me 18:52:26 hm i forgot to tell abi about libra 18:52:49 abi, libra is at http://www.cs.adelaide.edu.au/users/dwyer/TR95-10.html 18:52:49 ...but libra is a Lazy Interpreter of Binary Relational Algebra at http://www.cs.adelaide.edu.au/users/dwyer/TR95-10.html... 18:52:54 hmm, already knows 18:52:56 yinzen did 18:52:57 oops :) 18:53:02 lar1 joined #tunes 18:53:21 abi got fixed, then, I guess 18:53:27 hm, so he *does* listen :) 18:54:20 abi: PL weblog is Lambda the Ultimate: The Programming Languages Weblog at http://lambda.weblogs.com 18:54:38 wow 18:55:22 i'm actually seriously considering joining that :) 18:56:19 hm it's really new 18:56:36 PL weblog? 18:57:31 with andrew cooke, of course :) 19:00:41 [QUIT] lar1 quit: [x]chat 19:01:58 Kyle_L joined #tunes 19:02:56 re kyle 19:03:44 hi again 19:04:04 oh hcf 19:04:25 yeah if you could find some papers using IF logic (independence-friendly) 19:04:38 "independence-friendly"? 19:04:42 particularly related to arithmetic or something 19:04:58 yeah the quantifiers don't have to be dependent if lexically-adjacent 19:05:51 k 19:05:52 [QUIT] Melinda quit: So I bit him? 19:10:48 yeah i have this book on IF logic by Hintikka, but he's pretty much a wuss and completely avoids formal proofs and such 19:11:18 his writing is as vague as mine, iow ;) 19:12:04 but seriously, i need to learn to use latex math stuff 19:13:40 "independence-friendly logic" on alta gets 13hits, u can zip thru those 19:13:49 ok 19:14:02 [QUIT] MysticOne quit: Ping timeout for MysticOne[porpoise39.panama.gulf.net] 19:17:49 12hits for Hintikka in sci.logic via deja 19:18:12 hintikka's an old guy 19:18:22 [QUIT] Kyle_L quit: Leaving 19:18:24 no doubt he would get referenced in sci.logic 19:22:24 a little poop about Hintikka sets here, http://moonbase.wwc.edu/~cs_dept/KU/Logic/Overview.html 19:22:42 hm 19:27:17 http://www.hf.uio.no/filosofi/njpl/vol1no2/revolution/node1.html 19:27:52 that's enough to prove that there's not much development on IF logic yet 19:30:51 a review of the book, at http://www.cs.technion.ac.il/~mellon/curr_books.html 19:31:02 herein IF == "independence-free" 19:31:15 this right or wrong? 19:31:24 wrong 19:31:30 s/free/friendly/ 19:32:12 not much better, alta: "independence-free logic" only hits that review page 19:32:58 i assume u'v checked RI 19:33:21 actually i've been avoiding RI for a while :) 19:33:44 it usually winds up with me taking research paths far too long away from the intended path 19:33:46 no time to read? :( 19:34:08 f*** no 19:34:10 i just spent about 40 hours at work continuously 19:34:22 Military? 19:34:32 and there's no day off for the next month or so >:P 19:34:36 if u try RI, use Hintikka not "IF logic" 19:37:50 [QUIT] water quit: Ping timeout for water[tnt-9-218.tscnet.net] 19:38:39 water joined #tunes 19:39:18 ugh 19:39:26 power surge 19:42:39 but yes, i was referring to my military job 19:51:50 hcf is away: (afk) 19:52:57 morton joined #tunes 19:53:17 sweet, i just finished my boot sector 19:53:21 heh 19:55:09 morton left #tunes 20:01:08 water goes away to cool off and relax 20:10:26 eihrul joined #tunes 20:12:39 [QUIT] yinzen quit: [x]chat 20:13:30 [QUIT] hcf quit: Leaving 20:13:44 lar1 joined #tunes 20:37:03 hey eih 20:41:54 [QUIT] eihrul quit: [x]chat 21:09:18 lar1 left #tunes 21:19:59 [QUIT] water quit: Ping timeout for water[tnt-9-251.tscnet.net] 21:27:59 eihrul joined #tunes 21:47:41 water joined #tunes 22:02:23 Ghyll joined #tunes 22:02:34 water joined #tunes 22:24:43 [QUIT] water quit: Read error to water[tnt-10-191.tscnet.net]: Connection reset by peer 22:24:48 water` joined #tunes 22:25:00 [NICK] water` changed nick to: water 22:49:01 [QUIT] MysticOne quit: I'm outta here! Catch everyone later! 23:18:11 [QUIT] Geeky quit: Ping timeout for Geeky[209.19.41.134] 06:38:03 water joined #tunes