00:36:38 <water> hey
00:36:55 <witten> hello
00:36:59 <witten> how ya doin?
00:37:22 <water> reading up on latex
00:37:40 <witten> cool, writin a paper?
00:37:51 <water> figuring out how to draw graphics and math notations in my papers
00:38:04 <water> yeah i already have one online
00:38:30 <water> not a good one, but then i made it when i had no one to help teach me the tools
00:38:50 <witten> yah, latex is tough
00:39:53 <water> it would be nice if there were a much nicer way to search for the needed command while writing the code
00:40:26 <water> LyX is very nice, but it can't possibly cover all latex libraries
00:41:08 <witten> yup, I found that to be one of the biggest difficulties.. knowing what library to use 
01:09:30 [QUIT] air quit: http://www.qzx.com/ :: sleep
01:26:05 Break joined #tunes
01:26:11 <Break> Hello
01:26:33 <Break> Is someone interested by a research project ?
01:26:40 <Break> on reflexivity N
01:26:41 <Break> ?
01:29:31 <water> hi
01:29:38 <water> sure
01:29:56 <Break> i search a bourse thesis
01:30:06 <water> a who?
01:30:07 <Break> for work on reflexivity
01:30:19 <Break> i am in france
01:30:25 <water> wait wait... what sort of reflexivity?
01:30:35 <Break> "theoretical reflexivity"
01:30:37 <water> do you mean reflectivity?
01:30:44 <Break> specially reflective language
01:30:47 water shakes his head
01:30:52 <water> oh
01:31:08 <water> what papers in particular?
01:31:35 <Break> language which speak about itself
01:31:47 <water> i know that
01:31:55 <Break> "Axiomating reflexivity"
01:31:57 <Break> for instance
01:31:58 <water> btw i am the one working on slate
01:32:28 <water> axiomatizing is not the best one can do for a theory
01:32:39 <Break> sure
01:32:47 <water> perhaps you can tell me where you are looking for these papers?
01:32:55 <Break> but the question is : i have no bourse to work about !!
01:33:00 <water> are you familiar with citeseer?
01:33:03 <Break> yes
01:33:14 <water> what is bourse?
01:33:32 <Break> get money to prepare phD thesis
01:33:42 <Break> for log message : saidani@hotmail.com
01:33:43 <water> oh, funding :)
01:33:47 <Break> yes
01:33:52 <Break> scuse my poor english !!
01:34:02 <water> i understand perfectly
01:34:15 <Break> do yu have an idea ?
01:34:16 <water> it seems a lot of frenchmen are interested in tunes
01:34:22 <water> of course i do
01:34:30 <Break> to find funding ?
01:34:37 <water> do you know what slate is? :)
01:34:42 <Break> slate ?
01:34:46 <Break> no
01:34:56 <water> sadly, for funding for research, i could not tell you, especially for a frenchmen
01:35:02 <water> abi: slate
01:35:03 <abi> slate is a unifying/hybridizing of self/beta/lisp at http://www.tunes.org/~water/slate-home.html
01:35:21 <water> do you know Fare?
01:35:24 <Break> yes
01:35:42 <Break> i well know this pages
01:35:52 <Break> i m writing him a mail
01:35:55 <water> he also has problems with funding :)
01:36:02 <Break> shit !
01:36:10 <Break> no good for me
01:36:19 <water> although he is writing up business plans for a company for Tunes
01:36:33 <Break> an in your country ?
01:36:40 <water> i don't know
01:36:58 <water> apparently France and the USA are the two best candidates
01:36:59 <Break> so i must go
01:37:06 <water> ok
01:37:16 <Break> thanks for all
01:37:22 <water> you're welcome
01:37:32 <Break> " I ll be  back !" TErminator !
01:37:46 <water> heh ok
01:37:48 [QUIT] Break quit: 
02:08:48 [QUIT] ink|sleep[for_now]_DUM_DUM_DUU quit: Ping timeout for ink|sleep[for_now]_DUM_DUM_DUU[ppp-206-170-5-30.sntc01.pacbell.net]
02:17:07 [QUIT] water quit: The Tao went that-a-way!
03:32:59 [QUIT] Fare quit: Ping timeout for Fare[ppp7-net1-idf2-bas1.isdnet.net]
03:47:08 Fare joined #tunes
04:24:37 water joined #tunes
04:43:47 [QUIT] water quit: The Tao went that-a-way!
05:26:05 [QUIT] abi quit: irc.linux.com asprin.openprojects.net
05:26:05 [QUIT] ult quit: irc.linux.com asprin.openprojects.net
05:26:05 [QUIT] Geeky quit: irc.linux.com asprin.openprojects.net
05:26:05 [QUIT] nate37 quit: irc.linux.com asprin.openprojects.net
05:26:05 [QUIT] Fare quit: irc.linux.com asprin.openprojects.net
05:26:32 ult joined #tunes
05:26:32 abi joined #tunes
05:26:32 nate37 joined #tunes
05:26:32 Fare joined #tunes
05:39:49 [NICK] cor[class] changed nick to: corey
05:39:51 corey joined #tunes
06:14:01 hcf joined #tunes
06:19:58 [QUIT] Fare quit: Connection reset by pear
06:42:25 corey left #tunes
07:35:17 eihrul joined #tunes
07:42:59 XeF4 joined #tunes
07:46:25 [QUIT] XeF4 quit: XeF4 has no reason
08:00:58 [QUIT] eihrul quit: Leaving
09:23:58 <hcf> abi: selective lambda-calculus is at http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/research.html
09:23:58 <hcf> abi: transformation calculus is at http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/research.html
09:24:01 <hcf> abi: occam archive is at http://archive.comlab.ox.ac.uk/occam.html
09:24:01 <hcf> abi: pH is a parallel Haskell at http://www.csg.lcs.mit.edu:8001/pH/
09:24:02 <abi> ...but ph is persistent hyperprogramming...
09:24:05 <hcf> abi: nhc is Nearly a Haskell Compiler at http://www.cs.chalmers.se/~rojemo/nhc.html
09:24:05 <hcf> abi: fiml is Functional and Imperative ML at http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/fiml/fiml.html
09:24:09 <hcf> abi: olabl is Objective Label, An extension of Objective Caml with labeled and optional arguments, and polymorphic variants. at http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/
09:24:09 <hcf> abi: functional parsers is at http://www.cs.ruu.nl/~jeroen/article/parsers/index.html
09:24:12 <hcf> abi: mlvwm is Macintosh Like Virtual Window Manager at http://www2u.biglobe.ne.jp/~y-miyata/mlvwm.html
09:24:25 <hcf> abi: pH is also a parallel Haskell at http://www.csg.lcs.mit.edu:8001/pH/
09:24:26 <abi> okay, hcf.
09:31:32 [QUIT] JALH quit: brb
09:32:29 <smkl> olabl features were added to ocaml 3 btw
09:34:12 <hcf> ok
09:34:44 eihrul joined #tunes
09:34:48 eihrul left #tunes
09:50:25 ult joined #tunes
14:35:04 Brianna joined #tunes
14:35:37 <water> damn it, when did we lose the logger?
14:38:17 <hcf> seemingly at 09:50:25 (info from abi)
14:38:38 <water> k
14:39:55 [QUIT] morton quit: Ping timeout for morton[freenet.nether.net]
14:51:34 [QUIT] lar1 quit: Read error to lar1[adsl-63-204-133-113.dsl.snfc21.pacbell.net]: EOF from client
14:56:10 [NICK] kc-shower changed nick to: kc5tja
14:58:40 HenZo joined #tunes
14:58:51 <water> hey henzo
14:59:08 <water> how're things?
14:59:16 <HenZo> Hey. Not bad.
14:59:21 <HenZo> you?
14:59:42 <water> not bad... please let tril know that the irc logger setup might not be right
14:59:53 <water> lar1 knows the details
15:00:16 <HenZo> ok, i'll inform him today
15:00:21 <water> thx
15:00:24 <HenZo> np
15:00:37 <water> what brings you here, btw?
15:01:35 <HenZo> nothin' much, just seeing if there was any conversation here
15:01:50 <HenZo> I'm rather bored at the moment...
15:01:56 <water> hm
15:02:16 <water> how much time do you have on your hands these days?
15:02:33 <HenZo> Very little. I just lucked out and got today off.
15:02:42 <water> damn
15:02:48 <HenZo> Yeah I agree
15:02:52 <water> i need another programmer
15:03:07 <water> hopefully one that can write in lisp or haskell
15:03:11 <HenZo> Love to help, but... 
15:03:17 <water> i'm willing to pay $$$$
15:03:38 <HenZo> Money is good. :) Unfortuantely I don't have the time lately.
15:03:44 <HenZo> Plus I don't know any haskell
15:03:52 <HenZo> I know Scheme though
15:03:56 <water> i don't mean just you
15:04:02 <water> scheme works
15:04:12 <water> but anyone you know who's up to the job
15:04:25 <HenZo> redfive might be interested...time permitting
15:04:30 <water> it'd be nice if it were somebody local to bellingham or seattle
15:04:35 <HenZo> His schedule is similar to mine.
15:04:44 <water> not good
15:04:45 <HenZo> redfive is local to Bellingham
15:05:03 <HenZo> Yeah. And it's only going to go downhill from here, as school starts in a couple weeks.
15:06:53 <water> geez what does it take to find temporary help?
15:07:14 <HenZo> Someone with no life that has plenty of money so they don't need a job.
15:07:19 <HenZo> That's what.
15:07:33 <water> P
15:07:44 <water> it'd be a different story if it were in C
15:07:50 <water> or perl or whatever
15:08:24 <HenZo> hehe yeah C'd be better
15:09:13 <HenZo> Speaking of redfive, here he is.. I'll catch you later.
15:09:18 <water> ok
15:09:30 [QUIT] HenZo quit: hasta
15:16:57 eihrul joined #tunes
15:17:24 <water> re eih
15:17:32 <eihrul> ew
15:17:33 <eihrul> er re
15:17:42 <water> heh
16:05:03 [QUIT] morton quit: Read error to morton[freenet.nether.net]: EOF from client
16:06:19 <water> bbl
16:06:21 [QUIT] water quit: The Tao went that-a-way!
16:10:44 eihrul joined #tunes
16:14:20 eihrul hmms.
16:15:35 [QUIT] eihrul quit: Leaving
16:50:33 Kyle_L joined #tunes
16:52:02 XeF4 joined #tunes
16:52:11 <XeF4> 11
16:52:13 <XeF4> oops
16:57:39 [NICK] ink|sleep[for_now]_DUM_DUM_DUU changed nick to: ink
17:31:39 eihrul joined #tunes
18:01:39 [QUIT] ink quit: resetting. -- 52/64M MEM TAKEN and 129/128(+ a little bit)M SWAPPED!
18:27:15 bob joined #tunes
19:19:32 lispbliss joined #tunes
19:24:18 arbit joined #tunes
19:24:23 <arbit> all hail tunes!
19:27:25 [TOPIC] arbit: 
19:27:30 <arbit> oops
19:27:30 <arbit> sorry
19:27:33 <arbit> someone fix that?
19:30:30 [TOPIC] arbit: TUNES - Free Reflective Computing System - www.tunes.org
19:30:40 <arbit> abi, slate?
19:30:40 <abi> slate is a unifying/hybridizing of self/beta/lisp at http://www.tunes.org/~water/slate-home.html
19:31:12 [TOPIC] arbit: TUNES - Free Reflective Computing System - www.tunes.org | Slate - www.tunes.org/~water/slate-home.html
19:37:31 [TOPIC] eihrul: TUNES: Free Reflective Computing System http://www.tunes.org || Slate Programming Language http://www.tunes.org/~water/slate-home.html
19:38:05 [TOPIC] eihrul: TUNES: Free Reflective Computing System http://www.tunes.org || Slate Programming Language http://www.tunes.org/~water/slate-home.html || http://lambda.weblogs.com || http://www.brics.dk/~pado2/ || http://www.aopsys.com
19:42:34 <arbit> werd
19:44:13 <eihrul> don't fuck with the topic
20:03:04 XeF4 joined #tunes
20:23:22 [QUIT] eihrul quit: Leaving
20:48:37 eihrul joined #tunes
21:00:55 witten joined #tunes
21:24:07 lar1 joined #tunes
21:24:21 lar1 left #tunes
21:41:14 water joined #tunes
21:41:31 <water> hey all
21:42:24 <witten> hello
21:45:06 arbit joined #tunes
21:45:21 <water> hey arbit
21:45:30 <arbit> ahoy sir
21:45:52 <water> um
21:46:04 <water> please don't use that kind of talk
21:46:17 <arbit> what kind of talk?
21:46:37 [QUIT] kc5tja quit: Going to x-chat...Please hold...
21:46:50 <water> navy talk
21:46:59 <arbit> oh ok
21:47:19 <arbit> i was using more as a pirate might, but ok
21:47:48 <arbit> ...or perhaps a whaling man
21:48:49 <water> totally unrelated: i must reboot; brb
21:48:53 [QUIT] water quit: The Tao went that-a-way!
21:49:41 <witten> reboot, what's that?
21:49:47 <arbit> what?
21:50:01 <arbit> reboot? as in restart the computer?
21:50:05 <witten> oh okay
21:50:12 <witten> why would you want to do that?
21:50:51 <arbit> not me, water
21:51:01 <witten> oh
21:51:08 <arbit> you've never had to reboot your computer??
21:51:18 <witten> I suppose
21:51:24 <witten> like when I upgrade my kernel
21:51:41 <arbit> that would do it
21:51:44 <witten> but I haven't done that in a long time
21:52:01 <arbit> sometimes its good to just 'clear the buffers'
21:52:26 water joined #tunes
21:52:32 <water> re
21:52:39 <arbit> rere
21:52:59 <witten> clear the buffers? why would you want to do that?
21:53:30 <arbit> to get rid of some excess baggage u know
21:53:41 <witten> but buffers work best when they are full of useful data
21:53:56 <witten> so you can retrieve information from them quickly
21:54:09 <arbit> big buffers == slow
21:54:23 <arbit> if you're doing dynamic operations
21:54:39 <arbit> but anyhow i was speaking hypotheoretically
21:54:40 <XeF4> arb: and you can't sync because ____?
21:55:07 <arbit> sync what? i have no problems with my buffers :)
21:55:23 <witten> well clear your buffers if you like
22:00:42 <arbit> anyone want to read an interesting paper on static program error anaylsis?
22:01:08 <arbit> http://www.excelsior-usa.com/research.html
22:01:12 <arbit> ...all the way at the bottom
22:01:20 <water> no, that's for laaaame languages ;)
22:01:40 <arbit> this one happens to run on modula-2 and java
22:01:45 <water> we read things like the pebook ;)
22:01:51 <arbit> pebook?
22:01:56 <water> arbit: and your point is? :)
22:02:03 <water> abi: pebook
22:02:03 <abi> pebook is Partial Evaluation and Automatic Program Generation at http://www.dina.kvl.dk/~sestoft/pebook/pebook.html
22:03:22 <arbit> Interesting
22:05:36 <arbit> I'm reading the thing on C-mix 
22:06:42 <water> ok
22:09:50 <water> it figures that you would gravitate towards the application of cool concepts to lame languages ;)
22:10:53 <witten> as opposed to water here, which does the opposite :)
22:11:31 <arbit> Hehe I'm just interested in the practicaly implications of this stuff
22:12:31 <water> oh yeah "practical" ;)
22:12:49 <water> you just want windoze and linux to live forever ;)
22:13:12 <arbit> NO
22:13:21 <arbit> I want TUNES!
22:13:24 <water> even if it means having to include 1GB of compilers with the distro just to make it keep up with tunes ;)
22:13:26 [NICK] lar1 changed nick to: lar[hairshower]
22:16:13 <witten> my non-existent overly-ambitious OS/language is better than your non-existent overly-ambitious OS/language, so nyah!
22:16:44 <water> um... slate exists... it's just not well-developed enough
22:16:51 <witten> hah :)
22:18:38 [QUIT] witten quit: bye
22:19:16 <water> hm... actually i was hoping to get something more productive out of that
22:19:21 <water> oh well
22:26:31 <arbit> sleep time
22:26:38 [QUIT] arbit quit: bye
22:29:11 [QUIT] Geeky quit: Ping timeout for Geeky[209.19.41.134]
22:57:29 [QUIT] ink quit: Read error to ink[ppp-207-214-211-85.sntc01.pacbell.net]: Connection reset by peer
23:02:48 [QUIT] water quit: The Tao went that-a-way!
23:08:56 [QUIT] lispbliss quit: ircII EPIC4-0.9.6 -- Accept no limitations
23:23:37 [NICK] lar[hairshower] changed nick to: lar1
23:24:13 [QUIT] lar1 quit: Nightios!
00:08:21 [NICK] ink changed nick to: ink|sleeep[dreaming_of_linchic