01:48:47 hello? 02:08:52 ? 02:10:13 smkl you into tunes? 02:12:37 sorta 02:13:22 cool, know much about slate? 02:14:09 not really 02:15:23 slate design is still changing fast i guess 02:16:32 i thought it was decided upon 02:16:40 i'm interested in HLLs 02:18:45 which languages do you know? 02:23:04 lots, www.jillrobbins.com/andrew/test/progrm/progrm-bbidx.html 02:24:39 the links on the page don't work btw 02:25:03 i know 02:25:13 i need to fix them 02:25:36 the whole site is basically declared under constrctn. 02:26:01 do you know prolog or haskell? 02:32:51 i've heard of prolog, but not haskell, and don't really know either 02:34:12 haskell is a lot like ML, but still different 02:56:19 ML, as in HTML/XML/etc... or that Standard ML 03:02:29 ? 03:25:14 like sml and caml 03:34:54 caml? 03:36:01 whats caml? 04:28:16 [QUIT] adu quit: 04:52:21 [QUIT] nate37 quit: barnes.openprojects.net pohl.openprojects.net 07:25:04 Fare joined #tunes 07:42:53 [QUIT] Fare quit: Ping timeout for Fare[ppp46-net1-idf2-bas1.isdnet.net] 08:33:10 Fare joined #tunes 09:30:14 [QUIT] JALH quit: Read error to JALH[user-136-139.jakinternet.co.uk]: Connection reset by peer 09:40:22 lar1 joined #tunes 09:40:53 [QUIT] eihrul quit: Leaving 10:00:44 [QUIT] JALH quit: brb 10:15:12 water joined #tunes 10:15:26 good morning 10:26:22 good evening 10:26:38 water: are you in .wa.us ? 10:26:44 yes 10:26:51 did you contact Tril? 10:27:07 I'm told Ian Piumarta is currently at Disney 10:27:13 havent' managed to yet, will have to resort to email 10:27:16 in .ca.us, I guess 10:27:27 yep he's working on squeak's JIT 10:27:29 (but I might be completely wrong) 10:27:31 I am seven hours from DisneyLand! 10:27:36 actually, fa.us. 10:27:48 er .fa.us 10:28:01 heh i got it wrong twice 10:28:13 .fl.us ? 10:28:17 yep 10:28:23 so that explains why the election went wrong? 10:28:47 what? ian being there or people not remembering the std abbrev for it? :) 10:29:28 hey what are the ssh settings that will work with bespin? 10:30:41 n/m got it to work 10:30:56 or not, only telnet :/ 10:30:57 bespin got an old openssh from potato, I guess 10:31:05 (supports ssh 1.5 protocol) 10:31:36 ah 10:32:19 why not ssh2? 10:32:49 water: is the eth port on a mac the one with the <--> symbol? 10:32:55 yep 10:33:14 because potato is the old "stable" version of debian, and openssh 2.x is only in woody "unstable" debian 10:34:45 [QUIT] JALH quit: Read error to JALH[213.122.77.160]: Connection reset by peer 10:35:48 well macssh seems only to use ssh2 among ssh versions 10:36:07 otherwise, i'm stuck with telnet or rlogin, rsh, rexec, etc 10:36:32 Ok, I'll upgrade the openssh on bespin, then 10:36:39 thx 10:37:33 Tril joined #tunes 10:37:33 [MODE] ChanServ set mode: +o Tril 10:37:43 Hey Tril 10:37:46 oh good, you got his attn :) 10:37:50 re tril :) 10:37:53 heh 10:37:56 yoyo 10:38:27 lar1 Duncans 10:38:28 Tril! 10:38:47 hcf joined #tunes 10:38:57 Full house! 10:39:31 (one hour earlier, there was also lispm on #lisp) 10:40:28 Fare_ joined #tunes 10:40:48 i'v noticed that whenever adu is here asking about proglangs noone uses abi to tell him anything 10:41:39 he left before i had time to tell him anything 10:43:13 i guess all u need to do is direct him to the tunes pl review 10:43:40 yep 10:44:10 which he should of found by now via looking at the site 10:44:12 tril: did Fare contact you about his request about that lispm? 10:45:26 water: you bet I did! 10:46:24 ; apt-get source ssh 10:46:34 [QUIT] lar1 quit: Killed (NickServ (GHOST command used by lar1_)) 10:46:53 lar1 joined #tunes 10:46:56 plug and pray, now 10:48:06 [QUIT] Fare_ quit: Ping timeout for Fare_[ppp70-net1-idf2-bas1.isdnet.net] 10:48:28 [QUIT] Tril quit: barnes.openprojects.net tolkien.openprojects.net 10:48:28 [QUIT] water quit: barnes.openprojects.net tolkien.openprojects.net 10:49:43 Tril joined #tunes 10:49:43 [MODE] ChanServ set mode: +o Tril 10:49:44 water joined #tunes 10:49:45 Fare_ joined #tunes 10:49:52 [QUIT] water quit: The Tao went that-a-way! 10:50:24 water joined #tunes 10:50:45 hum 10:53:19 www.fr.tunes.org should work again 10:53:29 what happened? 10:53:39 suntech went down, nobody told me 10:53:54 but apparently all machines are still there, with new names under nexwave-solutions.fr 10:53:56 definitively? 10:54:10 ok, nexwave-solutions.fr is the new name! 10:54:36 We were using CNAME's so I had to change them 10:54:42 I think the IPs didn't change 10:55:07 ok 10:55:17 I guess I must still change the whois 10:55:29 Nope, not if the IP didn't change. 10:55:52 ok 10:56:00 Don't they use plain IP addresses in the parent zone? 10:56:09 I suppose so. 10:56:16 Fare_ left #Tunes 10:56:20 It wouldn't hurt to check if the IP is the same. See if the old one was 195.154.116.21 10:56:32 if so, then no need to change it 10:57:04 no change 10:57:09 cool 10:57:22 hey, I didn't move from CORE to GANDI yet! 10:57:31 you mean joker? 10:57:37 they are not both CORE? 10:57:39 yup; joker is a CORE registrar 10:58:15 no, I think GANDI is not CORE, but a direct ICANN retailer 10:58:15 hm core 10:58:20 Fare HATES the ICANN 10:58:25 how is he doing? 10:58:56 What is stalling the clem release? Upper management, or Core's trying to perfect it? 10:59:24 water: we've been talking two different kinds of core here :) 10:59:29 i know 10:59:29 but we are talking about both 10:59:34 it just reminded me 11:00:10 core hosts www.fr.tunes.org, and changed his company to nexwave-solutions from suntech 11:00:17 lar1_ joined #tunes 11:00:33 oh ok 11:00:50 Fare__ joined #tunes 11:01:10 Grrr! 11:01:12 Tril: did you receive all my infoabout the LispM ? 11:01:21 [QUIT] Fare quit: Ping timeout for Fare[ppp70-net1-idf2-bas1.isdnet.net] 11:01:25 anyway, I want to ask you about Macs what kind of onboard ethernet do I have? 11:01:26 [NICK] Fare__ changed nick to: Fare 11:01:33 [QUIT] lar1 quit: Ping timeout for lar1[adsl-63-204-132-235.dsl.snfc21.pacbell.net] 11:01:56 Fare: I got one message vaguely referring to using 2 NICs and another with an IRC log about configuring network (but no specific instructions, just told me to read more docs), and about a lisp conference 11:02:17 I suppose some kind of a stupidest ethernet that can be based on the same chipset as NE2000, but with Mac variant 11:02:40 I dont care about what type of card it is. I meant what type of connector it has. 11:02:52 Tril: afaik, the LispM wants a NIC for its exclusive use. 11:03:05 So if you want to use TCP/IP under MockAss, you'd use the other NIC 11:03:16 Fare: the config program for Genera has a button to toggle control over Ethernet between the Mac and the Ivory 11:03:29 takes effect immediately 11:03:34 that'd be MockAss using the builtin Quadra NIC, and Genera using the Asante NuBus NIC 11:03:57 But, so far I haven't been able to get any network working in any software 11:04:03 Rainer told me such things work for him 11:04:26 that would be a good configuration, and I do have enough ports on my hub. 11:04:27 DKS told that when he shipped the machine, he had tested TCP/IP under Genera 11:04:47 yes, I assume he had Chaos setup.. that would be all automatic. 11:04:55 maybe I should get Chaos in linux? 11:05:08 maybe :)à 11:05:16 or did he just test the Chaos, and not TCP/IP 11:05:24 implying the card works 11:05:29 I have no idea. He tested the ethernet card. 11:05:40 I suppose he might have tested CHAOI 11:05:54 s/I/S/ ; since it has more perks for him 11:07:24 water: do you know off hand what kind of ethernet plug is on a Quadra 950? 11:07:30 or if i can convert it to 10-baseT? 11:07:51 If it's a big DIN plug, then it's thick ethernet, and a simpler transceiver is enough 11:08:12 we have tons of them at ENS, CNET, ENST, etc. 11:08:13 I think it's either the one that is labelled "<-->" or the one with a telephone? 11:08:51 <--> 11:08:58 definitely <...> 11:09:43 thick ethernet? 11:09:54 I've used thin ethernet (10-base-2, coax) before. 11:09:59 yes, it's mostly signal compatible with RJ-45 11:10:05 ok 11:10:12 you need a transceiver 11:10:26 my first ethernet experience at the ENS was with this old thick ethernet 11:10:34 I will go to alphatech on Monday. Today is Buy Nothing day :) 11:11:00 abi: Buy Nothing day? 11:11:00 i don't know, fare 11:11:02 regardless of how much they tempt us with 6am-11am sales 11:11:30 abi google for buy nothing day 11:11:44 s/abi/fare/ I guess then 11:12:02 adbuster... 11:13:26 Myself, I'm going to buy nothing for anyone this holiday for the second year straight. 11:13:42 Fare retries compiling ssh, with zlib1g-dev installed 11:14:01 [QUIT] JALH quit: Killed (NickServ (GHOST command used by JALH_)) 11:14:08 water: fare said something about you and SSH2? 11:14:40 oh yeah he is here 11:14:43 Fare is recompiling a recent ssh so that water can login with a MacSSH program that only knows about ssh 2 11:15:01 Fare: on bespin?? 11:15:10 Fare reminds water that NiftyTelnet has a SSH1 extension 11:15:16 Tril: where else? 11:15:20 hm 11:15:21 Tril: shouldn't I? 11:15:29 Fare: probably no reaon to compile it 11:15:31 thx 11:15:42 Tril: the woody binary package wants a recent glibc 11:15:48 I think it is AUII 11:15:52 AUII ? 11:15:58 yes, that's the name of Thick ethernet 11:16:08 The telephone one is PhoneNet IIRC 11:16:09 Fare: please do not 11:16:14 checking for OpenSSL directory... configure: error: Could not find working SSLeay / OpenSSL libraries, please install 11:16:21 Tril: please do not what? 11:16:23 Fare: don't upgrade bespin to woody 11:16:31 No, I don't and won't 11:16:37 Fare: Don't upgrade sshd to woody either 11:16:38 this isn't the kind of stuff you do remotely 11:16:40 the potato one should work 11:16:50 Tril: the potato sshd won't do protocol 2 11:17:02 Build command 'cd openssh-2.2.0p1 && dpkg-buildpackage -b -uc' failed. 11:17:04 It won't do it, or it tries protocol 1 first? There is a config option for which one to handshake first. 11:17:16 it won't do it. potato has openssh 1.2.x 11:17:17 (TGTelnet for palm wants protocol 1 first) 11:17:22 woody has openssh 2.2.x 11:17:45 well, if it requires a new libc, don't do it 11:17:48 I guess you can configure the server to choose protocol 1 first 11:17:56 or you can have two servers, on different ports 11:18:14 you may install ssh2 in /usr/local and use another port 11:18:27 But, that sounds like a lot of work. It's eaiser to get ssh1 client 11:18:29 Fare won't install a binary with non-matching libc, and stops trying to compile due to the error 11:18:43 water: is MacSSH truely superior to niftytelnet? 11:18:53 (ok, nifty ain't do color) 11:19:06 haven't tried nifty, but macssh is rather nice compared to the other telnets 11:19:07 If someone doesn't have a SSH1 client, they can use MindTerm 11:19:15 mindterm? 11:19:17 which I should get around to setting up on the bespin page.. 11:19:22 abi: mindterm? 11:19:22 tril: wish i knew 11:19:32 water: nifty is ugly, but it works 11:19:43 abi: mindterm is a Java SSH client at http://www.mindbright.se/mindterm/ 11:19:45 mindterm.com 11:19:49 oh, well 11:19:55 water: if you're brave, you can compile your own sshd on bespin :( 11:20:08 hcf: mindterm.com is not in use 11:20:52 heh 11:21:28 another trhing I should do is intall S/Key 11:21:47 Tril: it looks like Macs are not exactly the same as other AUI. 11:21:55 Tril: they might use some AUII. 11:22:04 get the size of the plug before you go to the store 11:22:17 Tril: getting paranoid? 11:23:06 Fare: moving toward removing telnetd !!! 11:23:18 I'm already paranoid. S/Key is just another feature for users. 11:24:31 what do you think. Telnet is supported on bespin, because some OSes don't come with a SSH client installed, so when you're at someone's house you don't have to install one. 11:24:49 But if we can assume everyone has a browser with Java.. 11:25:16 Tril: telnetd is good -- with a honeypot 11:25:37 or a real BBS :) 11:25:51 even on a BBS you should use SSH 11:38:51 yeah we're still here 15:17:25 Brianna joined #tunes 15:17:59 Tril: Your script isn't starting Brianna properly 15:18:05 (read: not at all) 15:23:49 if it ain't on objectweb.org yet, it will be, and you can contact him by email 15:24:07 I believe they have common plans with ian, to put his VVM on raw PPC 15:24:24 ok 15:24:38 that would be cool 15:32:29 hm maybe i should just go for darwin 15:54:20 yeah, darwin it is 16:01:02 water joined #tunes 16:49:38 [QUIT] water quit: The Tao went that-a-way! 17:06:49 water joined #tunes 18:00:33 adu joined #tunes 18:00:39 hi 18:11:30 water joined #tunes 18:25:49 water left #tunes 18:43:54 [QUIT] adu quit: hmm 19:17:05 hcf joined #tunes 21:56:09 eihrul joined #tunes 22:15:13 hcf joined #tunes 22:16:22 abi: Mixtus is an automatic partial evaluator for full Prolog at http://www.sics.se/ps/mixtus.html 22:16:22 abi: RELFUN is Relational-Functional Language at http://www.relfun.org/ 22:16:26 abi: RFML is Relational-Functional Markup Language at http://www.relfun.org/rfml/ 22:16:26 abi: SAMPLE is a Language and Programming Technology at http://sampletalk.8m.com/ and http://www.webspawner.com/users/samplex/ 22:16:29 abi: elan is also http://www.loria.fr/ELAN/ or implementing higher-order rewriting in elan at http://www.daimi.aau.dk/~hago/elan/report.html 22:16:30 okay, hcf. 22:30:18 abi: TRaAT is Term Rewriting and All That at lmod http://www.forsoft.de/~nipkow/TRaAT/ 22:30:27 abi: no, TRaAT is Term Rewriting and All That at http://www.forsoft.de/~nipkow/TRaAT/ 22:30:27 okay, hcf. 22:40:30 abi: rewrite systems and lambda-calculus is at http://www.cs.bgu.ac.il/~zurab/rewriting/rewriting.html 22:40:50 adu joined #tunes 22:44:57 [QUIT] adu quit: hmm 00:14:48 lar1 left #tunes