01:11:57 clog joined #tunes 01:23:17 [QUIT] ult quit: Ping timeout for ult[149.149.201.30] 01:23:25 ult joined #tunes 01:38:58 [QUIT] clog quit: carter.openprojects.net pohl.openprojects.net 01:38:58 [QUIT] abi quit: carter.openprojects.net pohl.openprojects.net 01:38:58 [QUIT] ink|slp quit: carter.openprojects.net pohl.openprojects.net 01:38:58 [QUIT] ult quit: carter.openprojects.net pohl.openprojects.net 01:38:58 [QUIT] water quit: carter.openprojects.net pohl.openprojects.net 01:38:58 [QUIT] smkl quit: carter.openprojects.net pohl.openprojects.net 01:38:59 smklsmkl joined #tunes 01:41:37 clog joined #tunes 01:41:37 abi joined #tunes 01:41:37 ult joined #tunes 01:43:58 water joined #tunes 02:25:26 [QUIT] abi quit: Ping timeout for abi[bespin.org] 02:25:26 [QUIT] clog quit: Ping timeout for clog[bespin.org] 02:29:07 abi joined #tunes 02:29:07 clog joined #tunes 04:34:49 [NICK] smklsmkl changed nick to: smkl 10:12:26 water joined #tunes 10:12:29 [QUIT] water quit: The Tao went that-a-way! 10:12:49 water joined #tunes 11:57:56 hm 11:58:12 has anyone ever heard of the term multi-bootstrapping? 12:52:27 no 12:53:30 ok 12:54:18 i'm considering interfacing arrows with various programming languages' semantics, and it occurred to me that this would essentially be boostrapping from multiple sources 12:54:30 interfacing is not the right word 12:57:34 making arrow an extension to multiple languages/ 12:58:29 yes sort of a semantic protocol 13:00:52 using category-semantics for translation 13:01:15 hrm still half-baked though. i'm of course just working on squeak right now 13:05:04 [QUIT] virtus quit: Ping timeout for virtus[i0861.vwr.wanadoo.nl] 13:26:05 AlonzoTG joined #tunes 13:43:17 hm 13:43:28 om 13:43:32 water just demo'd the arrows stuff to a lisper using nebraska 13:43:53 AlonzoTG is not following arrows too much/ Over my head. =( 13:44:04 do you have squeak 3.1a? :) 13:44:16 I am still running windows 3.11 13:45:00 atg: get a simple-to-manage linux distro 13:45:59 I have minix on my other machine but it is not network ready yet... 14:12:49 [QUIT] Kysh quit: barnes.openprojects.net lackey.openprojects.net 14:30:56 Tril joined #tunes 14:30:56 [MODE] ChanServ set mode: +o Tril 14:32:58 hey tril 14:33:02 yo! 14:33:12 i gave an arrow demo over the net just earlier :) 14:33:31 using squeak nebraska (oo morphic remote windowing :) 14:33:42 did they understand it? 14:33:54 yup 14:34:03 did you record it? 14:34:10 sort of 14:34:21 i got a transcript of my explanations in one window 14:34:32 i'll work out how to record it better 14:34:52 by changing the metaobject, of course! 14:34:53 there are ways to record movies of a sort in squeak 14:34:58 heh 14:35:03 in a sense 14:35:20 btw 14:35:36 there are a few squeak ircbot implementations floating around 14:35:48 pretty tiny pieces of code i've heard 14:36:13 and squeak does connect to postgresql now with the proper plugin ;) 14:36:22 but how r u? 14:36:55 ok..start school today.. but my main classes are mondays wednesday and friday, just one class on Tue and thur.. 14:37:05 ah 14:38:06 i am trying to avoid subclass explosion in my arrows package as i try to include equational pattern-matching semantics 14:38:41 the UI package is still in dev... it relies on another package that is still under dev but incredibly useful already 14:39:17 ok my firewire drive just shipped 14:39:28 so I take it the equational pattern matching is for matching patterns in equations? 14:39:47 this will allow me to install linuxppc and therefore lyx 14:39:52 yes basically 14:40:02 although the equations will be arrow structures 14:40:16 [QUIT] Aardappel quit: http://www.planetquake.com/aardappel/ 14:40:21 mostly it will be a framework in which you can do it using arrows 14:40:37 the basic things like modus ponens almost work 14:40:51 (a,a->b)=>b 14:41:05 [QUIT] MysticOne quit: Ping timeout for MysticOne[porpoise15.panama.gulf.net] 14:43:46 [QUIT] fotoplasma quit: [BX] Yo quiero BitchX 15:40:54 Alyssa joined #tunes 15:40:54 Alyssa joined #tunes 16:19:37 eihrul joined #tunes 16:19:37 eihrul joined #tunes 16:19:47 [QUIT] ult quit: Read error to ult[149.149.201.30]: EOF from client 16:19:47 [QUIT] ult quit: Read error to ult[149.149.201.30]: EOF from client 16:20:44 ult joined #tunes 16:20:44 ult joined #tunes 17:24:51 Tril left #Tunes 17:24:51 Tril left #Tunes 18:08:05 [QUIT] AlonzoTG quit: Ping timeout for AlonzoTG[66-44-68-194.s194.tnt8.lnhva.md.dialup.rcn.com] 18:08:05 [QUIT] AlonzoTG quit: Ping timeout for AlonzoTG[66-44-68-194.s194.tnt8.lnhva.md.dialup.rcn.com] 18:09:43 AlonzoTG joined #tunes 18:09:43 AlonzoTG joined #tunes 19:04:29 _1BadDude joined #tunes 19:04:29 _1BadDude joined #tunes 19:14:21 [QUIT] air quit: Ping timeout for air[p0wer.qzx.com] 19:14:21 [QUIT] air quit: Ping timeout for air[p0wer.qzx.com] 22:27:12 dwayne joined #tunes 22:27:12 dwayne joined #tunes 22:27:41 anyone have SB Live? 22:27:41 anyone have SB Live? 22:28:13 dwayne left #tunes 22:28:13 dwayne left #tunes 23:10:58 water joined #tunes 23:10:58 water joined #tunes 23:11:07 hi all 23:11:07 hi all 23:14:38 ok lar, who's alyssa? 23:14:38 ok lar, who's alyssa? 23:22:26 lgt joined #tunes 23:22:26 lgt joined #tunes 23:24:25 hi 23:24:25 hi 23:24:34 hi 23:24:34 hi 23:24:43 got questions? 23:24:43 got questions? 23:24:59 not really, im just lurking :) 23:24:59 not really, im just lurking :) 23:25:13 well lurk away then 23:25:13 well lurk away then 23:43:42 Alyssa is the Brianna back-up 23:43:42 Alyssa is the Brianna back-up 23:43:49 I have no clue why she's up 23:43:49 I have no clue why she's up 23:44:24 well get rid of her 23:44:24 well get rid of her 23:44:59 since clog is around, Brianna doesn't really need to be 23:44:59 I'll talk to tril about it 23:44:59 since clog is around, Brianna doesn't really need to be 23:44:59 I'll talk to tril about it 23:45:37 mail him 23:45:37 mail him 23:45:38 lar1 sees if he can 23:45:38 lar1 sees if he can