00:00:00 --- log: started haskell/02.03.20 01:07:49 --- nick: Grimace_ -> Grimace 01:11:34 --- join: Yurik (~yrashk@gw.telcos.net.ua) joined #haskell 01:31:58 --- join: ChoJin (~ask@cha213245038031.chello.fr) joined #haskell 01:32:30 hi 01:34:02 hi 01:40:56 --- join: shapr (~user@195.156.199.166) joined #haskell 01:41:00 hi guys 01:52:05 hi 01:52:29 hey Heffalump, how's life? 03:11:37 --- quit: Yurik (Read error: 95 (Operation not supported)) 03:19:31 --- join: Yurik (~yrashk@gw.telcos.net.ua) joined #haskell 03:28:37 --- quit: Grimace (carter.openprojects.net irc.openprojects.net) 03:28:48 --- join: Grimace (~grim@dsl-212-23-14-41.zen.co.uk) joined #haskell 03:29:21 hi Grimace 03:29:27 hi shapr (belatedly) 03:29:41 been playing with IPv6 (and writing up a paper) instead of fixing your deb, I'm afraid :-) 03:29:58 heh, no worries 03:30:06 does Haskell have IPv6 support? 03:30:17 I've been thinking about purely multicast games 03:30:21 that'd be to do with the underlying resolver library surely 03:30:34 s/resolver library/resolver and sockets libraries/ 03:30:40 I'm looking forward to the whole net going multicast 03:30:57 er, going IPv6 03:31:00 I was having fun just getting it set up at all, let alone talking Haskell in it 03:31:04 me too 03:32:22 --- quit: clausen ("send all money to /dev/clausen") 03:38:25 * Igloo doesn't think you'll want to be holding you breath... 03:39:04 given that all major OSes now ship with IPv6 support by default, I think it could get there in the not too distant future 03:39:32 yah, I agree 03:40:16 I'll believe it when I see it 03:41:00 I guess it'll require ISPs to take it up 03:43:21 I'm surprised they haven't already 03:43:29 it would allow them to give real IPs to their users 03:43:51 rather than using all this NAT crap 03:44:13 very few ISPs give NATed IPs to their users atm, at least in this country 03:45:20 And ISTR Cambridge uni recently switched to NAT for security reasons despite having a shedload of IPs 03:45:45 I thought Cambridge switched to NAT because they have an IP shortage, actually 03:45:55 their computing or engineering department has a class B it won't give up to the uni 03:46:05 so that doesn't, but the rest of the uni does 03:46:12 ICBW 03:46:32 Oh, fair enough 03:46:46 well, in this country it's expensive to get a real IP 03:46:55 anyway, who cares about security. Having a house network wide open to the IPv6 world is good :-) 03:47:19 I do care about security, but I'd also like to get incoming connections 03:47:35 without it, VoIP is very difficult 03:48:10 so 195.156.199.166 isn't really the IP you're on? 03:49:19 I'm at work, where they have a block of IPs 03:49:29 and these IPs are still not able to get connections from the outside. 03:49:32 :-( 03:50:43 I guess what really pisses me off is any system that thinks it knows what I want/need, and so keeps me 'safe' 03:50:47 I at least want the choice. 03:50:50 so they give you real IPs and then firewall incoming connections? 03:51:29 yah, my workplace isn't always the brightest of stars 05:34:29 * Grimace is away: concert 05:34:51 * shapr is away: working 05:35:01 * shapr actually doesn't have away messages 05:35:04 * Heffalump is here: not working 05:35:10 heh =) 05:35:11 that's a good one 05:52:54 --- quit: dennisb (Read error: 113 (No route to host)) 05:59:25 --- join: jewel (~jleuner@spamisevil.test.ie.vianw.net) joined #haskell 07:30:11 --- join: jadrian (jadrian@quasar.mat.uc.pt) joined #haskell 07:30:12 hi all 07:30:49 any of you has any experience with "literate haskell" + LaTeX + Xemacs 07:31:00 please... 07:31:02 :-) 07:31:23 I have the first two... 07:31:54 eh not enough 07:31:55 :-) 07:32:05 xemacs it's the most important here 07:32:40 You have my deepest sympathy 07:34:34 :-) 07:35:00 Presumably you have looked at the stuff on www.haskell.org BTW? 07:35:41 * Heffalump uses xemacs with haskell 07:36:34 the emacs mode I use (from www.haskell.org) isn't perfect but it does ok 07:50:26 --- join: Grimace_ (~grim@dsl-212-23-14-41.zen.co.uk) joined #haskell 07:52:05 Heffalump: I'm using it, but what I need here now is not an haskell mode that works fine 07:52:22 Heffalump: the problem is when I want to edit the lhs file as a LeTeX document 07:52:28 LaTeX even 07:56:04 oh, eright 07:56:10 s/eright/right/ 07:56:25 sorry, didn't notice that bit. No idea how to help you there, aside from just shifting mode. 07:58:57 --- quit: Grimace (Read error: 60 (Operation timed out)) 08:02:28 I think it was shapr who said it was possible 08:03:01 And just shifting mode will screw up if you use things like $ 08:03:35 Still, syntax highlighting LaTeX properly is infeasible with the machinery editors use to do it anyway 08:09:00 --- quit: Grimace_ ("Client Exiting") 08:35:01 --- join: dennisb (~dennis@as2-4-3.an.g.bonet.se) joined #haskell 09:22:34 --- join: rik (spamtrap@dsl-212-23-24-254.zen.co.uk) joined #haskell 09:22:38 * rik miaows. 09:40:58 hello 10:12:51 --- quit: Yurik ("Client Exiting") 10:20:43 --- quit: shapr (Remote closed the connection) 11:49:54 --- quit: jadrian ("Client Exiting") 12:45:50 just a warning, people.. i'm going to start asking some kinda newbie questions, so i can accomplish something unreasonably advanced. 12:46:32 I'm trying to write a CPU emulator in Haskell, because I need to write one anyway, and my Haskell is not as good as I think it should be... so I'm going to be asking questions here :) 12:47:00 a CPU emulator kind of thing is one of the first year practicals here, I think 12:47:06 (in a hardware course, not a Haskell course) 12:47:17 * rik nods 12:47:25 yep, it sorta was for us too 12:47:33 in software engineering, i think 12:48:01 * rik searches for his copy of Haskell: The Craft Of Fun 12:48:01 You don't write a CPU emulator, though, you add a handful of lines in one 12:48:09 well, ok 12:48:50 well, i want to write from scratch 12:49:20 my first question: is there a datatype that is a 32 bit integer? 12:49:48 Int32, but I don't know if it's standard 12:50:24 Or Word32 - I can't remember what the difference is - possibly boolean operations are only defined on one? 12:50:37 * rik nods 12:51:39 my /usr/local/share/hugs/lib/exts/Int.hs appears to reference Int32 12:51:42 a lot.. 12:52:01 oh 12:52:22 though the header says "Suitable for use with Hugs 98 on 32 bit systems." 12:52:38 and this will eventually run on a sparc64 system 12:53:10 Try 12:53:13 :l Int 12:53:16 (2^34) :: Int32 12:53:34 on the sparc64 - if you get 0 you'll probably be fine 12:53:45 uhm 12:54:02 12:54:23 bah, why don't we have hugs installed on our pet sparc64? 12:54:44 Integer is portable and arbitrary precision, so if you don't mind doing the odd mod then you could use that 12:55:29 I wanted to avoid the arbitrary precision though. that's the point. 13:27:00 confirmed. 13:27:07 Int32 works fine on sparc64's. 14:43:23 --- quit: Jiriki ("Reconnecting") 14:43:29 --- join: Jiriki (sjh@Sprint967.tbaytel.net) joined #haskell 14:44:51 * rik blinks 14:44:53 a Jiriki 14:45:20 --- join: gene9 (~andrey@194.158.216.150) joined #haskell 14:46:30 --- quit: gene9 (Client Quit) 15:03:40 --- quit: ChoJin ("bye !!!") 19:29:58 --- quit: smkl (Remote closed the connection) 19:30:00 --- join: smkl (~sami@glubimox.yok.utu.fi) joined #haskell 21:35:22 --- quit: jewel (carter.openprojects.net irc.openprojects.net) 21:35:51 --- join: jewel (~jleuner@spamisevil.test.ie.vianw.net) joined #haskell 22:46:08 --- join: clausen (~andrew@210.49.198.98) joined #haskell 23:59:59 --- log: ended haskell/02.03.20