00:00:00 --- log: started haskell/02.01.24 00:27:35 --- quit: dmiles (carter.openprojects.net irc.openprojects.net) 00:27:35 --- quit: jsw (carter.openprojects.net irc.openprojects.net) 00:27:35 --- quit: PragDave (carter.openprojects.net irc.openprojects.net) 00:34:08 --- join: dmiles (~alife@sense-sea-MegaSub-2-56.oz.net) joined #haskell 00:34:08 --- join: jsw (scott@12-234-202-177.client.attbi.com) joined #haskell 00:34:08 --- join: PragDave (~dave@pragdave210.august.net) joined #haskell 01:02:02 --- quit: dmiles (Read error: 104 (Connection reset by peer)) 01:27:24 --- nick: djul -> jewel 02:21:06 --- join: shapr (~user@p-c2fbabb9.easy.inet.fi) joined #haskell 04:06:32 --- quit: dblack (Read error: 113 (No route to host)) 04:17:59 --- quit: pHa (Read error: 104 (Connection reset by peer)) 04:18:02 --- join: pHa (sjh@207.164.213.59) joined #haskell 04:18:08 hi pHa 04:56:32 --- join: dblack (~dblack@shunat236-80.shu.edu) joined #haskell 05:17:13 --- join: cez_ (cez@chaos.printf.net) joined #haskell 05:32:37 --- quit: smkl (Read error: 104 (Connection reset by peer)) 06:42:17 can someone explain the difference between fold and scan? 06:43:25 scan gives a list of the intermediate results produced by fold 06:43:50 the following equivalence holds: 06:43:52 scanr: map (foldr step e) (tails x) = scanr step e x; 06:46:43 * shapr thinks about that 06:46:48 so... 06:46:52 what would you do with it? 06:48:53 er wait a sec 06:49:00 * shapr thinks of pascal's triangle 07:25:55 I have to start remembering that function application binds most tightly 07:31:01 --- join: smkl (~sami@glubimox.yok.utu.fi) joined #haskell 07:31:06 hi smkl 08:00:26 shapr: sorry, was distracted 08:00:38 the maximum segment sum problem is a good example of a use of scanr 08:01:01 I dunno what that is 08:01:12 I tried to use scan to do pascal's triange, but I couldn't figure it out 08:01:46 given a list of numbers 08:02:07 work out the sum of each segment (contiguous sublist) of that list 08:02:20 oh! 08:02:28 I see 08:02:32 sorry, the maximum of the sum of each segment 08:02:42 there's an obvious cubic algorithm for it 08:02:56 depends on your idea of obvious I think. 08:03:00 listmax . map sum . map inits . tails 08:03:07 sorry 08:03:12 ;) 08:03:14 listmax . map sum . concat . map inits . tails 08:03:16 :-) 08:03:34 at the moment my head is full of trying to write a WardNumber program in Joy 08:03:40 but I'll come back to that 08:03:58 since I want to write a WardNumber program in Haskell also 08:04:06 WardNumber? 08:04:19 anyway, just so you know, the above can be optimised to 08:04:33 listmax . scanr (\ b c -> max 0 (b+c)) 0 08:04:37 http://c2.com/cgi-bin/wiki?WardNumberInManyProgrammingLanguages 08:08:51 --- quit: dblack (Remote closed the connection) 08:09:59 --- join: dblack (~dblack@shunat236-80.shu.edu) joined #haskell 08:56:21 --- quit: jewel (Read error: 113 (No route to host)) 08:58:30 --- quit: jsw (carter.openprojects.net irc.openprojects.net) 08:58:30 --- quit: PragDave (carter.openprojects.net irc.openprojects.net) 08:58:35 --- quit: Logan (carter.openprojects.net irc.openprojects.net) 08:58:35 --- quit: dennisb (carter.openprojects.net irc.openprojects.net) 08:58:35 --- quit: Igloo (carter.openprojects.net irc.openprojects.net) 08:58:35 --- quit: shapr (carter.openprojects.net irc.openprojects.net) 08:58:36 --- quit: dblack (carter.openprojects.net irc.openprojects.net) 08:58:36 --- quit: smkl (carter.openprojects.net irc.openprojects.net) 08:58:36 --- quit: pHa (carter.openprojects.net irc.openprojects.net) 08:58:36 --- quit: xbill (carter.openprojects.net irc.openprojects.net) 08:58:36 --- quit: Heffalump (carter.openprojects.net irc.openprojects.net) 08:58:36 --- quit: cez_ (carter.openprojects.net irc.openprojects.net) 08:58:43 --- join: dblack (~dblack@shunat236-80.shu.edu) joined #haskell 08:58:43 --- join: smkl (~sami@glubimox.yok.utu.fi) joined #haskell 08:58:43 --- join: cez_ (cez@chaos.printf.net) joined #haskell 08:58:43 --- join: pHa (sjh@207.164.213.59) joined #haskell 08:58:43 --- join: shapr (~user@p-c2fbabb9.easy.inet.fi) joined #haskell 08:58:43 --- join: PragDave (~dave@pragdave210.august.net) joined #haskell 08:58:43 --- join: jsw (scott@12-234-202-177.client.attbi.com) joined #haskell 08:58:43 --- join: dennisb (~dennis@as2-4-3.an.g.bonet.se) joined #haskell 08:58:43 --- join: Logan (~logan@up112.blacksburg.ntc-com.net) joined #haskell 08:58:43 --- join: xbill (wli@DOMINIA.MIT.EDU) joined #haskell 08:58:43 --- join: Igloo (~ian@pc3-oxfo3-0-cust1.oxf.cable.ntl.com) joined #haskell 08:58:43 --- join: Heffalump (ganesh@munchkin.comlab.ox.ac.uk) joined #haskell 09:04:21 --- quit: jsw (carter.openprojects.net irc.openprojects.net) 09:04:21 --- quit: PragDave (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: Logan (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: dennisb (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: Igloo (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: shapr (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: smkl (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: xbill (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: dblack (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: pHa (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: Heffalump (carter.openprojects.net irc.openprojects.net) 09:04:23 --- quit: cez_ (carter.openprojects.net irc.openprojects.net) 09:04:44 --- join: dblack (~dblack@shunat236-80.shu.edu) joined #haskell 09:04:44 --- join: smkl (~sami@glubimox.yok.utu.fi) joined #haskell 09:04:44 --- join: cez_ (cez@chaos.printf.net) joined #haskell 09:04:44 --- join: pHa (sjh@207.164.213.59) joined #haskell 09:04:44 --- join: shapr (~user@p-c2fbabb9.easy.inet.fi) joined #haskell 09:04:44 --- join: PragDave (~dave@pragdave210.august.net) joined #haskell 09:04:44 --- join: jsw (scott@12-234-202-177.client.attbi.com) joined #haskell 09:04:44 --- join: dennisb (~dennis@as2-4-3.an.g.bonet.se) joined #haskell 09:04:44 --- join: Logan (~logan@up112.blacksburg.ntc-com.net) joined #haskell 09:04:44 --- join: xbill (wli@DOMINIA.MIT.EDU) joined #haskell 09:04:44 --- join: Igloo (~ian@pc3-oxfo3-0-cust1.oxf.cable.ntl.com) joined #haskell 09:04:44 --- join: Heffalump (ganesh@munchkin.comlab.ox.ac.uk) joined #haskell 09:28:43 --- join: jewel (~jleuner@57.66.12.99) joined #haskell 09:49:16 --- quit: cez_ (carter.openprojects.net irc.openprojects.net) 09:49:40 --- join: cez_ (cez@chaos.printf.net) joined #haskell 10:29:33 --- quit: dblack (Read error: 110 (Connection timed out)) 10:35:31 --- part: cez_ left #haskell 10:43:58 anyone here? 10:54:25 me 10:55:07 do you know SML? 10:55:08 :) 10:55:15 or do you know what quotations/antiquotations are? 10:55:30 yes, and yes, but I haven't used them 10:55:39 can you describe them to me a bit? 10:55:42 I'm having trouble understanding them. 10:55:55 are they preprocessed or do they get processed at compile time? 10:55:59 er, at runtime. 10:56:37 umm, I think at compiletime. 10:56:40 But I'm not sure. 11:00:26 --- quit: jsw (carter.openprojects.net irc.openprojects.net) 11:00:26 --- quit: PragDave (carter.openprojects.net irc.openprojects.net) 11:00:41 --- join: PragDave (~dave@pragdave210.august.net) joined #haskell 11:21:11 --- join: jsw (scott@12-234-202-177.client.attbi.com) joined #haskell 12:23:25 * Logan yawns. 12:38:56 hi Logan 12:39:17 program quotations? 12:39:37 Hi shapr. 12:39:47 oh oh 12:39:52 I remember what I was going to tell you 12:40:04 about graphs 12:40:12 http://c2.com/cgi-bin/wiki?WardNumberInManyProgrammingLanguages 12:40:43 six degrees of kevin bacon, etc etc 12:40:50 they can all be thought of as graphs also 12:42:35 so I've been working on a WardNumber implementation in Joy 12:42:48 the idea of graphs is fascinating 12:47:09 --- join: dmiles (~alife@sense-sea-MegaSub-2-56.oz.net) joined #haskell 12:52:00 Heh heh. 12:52:09 It's hard to go for long in computer science without running into graphs. 12:54:45 So it's a single-source shortest path algorithm. 12:55:18 Made easier by the fact that you're just counting the number of edges in the path to determine its length. 12:55:28 So you can do a simple breadth-first search. 12:59:08 --- quit: pHa ("O_O") 13:00:50 --- join: pHa (sjh@207.164.213.143) joined #haskell 13:15:31 Logan: er, ok 13:15:36 I'll take your word for that 13:15:55 no need to bother with Dijsktra :-) 13:16:17 I have part of it done in Joy, but I donno if that'll interest anyone here 13:17:04 If you have the complete graph representation, you can start at Ward's vertex and do a breadth-first traversal to label every vertex in the graph with its Ward number. :P 13:17:13 yah! 13:17:16 in fact 13:17:23 that's what I've been thinking of doing 13:17:47 but I can see that there's a more general solution 13:18:03 well, at least one 13:18:14 assuming the inputs of a set of pairs 13:18:27 --- join: dblack (~dblack@shunat236-80.shu.edu) joined #haskell 13:18:30 each pair representing a connection between those two things in the pair 13:18:40 and then the inputs of a starting and ending point... 13:19:20 I think one solution is take one step away from each start/end point in order, until you find a common connection 13:19:44 so you could make a breadth-first shortcut traversal 13:19:46 that way 13:20:05 I'm getting curious what other kinds of solutions there are for graphs 13:20:34 I'm also wondering what libraries are available for graphs in Java,Python,Haskell and Joy 13:20:57 oh, I'd like to find Scheme and elisp libs as well ;) 13:21:12 programming is truly the coolest thing in the world 13:21:18 (well, except for women) 13:38:47 You should try all-pairs shortest paths, in which case you can generate the WhoeverNumber for any pair of people. 13:38:58 In O(n^3) time. 13:42:43 I was thinking about doing a Kevin Bacon program 13:43:05 put in the cast list from a number of movies 13:43:19 and be able to solve for any pair 13:43:28 I'd like to see how far I can stretch it 13:43:52 plus my roomies are big into that kind of thing, and for once I could WIN one of those matches =) 13:53:49 It's been done. 13:53:53 On some web sites. :P 13:54:06 heh 13:54:08 You can type in any actor that's in the imdb and get back their bacon number. 13:54:10 in Haskell? 13:54:18 or Joy? 13:56:39 I don't know what language it was implemented in. Probably nothing special. 13:57:34 Is \"Erdos number not the acnoncial example, or is that just revealing of my biased general knowledge? 13:57:57 yes, it is 13:58:16 * Heffalump 's is 3, which is nice :-) 13:58:26 :-) 13:58:48 Does the definition says you must be a co-author or is mention sufficient? 13:59:26 co-author 13:59:45 Damn. Want to write a paper with me? :-) 13:59:59 * Igloo discovers I had the \" in the wrong place 14:00:07 did you? 14:00:23 If http://www.oakland.edu/~grossman/erdoshp.html is to be believed 14:00:24 igloo: sure. Got a subject? :-) 14:00:28 oh, yes 14:00:32 it's Erd\"os 14:00:51 sorry, I thought you were talking about LaTeX syntax 14:01:07 Subject, the first stumbling point of any paper 14:01:26 Do you want to write a foreword for my project writeup? :-) 14:01:37 I don't think that counts :-) 14:01:49 anyway, write one with Oege and yours will be a minimum of 5 14:02:04 Do you mean maximum? 14:02:10 yes, sorry 14:02:57 Doesn't count in a foreword way or a project way BTW? 14:03:24 errm, either. A project isn't a publication, I can't be your co-author anyway, and a foreword isn't co-authorship 14:03:30 (all afaik) 14:03:40 s/co-author/& for it/ 14:03:42 why can't you co-author with Igloo? 14:03:53 shapr: It'd be uni rules 14:03:55 I can, but not for his undergraduate project report 14:03:56 oh 14:04:09 (or indeed his PhD thesis when he writes that...) 14:04:13 I'm trying to think if that's true. I suspect it is as tfm and noodles did a joint project but seperate writeups 14:04:28 I'd like to have a degree... any flavor will do. 14:04:39 thesis? I still haven't got funding yet (mutter mutter) :-( 14:04:39 you can do part-time ones generally, can't you? 14:04:40 I have to find time to do that at some point. 14:04:51 you need funding to do a thesis? 14:05:08 igloo: you'll get something, and quite likely this. 14:05:19 shapr: well, you need to pay fees and live while doing it 14:05:21 Well being able to buy food is nice 14:05:37 that's true 14:05:42 Heffalump: I just wish they'd get back to me about it :-/ 14:05:42 I have a similar problem with education 14:06:35 What was the paper you wrote, Heff? 14:06:51 igloo: stuff on Latin Squares with one of my tutors for my Maths degree 14:06:52 The overview says "if u and v have published at least one mathematics article together" 14:06:59 does it have to be mathematics? 14:07:25 Looks like it 14:07:50 hmm. 14:07:59 oh well, mine's still 3 :-p 14:08:10 :-) 14:08:27 But presumably Oege is no longer guaranteed to be at most 4? 14:08:36 yeah 14:10:06 (for the benefit of others, Oege was/is the supervisor of both of us) 14:19:21 --- quit: shapr ("tribes2") 14:20:49 --- quit: dblack ("[x]chat") 14:42:51 --- quit: pHa ("Reconnecting") 14:42:55 --- join: pHa (sjh@207.164.213.90) joined #haskell 14:46:48 --- quit: Heffalump (carter.openprojects.net irc.openprojects.net) 14:47:45 --- join: Heffalump (ganesh@munchkin.comlab.ox.ac.uk) joined #haskell 15:19:07 --- quit: Heffalump (carter.openprojects.net irc.openprojects.net) 15:20:10 --- quit: jewel (carter.openprojects.net irc.openprojects.net) 15:20:10 --- quit: dennisb (carter.openprojects.net irc.openprojects.net) 15:23:59 --- join: Heffalump (ganesh@munchkin.comlab.ox.ac.uk) joined #haskell 15:31:35 --- join: pHa_ (sjh@207.164.213.90) joined #haskell 15:33:29 --- quit: jlb (Read error: 110 (Connection timed out)) 15:33:43 --- join: jlb (~ktk@jeremeydsl-3.mylinuxisp.com) joined #haskell 15:36:00 --- quit: jsw (Read error: 110 (Connection timed out)) 15:40:07 --- quit: pHa (Connection timed out) 15:49:54 --- quit: jlb (carter.openprojects.net irc.openprojects.net) 15:49:54 --- quit: dmiles (carter.openprojects.net irc.openprojects.net) 15:49:55 --- quit: Logan (carter.openprojects.net irc.openprojects.net) 15:54:10 --- quit: Heffalump (carter.openprojects.net irc.openprojects.net) 15:55:18 --- join: Heffalump (ganesh@munchkin.comlab.ox.ac.uk) joined #haskell 15:55:21 --- quit: pHa_ (carter.openprojects.net irc.openprojects.net) 15:55:21 --- quit: smkl (carter.openprojects.net irc.openprojects.net) 15:55:21 --- quit: xbill (carter.openprojects.net irc.openprojects.net) 15:57:41 --- join: jlb (~ktk@jeremeydsl-3.mylinuxisp.com) joined #haskell 15:57:41 --- join: dmiles (~alife@sense-sea-MegaSub-2-56.oz.net) joined #haskell 15:57:41 --- join: Logan (~logan@up112.blacksburg.ntc-com.net) joined #haskell 15:58:07 --- join: pHa_ (sjh@207.164.213.90) joined #haskell 15:58:07 --- join: smkl (~sami@glubimox.yok.utu.fi) joined #haskell 15:58:07 --- join: xbill (wli@DOMINIA.MIT.EDU) joined #haskell 15:58:33 --- join: jewel (~jleuner@57.66.12.99) joined #haskell 15:58:33 --- join: dennisb (~dennis@as2-4-3.an.g.bonet.se) joined #haskell 16:02:00 --- quit: dennisb (carter.openprojects.net irc.openprojects.net) 16:02:00 --- quit: jewel (carter.openprojects.net irc.openprojects.net) 16:03:53 --- quit: Logan (carter.openprojects.net irc.openprojects.net) 16:03:53 --- quit: dmiles (carter.openprojects.net irc.openprojects.net) 16:03:53 --- quit: jlb (carter.openprojects.net irc.openprojects.net) 16:05:18 --- join: dennisb (~dennis@as2-4-3.an.g.bonet.se) joined #haskell 16:05:18 --- join: jewel (~jleuner@57.66.12.99) joined #haskell 16:05:18 --- join: jlb (~ktk@jeremeydsl-3.mylinuxisp.com) joined #haskell 16:05:18 --- join: dmiles (~alife@sense-sea-MegaSub-2-56.oz.net) joined #haskell 16:05:18 --- join: Logan (~logan@up112.blacksburg.ntc-com.net) joined #haskell 16:06:53 --- quit: dennisb (carter.openprojects.net irc.openprojects.net) 16:06:53 --- quit: jewel (carter.openprojects.net irc.openprojects.net) 16:06:53 --- quit: Logan (carter.openprojects.net irc.openprojects.net) 16:06:53 --- quit: dmiles (carter.openprojects.net irc.openprojects.net) 16:06:53 --- quit: jlb (carter.openprojects.net irc.openprojects.net) 16:08:44 --- join: dennisb (~dennis@as2-4-3.an.g.bonet.se) joined #haskell 16:08:44 --- join: jewel (~jleuner@57.66.12.99) joined #haskell 16:08:44 --- join: Logan (~logan@up112.blacksburg.ntc-com.net) joined #haskell 16:08:44 --- join: dmiles (~alife@sense-sea-MegaSub-2-56.oz.net) joined #haskell 16:08:44 --- join: jlb (~ktk@jeremeydsl-3.mylinuxisp.com) joined #haskell 16:12:15 --- quit: Heffalump (carter.openprojects.net irc.openprojects.net) 16:13:09 --- join: Heffalump (ganesh@munchkin.comlab.ox.ac.uk) joined #haskell 16:13:27 --- join: shapr (~user@p-c2fbabb9.easy.inet.fi) joined #haskell 16:17:08 whee 17:15:01 --- quit: shapr ("time to sleeeeep") 17:16:21 --- quit: smkl (Remote closed the connection) 17:17:53 Hmm. 17:18:14 --- join: smkl (~sami@glubimox.yok.utu.fi) joined #haskell 17:19:34 --- quit: smkl (Remote closed the connection) 17:19:41 Hmm? 17:19:54 What is the range of the Int type? 17:20:20 --- join: smkl (~sami@glubimox.yok.utu.fi) joined #haskell 17:20:24 At least -2^29..2^29 plus or minus 1 17:20:47 (IIRC) 17:20:57 Hmm, I seemed to have run out of numbers at around 2^16 earlier today. 17:21:01 Though I might have coded it wrong. 17:21:31 --- quit: smkl (Remote closed the connection) 17:21:40 Well, converting to an Int from a String with read. 17:30:35 --- join: zorb (a@ppp-208-188-43-121.dialup.eulstx.swbell.net) joined #haskell 17:55:02 --- quit: zorb ("Leaving") 18:22:02 --- join: dblack (~dblack@ool-18be3b59.dyn.optonline.net) joined #haskell 18:35:13 --- join: tmoertel (~chatzilla@icubed-20-15.dslrt.icubed.com) joined #haskell 18:56:40 --- quit: tmoertel ("gotta go") 19:15:25 Heh, can ghci give me a stack trace? 19:40:47 I need to learn some debugging tricks. 22:25:36 --- nick: pHa_ -> pHa 23:33:57 I just used Haskell to do some of my homework for me! 23:59:59 --- log: ended haskell/02.01.24