00:38:53 [NICK] lar1 changed nick to: lar[sleep] 02:07:30 [QUIT] water quit: The Tao went that-a-way! 03:43:31 Rob_ joined #tunes 04:07:16 _101 joined #tunes 04:07:19 <_101> hi 04:13:39 [QUIT] gREMLiNs quit: You must die to go to heaven 04:13:39 [QUIT] amokeins quit: Read error to amokeins[ffmdi4-145-253-082-106.arcor-ip.net]: Connection reset by peer 04:24:55 Fare joined #tunes 04:25:08 <_101> hi 04:25:45 <_101> water = Brian, the one who wrote the Arrows article and the one pushing Slate, am i right? 04:32:26 right 04:32:35 [QUIT] Rob_ quit: Ping timeout for Rob_[pc-62-31-77-4-tw.blueyonder.co.uk] 04:32:35 <_101> thx 04:32:37 Rob_ joined #tunes 04:33:19 <_101> the arrows paper is very intresting... but too abstract for non native english speekers, especially for the ones like me who is not experineced in AI and science talk 04:33:34 <_101> anything new about slate? 04:44:34 not afaik 04:44:53 or rather, only in water's drafts and mind 05:19:31 [QUIT] _101 quit: Read error to _101[152.66.243.147]: Connection reset by peer 06:23:55 shapr joined #tunes 06:24:29 is slate released? 06:24:37 [QUIT] karltk quit: Ping timeout for karltk[janus.prosalg.no] 06:28:23 [QUIT] ult quit: Ping timeout for ult[149.149.201.30] 06:33:58 karltk joined #tunes 06:40:36 [QUIT] pratap quit: ircII EPIC4-2000 -- Accept no limitations 07:57:07 ult joined #tunes 09:53:23 eihrul joined #tunes 10:13:06 [QUIT] eihrul quit: Leaving 11:35:33 eihrul joined #tunes 12:55:04 [QUIT] karacas quit: Ping timeout for karacas[194.126.19.160] 13:18:59 hcf joined #tunes 13:31:21 eihrul joined #tunes 13:57:08 [QUIT] kikkk quit: Ping timeout for kikkk[194.126.19.131] 14:03:40 Ghyll joined #tunes 14:05:50 [QUIT] smkl quit: fastlane.openprojects.net devlin.openprojects.net 14:05:50 [QUIT] lar[sleep] quit: fastlane.openprojects.net devlin.openprojects.net 14:05:50 [QUIT] nate37 quit: fastlane.openprojects.net devlin.openprojects.net 14:05:50 [QUIT] karacas quit: fastlane.openprojects.net devlin.openprojects.net 14:05:50 [QUIT] cor[sl] quit: fastlane.openprojects.net devlin.openprojects.net 14:05:50 [QUIT] shapr quit: fastlane.openprojects.net devlin.openprojects.net 14:07:14 cor[sl] joined #tunes 14:07:14 smkl joined #tunes 14:07:14 lar[sleep] joined #tunes 14:07:14 nate37 joined #tunes 14:07:14 shapr joined #tunes 14:07:17 [QUIT] karacas quit: Write error to karacas[194.126.19.15], closing link 14:10:58 [QUIT] kikkk quit: Leaving 14:18:53 [QUIT] karacas quit: Ping timeout for karacas[dial-nas-nahr-2-102.inco.com.lb] 14:26:35 [NICK] kikikiki changed nick to: kintaro 14:44:40 [QUIT] Ghyll quit: blobb 14:47:59 [QUIT] kintaro quit: Ping timeout for kintaro[dial-pm-nahr-1-31.inco.com.lb] 14:53:44 [QUIT] kintaro quit: Ping timeout for kintaro[dial-nas-nahr-2-229.inco.com.lb] 15:11:19 Z4rd0Z joined #tunes 15:11:45 'lo 15:12:01 hi 15:12:26 is tunes alive and well? 15:13:59 well, relative to what is life for tunes, i suppose 15:14:01 what's your interset? :) 15:15:00 umm..I like to keep up on what's happening with the "other" OS projects going on somewhat 15:15:19 I'd eventually like to latch on to one and learn about systems programming 15:16:34 well, tunes is definitely not the one to learn about conventional systems programming 15:17:34 It aims to be a "Next Generation" type of OS? 15:17:41 nope 15:18:07 or rather, i hesitate to say "next generation" because the term is so often abused 15:18:22 i'd assume tunes is made to pervade more than a single generation :) 15:19:31 Platonic, perhaps? :) 15:19:51 by that you mean? :) 15:20:46 Tunes is timeless. ;) 15:21:05 timeless, that's what I should have said 15:22:02 Will the whole thing be written in slate? 15:22:17 eihrul shrugs. 15:22:28 at this point, that is uncertain 15:23:35 what's the progress on slate? 15:25:49 indeterminate, very unstable :) 15:26:18 ah 15:27:05 mostly just working out an implementation at this point 15:27:48 is the latest progress and current state up on tunes.org? 15:30:24 not really sure 15:30:28 would have to ask water about that 15:34:32 does he get on here? 15:35:10 yep, usually later at night 15:35:43 uh.. 15:35:52 ah. 15:36:44 how many developers are there now? 15:37:09 prototype based programming sounds very nifty to me. 15:37:20 javascript is no place to try it though. 15:37:33 shapr: its not a concept unique to slate, much older 15:37:51 yah, first serious implementation I know of is Self 15:38:12 though I'm sure it would be easy to do in Lisp, and so was probably done there first. 15:38:52 there are some other interesting off-shoots of it 15:39:09 and other related stuff like the unified logic/functional/OO languages seem to have this prototype like way of looking at things 15:42:02 Kyle joined #tunes 16:30:41 [QUIT] kintaro quit: Ping timeout for kintaro[194.126.19.139] 16:31:28 [QUIT] Z4rd0Z quit: Leaving 16:32:33 [QUIT] kintaro1 quit: Ping timeout for kintaro1[194.126.19.146] 16:55:34 Brianna joined #tunes 16:58:05 [QUIT] kintaro quit: Leaving 17:18:48 [QUIT] kintaro quit: Ping timeout for kintaro[dial-ach-85.inco.com.lb] 18:29:03 water joined #tunes 18:29:13 re 18:30:01 what's up with the topic dropping? 18:31:05 hm i see we had visitors today 18:34:00 [TOPIC] water: TUNES: Free Reflective Computing System http://www.tunes.org || Slate Programming Language http://www.tunes.org/~water/slate-home.html || http://lambda.weblogs.com 18:35:49 hey 18:36:03 how's today? 18:36:16 bad as any other day 18:36:34 hm 18:36:50 ok, i will hack some squeak code 18:36:50 perhaps even worse, being a monday 18:36:55 heh 18:37:35 2 papers on proglang stuff showed up on arXiv today 18:38:00 haven't read them yet, but here's the url's: 18:38:03 http://arxiv.org/abs/cs/0009029 18:38:16 http://arxiv.org/abs/cs/0009030 18:38:28 they both look fairly useful 18:39:42 rrg, not a spec language :P 18:40:06 maude is a spec language :) 18:40:24 so is SL/I :P 18:40:46 water doesn't want to go this route 18:57:50 [QUIT] transistor quit: Leaving 18:58:01 just return to your regularly scheduled squeak hacking then :) 18:59:01 oh i am... just wishing the refactoring browser was robust enough to handle some of the code shaping i'm trying to do 19:20:46 damn this code 19:27:16 probably time to mail the author and request comments for the method code 19:58:47 Kyle joined #tunes 19:58:55 hey kyle 19:59:01 hi 20:54:49 [QUIT] eihrul quit: Leaving 21:01:43 [NICK] ult changed nick to: mikael 21:01:43 [QUIT] mikael quit: Killed (NickServ (This nick is reserved by another user)) 21:02:00 ult joined #tunes 21:04:29 [QUIT] Aardappel quit: http://www.planetquake.com/aardappel/ 21:50:45 [QUIT] Melinda quit: Ping timeout for Melinda[porpoise20.panama.gulf.net] 21:51:23 moebious joined #tunes 21:51:54 hey derek 21:53:20 moebious left #tunes 21:55:33 derek joined #tunes 21:55:37 phh 21:55:47 hello water 21:55:51 what? 21:55:57 network issues, it seems 21:56:00 oh 21:56:03 [NICK] derek changed nick to: moebious 21:56:37 q: homo-iconic systems, does that include lisp? probably not. 21:57:58 kind of 21:58:19 lisp has primitive values types as part of the syntax 21:58:36 but otherwise, you can call functions on anything, including other functions 21:59:03 homo-iconic is the same as what tunes calls making everything a first-class value 22:00:25 i see. 22:01:45 although the term first-class value i think is poor because it means you think in terms of second or third-class values 22:01:53 but it doesn't matter 22:15:11 ink[sleep] joined #tunes 22:16:23 [NICK] ink[sleep] changed nick to: ink 22:16:55 ink left #tunes 22:49:24 water is discussing slate/tunes on #compsci on efnet 22:49:28 icac 23:12:38 [NICK] kc-meeting changed nick to: kc5tja 23:13:54 [QUIT] pratap quit: Ping timeout for pratap[ppp232.bangalore-188.pacific.net.in] 00:21:20 [QUIT] water quit: The Tao went that-a-way!