06:34:41 eihrul joined #tunes
07:02:18 [QUIT] eihrul quit: Leaving
07:14:38 [QUIT] gREMLiNs quit: Ping timeout for gREMLiNs[195.252.64.53]
07:32:15 bineng joined #tunes
08:14:48 ult joined #tunes
08:19:11 [QUIT] JALH quit: BitchX: more nutritious than a six-pack.
08:53:07 eihrul joined #tunes
08:54:55 [QUIT] gREMLiNs quit: I am one who is many
09:06:47 [QUIT] JALH quit: brb
09:06:55 Fufie joined #tunes
09:07:24 Fufie left #tunes
10:10:09 ult joined #tunes
11:29:05 eihrul joined #tunes
12:12:52 samx joined #tunes
12:16:10 [QUIT] eihrul quit: Leaving
13:33:06 eihrul joined #tunes
15:05:50 dec joined #tunes
15:06:02 [QUIT] fuckmicrosoft quit: Ping timeout for fuckmicrosoft[195.252.66.60]
15:08:02 dec left #tunes
15:56:09 skulcrak joined #tunes
15:56:21 [QUIT] eihrul quit: Leaving
15:56:23 <skulcrak> we talkin about music?
15:57:07 Fare joined #tunes
15:57:59 [QUIT] kc5tja quit: THX QSO ES 73 DE KC5TJA/6 CL ES QRT (xchat)
15:58:44 <skulcrak> hello?
15:59:13 scipient joined #tunes
16:01:12 <skulcrak> hello?
16:02:11 <skulcrak> what'''s goin on?
16:02:20 <Fare> Smoking crack
16:02:29 <skulcrak> ok
16:03:22 <Fare> do you know the tunes project?
16:03:55 <skulcrak> no
16:04:09 <skulcrak> what is it?
16:05:01 <Fare> http://tunes.org/
16:05:10 nruticat joined #tunes
16:05:15 <Fare> hi
16:05:44 <skulcrak> i just went to it
16:05:54 <Fare> so?
16:06:47 skulcrak left #tunes
16:07:40 <scipient> Fare, what do you think would be the most important languages to learn about in order to learn the important conceptual bases of Tunes (esp. reflection & proofs)?
16:08:31 abi joined #tunes
16:09:59 clog joined #tunes
16:23:45 nruticat joined #tunes
16:48:35 XeF4 joined #tunes
16:49:42 <XeF4> http://www.tunes.org/papers/Glossary/Review/VMs.html linked from the Glossary 'lambda calculus' entry returns 404
16:50:55 <Fare> should be /Review/VMs.html instead of Review/VMs.html
16:52:14 <Fare> or ../../
16:53:00 <XeF4> aha!
16:56:04 lar1 joined #tunes
16:58:36 ult joined #tunes
17:07:37 [QUIT] abi quit: barnes.openprojects.net varley.openprojects.net
17:07:37 [QUIT] clog quit: barnes.openprojects.net varley.openprojects.net
17:07:37 [QUIT] ult quit: barnes.openprojects.net varley.openprojects.net
17:14:05 ult joined #tunes
17:25:41 clog joined #tunes
17:29:59 [TOPIC] ChanServ: http://tunes.org/
17:35:43 [QUIT] MysticOne quit: See ya!
18:15:09 Kyle joined #tunes
18:54:27 eihrul joined #tunes
18:57:05 [QUIT] nruticat quit: Leaving
20:10:07 ganjamon joined #tunes
20:10:09 ganjamon left #tunes
23:15:34 [QUIT] lar1 quit: Night
01:12:51 smkl joined #tunes