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 <hcf> 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 <hcf> 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 <hcf> 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 <hcf> abi: monads are also http://www.cse.ogi.edu/~walton/monads.html
15:30:37 <abi> okay, hcf.
15:30:56 <hcf> <icac what="logics, etc">
15:30:57 <hcf> 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 <hcf> http://www.research.microsoft.com/~adg/Publications/details.html http://citeseer.nj.nec.com/murakawa97imperfect.html 
15:31:00 <hcf> 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 <hcf> </icac>
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 <adu> yo there
19:14:06 <adu> wuzup all?
19:14:08 <eihrul> ?
19:14:14 <adu> howz it goin?
19:14:17 <eihrul> same as always
19:14:23 <adu> and howz that?
19:14:39 <adu> anything new?
19:17:43 <eihrul> same as always, damn it
19:18:59 <adu> k
19:19:28 eihrul is tired.
19:20:08 <adu> k
19:20:12 <adu> anyone else in here?
19:33:29 nwsh joined #tunes
19:41:44 <adu> hello
19:43:25 <nwsh> ya?
19:49:15 <nwsh> is this the channel for that reflective os thingie?
19:49:23 <adu> ya
19:51:22 <nwsh> just checking
19:53:13 <eihrul> the one and only
19:57:20 <nwsh> just reading up on it now...
20:04:47 <adu> i have to give it credit for one thing: documentation
20:05:06 <adu> one thing is lacking, somewhat for a good reason: implementation.
20:05:46 <nwsh> good point.
20:08:39 <adu> hey there
20:09:38 <nwsh> where?
20:10:52 <adu> nowhere, sorry i though i was typing in another window
20:11:17 <nwsh> o
20:34:24 ult joined #tunes
20:34:33 <adu> 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 <adu> hey water!
22:14:15 <water> hey
22:18:35 <water> what's on your mind?
22:19:27 <adu> i'm just thinking of a cool interface to a computer
22:19:37 <water> i see
22:19:49 <adu> if voice recognition was enabled at a very low level in linux, like a deamon or something
22:19:52 <water> is it low-level or high-level? (in semantics)
22:20:01 <water> ew
22:20:16 <water> how do you say "ls -l"? :)
22:20:18 <adu> hard-core users wouldn' like it i'm sure......
22:20:34 <adu> "list details"
22:20:45 <adu> or something like that
22:20:51 water can think of a hundred problems with that right off the bat
22:21:05 <adu> or "ell ess dash ell"
22:21:16 <adu> or "ell ess space dash ell"
22:21:20 <adu> that'd be bad
22:21:26 <water> lol that's terrible imo
22:21:33 <adu> i think so too
22:21:42 <adu> but you wouldn't be using it all the time
22:21:51 <adu> just when you wanted to type in emacs/vi
22:21:55 <adu> for example
22:21:59 <adu> OR
22:22:14 <water> 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 <adu> just make a really extensive code snippet so anything can use it
22:22:21 <adu> or make a lib
22:22:25 <adu> lib is better i think
22:22:33 <water> libs suck
22:22:42 <adu> y?
22:22:53 <water> or rather, maintaining, adapting, and sharing libs suck
22:23:13 <adu> oic
22:23:20 <adu> maybe just the code snipped
22:23:59 <adu> someone says that there are a couple of things that already do it, but suck
22:24:05 <adu> festival, and rsynth
22:24:11 <adu> heard of'em?
22:24:19 <water> yep, never touched them, though
22:24:31 <water> there's a voice synth in squeak, btw
22:24:52 <water> it needs another layer beneath it in order to be of any use, though
22:25:15 <water> (which hasn't been included for lack of prior art)
22:32:53 <adu> ic
22:32:55 <adu> o well
22:33:05 <adu> i'll take a look in squeak then
22:33:33 <water> it's under "klatt"
22:38:36 nwsh joined #tunes
22:38:51 <water> hi nwsh
22:39:00 <nwsh> hey
22:42:44 <nwsh> will tunes be standalone orientated or network orientated?
22:44:17 <nwsh> hmmm, scratch that
22:44:41 hcf joined #tunes
22:47:46 <water> eh?
22:47:54 <water> it depends on how you need to use it
22:47:59 <nwsh> nevermind
22:48:14 <water> heh sure
22:48:20 <water> read the migration article
22:48:48 <nwsh> reading, pffft. :)
22:49:03 <water> hm
22:49:08 <water> that reminds me
22:49:28 <water> hcf: you posted a url recently that had an article on it explaining p/e
22:50:06 <water> from ri, i think
22:50:15 water looks for it to find the exact title
22:50:29 <hcf> hmm
22:50:47 <hcf> specify recentness
22:51:25 <water> in the last 3-4 days, before thrusday
22:51:31 <water> s/ru/ur/
22:51:33 <hcf> k, il look
22:51:43 [QUIT] adu quit: 
22:52:49 <hcf> this?
22:52:52 <hcf> abi: schism?
22:52:52 <abi> schism is [scheme+sw] a partial evaluator for scheme at http://www.irisa.fr/compose/schism/
22:52:58 <water> nope
22:53:03 <water> from ri
22:53:30 <water> the filename was D-###.ps.gz
22:54:19 <water> found it
22:54:21 [QUIT] Aardappel quit: http://www.planetquake.com/aardappel/
22:54:42 <water> "Automatic Program Specialization by Partial Evaluation: an Introduction"
22:54:52 <water> D-288.ps.gz
22:56:01 <water> there's another one
22:56:46 <water> D-294.ps.gz
22:56:56 <water> "An Introduction to Partial Evaluation"
22:57:14 <water> posting the links to review would be a good thing
22:57:27 <water> getting them onto the web pages would be better
22:58:24 <hcf> ppl should read the irc logs
22:58:37 <hcf> grep'ing for urls wouldnt kill em
22:58:47 <water> there's some other stuff about supercompilation from the same research group, but it's barely grokkable
23:00:15 <water> hm maybe it wasn't at ri
23:00:24 <water> DIKU research group?
23:00:37 <water> *.diku.dk
23:01:00 <water> bleh, i'm going back to reading
23:01:23 <hcf> alta's hits for the 1st title leads to http://www-ca.informatik.uni-tuebingen.de/dagstuhl/gpdag_8.html
23:02:20 <water> nope, not the same
23:02:45 <hcf> different paper?
23:02:51 water checks his browser history P
23:03:51 <hcf> which authors?
23:05:09 <hcf> n d jones?
23:05:46 <water> HAH! :)
23:06:05 <water> www.diku.dk/research-groups/topps/
23:06:08 <hcf> http://www.diku.dk/research-groups/topps/bibliography/1996.html#D-294
23:06:08 <water> http://www.diku.dk/research-groups/topps/bibliography/1996.html
23:06:13 <water> yep
23:06:21 <water> all of 'em, practically
23:07:27 <water> 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 <hcf> http://citeseer.nj.nec.com/75843.html http://citeseer.nj.nec.com/114087.html
23:40:06 <hcf> http://www.dina.kvl.dk/~sestoft/pebook/
23:43:19 <water> right
23:43:26 <water> abi: pebook
23:43:26 <abi> pebook is Partial Evaluation and Automatic Program Generation at http://www.dina.kvl.dk/~sestoft/pebook/pebook.html
23:43:48 <hcf> iow, u didnt get it from any url i recently spewed
23:44:19 <water> oh?
23:45:50 <hcf> 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 <hcf> s/mention/mentioned/
23:46:04 <water> yeah i did
00:04:37 [QUIT] air quit: barnes.openprojects.net king.openprojects.net