03:32:00 kev joined #tunes 05:26:23 lar1 joined #tunes 05:26:23 Kyle joined #tunes 05:26:52 [QUIT] nore quit: Ping timeout for nore[213.89.44.105] 05:37:19 [QUIT] ree quit: Ping timeout for ree[twisted.goodnet.com] 08:37:25 eihrul joined #tunes 08:57:52 [QUIT] mercyGone quit: () 09:29:36 hcf joined #tunes 09:33:06 [QUIT] hcf quit: Leaving 09:33:10 hcf joined #tunes 09:39:55 [QUIT] hcf quit: Leaving 10:48:06 Fare joined #tunes 13:01:35 kev joined #tunes 13:31:03 hcf joined #tunes 14:38:52 eihrul joined #tunes 14:50:05 Kyle joined #tunes 14:50:06 Fare joined #tunes 14:56:33 lar1 joined #tunes 15:00:00 [QUIT] Fare quit: Ping timeout for Fare[ppp72-net1-idf2-bas1.isdnet.net] 15:01:09 Fare joined #tunes 15:21:37 [QUIT] eihrul quit: Leaving 15:29:41 hcf joined #tunes 15:30:23 abi: yahoo is [pl] Yet Another Higher-order Object-Oriented Language, oo logic pl at http://www.disi.unige.it/person/DelzannoG/yahoo.html 15:30:23 abi: messengers is a new programming paradigm for distributed systems based on the principle of autonomous messages at http://www.ics.uci.edu/~bic/messengers/ 15:30:29 abi: moby is an ML-like language with support for class-based object-oriented programming at http://www.cs.bell-labs.com/~jhr/moby/index.html 15:30:29 abi: monads are also http://www.cse.ogi.edu/~walton/monads.html 15:30:37 okay, hcf. 15:30:56 15:30:57 http://www.disi.unige.it/person/DelzannoG/ "Key words: Constraint-based Verification, (Constraint) Logic Programming, Petri Nets, Non-standard Logics, Logic for Concurrency" 15:31:00 http://www.research.microsoft.com/~adg/Publications/details.html http://citeseer.nj.nec.com/murakawa97imperfect.html 15:31:00 http://turing.wins.uva.nl/~carlos/ http://turing.wins.uva.nl/~marx/ http://www.mpi-sb.mpg.de/units/ag2/projects/SCAN/index.html 15:31:00 15:31:02 [QUIT] hcf quit: Leaving 18:38:15 [NICK] trans-din changed nick to: trans 19:13:28 eihrul joined #tunes 19:13:46 adu joined #tunes 19:14:03 yo there 19:14:06 wuzup all? 19:14:08 ? 19:14:14 howz it goin? 19:14:17 same as always 19:14:23 and howz that? 19:14:39 anything new? 19:17:43 same as always, damn it 19:18:59 k 19:19:28 eihrul is tired. 19:20:08 k 19:20:12 anyone else in here? 19:33:29 nwsh joined #tunes 19:41:44 hello 19:43:25 ya? 19:49:15 is this the channel for that reflective os thingie? 19:49:23 ya 19:51:22 just checking 19:53:13 the one and only 19:57:20 just reading up on it now... 20:04:47 i have to give it credit for one thing: documentation 20:05:06 one thing is lacking, somewhat for a good reason: implementation. 20:05:46 good point. 20:08:39 hey there 20:09:38 where? 20:10:52 nowhere, sorry i though i was typing in another window 20:11:17 o 20:34:24 ult joined #tunes 20:34:33 hi 20:40:50 adu left #tunes 21:19:10 [QUIT] Kyle quit: Leaving 22:09:45 adu joined #tunes 22:14:06 water joined #tunes 22:14:11 hey water! 22:14:15 hey 22:18:35 what's on your mind? 22:19:27 i'm just thinking of a cool interface to a computer 22:19:37 i see 22:19:49 if voice recognition was enabled at a very low level in linux, like a deamon or something 22:19:52 is it low-level or high-level? (in semantics) 22:20:01 ew 22:20:16 how do you say "ls -l"? :) 22:20:18 hard-core users wouldn' like it i'm sure...... 22:20:34 "list details" 22:20:45 or something like that 22:20:51 water can think of a hundred problems with that right off the bat 22:21:05 or "ell ess dash ell" 22:21:16 or "ell ess space dash ell" 22:21:20 that'd be bad 22:21:26 lol that's terrible imo 22:21:33 i think so too 22:21:42 but you wouldn't be using it all the time 22:21:51 just when you wanted to type in emacs/vi 22:21:55 for example 22:21:59 OR 22:22:14 i think you would have to have a frame-based info system layered over the command-line semantics before that would be useful 22:22:18 just make a really extensive code snippet so anything can use it 22:22:21 or make a lib 22:22:25 lib is better i think 22:22:33 libs suck 22:22:42 y? 22:22:53 or rather, maintaining, adapting, and sharing libs suck 22:23:13 oic 22:23:20 maybe just the code snipped 22:23:59 someone says that there are a couple of things that already do it, but suck 22:24:05 festival, and rsynth 22:24:11 heard of'em? 22:24:19 yep, never touched them, though 22:24:31 there's a voice synth in squeak, btw 22:24:52 it needs another layer beneath it in order to be of any use, though 22:25:15 (which hasn't been included for lack of prior art) 22:32:53 ic 22:32:55 o well 22:33:05 i'll take a look in squeak then 22:33:33 it's under "klatt" 22:38:36 nwsh joined #tunes 22:38:51 hi nwsh 22:39:00 hey 22:42:44 will tunes be standalone orientated or network orientated? 22:44:17 hmmm, scratch that 22:44:41 hcf joined #tunes 22:47:46 eh? 22:47:54 it depends on how you need to use it 22:47:59 nevermind 22:48:14 heh sure 22:48:20 read the migration article 22:48:48 reading, pffft. :) 22:49:03 hm 22:49:08 that reminds me 22:49:28 hcf: you posted a url recently that had an article on it explaining p/e 22:50:06 from ri, i think 22:50:15 water looks for it to find the exact title 22:50:29 hmm 22:50:47 specify recentness 22:51:25 in the last 3-4 days, before thrusday 22:51:31 s/ru/ur/ 22:51:33 k, il look 22:51:43 [QUIT] adu quit: 22:52:49 this? 22:52:52 abi: schism? 22:52:52 schism is [scheme+sw] a partial evaluator for scheme at http://www.irisa.fr/compose/schism/ 22:52:58 nope 22:53:03 from ri 22:53:30 the filename was D-###.ps.gz 22:54:19 found it 22:54:21 [QUIT] Aardappel quit: http://www.planetquake.com/aardappel/ 22:54:42 "Automatic Program Specialization by Partial Evaluation: an Introduction" 22:54:52 D-288.ps.gz 22:56:01 there's another one 22:56:46 D-294.ps.gz 22:56:56 "An Introduction to Partial Evaluation" 22:57:14 posting the links to review would be a good thing 22:57:27 getting them onto the web pages would be better 22:58:24 ppl should read the irc logs 22:58:37 grep'ing for urls wouldnt kill em 22:58:47 there's some other stuff about supercompilation from the same research group, but it's barely grokkable 23:00:15 hm maybe it wasn't at ri 23:00:24 DIKU research group? 23:00:37 *.diku.dk 23:01:00 bleh, i'm going back to reading 23:01:23 alta's hits for the 1st title leads to http://www-ca.informatik.uni-tuebingen.de/dagstuhl/gpdag_8.html 23:02:20 nope, not the same 23:02:45 different paper? 23:02:51 water checks his browser history P 23:03:51 which authors? 23:05:09 n d jones? 23:05:46 HAH! :) 23:06:05 www.diku.dk/research-groups/topps/ 23:06:08 http://www.diku.dk/research-groups/topps/bibliography/1996.html#D-294 23:06:08 http://www.diku.dk/research-groups/topps/bibliography/1996.html 23:06:13 yep 23:06:21 all of 'em, practically 23:07:27 but the ones i mentioned need to be posted to review and perhaps tunes 23:10:50 [QUIT] nwsh quit: Ping timeout for nwsh[dialup-152.visp3.unite.com.au] 23:27:06 [QUIT] lar1 quit: 23:38:57 http://citeseer.nj.nec.com/75843.html http://citeseer.nj.nec.com/114087.html 23:40:06 http://www.dina.kvl.dk/~sestoft/pebook/ 23:43:19 right 23:43:26 abi: pebook 23:43:26 pebook is Partial Evaluation and Automatic Program Generation at http://www.dina.kvl.dk/~sestoft/pebook/pebook.html 23:43:48 iow, u didnt get it from any url i recently spewed 23:44:19 oh? 23:45:50 seems like u mention the pebook recently (~month) saying u were re-looking at it or smth, or that smth else should look at it 23:45:59 s/mention/mentioned/ 23:46:04 yeah i did 00:04:37 [QUIT] air quit: barnes.openprojects.net king.openprojects.net