00:09:07 [NICK] ink|sleeep[dreaming_of_linchic changed nick to: ink|sleep[linchicks_msg_me] 03:19:35 water joined #tunes 03:57:27 hum slate 04:08:17 eihrul: have you managed to set up that account with the ACM yet? 04:38:11 eih: also in discussing linear naming, bawden's thesis on the subject has some interesting thoughts on p.22 which i believe address some of the issues we had problems with earlier 04:38:37 eih: not that i'm arguing for linearity, only that the point of view there is interesting 04:39:28 or rather, that it was considered when written 04:42:56 hcf: please find out the state and development of diktuon, to see if we can start developing in it again (without having to worry about loss of data) 04:45:10 and now it's time for me to go 04:45:13 [QUIT] water quit: The Tao went that-a-way! 04:50:51 _101 joined #tunes 04:50:55 <_101> hi 04:53:39 [QUIT] Kyle_L quit: Leaving 05:01:51 corey_ joined #tunes 05:03:12 [QUIT] corey quit: fastlane.openprojects.net lackey.openprojects.net 05:05:24 [QUIT] ink|sleep[linchicks_msg_me] quit: Ping timeout for ink|sleep[linchicks_msg_me][ppp-207-214-212-177.sntc01.pacbell.net] 05:38:46 [QUIT] _101 quit: Ping timeout for _101[L205P06.ik.bme.hu] 06:37:41 eihrul joined #tunes 07:10:17 [QUIT] eihrul quit: Leaving 07:18:03 hcf joined #tunes 07:29:01 [NICK] corey_ changed nick to: corey 07:33:02 abi: Q is also an equational PL at http://www.musikwissenschaft.uni-mainz.de/~ag/q/ 07:33:02 okay, hcf. 07:45:41 not to shake the boat, but shouldnt there be a doc subproject maybe including Review 07:45:51 w/ papers and glos under it? 07:50:19 theres often been talk of a paper review 07:51:59 [QUIT] abi quit: dying by hcf's request 07:52:21 abi joined #tunes 07:53:30 well i move to create a documentation subproject that incloses Review, Papers, Glossary, and perhaps the website as a whole?; and when there is actually code, package documentation :) 07:56:45 corey: r u moving yet? 07:57:21 physically?, i did aug 1st 07:57:35 on the doc proj 07:57:45 well i will if everyone likes the idea 07:57:50 and im doing diktuon right now. :) 08:05:26 [NICK] JALH changed nick to: ^3^1^3^3^7^ 08:06:34 [NICK] ^3^1^3^3^7^ changed nick to: JALH 08:32:15 [QUIT] JALH quit: User abort with 5 Ctrl-C's 08:47:29 [NICK] JALH changed nick to: l33t_h4x0r 08:48:15 [NICK] l33t_h4x0r changed nick to: JALH 09:43:10 [NICK] corey changed nick to: cor[class] 09:45:28 dalvarez joined #tunes 10:05:35 [QUIT] hcf quit: Leaving 10:18:29 [NICK] ult changed nick to: BlkMagus 10:28:07 [NICK] BlkMagus changed nick to: ult 10:45:06 [QUIT] dalvarez quit: fastlane.openprojects.net lackey.openprojects.net 11:36:22 eihrul joined #tunes 12:31:54 Tril joined #tunes 12:31:54 [MODE] ChanServ set mode: +o Tril 12:42:45 [QUIT] JALH quit: brb 13:32:13 eihrul joined #tunes 14:05:34 [QUIT] Tril quit: bye 14:23:16 [QUIT] JALH quit: g'night 14:34:12 lar1 joined #tunes 14:34:23 lar1 left #tunes 15:13:16 hcf joined #tunes 15:15:56 abi joined #tunes 15:22:46 [QUIT] eihrul quit: Leaving 15:34:12 [QUIT] lar1 quit: "I wanna see blood, and gore, and guts, and veins all ground up in my teeth. I mean I wanna KILL! KILL! KILL!" 16:01:39 eihrul joined #tunes 16:11:21 abi joined #tunes 16:27:03 since the logger missed them: 16:27:04 abi: sml2scm? 16:27:04 sml2scm is a source-to-source translator from core SML (SML without modules) to Scheme at http://www.is.s.u-tokyo.ac.jp/~sumii/pub/ 16:27:07 abi: amss? 16:27:07 amss is Another Module System for Scheme at http://www.cs.hmc.edu/~fleck/envision/scheme48/module/module.html or influenced by Standard ML modules or http://citeseer.nj.nec.com/rees94another.html 16:27:10 abi: envision? 16:27:10 envision is scheme with pictures at http://www.cs.hmc.edu/~fleck/envision/envision.html 16:27:13 abi: mpli? 16:27:13 mpli is a monad-parameterized lisp interpreter at http://mumble.net/jar/monad.tgz 16:27:15 19:09:51 Kyle_L joined #tunes 20:31:22 [NICK] morton changed nick to: _morton 21:22:20 [QUIT] _ruiner_ quit: destroy what destroys you 21:27:10 [NICK] lar[game] changed nick to: lar1 22:50:14 [QUIT] jerome quit: Leaving 23:01:42 [NICK] ink changed nick to: ink|sleep 00:13:07 [QUIT] JALH quit: skol :(