00:03:54 -!- kk` [~kk@unaffiliated/kk/x-5380134] has quit [Quit: WeeChat 0.3.7] 00:04:16 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 00:06:39 mark_weaver [~user@209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 00:08:50 -!- tupi [~david@139.82.89.24] has quit [Quit: Leaving] 00:11:51 -!- palach [~palach@93.175.8.83] has quit [Ping timeout: 252 seconds] 00:21:07 toekutr [~user@50-0-51-2.dsl.static.sonic.net] has joined #scheme 00:24:31 jrslepak [~jrslepak@c-71-233-148-123.hsd1.ma.comcast.net] has joined #scheme 00:33:13 -!- dlila [~dlila@72.53.70.164] has quit [Quit: Leaving] 00:47:33 -!- Patches [~Patches@user-12lc886.cable.mindspring.com] has quit [Read error: Connection reset by peer] 00:51:21 phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has joined #scheme 00:51:22 -!- phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has quit [Changing host] 00:51:22 phax [~phax@unaffiliated/phax] has joined #scheme 00:57:14 -!- MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has quit [Ping timeout: 245 seconds] 00:58:36 rageous [~Adium@65-128-193-252.mpls.qwest.net] has joined #scheme 00:59:19 Patches [~Patches@user-12lc886.cable.mindspring.com] has joined #scheme 00:59:31 -!- Patches [~Patches@user-12lc886.cable.mindspring.com] has left #scheme 01:01:56 -!- phax [~phax@unaffiliated/phax] has quit [Quit: Leaving] 01:02:48 -!- rageous [~Adium@65-128-193-252.mpls.qwest.net] has quit [Ping timeout: 244 seconds] 01:02:52 MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has joined #scheme 01:04:49 -!- ttys0001` [~user@207.171.30.158] has quit [Ping timeout: 246 seconds] 01:17:37 samth [~samth@c-66-31-201-165.hsd1.ma.comcast.net] has joined #scheme 01:26:20 -!- mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has quit [Ping timeout: 246 seconds] 01:32:55 -!- dous [~dous@unaffiliated/dous] has quit [Remote host closed the connection] 01:36:29 -!- realitygrill [~realitygr@adsl-76-226-126-102.dsl.sfldmi.sbcglobal.net] has quit [Ping timeout: 246 seconds] 01:37:01 jwd [~jwd@cable-118-42.sssnet.com] has joined #scheme 01:38:57 ttys0001` [~user@2001:19f8:20:2:e2f8:47ff:fe09:6a9a] has joined #scheme 01:39:39 realitygrill [~realitygr@adsl-69-212-127-41.dsl.sfldmi.sbcglobal.net] has joined #scheme 01:40:55 -!- ttys0001` [~user@2001:19f8:20:2:e2f8:47ff:fe09:6a9a] has quit [Remote host closed the connection] 01:41:05 ttys0001` [~user@2001:19f8:20:2:e2f8:47ff:fe09:6a9a] has joined #scheme 01:47:27 jcowan [~John@cpe-66-108-19-185.nyc.res.rr.com] has joined #scheme 01:49:26 -!- samth [~samth@c-66-31-201-165.hsd1.ma.comcast.net] has quit [Ping timeout: 246 seconds] 02:04:20 -!- drdo [~drdo@roach0.drdo.eu] has quit [Ping timeout: 260 seconds] 02:06:51 drdo [~drdo@roach0.drdo.eu] has joined #scheme 02:09:13 attila_lendvai [~attila_le@87.247.7.26] has joined #scheme 02:09:13 -!- attila_lendvai [~attila_le@87.247.7.26] has quit [Changing host] 02:09:13 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 02:23:21 rageous [~Adium@65-128-193-252.mpls.qwest.net] has joined #scheme 02:23:54 -!- MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has quit [Ping timeout: 245 seconds] 02:24:58 es [~estevocas@cpe-74-72-192-178.nyc.res.rr.com] has joined #scheme 02:25:00 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Quit: Leaving.] 02:25:20 -!- es [~estevocas@cpe-74-72-192-178.nyc.res.rr.com] has quit [Remote host closed the connection] 02:26:42 So, the fifth ballot results are published, though there will be at least one amendment to it. 02:27:11 *cky* reads. 02:27:14 -!- jwd [~jwd@cable-118-42.sssnet.com] has quit [Ping timeout: 246 seconds] 02:27:36 whatha votin' on 02:27:43 er, "whatcha". 02:28:54 offby1: http://trac.sacrideo.us/wg/wiki/WG1Ballot5Results 02:31:17 I don't have opinions about those issues but it's nice to see people workin' 'em out in a civilized way. 02:31:25 (at least I _assume_ people are being civilized) 02:32:30 :-) 02:32:57 Re the division operators, I think for my (vapourware) implementation, I'm going to have the shrunk division operator set in core, _plus_ the full set in the module. 02:33:02 That way, it makes everybody happy. :-P 02:33:25 -!- airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has quit [] 02:34:26 cky: yeah i don't understand why weirdos like Quadrescence rail against a split standard. 02:34:31 cky: makes sense to meeeee..... 02:34:33 -!- zxq9 [~zxq9@FL1-119-244-165-111.okn.mesh.ad.jp] has quit [Quit: Leaving] 02:35:14 Lol. 02:35:38 *ijp* doesn't think it makes sense either, but it's what they want 02:35:55 -!- CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has quit [Quit: leaving] 02:36:50 ijp: weirdo! ;-) 02:37:26 Quadrescence [~quad@unaffiliated/quadrescence] has joined #scheme 02:37:29 I think my weirdness is widely acknowledged 02:38:31 *qu1j0t3* adds to knowledge 02:39:19 Wow, interesting that infinite? was a unanimous decision. 02:39:36 cky: a ... countable vote. 02:40:29 For #290, it seems both jcowan and foof had been attributed with the same quote. 02:40:57 you never see them in the same room at the same time! 02:41:02 Hehehehehe. 02:41:11 I copied his ballot to start with 02:41:17 well, except now. in this chan. but it was a theory for a short moment. 02:41:32 jcowan: I see. 02:41:58 Wow, #291 is unanimous also. It's good to see some issues are no-brainers. :-) 02:42:38 Yes, most of them were imo 02:46:27 now that's what i like to hear 02:46:38 none of that 12 Angry Men rubbish 02:47:31 you know, i just can't stand that there are going to be two standards 02:47:59 Quadrescence: whatcher going to do about it, punk? 02:48:40 write the canonical Scheme compiler then rebrand it as Scheme++ a year or two later 02:49:37 I've been very surprised by how many of my proposals (in all five ballots) have sailed through with little discussion. 02:50:05 That could work, if your implementation excretes pure unicorn dung embedded with diamonds, as i know it would. 02:50:26 jcowan: it's that bulge in your jacket. 02:50:38 No, that's Shivers 02:50:45 (well-named fella) 02:50:53 *offby1* shivers 02:51:00 your bodyguard? ;-) 02:51:09 bowski [1879570b@gateway/web/freenode/ip.24.121.87.11] has joined #scheme 02:51:17 http://www.scsh.net/docu/html/man.html 02:51:28 hard to believe anyone in this channel hasn't already read that 02:51:54 *qu1j0t3* feels insufficiently hard core now 02:52:00 yeah! 02:52:01 Hence the reference to the Big Scheme Blammo-Gun 02:52:05 :< 02:52:08 *qu1j0t3* slinks off 02:52:23 qu1j0t3: His T article is worth a read if you haven't seen it. 02:52:27 well, i been unfaithful anyway, been doing SML and Scala lately 02:52:45 qu1j0t3: http://www.paulgraham.com/thist.html 02:52:55 I'm new here, but who is this alcoholic in the article? The creator of SCSH or... ? 02:52:58 asumu_: thanks 02:53:03 Can't expect a New Yawka to remember these technicalities about 9mm Sig-Sauers and all, not with the Sullivan Law 02:53:09 bowski: Indeed 02:53:43 bowski: you're one to talk! I've seen you chugging those White Russians 02:54:00 It's just a beverage, man 02:54:31 Didn't think there were any White Russians left after Stalin. 02:54:34 you should pop into #emacs -- they have a whole "dude" section in the bot there. 02:54:40 Really ties the whole channel together. 02:54:47 He compiled them all in a camp and made them run really fast. 02:55:01 I think they were all liquidised 02:55:10 *jcowan* doesn't think they'd like "ex" troglodytes much on #emacs 02:57:01 :) 02:58:11 offby1: Haha, awesome. I need to check that out. Hey, how often does this channel get students working on scheme homework? 02:58:21 -!- realitygrill [~realitygr@adsl-69-212-127-41.dsl.sfldmi.sbcglobal.net] has quit [Quit: realitygrill] 02:58:31 more often than they admit 02:58:31 often. 02:58:42 couple times a week that I notice. 02:58:49 Mostly they're up-front about it, which is fine. 02:58:52 Occasionally though ... 02:59:21 jonrafkind [~jon@jonr5.dsl.xmission.com] has joined #scheme 03:01:14 I understand. I don't want to bother anybody, but I'm stuck at school/work during all SI (study) sessions for my principles of programming languages class. I'm having a tough time learning this 03:02:56 Just ask already. :-) 03:03:21 yeah 03:03:33 we don't mind helping as long as you're not pretending it's NOT homework. 03:03:38 'course we tend to be sort of coy. 03:03:50 -!- ijp is now known as ijpbot 03:03:54 "If we simply solved the problem for you, how would you LEARN?" and all that. 03:03:57 Helpful, but not too helpful 03:04:07 -!- ijpbot is now known as ijp 03:04:07 annoying, but not too annoying. 03:04:09 If you do pretend it's not homework, though, they'll just give you the answers straight off. 03:04:23 Liar, liar, pants on fire. 03:05:51 realitygrill [~realitygr@adsl-69-212-127-41.dsl.sfldmi.sbcglobal.net] has joined #scheme 03:06:08 Heh, well you guys seem like a cool crowd of people. I'm trying to make a basic interpreter. My scheme file needs to read in a list of class objects that you can make objects from. 03:06:10 "Fresh, but not _too_ fresh" -- guy from "Diva" (http://www.imdb.com/title/tt0082269/) expounding upon the "Zen of buttering bread" 03:06:19 rudybot: how would you rate the helpfulness of this channel? 03:06:19 ijp: many thanks for you patience and helpfulness 03:06:19 Let me see if I understand that correctly, first actually 03:06:27 *offby1* idly wonders what a "class object" is 03:06:34 now, a Rolex -- that's a classy object 03:06:36 -!- lcc [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 03:07:24 A class definition, that can create objects is what I think I meant to say 03:07:41 For #358, I agree with TAI epoch. Even though I'm not an elector, I agree with the elected decision. :-D 03:09:06 bowski: I predict: unless you ask a very specific question -- ideally with some almost-working example code -- we're gonna have trouble helping. 03:09:09 just a prediction. 03:09:27 like "this code returns result X but I'm expecting Y. What am I missing?" 03:09:32 that's close to the ideal question. 03:09:41 tuubow [~adityavit@c-24-0-148-151.hsd1.nj.comcast.net] has joined #scheme 03:10:53 I see. Well here's what I've got to read in a file that I can start making class definitions from (my next part) 03:11:27 http://codepad.org/J70m3TSE 03:12:32 rudybot: why do you have to take a first-order match Every Bloody Time 03:12:33 qu1j0t3: well, of course. A first-order approximation. 03:12:41 rudybot: Obvious Bot is Obvious 03:12:42 qu1j0t3: will of course will have to NOT try and create that .emacs file in emacs, for obvious reasons. Doh! 03:12:43 rudybot: (define class-class% (class object% (super-new) (init-field class))) 03:12:44 asumu_: your sandbox is ready 03:12:44 asumu_: Done. 03:12:54 rudybot: (new class-class% [class object%]) 03:12:54 asumu_: ; Value: #(struct:object:class-class% #0=#(struct:class:object% object% 0 #(#0#) #1=#(struct:interface:object% object% () #hasheq((#1# . #t)) () #0# ()) # 0 #hasheq() () #() #() #() #() #() #() #() #() 0 0 #hasheq() () # # # field-ref-not-needed field-set!-not-needed () normal # #0# # offby1: ^ class object ;) 03:13:09 (ugh, I hate codepad) 03:13:13 inb4 Kiczales 03:13:23 offby1: what should I use before I continue 03:13:29 valium 03:13:44 ok, you're just reading a single from from a file. (And confusing ' () with #eof) 03:14:13 bowski: you don't need to change just to accommodate me; but since you ask ... I like ix.io or gist.github.com 03:14:32 s/from from/form from/ 03:14:33 *offby1* whistles innocently 03:15:01 Gist is awesome. 03:15:32 All those sites (except ix.io) irk me because, by default, they display the data all tarted up. 03:16:11 hey, anyone wants a cheap laugh, see how bad the language sniffer at http://hastebin.com is 03:16:14 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Ping timeout: 246 seconds] 03:16:25 even Ohloh's isn't that bad 03:17:58 offby1: maybe this will help describing my problem. Overall it's a very basic interpreter, but this is probably a better explanation: https://gist.github.com/2289038 03:19:22 qu1j0t3: You're right. I pasted in some Icelandic and it had no clue, har har. 03:20:04 ssbr_ [~ssbr@python/site-packages/ssbr] has joined #scheme 03:22:12 jcowan: LOL 03:22:17 jcowan: touché 03:22:47 kilimanjaro [~kilimanja@ip70-162-88-143.ph.ph.cox.net] has joined #scheme 03:22:55 -!- kilimanjaro [~kilimanja@ip70-162-88-143.ph.ph.cox.net] has quit [Changing host] 03:22:55 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 03:23:13 bowski: seems like a pretty big assignment, actually; that's more complicated than I can understand without digging into it 03:23:24 -!- karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has quit [Ping timeout: 265 seconds] 03:23:50 digging costs extra, clearly 03:24:02 Unless you have a Ph.D. 03:24:17 jcowan: do you hang out with Richard O'Keefe? 03:24:25 (post-hole digger, that is) 03:24:29 Not by that name. 03:24:33 aka ROK 03:24:48 regular on the erlang mailing list, and a notoriously clever Kiwi 03:25:07 nm, just had to ask. 03:25:11 I was going to say, at the other end of the planet? 03:25:26 yeah but i bet he gets around 03:25:35 I don't, though. 03:25:46 And conferences in NYC are not common 03:25:48 languages expert. hope you bump into him one day. 03:26:23 offby1: I understand. Thanks for taking the time to check it out at least. Right now I've got it to read the test.txt and make a list from it. the list looks like this '((class1 (inhertiance: X ) (params: X Y) (instancevars: X Y) (methods: blah)) (class2.....) ) 03:27:03 so it's all tidy in a list, but I just can't wrap my head around how to turn those in to working classes 03:27:20 bowski: With macros, of course. 03:27:27 bowski: I think you should first start thinking about how to represent objects. 03:27:31 Classes are just factories that produce objects. 03:27:44 DNA! 03:28:01 indeed, a blueprint, but in this case, aren't I taking the info from this list and making a new function, maybe with the let? 03:28:03 metaphor party! 03:28:20 is the party also a metaphor? 03:28:25 ijp: yes! 03:28:29 :( 03:29:11 see, klutometis could have some fun with this. but he's unprecedently busy, i'll wage. 03:29:12 +r 03:29:47 karswell [~coat@93-97-29-243.zone5.bethere.co.uk] has joined #scheme 03:30:01 jcowan: anyway the link is, I believe ROK is a Ph.D, which led to my pedestrian mental leap 03:30:26 *jcowan* used to use a Ph.D. when I was a kid. 03:30:50 jcowan: let me guess. you thought digging whackin great holes would be a cool lifelong occupation. 03:31:09 Not so much, but given that I had to do them, the degree certainly helped. 03:31:15 *qu1j0t3* laughs 03:31:28 you set me up! 03:35:20 -!- MichaelRaskin [~MichaelRa@195.91.224.225] has left #scheme 03:36:55 *jcowan* is the only one in his family (of origin) without a college degree. 03:37:56 *offby1* too 03:44:53 -!- realitygrill [~realitygr@adsl-69-212-127-41.dsl.sfldmi.sbcglobal.net] has quit [Ping timeout: 252 seconds] 03:47:06 realitygrill [~realitygr@adsl-76-226-127-243.dsl.sfldmi.sbcglobal.net] has joined #scheme 03:50:30 jcowan: ha, same here :/ 03:50:55 and chances aren't great right now, as I'm supporting my wife getting hers... i hope... 03:51:12 ThePawnBreak [Cristi@94.177.108.25] has joined #scheme 03:53:32 Yes, but you probably aren't 53, either. 03:54:42 didi [~user@unaffiliated/didi/x-1022147] has joined #scheme 03:55:29 jcowan: not as far off it as you might think 03:56:38 :-O 03:56:44 I'm writing a `stream-reverse' procedure which should, as the name implies, reverse a stream. I know about SRFI 41, but I'm trying to write one myself. So far I have this: . My question is: Is `stream-reverse' suppose to wait someone `car' or `cdr' it to do any work? 03:57:11 didi: ...how is stream-reverse supposed to work, given that some streams do not have a right-hand boundary? 03:57:19 (i.e., some streams do not terminate.) 03:57:32 -!- arcfide [~arcfide@c-98-223-204-153.hsd1.in.comcast.net] has quit [Quit: Leaving] 03:57:33 cky: Yeah, I know. It should only work with non-infinite stream.s 03:57:37 hehe 03:57:42 (from 0) 03:57:59 didi: Well, in that case, easy. (list->stream (reverse (stream->list s))). 03:58:10 cky: what if you were in mid-stream! 03:58:15 *ijp* hits cky across the head 03:58:27 ijp: ;-) 03:58:46 qu1j0t3: Streams do not have back pointers, so if s is mid-stream, there's no way to get at elements before it. 03:59:05 if i could turn back time... 03:59:07 cky: I'm not using SRFI 41. Also, I would like to do it more efficiently. My implementation works already. 04:00:00 didi: Your implementation is effectively the same as what I just wrote. 04:00:06 You end up materialising the stream a priori. 04:00:29 cky: How would I do it posteriori? 04:00:34 At that stage, you may as well just materialise it into a list, reverse it, and use that as the backing store for your new "stream". 04:00:37 didi: You can't. 04:00:42 HUm. 04:01:06 That's unfortunate. 04:01:33 I think with SRFI 41, or some implementations thereof, you can leave the stream-cars unevaluated, and just materialise the stream-cdrs. 04:01:47 cky: Ah. 04:01:47 So that might buy you "something". But I don't think that's very helpful. 04:02:09 cky: Well, Racket's implementation of SRFI 41 do it posteriori, that's why I was asking. 04:02:24 Right, so it's probably using the unevaluated stream-cars approach. 04:02:59 cky: I see. Thank you. 04:05:50 I get the impression from Okasaki's thesis that the reverse stream operation should hold until you access it but the implementation that he gives doesn't seem to do it. Oh well, I must be misreading it. 04:06:16 MichaelRaskin [~MichaelRa@2001:5c0:1000:b::f87] has joined #scheme 04:25:53 -!- Fare [~Fare@216.239.55.82] has quit [Ping timeout: 246 seconds] 04:30:05 -!- tuubow [~adityavit@c-24-0-148-151.hsd1.nj.comcast.net] has quit [Ping timeout: 246 seconds] 04:31:14 Streams are really awesome. Almost black magic. 04:32:58 'No one who hadn't carefully read the Rabbit thesis believed lexical scope would fly' 04:34:18 *jcowan* learned Scheme from the Rabbit thesis. 04:37:26 -!- forcer [~forcer@hmbg-5f7625db.pool.mediaWays.net] has quit [Ping timeout: 246 seconds] 04:38:08 Fare [~Fare@216.239.55.82] has joined #scheme 04:41:18 *cky* learnt Scheme from reading R5RS. 04:41:28 you people disgust me 04:41:30 READ SICP 04:41:34 Lol. 04:41:40 :) 04:41:45 I'm midway through Chapter 1, if that counts for anything. 04:42:01 cky: it does, if you do the exercises :D 04:42:10 But R5RS is a good resource for learning Scheme, if you're already an experienced programmer. 04:42:39 qu1j0t3: I do some. Same deal as TAOCP. 04:42:48 cky, if you go thru sicp or are going thru sicp you can win the prestigious award of +v in my channel. 04:42:50 hehe, yeah, i've made that comparison myself 04:42:59 Quadrescence: you want to borrow my hand of slapping? 04:43:09 ijp, yes 04:43:18 *qu1j0t3* wields his hand of facepalming 04:43:22 *ijp* hands Quadrescence his 'hand of slapping' 04:44:02 just don't use it too much; the crystals to recharge them are expensive 04:44:04 (map slap (get-nicks (channel "#scheme"))) 04:44:10 oops 04:44:23 Lol. 04:44:34 Quadrescence: Uh, what's your channel about? 04:44:40 slapping 04:44:44 Heh. 04:44:46 and brazilians 04:45:19 remind me never to write stateful code again 04:45:20 cky: he's being modest. a lot of it is good natured joshing about who's procrasting SICP and who's actually doing some. 04:45:21 SICP did not exist in 1982 when I first read the Rabbit compiler 04:45:31 ijp: never write stateful code again 04:45:40 jcowan, yeah sure, like we believe you existed in 82 04:45:43 hours wasted because I was mutating the wrong vector :( 04:45:50 Quadrescence: he might have. there are tales. 04:45:54 Quadrescence: Brazilians from South America, or from the beach? 04:45:55 ijp: :/ 04:46:07 jcowan: um, wait, explain the difference? 04:46:09 jcowan, ;) ;) ;) 04:46:29 jcowan: not the waxes, if that's what you mean 04:46:29 jcowan, you would make a good channel member 04:47:19 jcowan: i sometimes wish i'd discovered scheme in the 1980s. 04:47:29 Exist in '82, my young whippersnapper? I existed in the Eisenhower administration! 04:47:37 *jcowan* cried when JFK died 04:47:49 that's because you were 6 months old and cried when the door slammed. 04:47:57 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 04:47:58 haha 04:47:58 Adamant [~Adamant@unaffiliated/adamant] has joined #scheme 04:48:15 jcowan: in that case, please answer the old riddle. lone gunman? 04:48:30 No, I remember it, not the day itself, but a later day when I was crying. My mother asked why, I said "Because the President is dead", and she assured me that we had a new President now. 04:48:45 well that's alright then. the new one is always fresher and cleaner than the old one. 04:48:46 see guys? look how naive jcowan is 04:49:02 Quadrescence: i only note that he ignored the riddle. i don't think he knows who killed JFK. 04:49:18 qu1j0t3: Probably. But he had the Big Scheme Blammo-Gun. 04:49:26 I'd just like to state for the record that I did not kill JFK 04:49:31 *ijp* looks shiftily 04:49:31 ijp, haha 04:49:34 ijp: phew. 04:49:38 Like the Texas Ranger sent to a small town to put down a riot. 04:49:44 "What, they only sent one of you?" 04:49:53 "Naturally. You only got one riot, don't you?" 04:50:07 aka 04:50:26 "Never ask a man where he's from. If he's from Texas, he'll tell you, and if not, why embarrass him?" 04:50:27 cky, the channel is actually about "symbolic programming" and general hating on olde technology like C 04:50:35 'T also allowed you to write interrupt (Unix signal) handlers in T, which was pretty pleasant.' 04:50:58 Quadrescence: and newer boring technology 04:51:01 Quadrescence: Ah, very good. So lots of talk about, say, writing fully-managed OSs? ;-) 04:51:16 cky, yes and then what follows is why one shouldn't do that 04:51:19 cky: a niche occupation 04:51:20 *jcowan* is from New Jersey, actually 04:51:29 Quadrescence: Lol. 04:51:30 jcowan: ah! do you know Standard ML, then? 04:51:40 cky, someone in the channel is building their own CPU 04:51:44 Can't say I've had the pleasure. 04:51:53 jcowan, he was making a joke 04:51:56 But my parents did take me to Esso stations when I was a kid 04:52:07 Quadrescence: So was I 04:52:12 his joke was better 04:52:23 Quadrescence: "(The Europeans working on early systems like ML in Edinburgh probably find all this American early-80's thrashing & confusion over scoping discipline and implementation strategy incredibly clueless. Sorry 'bout that.) 04:52:36 ))) 04:53:19 jcowan: did they try to leave you at the Esso stations? what was the appeal? 04:53:23 Esso is now called Exxon, but its older name stood for "Standard Oil of New Jersey" 04:53:31 -!- realitygrill [~realitygr@adsl-76-226-127-243.dsl.sfldmi.sbcglobal.net] has quit [Quit: leaving] 04:53:35 Standard Oil = S.O. = Esso 04:53:49 jcowan, ha! 04:53:52 jcowan: alright, i concede, your joke is more sophisticated as it exposes a pun in smlnj that had passed me by. 04:53:56 jcowan, okay yours was funnier 04:54:10 *qu1j0t3* loses, slinks off again 04:54:23 even more reason to get you in the brazilian channel 04:54:25 Aw, don't be a sorehead. 04:54:27 good old nerd humour: the obscurer the better 04:54:38 jcowan: nah, just kidding, you don't get rid of me that easy! 04:54:52 although the chicken dudes managed it 04:55:01 "The threat to shut up is a very severe one, and ought not to be deployed casually." 04:55:09 Oh? How? 04:55:17 casual rudeness 04:55:17 -!- teiresias [~teiresias@archlinux/trusteduser/teiresias] has quit [Ping timeout: 246 seconds] 04:55:21 always a turnoff :) 04:55:32 qu1j0t3, is that why no one is ever horny around me? :( 04:55:53 Quadrescence: THAT problem is one that i can neither explain nor care to explore 04:55:59 -!- kudkudyak [~user@94.72.138.25] has quit [Ping timeout: 245 seconds] 04:56:02 qu1j0t3, hah 04:56:10 i get it, what was a TI Explorer joke 04:56:12 a lisp machine 04:56:16 and scheme is lisp 04:56:24 now your jokes are rivaling even jcowan's 04:56:38 Quadrescence: do they have therapists in Denver? or Boulder or wherev-er 04:56:41 hey Quadrescence, why don't you tell us a joke 04:56:52 qu1j0t3, i've always used M-x doctor 04:57:02 -!- Fare [~Fare@216.239.55.82] has quit [Ping timeout: 246 seconds] 04:57:06 teiresias [~teiresias@archlinux/trusteduser/teiresias] has joined #scheme 04:57:06 kilimanjaro, i'm not sure i know of any jokes 04:57:14 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Read error: Connection reset by peer] 04:57:19 Quadrescence, improvise 04:57:29 unless they're about siskind's code 04:57:31 Quadrescence: tell that one about the continued fraction that walked into a BAR 04:57:51 qu1j0t3, i think you mean VINCULUM 04:58:02 qu1j0t3 is hysterical 04:58:12 Quadrescence: don't you use dead languages on me! this is #scheme 04:58:21 -!- erg [~erg@li32-38.members.linode.com] has quit [Remote host closed the connection] 04:58:25 *jcowan* laughs, applauds. 04:58:25 kilimanjaro, do you know about jeffrey siskind 04:58:42 Isn't he the former dictator of Albania? 04:58:42 qu1j0t3: so we draw the line at life support? 04:58:52 he killed all those russians 04:58:54 jcowan, ha! 04:58:57 rudybot: I hear scheme is flatlining 04:58:57 ijp: I must confess my caring-about-windows-or-anything-related-to-it-ometer has been flatlining since the mid 90s. 04:58:58 Quadrescence: he sounds like a hollywood producer 04:59:11 rudybot: you too, eh 04:59:12 qu1j0t3: eh, yeah... 04:59:22 rudybot, my code compiles 04:59:23 Quadrescence: scss is a superset of css that compiles to css. It has variables, mixins, nested code structure, etc. 04:59:28 Yes, well, movie-making and hacking are heavily Jewish activities. 04:59:48 jcowan: and dictating in albania 04:59:50 ? 04:59:56 Also an acronym for Stupidly Compatible Source Control 05:00:13 jcowan: you are a veritable acronym dictionary 05:00:17 Probably not, no. Most Albanians are Muslims or atheists. 05:00:18 jcowan, i should tell you stories about source control from my work 05:00:24 Do. 05:00:27 Quadrescence: email? 05:00:35 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 05:00:41 jcowan, no i shouldn't ill get too depressed 05:00:43 *jcowan* would like to hearthem 05:00:47 jcowan: you wouldn't. 05:00:53 jcowan: why do you think the poor lad needs therapy 05:01:12 Sure I would. Forsan et haec Olin Shivers meminisse iuvabit. 05:01:27 speaking of dead languages 05:01:54 *jcowan* goes back to writing his Autocoder compiler 05:01:57 *qu1j0t3* waves nite. Quadrescence i'll scroll back to your riveting anecdotes later. 05:02:03 haha 05:02:11 qu1j0t3: where were you getting those quotes from btw? 05:02:35 [22:52:45] asumu_ | qu1j0t3: http://www.paulgraham.com/thist.html // <-- ijp 05:02:49 ah right, they sounded oddly familiar 05:02:56 cool paper bro. 05:03:16 attila_lendvai [~attila_le@87.247.57.24] has joined #scheme 05:03:16 -!- attila_lendvai [~attila_le@87.247.57.24] has quit [Changing host] 05:03:16 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 05:03:24 http://www.cs.hmc.edu/~fleck/parable.html <-- Rabbit thesis 05:03:44 bfig [~b_fin_g@r186-48-218-16.dialup.adsl.anteldata.net.uy] has joined #scheme 05:03:58 jcowan: jkoans? 05:04:14 qu1j0t3: Lol. 05:04:24 That would be a good pun except that Cowan begins with the syllable "cow" 05:04:37 *qu1j0t3* resigns in defeat 05:04:47 jcowan: not all Cowans do, though, i aver. 05:04:55 Cow, ko, what's the difference? :-P 05:07:03 speaking of shivers i also downloaded the linked http://www.ccs.neu.edu/home/shivers/papers/heap.pdf 05:07:11 *qu1j0t3* disappears for real 05:09:03 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 05:09:07 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 264 seconds] 05:09:14 That's true 05:09:28 I used to explain that my name was Irish and not to be confused with Cohen. 05:09:45 But that just got me "I know all about you, you self-hating Jew" looks 05:09:56 So I gave up, and learned lots of Yiddish words in self-defense. 05:10:31 -!- rageous [~Adium@65-128-193-252.mpls.qwest.net] has quit [Quit: Leaving.] 05:12:14 :-) 05:13:25 realitygrill [~realitygr@adsl-76-226-127-243.dsl.sfldmi.sbcglobal.net] has joined #scheme 05:18:17 Patches [~Patches@user-12lc886.cable.mindspring.com] has joined #scheme 05:22:29 attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has joined #scheme 05:25:34 -!- ttys0001` [~user@2001:19f8:20:2:e2f8:47ff:fe09:6a9a] has quit [Ping timeout: 260 seconds] 05:29:03 -!- Adamant [~Adamant@unaffiliated/adamant] has quit [Quit: Adamant] 05:34:24 -!- gffa [~unknown@unaffiliated/gffa] has quit [Ping timeout: 272 seconds] 05:46:42 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Read error: Connection reset by peer] 05:47:37 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 05:50:58 soveran [~soveran@186.19.214.247] has joined #scheme 05:52:18 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 05:53:13 -!- realitygrill [~realitygr@adsl-76-226-127-243.dsl.sfldmi.sbcglobal.net] has quit [Quit: leaving] 05:57:08 -!- m4burns [~m4burns@artificial-flavours.csclub.uwaterloo.ca] has quit [Ping timeout: 240 seconds] 06:03:12 -/quit 06:03:14 -!- mark_weaver [~user@209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 06:10:43 mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has joined #scheme 06:11:49 -!- jonrafkind [~jon@jonr5.dsl.xmission.com] has quit [Ping timeout: 245 seconds] 06:12:35 gffa [~unknown@unaffiliated/gffa] has joined #scheme 06:12:41 woonie [~woonie@nusnet-228-27.dynip.nus.edu.sg] has joined #scheme 06:20:52 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Ping timeout: 245 seconds] 06:27:45 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 06:30:15 hkBst [~marijn@79.170.210.172] has joined #scheme 06:30:15 -!- hkBst [~marijn@79.170.210.172] has quit [Changing host] 06:30:15 hkBst [~marijn@gentoo/developer/hkbst] has joined #scheme 06:34:45 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 260 seconds] 06:35:14 -!- djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Read error: Connection reset by peer] 06:36:19 -!- ThePawnBreak [Cristi@94.177.108.25] has quit [Ping timeout: 276 seconds] 06:43:27 -!- didi [~user@unaffiliated/didi/x-1022147] has quit [Read error: Operation timed out] 06:43:48 jewel [~jewel@196-209-224-252.dynamic.isadsl.co.za] has joined #scheme 06:43:50 namoamitabuddha [~namoamita@unaffiliated/namoamitabuddha] has joined #scheme 06:45:07 hkBst_ [~marijn@79.170.210.172] has joined #scheme 06:45:07 -!- hkBst [~marijn@gentoo/developer/hkbst] has quit [Read error: Connection reset by peer] 06:45:07 -!- hkBst_ [~marijn@79.170.210.172] has quit [Changing host] 06:45:07 hkBst_ [~marijn@gentoo/developer/hkbst] has joined #scheme 06:50:32 -!- namoamitabuddha [~namoamita@unaffiliated/namoamitabuddha] has left #scheme 06:53:55 woonie2 [~woonie@nusnet-228-27.dynip.nus.edu.sg] has joined #scheme 06:54:49 -!- woonie [~woonie@nusnet-228-27.dynip.nus.edu.sg] has quit [Ping timeout: 246 seconds] 06:54:57 pamphoon [~ddcgavins@67.201.120.8] has joined #scheme 06:55:35 with 8 cpu and 32 g ram and 144g data set how can scheme be best used to do a "query" on the dataset? 06:55:45 will the ram not help since the data is so large? 06:56:07 what multiprocessing method would use all 8 cpu? to bes advantage? 07:02:29 dnolen [~user@67.106.254.3.ptr.us.xo.net] has joined #scheme 07:07:35 -!- jcowan [~John@cpe-66-108-19-185.nyc.res.rr.com] has quit [Quit: Leaving] 07:09:44 pamphoon, why are you handling that software and you come ask this question here? 07:10:08 that hardware* 07:11:17 because mysql is pissing me off 07:12:03 ok, so mysql is the problem. not the language, just the way your data is structured 07:12:20 yeah im pissed about this one query 336m rows 07:12:28 your query optimizer should be more or less intelligent... if you built the right indexes 07:12:32 gota be a better way 07:12:45 i is indexed btree 07:13:14 what are you even querying 07:13:22 -!- dnolen [~user@67.106.254.3.ptr.us.xo.net] has quit [Remote host closed the connection] 07:13:34 it strongly depends on how your database is structured, the amount of tables, the amount of joins, the steps in which you trim the data 07:14:00 the query optimizer can help you but you gotta understand how your data is structured 07:14:08 hmm 07:14:25 there is nothing i can do here without knowing the structure of your data, the indexes on your db and the amount of info in each table 07:14:56 -!- jewel [~jewel@196-209-224-252.dynamic.isadsl.co.za] has quit [Ping timeout: 246 seconds] 07:15:26 thanks for help i am going slep now good night 07:16:44 good luck 07:19:03 -!- pamphoon [~ddcgavins@67.201.120.8] has quit [Read error: Connection reset by peer] 07:25:05 -!- gffa [~unknown@unaffiliated/gffa] has quit [Read error: Operation timed out] 07:26:18 gffa [~unknown@unaffiliated/gffa] has joined #scheme 07:27:48 m4burns [~m4burns@artificial-flavours.csclub.uwaterloo.ca] has joined #scheme 07:32:04 ahinki [~chatzilla@212.99.10.150] has joined #scheme 07:32:09 -!- mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has quit [Remote host closed the connection] 07:32:58 -!- ahinki [~chatzilla@212.99.10.150] has quit [Client Quit] 07:33:09 ahinki [~chatzilla@212.99.10.150] has joined #scheme 07:33:20 tom_i [~thomasing@cmc.beaming.biz] has joined #scheme 07:33:46 jmd [~user@cellform.com] has joined #scheme 07:33:52 -!- ahinki [~chatzilla@212.99.10.150] has quit [Client Quit] 07:34:04 ahinki [~chatzilla@212.99.10.150] has joined #scheme 07:34:43 Anyone know why this doesnt work: (define foo '((WHAT . (lambda (x1 acc) (+ 1 acc))))) 07:34:43 (display ((assoc-ref foo 'WHAT) 1 2 )) 07:34:43 07:37:36 gravicappa [~gravicapp@ppp91-77-180-143.pppoe.mtu-net.ru] has joined #scheme 07:46:46 -!- woonie2 [~woonie@nusnet-228-27.dynip.nus.edu.sg] has quit [Ping timeout: 272 seconds] 07:50:17 -!- pygospa [~Pygosceli@kiel-5f77b4d4.pool.mediaWays.net] has quit [Ping timeout: 246 seconds] 07:52:11 pygospa [~Pygosceli@kiel-4d067c11.pool.mediaWays.net] has joined #scheme 07:56:39 -!- m4burns [~m4burns@artificial-flavours.csclub.uwaterloo.ca] has quit [Ping timeout: 260 seconds] 08:01:40 jmd: because you didn't unquote the lambda to turn it into a function; now it's just a list... 08:01:58 try `((WHAT . ,(lambda (x1 acc) (+ 1 acc))))) 08:05:16 OK. Thanks. 08:16:10 palach [~palach@93.175.8.83] has joined #scheme 08:18:47 kpal [~kpal@janus-nat-128-240-225-120.ncl.ac.uk] has joined #scheme 08:21:15 I have a list of alists and want to apply an operation to all of them. What's the simplest way? 08:22:06 jmd: map or for-each depending on whether your programming with side-effects or not 08:22:14 s/your/you're/ 08:22:40 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 260 seconds] 08:26:07 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Remote host closed the connection] 08:26:17 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 08:29:13 -!- tomodo [~tomodo@gateway/tor-sasl/tomodo] has quit [Quit: Lost terminal] 08:33:06 antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has joined #scheme 08:41:38 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 240 seconds] 08:41:53 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 08:53:04 masm [~masm@bl18-56-152.dsl.telepac.pt] has joined #scheme 08:53:39 `KSK0k1/_1Ss [ls*]Sxd0>x [256~Ssd0qaPlxx] dsxxsx0sqLqsxLxLK+k' is what it looks like to pop the stack in dc, apparently. 08:54:26 "dc: stack empty" is what it looks like for me. 08:54:35 -!- bowski [1879570b@gateway/web/freenode/ip.24.121.87.11] has quit [Quit: Page closed] 08:55:58 jmd: Was your stack empty? Well, then. 08:56:13 dc also predated brainfuck by 28 years. 09:02:08 -!- gffa [~unknown@unaffiliated/gffa] has quit [Ping timeout: 240 seconds] 09:03:04 gffa [~unknown@unaffiliated/gffa] has joined #scheme 09:14:38 -!- gravicappa [~gravicapp@ppp91-77-180-143.pppoe.mtu-net.ru] has quit [Ping timeout: 240 seconds] 09:15:01 -!- araujo [~araujo@gentoo/developer/araujo] has quit [Quit: Leaving] 09:15:51 -!- bfig [~b_fin_g@r186-48-218-16.dialup.adsl.anteldata.net.uy] has quit [Read error: Connection reset by peer] 09:16:24 bfig [~b_fin_g@r186-48-229-198.dialup.adsl.anteldata.net.uy] has joined #scheme 09:19:50 -!- cataska_ [~cataska@210.64.6.233] has quit [Ping timeout: 244 seconds] 09:27:19 rageous [~Adium@65-128-193-252.mpls.qwest.net] has joined #scheme 09:28:19 cataska [~cataska@210.64.6.233] has joined #scheme 09:30:47 MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has joined #scheme 09:33:43 gravicappa [~gravicapp@ppp91-77-180-143.pppoe.mtu-net.ru] has joined #scheme 09:40:40 -!- bitonic [francesco@nat/vmware/x-macxraxnszaqlcwl] has quit [Quit: WeeChat 0.3.5] 09:41:08 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 244 seconds] 09:41:12 -!- jmd [~user@cellform.com] has quit [Remote host closed the connection] 09:41:24 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 09:43:31 -!- sawjig [~sawjig@gateway/tor-sasl/sawjig] has quit [Ping timeout: 276 seconds] 09:45:02 sawjig [~sawjig@gateway/tor-sasl/sawjig] has joined #scheme 09:53:53 -!- antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has quit [Quit: yes leaving] 10:10:09 -!- MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has quit [Ping timeout: 245 seconds] 10:15:17 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 248 seconds] 10:15:33 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 10:20:28 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 245 seconds] 10:20:41 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 10:25:42 -!- gravicappa [~gravicapp@ppp91-77-180-143.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 10:26:53 -!- mmc [~michal@sams-office-nat.tomtomgroup.com] has quit [Read error: Operation timed out] 10:27:39 antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has joined #scheme 10:30:55 mmc [~michal@sams-office-nat.tomtomgroup.com] has joined #scheme 10:42:37 -!- gffa [~unknown@unaffiliated/gffa] has quit [Ping timeout: 244 seconds] 10:47:51 ijp` [~user@host86-179-77-201.range86-179.btcentralplus.com] has joined #scheme 10:51:07 -!- ijp [~user@host81-159-31-75.range81-159.btcentralplus.com] has quit [Ping timeout: 276 seconds] 10:56:36 ijp`` [~user@host86-173-113-22.range86-173.btcentralplus.com] has joined #scheme 10:58:14 -!- ijp` [~user@host86-179-77-201.range86-179.btcentralplus.com] has quit [Ping timeout: 246 seconds] 10:59:24 araujo [~araujo@190.38.61.1] has joined #scheme 10:59:25 -!- araujo [~araujo@190.38.61.1] has quit [Changing host] 10:59:25 araujo [~araujo@gentoo/developer/araujo] has joined #scheme 11:00:02 jao [~user@160.Red-81-39-169.dynamicIP.rima-tde.net] has joined #scheme 11:00:12 -!- jao [~user@160.Red-81-39-169.dynamicIP.rima-tde.net] has quit [Changing host] 11:00:12 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 11:08:16 m4burns [~m4burns@artificial-flavours.csclub.uwaterloo.ca] has joined #scheme 11:12:49 -!- jao [~user@pdpc/supporter/professional/jao] has quit [Remote host closed the connection] 11:15:45 -!- Skola [~bas@5352A3FB.cm-6-3c.dynamic.ziggo.nl] has quit [Quit: Lost terminal] 11:20:47 tuubow [~adityavit@c-24-0-148-151.hsd1.nj.comcast.net] has joined #scheme 11:31:25 -!- attila_lendvai [~attila_le@unaffiliated/attila-lendvai/x-3126965] has quit [Ping timeout: 276 seconds] 11:31:34 ijp``` [~user@host86-183-34-0.range86-183.btcentralplus.com] has joined #scheme 11:34:35 -!- ijp`` [~user@host86-173-113-22.range86-173.btcentralplus.com] has quit [Ping timeout: 260 seconds] 11:39:57 samth [~samth@c-66-31-201-165.hsd1.ma.comcast.net] has joined #scheme 11:42:11 soveran [~soveran@186.19.214.247] has joined #scheme 11:43:24 keenbug [~daniel@p4FDB796C.dip.t-dialin.net] has joined #scheme 11:44:50 ThePawnBreak [Cristi@94.177.108.25] has joined #scheme 11:51:24 -!- rageous [~Adium@65-128-193-252.mpls.qwest.net] has quit [Quit: Leaving.] 12:01:03 -!- tuubow [~adityavit@c-24-0-148-151.hsd1.nj.comcast.net] has quit [Read error: Connection reset by peer] 12:02:34 gffa [~unknown@unaffiliated/gffa] has joined #scheme 12:07:46 ijp```` [~user@host86-174-103-192.range86-174.btcentralplus.com] has joined #scheme 12:09:17 -!- ijp``` [~user@host86-183-34-0.range86-183.btcentralplus.com] has quit [Ping timeout: 246 seconds] 12:12:06 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 12:20:23 -!- jrslepak [~jrslepak@c-71-233-148-123.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 12:26:09 -!- Arafangion [~Arafangio@220-244-108-23.static.tpgi.com.au] has quit [Ping timeout: 260 seconds] 12:28:19 rageous [~Adium@2607:ea00:104:3c00:216:cbff:fec0:54cb] has joined #scheme 12:33:02 -!- rageous [~Adium@2607:ea00:104:3c00:216:cbff:fec0:54cb] has quit [Ping timeout: 272 seconds] 12:50:42 add^_ [~add^_^@m212-152-11-21.cust.tele2.se] has joined #scheme 12:57:23 Arafangion [~Arafangio@220-244-108-23.static.tpgi.com.au] has joined #scheme 12:57:51 langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has joined #scheme 12:59:57 gravicappa [~gravicapp@ppp91-77-180-143.pppoe.mtu-net.ru] has joined #scheme 13:02:50 dzhus [~sphinx@176.14.94.92] has joined #scheme 13:09:12 -!- acieroid [~acieroid@wtf.awesom.eu] has quit [Read error: Connection reset by peer] 13:09:24 acieroid [~acieroid@wtf.awesom.eu] has joined #scheme 13:15:04 kk` [~kk@unaffiliated/kk/x-5380134] has joined #scheme 13:31:30 namoamitabuddha [~namoamita@unaffiliated/namoamitabuddha] has joined #scheme 13:31:48 mark_weaver [~user@209-6-91-212.c3-0.smr-ubr1.sbo-smr.ma.cable.rcn.com] has joined #scheme 13:34:09 How can I do the work in section 3.4 of SICP? 13:34:31 parallel-execute is not available in MIT-Scheme. 13:34:41 -!- samth [~samth@c-66-31-201-165.hsd1.ma.comcast.net] has quit [Ping timeout: 246 seconds] 13:34:59 jao [~user@160.Red-81-39-169.dynamicIP.rima-tde.net] has joined #scheme 13:35:10 -!- jao [~user@160.Red-81-39-169.dynamicIP.rima-tde.net] has quit [Changing host] 13:35:10 jao [~user@pdpc/supporter/professional/jao] has joined #scheme 13:35:39 lcc [~user@unaffiliated/lcc] has joined #scheme 13:36:13 -!- kpal [~kpal@janus-nat-128-240-225-120.ncl.ac.uk] has quit [Ping timeout: 276 seconds] 13:42:20 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Quit: Computer has gone to sleep.] 13:43:29 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 13:49:11 dous [~dous@unaffiliated/dous] has joined #scheme 13:51:05 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 244 seconds] 13:54:16 jrslepak [~jrslepak@129.10.229.60] has joined #scheme 13:58:32 madmuppet006 [~panzer@122-62-124-247.jetstream.xtra.co.nz] has joined #scheme 13:59:13 namoamitabuddha: see http://mitpress.mit.edu/sicp/psets/ps7/readme.html 14:03:43 (that page links to an implementation of parallel-execute for MIT scheme) 14:05:03 dnolen [~user@67.106.254.3.ptr.us.xo.net] has joined #scheme 14:06:16 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 14:06:43 -!- madmuppet006 [~panzer@122-62-124-247.jetstream.xtra.co.nz] has quit [Quit: Leaving] 14:07:10 madmuppet006 [~user@122-62-124-247.jetstream.xtra.co.nz] has joined #scheme 14:07:40 -!- madmuppet006 [~user@122-62-124-247.jetstream.xtra.co.nz] has quit [Remote host closed the connection] 14:14:49 -!- samth_away is now known as samth 14:16:27 mark_weaver: thanks. 14:16:50 And is the video of SICP for the first version of SICP? 14:17:12 namoamitabuddha: yes 14:18:26 I forgot the details, but I recall that even the version of scheme they used is different from modern scheme is some minor ways. but the videos are still very excellent and highly recommended. 14:18:57 mark_weaver: The file parallel.scm below gives an implementation of parallel-execute in terms of primitives included in MIT Scheme, ... 14:19:18 mark_weaver: It is said that "included in MIT Scheme"? 14:19:54 the primitives (upon which parallel.scm is based) are included in MIT Scheme. 14:20:33 in other words, that file will not work on another scheme implementation without modifications. 14:23:27 mark_weaver: http://mitpress.mit.edu/sicp/psets/index.html 14:23:37 mark_weaver: Here assignment means homework, am I right? 14:24:08 yes 14:28:19 They are hard-working. 14:28:22 djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 14:28:42 rageous [~Adium@x-160-94-177-3.uofm-secure.wireless.umn.edu] has joined #scheme 14:31:00 namoamitabuddha: FYI, Racket has an SICP compatibility language. I think it also has an implementation of the concurrency stuff, but I haven't tried it. 14:31:35 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Read error: Operation timed out] 14:32:43 asumu_: but it doesn't work with swank. 14:33:25 -!- rageous [~Adium@x-160-94-177-3.uofm-secure.wireless.umn.edu] has quit [Ping timeout: 276 seconds] 14:39:36 mark_weaver: I don't agree with SICP on some topics, such as definition of time complexity in substitution model, and the Eratosthenes sieve in stream. 14:42:49 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 14:44:36 namoamitabuddha: I read the first edition over a decade ago, and have forgotten those details. What's wrong with their definition of time complexity? 14:45:02 and what do you disagree with regarding the sieve? 14:45:06 kilimanjaro [~kilimanja@ip70-162-88-143.ph.ph.cox.net] has joined #scheme 14:45:06 -!- kilimanjaro [~kilimanja@ip70-162-88-143.ph.ph.cox.net] has quit [Changing host] 14:45:06 kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has joined #scheme 14:45:09 -!- ahinki [~chatzilla@212.99.10.150] has quit [Quit: ChatZilla 0.9.88.1 [Firefox 12.0/20120328051619]] 14:48:58 mark_weaver: To first one: there is a conflict between substitution model and http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-15.html#%_sec_2.2 14:50:21 -!- antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has quit [Quit: yes leaving] 14:50:41 antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has joined #scheme 14:52:59 mark_weaver: It's a real conflict. I find that it's difficult to balance the object and the substitution model. In substitution model, I think it's hard to develop the complexity theory. It's a large topic. Let's go on the second one -- sieve. 14:53:41 mark_weaver: sieve is defined here: http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-24.html#%_sec_3.5.2 14:57:00 mark_weaver: For example, we use this sieve to choose the primes from 1 to N. There're O(n / log(n)) primes from 1 to n, for each prime, we should check the undivisible of previous primes, so at least the time complexity is O(n^2 / (log(n))^2). It's low performance. 14:57:31 mark_weaver: The Eratosthenes sieve is a O(n * log(log(n))) algorithm. 14:58:24 -!- hkBst_ [~marijn@gentoo/developer/hkbst] has quit [Quit: Konversation terminated!] 15:03:44 -!- namoamitabuddha [~namoamita@unaffiliated/namoamitabuddha] has left #scheme 15:09:06 -!- REPLeffect [~REPLeffec@69.54.115.254] has quit [Ping timeout: 244 seconds] 15:09:51 estevocastro [estevocast@nat/hackerschool.com/x-cfudofjqymuwgsua] has joined #scheme 15:09:58 REPLeffect [~REPLeffec@69.54.115.254] has joined #scheme 15:10:55 rageous [~Adium@x-160-94-177-3.uofm-secure.wireless.umn.edu] has joined #scheme 15:11:23 stis [~stis@1-1-1-39a.veo.vs.bostream.se] has joined #scheme 15:14:30 -!- kilimanjaro [~kilimanja@unaffiliated/kilimanjaro] has quit [Ping timeout: 260 seconds] 15:15:35 -!- rageous [~Adium@x-160-94-177-3.uofm-secure.wireless.umn.edu] has quit [Ping timeout: 265 seconds] 15:22:02 tupi [~david@139.82.89.24] has joined #scheme 15:24:15 woonie [~woonie@nusnet-203-88.dynip.nus.edu.sg] has joined #scheme 15:31:42 -!- Arafangion [~Arafangio@220-244-108-23.static.tpgi.com.au] has quit [Ping timeout: 252 seconds] 15:33:09 -!- ssbr_ [~ssbr@python/site-packages/ssbr] has quit [Ping timeout: 248 seconds] 15:35:36 -!- jrslepak [~jrslepak@129.10.229.60] has quit [Quit: This computer has gone to sleep] 15:40:10 -!- keenbug [~daniel@p4FDB796C.dip.t-dialin.net] has quit [Ping timeout: 260 seconds] 15:43:17 -!- gffa [~unknown@unaffiliated/gffa] has quit [Ping timeout: 248 seconds] 15:50:35 gffa [~unknown@unaffiliated/gffa] has joined #scheme 15:54:12 kudkudyak [~user@94.72.138.25] has joined #scheme 15:58:29 SidH__ [~heroor@122.172.45.7] has joined #scheme 16:07:04 MrFahrenheit [~RageOfTho@users-55-233.vinet.ba] has joined #scheme 16:07:07 -!- add^_ [~add^_^@m212-152-11-21.cust.tele2.se] has quit [Quit: add^_] 16:09:33 jonrafkind [~jon@crystalis.cs.utah.edu] has joined #scheme 16:18:40 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 246 seconds] 16:18:54 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 16:21:01 ijp````` [~user@host86-182-153-188.range86-182.btcentralplus.com] has joined #scheme 16:22:41 -!- ijp```` [~user@host86-174-103-192.range86-174.btcentralplus.com] has quit [Ping timeout: 246 seconds] 16:22:45 -!- tom_i [~thomasing@cmc.beaming.biz] has quit [Ping timeout: 260 seconds] 16:23:09 -!- gravicappa [~gravicapp@ppp91-77-180-143.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 16:24:34 -!- dnolen [~user@67.106.254.3.ptr.us.xo.net] has quit [Ping timeout: 276 seconds] 16:25:16 ijp`````` [~user@host86-177-159-228.range86-177.btcentralplus.com] has joined #scheme 16:26:53 -!- ijp````` [~user@host86-182-153-188.range86-182.btcentralplus.com] has quit [Ping timeout: 246 seconds] 16:28:46 -!- asumu_ is now known as asumu 16:29:38 gravicappa [~gravicapp@ppp91-77-180-143.pppoe.mtu-net.ru] has joined #scheme 16:32:24 rageous [~Adium@x-160-94-177-72.uofm-secure.wireless.umn.edu] has joined #scheme 16:34:15 -!- z0d [~z0d@unaffiliated/z0d] has quit [Quit: Lost terminal] 16:36:41 -!- ijp`````` [~user@host86-177-159-228.range86-177.btcentralplus.com] has quit [Ping timeout: 246 seconds] 16:37:02 -!- rageous [~Adium@x-160-94-177-72.uofm-secure.wireless.umn.edu] has quit [Ping timeout: 265 seconds] 16:37:16 z0d [~z0d@q.notresp.com] has joined #scheme 16:37:16 -!- z0d [~z0d@q.notresp.com] has quit [Changing host] 16:37:16 z0d [~z0d@unaffiliated/z0d] has joined #scheme 16:38:24 ijp [~user@host31-53-111-30.range31-53.btcentralplus.com] has joined #scheme 16:42:56 -!- dous [~dous@unaffiliated/dous] has quit [Remote host closed the connection] 16:51:54 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 16:53:58 -!- lcc [~user@unaffiliated/lcc] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 16:55:43 -!- SidH__ [~heroor@122.172.45.7] has quit [Quit: SidH__] 17:06:18 -!- MichaelRaskin [~MichaelRa@2001:5c0:1000:b::f87] has quit [Ping timeout: 245 seconds] 17:08:08 ijp` [~user@host86-135-223-121.range86-135.btcentralplus.com] has joined #scheme 17:08:18 dnolen [~user@67.106.254.200.ptr.us.xo.net] has joined #scheme 17:09:31 -!- ijp [~user@host31-53-111-30.range31-53.btcentralplus.com] has quit [Disconnected by services] 17:09:34 -!- ijp` is now known as ijp 17:12:50 ijp` [~user@host109-154-206-22.range109-154.btcentralplus.com] has joined #scheme 17:14:29 -!- ijp [~user@host86-135-223-121.range86-135.btcentralplus.com] has quit [Ping timeout: 246 seconds] 17:15:11 -!- bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has quit [Ping timeout: 246 seconds] 17:28:43 rageous [~Adium@x-160-94-177-72.uofm-secure.wireless.umn.edu] has joined #scheme 17:30:57 -!- rageous [~Adium@x-160-94-177-72.uofm-secure.wireless.umn.edu] has quit [Client Quit] 17:35:09 -!- gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has quit [Ping timeout: 245 seconds] 17:35:20 gnomon [~gnomon@CPE0022158a8221-CM000f9f776f96.cpe.net.cable.rogers.com] has joined #scheme 17:35:30 -!- ijp` is now known as ijp 17:37:38 tom_i [~thomasing@ingserv.demon.co.uk] has joined #scheme 17:41:00 choas [~lars@p4FDC4B05.dip.t-dialin.net] has joined #scheme 17:42:01 _schulte_ [~eschulte@adaptive.cs.unm.edu] has joined #scheme 17:43:42 -!- gffa [~unknown@unaffiliated/gffa] has quit [Read error: Operation timed out] 17:45:12 gffa [~unknown@unaffiliated/gffa] has joined #scheme 17:45:59 -!- kniu [~kniu@pool-173-75-156-3.pitbpa.east.verizon.net] has quit [Ping timeout: 246 seconds] 17:50:03 -!- woonie [~woonie@nusnet-203-88.dynip.nus.edu.sg] has quit [Ping timeout: 245 seconds] 17:53:20 -!- tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has quit [Ping timeout: 246 seconds] 18:03:22 kniu [~kniu@pool-173-75-156-3.pitbpa.east.verizon.net] has joined #scheme 18:06:45 -!- palach [~palach@93.175.8.83] has left #scheme 18:10:09 -!- dnolen [~user@67.106.254.200.ptr.us.xo.net] has quit [Ping timeout: 245 seconds] 18:31:00 -!- fzzbt [~jahman@melkinpaasi.cs.helsinki.fi] has left #scheme 18:31:19 -!- tom_i [~thomasing@ingserv.demon.co.uk] has quit [Ping timeout: 276 seconds] 18:34:04 woonie [~woonie@nusnet-203-88.dynip.nus.edu.sg] has joined #scheme 18:39:16 MichaelRaskin [~MichaelRa@2001:5c0:1400:b::1] has joined #scheme 18:44:47 jhemann [Jason@2001:18e8:2:28a2:3013:bd87:d3f:bb4e] has joined #scheme 18:49:09 tuubow [~adityavit@c-69-136-105-164.hsd1.nj.comcast.net] has joined #scheme 18:51:38 -!- rudybot [~luser@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has quit [Ping timeout: 240 seconds] 18:54:23 rudybot [~luser@ec2-50-18-138-42.us-west-1.compute.amazonaws.com] has joined #scheme 18:59:09 tomodo [~tomodo@gateway/tor-sasl/tomodo] has joined #scheme 18:59:58 -!- ThePawnBreak [Cristi@94.177.108.25] has quit [Ping timeout: 252 seconds] 19:00:31 noam_ [~noam@37.142.141.69] has joined #scheme 19:03:48 -!- noam [~noam@213.57.83.2] has quit [Ping timeout: 245 seconds] 19:04:04 ijp` [~user@host81-159-28-0.range81-159.btcentralplus.com] has joined #scheme 19:04:44 -!- ijp [~user@host109-154-206-22.range109-154.btcentralplus.com] has quit [Ping timeout: 246 seconds] 19:07:39 jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has joined #scheme 19:08:01 hoi 19:08:28 heya jcowan 19:08:39 -!- ijp` is now known as ijp 19:08:40 hey ho 19:09:10 btw, I just recently learned more about Rees' "pre-scheme", which I didn't previously know much about. sounds a lot like the not-quite-scheme you were talking about. maybe worth looking at. 19:09:46 it's also designed to be debugged in a full scheme environment and then compiled to fast C. 19:09:53 rageous [~Adium@2607:ea00:104:3c00:216:cbff:fec0:54cb] has joined #scheme 19:10:02 Pre-scheme is interesting, but it uses H-M typing, and I hate H-M. Flopsy uses sigils instead. 19:10:46 ah, okay. 19:11:40 :) 19:11:43 I guess sigils don't support polymorphic procedures though. for example, will flopsy support a polymorphic 'map'? 19:11:53 jcowan: do you hate all inference, or just H-M? 19:12:18 jcowan: how do you feel about Miranda or Standard ML? 19:12:44 I also hate lazy languages. 19:12:54 I'm okay with ML but have never used it in anger. 19:13:09 bipt [~bpt@nom20736a.nomadic.ncsu.edu] has joined #scheme 19:13:22 jcowan: fair enough, it's more suited to zen-like moments of clarity. 19:13:23 The trouble with type inference is that it just infers *some* set of types, not necessarily the *right* set of types. 19:13:23 but ML is based on H-M, so how can you hate H-M and be okay with ML? 19:13:23 *qu1j0t3* runz 19:14:00 "in anger" = "where something other than hacking around depends on it" 19:14:13 -!- rageous [~Adium@2607:ea00:104:3c00:216:cbff:fec0:54cb] has quit [Ping timeout: 245 seconds] 19:14:28 https://www.google.com/search?sourceid=chrome&ie=UTF-8&q=%22using+*+in+anger%22 19:14:28 http://tinyurl.com/7jb6m9w 19:14:59 rudybot, it's guys like you that are going to make tinyurl go to 8 chars one day and totally destroy mnemonicity 19:15:00 jcowan: Although I don't get the point of a tinyurl if the full URL has already been posted to the channel. 19:15:19 rudybot: So why do it? 19:15:20 jcowan: That's why I'm optimistically hoping OLED will Suck Less 19:16:14 rudybot: is your code available for download? 19:16:15 mark_weaver: today, the occasional game I have bought, I just put the code into steam and download it instead of putting the optical media into the drive 19:17:24 jcowan_ [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has joined #scheme 19:19:14 ThePawnBreak [Cristi@94.177.108.25] has joined #scheme 19:19:36 -!- jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has quit [Ping timeout: 245 seconds] 19:20:40 jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has joined #scheme 19:21:09 jcowan: I was confused by the "shrink/core" votes, even though "shrink/core" was not listed in the options, and it was never explained what that meant. 19:21:10 albacker [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has joined #scheme 19:21:10 -!- albacker [~eni@gob75-5-82-230-88-217.fbx.proxad.net] has quit [Changing host] 19:21:10 albacker [~eni@unaffiliated/enyx] has joined #scheme 19:21:32 It meant "not in a library" 19:21:35 that is to say, in the base library 19:22:24 is it valid to vote for something that's not listed in the options? 19:22:31 -!- jcowan_ [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has quit [Ping timeout: 245 seconds] 19:22:43 -!- jhemann [Jason@2001:18e8:2:28a2:3013:bd87:d3f:bb4e] has quit [Ping timeout: 250 seconds] 19:23:05 seems rife with difficulties, since not everyone will know to list it in their preferences 19:23:24 -!- snorble_ [~snorble@c193-14-18-68.cust.tele2.se] has quit [Quit: snorble_] 19:23:48 well, it's not important, just a curiosity... 19:25:04 reverting to the r5rs definition of 'real?' is going to be a serious problem for implementations wishing to also support r6rs. 19:25:11 Yes, it's valid as long as you post to the list saying you are doing that. 19:25:13 In this case it was an obvious variation. 19:25:32 Why so? They are defined in separate libraries. This is one of the reasons we *have* libraries. 19:25:59 the problem is that all of the mathematical functions that require real arguments will apparently need different variants for both r6rs and r7rs.. 19:26:01 By the same token, supporting the R6RS definition would be a serious problem for code depending on the R5RS definition. 19:26:08 true 19:26:35 And that was a silent change in semantics, which is usually a Bad Thing. 19:26:59 The R7RS charters were carefully worded not to require backward compatibility with R6RS. 19:27:13 snorble_ [~snorble@c193-14-18-68.cust.tele2.se] has joined #scheme 19:27:56 sure, I certainly don't advocate backward compatibilty with r6rs.. but as the main numerics person for guile, I'm left scratching my head how I'm going to handle this. 19:28:27 jcowan_ [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has joined #scheme 19:28:43 mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has joined #scheme 19:28:58 jhemann [~Jason@adsl-70-239-88-156.dsl.bltnin.sbcglobal.net] has joined #scheme 19:30:54 adu [~ajr@pool-72-83-26-98.washdc.fios.verizon.net] has joined #scheme 19:31:16 -!- jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has quit [Ping timeout: 245 seconds] 19:32:53 -!- ijp [~user@host81-159-28-0.range81-159.btcentralplus.com] has left #scheme 19:34:21 rudybot: source 19:34:22 samth: git clone git://github.com/offby1/rudybot.git 19:34:26 mark_weaver: ^ 19:34:41 samth: great, thanks! 19:36:41 -!- jcowan_ [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has quit [Ping timeout: 245 seconds] 19:37:22 I very much appreciate the R7RS, and will work to make Guile compliant in most areas, but in the area of numerics I'm likely to depart from the R7RS in a few places. 19:38:18 mark_weaver: Are we still talking about the (/ inexact 0.0), (/ inexact -0.0), and (/ inexact 0) thing? 19:38:27 mark_weaver: Or perhaps the reduction in division operators? 19:38:54 jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has joined #scheme 19:38:55 I don't have a problem with the reduction of division ops. I'm disappointed, but I understand and respect the decision that was made. 19:39:03 -!- djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has quit [Remote host closed the connection] 19:39:18 *jcowan* too 19:39:32 But it seems kind of stupid to have six ops in a module and three of them also in the base under different name. 19:39:33 names. 19:40:03 *jcowan* has to learn to stop saying "in a module" for "in a library other than the base library" 19:42:06 However, as long as I have anything to say about it, in Guile (/ inexact 0) will raise an exception, and 'eqv?' will be based on operational equivalence. I'm also strongly leaning toward the R6RS definition of 'real?'. 19:43:16 *nods* 19:43:32 In the latter, are you referring to it being strictly-real? 19:44:42 in R6RS, real? means that the imaginary part is an _exact_ 0. In the R5RS, real? means the imaginary part is zero (even if inexact). WG1 just voted for R5RS semantics there. 19:45:22 I confess that this is a bit of a thorny issue, but I don't like the idea of an inexact zero imaginary part being implicitly coerced to an exact zero. 19:46:09 it might be tiny 19:46:44 inexact numbers should _never_ be coerced to exact numbers unless the user specifically requested it. it breaks the whole reason for exactness. 19:46:44 -!- bipt [~bpt@nom20736a.nomadic.ncsu.edu] has quit [Ping timeout: 246 seconds] 19:47:06 -!- jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has quit [Ping timeout: 245 seconds] 19:47:28 phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has joined #scheme 19:47:28 -!- phax [~phax@cpc14-haye17-2-0-cust110.haye.cable.virginmedia.com] has quit [Changing host] 19:47:28 phax [~phax@unaffiliated/phax] has joined #scheme 19:47:48 adu: it's not provably correct. exact results should always be provably correct. 19:47:50 djcb [~user@a88-114-95-13.elisa-laajakaista.fi] has joined #scheme 19:50:05 FreeArtMan [~fam@213.175.106.134] has joined #scheme 19:52:02 mark_weaver: Yeah, that's messed-up! 19:52:13 But then, in that sense, (zero? 0.0) should probably be #f. 19:52:34 :) 19:52:38 cky: how about #maybe 19:52:43 qu1j0t3: :-D 19:52:43 and what about tracking precision? 19:52:56 qu1j0t3: I want to see an interval arithmetic-based implementation. 19:53:03 cky: well, 'zero?' doesn't mean 'exact-zero?' 19:53:05 or significance arithmetic 19:53:23 cky: interval arithmetic is on my guile todo list. 19:53:26 cky: it's the same problem as inexact equality isn't it. #meaningless 19:53:28 I would judge that since |p was removed, so is the idea of precision 19:53:29 mark_weaver: Yay!! 19:53:48 qu1j0t3: Yeah. 19:55:15 I think poor jcowan is tired of listening to my monologues about math. 19:55:22 jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has joined #scheme 19:55:41 Hahahaha. 19:55:42 or maybe he's just having network issues :) 19:55:46 :-) 19:56:01 mark_weaver: Sure, just document a minor discrepancy from R5RS/R7RS. 19:57:15 -!- stis [~stis@1-1-1-39a.veo.vs.bostream.se] has left #scheme 19:57:53 jcowan: will do 20:00:26 -!- jcowan [c6b912cf@gateway/web/freenode/ip.198.185.18.207] has quit [Ping timeout: 245 seconds] 20:00:48 jcowan: what is the policy regarding who is allowed to post to scheme-reports, btw? I was surprised to see that even Oleg was unable to post there. 20:03:15 serious network issues! 20:03:24 jcowan [~John@mail.digitalkingdom.org] has joined #scheme 20:03:35 jcowan: what is the policy regarding who is allowed to post to scheme-reports, btw? I was surprised to see that even Oleg was unable to post there. 20:04:08 It should be open. I have no idea why Oleg can't post. But I am not an admin there. 20:04:15 I'm up on an SSH tunnel now, hopefully more stable. 20:05:41 Unthahorsten [~Unthahors@del63-3-88-177-167-25.fbx.proxad.net] has joined #scheme 20:06:08 jcowan: openvpn over udp is very resilient to connection failures 20:06:13 -!- ThePawnBreak [Cristi@94.177.108.25] has quit [Ping timeout: 276 seconds] 20:06:23 Ta. 20:07:31 I'll run with this for now though. I have no idea why I wasn't using it before. 20:08:18 I'm connecting to a friendly host on port 21, which $EMPLOYER leaves open for FTP. 20:08:44 This is a *very* nice hack for anyone providing ssh services to friends, BTW 20:09:23 jcowan: :-D 20:09:40 jcowan: More-serious packet filters can still filter that, BTW. 20:09:45 Just one extra line in the config file. 20:09:48 Hehe. For many years, I've had SSH running on the POP3 port of my server, to get around port blocking. 20:09:49 It all depends on how serious your friends' workplaces are. 20:10:12 mark_weaver: See above. :-) Some packet filters will actually inspect the traffic and ensure that FTP/POP3/HTTP is what it is. 20:10:27 Sure. But the cost goes up. $EMPLOYER is cheap. 20:10:32 :-) 20:10:34 cky: yep, but it was good enough for the blocks I had to get around. 20:10:42 :-) 20:13:30 toekutr [~user@50-0-51-2.dsl.static.sonic.net] has joined #scheme 20:13:31 How do you deal with stack overflowing in a "Cheney on the MTA" approach ? 20:13:50 I mean Chicken appears to check stack bound at each function call. 20:14:04 Yes. 20:14:22 Is there any better method ? 20:14:29 Not that I know of. 20:14:44 Note that Chicken's stack check is much smaller than the actual stack available. 20:14:50 Every implementation I know of will check stack bounds frequently, unless they want to segfault instead. 20:14:53 So it's not serious overhead. 20:15:09 Unthahorsten: one way is to map a read-only page beyond the limit of the stack, and then to arrange for the compiled code to write at least one byte to every page of stack allocated. 20:15:31 Chicken's stack size is really nursery size. 20:16:33 shouldn't it be possible in theory to do the bounds check using a page fault handler? 20:16:39 Ok, Anyone tried using sigaltstack / sigstack for this ? I don't know if it is possible with it or not... 20:17:12 right basically what mark_weaver said 20:17:18 If the nursery is too big, there will be too little locality in any event. 20:17:48 add^_ [~add^_^@m212-152-11-21.cust.tele2.se] has joined #scheme 20:18:49 yeah, it's probably best if the stack fits well within the cache, when doing cheney-on-the-mta. 20:19:09 Thanks, any code available ? 20:19:23 bipt [~bpt@cpe-071-070-253-241.nc.res.rr.com] has joined #scheme 20:19:28 Well, chicken. 20:19:39 Poke through chicken.h and runtime.c 20:20:03 Unthahorsten: there's a library for catching segvs and handling them properly, in a way that insulates you from the platform-specific details as much as possible. 20:20:26 Chicken configuration used to run a little program with various nursery sizes and see which time ran fastest, but the result wasn't reproducible enough. 20:20:26 pjb` [~t@81.202.16.46.dyn.user.ono.com] has joined #scheme 20:20:45 -!- pjb` is now known as pjb- 20:20:51 Unthahorsten: http://libsigsegv.sourceforge.net/ 20:20:58 Are you talking about libsegfault ? 20:21:11 Ok, thanks I will take a look. 20:21:23 but yeah, I would definitely look carefully at Chicken as well. 20:22:25 ASau` [~user@95-27-143-11.broadband.corbina.ru] has joined #scheme 20:25:09 it's a tradeoff. for all I know, the exception-handling overhead of catching sigsegvs may not be worth it. it adds a lot of code complexity, dealing with segvs at arbitrary times as opposed to the well-defined times of when you insert stack checks. conditional branches tend to be very fast as long as the processor is able to predict the branch correctly, and you can arrange that using GCC's __builtin_expect (probabl 20:25:09 some other compilers as well). 20:26:58 -!- ASau [~user@95-27-143-178.broadband.corbina.ru] has quit [Ping timeout: 244 seconds] 20:27:21 -!- pjb- [~t@81.202.16.46.dyn.user.ono.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 20:29:18 Fare [~Fare@216.239.55.82] has joined #scheme 20:30:21 mark_weaver: SIGSEGV is usually very expensive, yes, because ultimately it's raised by the same CPU mechanism that is used to perform pagein swaps, so it goes via the kernel to work out whether this is a pagein request 20:30:38 -!- pothos [~pothos@114-36-228-201.dynamic.hinet.net] has quit [Read error: Connection reset by peer] 20:32:20 yeah, I suspect that Chicken's method is best. 20:33:01 Well, not doesn't need be, there are provisions in the best processors to use vectors toward user code. 20:33:07 s/not/it/ 20:34:05 pothos [~pothos@114-36-225-204.dynamic.hinet.net] has joined #scheme 20:34:09 the real problem is that, for best use of the cache, you probably want a relatively small nursery, so these GCs will be triggered very frequently. 20:34:35 Chicken's minor gc is fast, though 20:35:17 -!- antithesis [~antithesi@s51476e07.adsl.wanadoo.nl] has quit [Remote host closed the connection] 20:35:40 right, I'm sure it is. but this suggests that the overhead of handling an exception for every GC is probably much higher than the overhead of doing stack checks (given that you can arrange for proper branch prediction) 20:37:18 well trapping of page faults evidently hasn't slowed down the azul JVM and its GC to an intolerable level 20:37:23 I was searching for the opposite of "help", and found: "Help Est un Lisp Paresseux" - 'Help Is a Lazy Lisp'. A lazy version of Scheme with strictness annotations, by Thomas Schiex . 20:37:23 20:37:39 "hindrance" 20:37:45 a new software project from Microsoft 20:37:47 naturally 20:38:01 turbofail: sure, but the Azul JVM doesn't do cheney-on-the-MTA. 20:38:05 CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has joined #scheme 20:38:09 Thanks. 20:38:41 true, but java in general does end up allocating most things on the heap 20:39:20 -!- FreeArtMan [~fam@213.175.106.134] has quit [Remote host closed the connection] 20:39:20 although i guess java doesn't allocate its call frames on the heap 20:39:24 but not the procedure call activation frames. 20:40:03 The whole idea of COTMTA is to trade a little stack-check cost for the speed of allocating everything on the C stack 20:45:18 -!- CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has quit [Quit: leaving] 20:47:15 I suspect the biggest part of the stack-check cost is that you need to frequently access the address of the "end" of the stack, which would ideally live in a register, and that's a problem on register-poor architectures like x86. 20:47:40 though perhaps that could be avoided by clever alignment of the stack, so that the ' 20:47:52 ... "end" is on a nice boundary. 20:50:47 done correctly, the stack check could just test a single bit of the SP. hmm, I wonder if Chicken does that already. 20:51:07 On alignment, I like MMIX's approach to unaligned memory addresses (not sure if either MIPS and/or Alpha, MMIX's inspirations, do the same): when reading a word, all reads are aligned, and the bottom bits are suitably masked out to ensure this. 20:51:19 That means that you can repurpose the bottom bits of a register for something else. 20:51:47 So, say you always do 64-bit word reads. The bottom 3 bits of the register are unused for determining the location to read. 20:51:58 So you can use those bottom 3 bits for other bookkeeping. 20:52:18 -!- Unthahorsten [~Unthahors@del63-3-88-177-167-25.fbx.proxad.net] has quit [Quit: ChatZilla 0.9.88.1 [Firefox 11.0/20120312181643]] 20:52:59 For example, if I want to use UTF-21 as the standard encoding format for my strings, it's really easy to implement in MMIX. 20:53:15 weirdo! 20:53:17 interesting. hmm, my primary machine is MIPS-based. I'll look it up. 20:53:38 :-) 20:54:13 (By UTF-21, I mean: 3 code points are packed into a 64-bit word, leaving one bit unused.) 20:54:26 UTF-21, also known as UCS-2-5/8 20:54:32 though for the stack-check trick, the bit in question would need to be a high bit.. just high enough so that the stack nursery fits in an area where that bit is always zero. 20:54:36 Reads are always as 64-bit words, and the right amount of shifting is done to make the correct value come out. 20:57:34 -!- gravicappa [~gravicapp@ppp91-77-180-143.pppoe.mtu-net.ru] has quit [Remote host closed the connection] 21:01:16 jcowan: are there any plans for R7RS-large to have a module for lock-free concurrency, with things like atomic operations or an STM? 21:01:52 Not at present. However, things can be added to the input hopper, stuff to vote on whether it goes into -large in some form. 21:02:02 Such a module would make me very happy. 21:02:08 mark_weaver should design one and submit it. :-) 21:02:41 Better yet, both of you should join WG2. 21:03:12 What's the time commitment involved? I'd be interested, but I need to know that I'm not overcommitting myself. 21:05:00 jcowan: you mentioned submitting an application. where can I find the application form, or does "application" just mean "an email"? :) 21:05:14 an unstructured email, that is. 21:07:25 cky: MIPS does not ignore the low bits of the address. if the two low bits are non-zero, an exception occurs. 21:08:36 :-( 21:09:02 -!- confab [~confab@c-71-193-9-153.hsd1.ca.comcast.net] has quit [Quit: Lost terminal] 21:10:23 confab [~win7@c-71-193-9-153.hsd1.ca.comcast.net] has joined #scheme 21:11:19 cky: well, in practice it doesn't matter much, because to access a data tructure, you generally need an offset anyway, and you can incorporate the anti-tag into the offset. 21:12:12 mark_weaver: That's true, but is more work. :-) 21:12:32 Not for the CPU; that kind of address offset is basically free. 21:13:26 jcowan: No, but in terms of having more bookkepping for the programmer. 21:14:23 jcowan: Let's look back at my UTF-21 example. Say my 64-bit word is so: 0a19ab19bc19c. 21:14:47 (a19a == aaaaaaaaaaaaaaaaaaaa (i.e., 21 bits)) 21:15:41 Let's say the address is 0x12345670. That is the same as address 0x12345671 thru 0x12345677, since the bottom 3 bits are masked out for address access (when reading a 64-bit word). 21:16:05 *jcowan* nods. 21:16:10 That means that I can use 0 for accessing the "a" code point, 1 for accessing "b", and 2 for accessing "c". 21:16:22 and have just one pointer that can be used just like a char* would be. 21:16:41 -!- mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has quit [Ping timeout: 246 seconds] 21:16:43 Now, if you are using an architecture that didn't just auto-ignore the bottom bits, you'd have to mask this out yourself manually every time. 21:16:54 Doable, but tedious. 21:17:25 mark_weaver: I assume the process will be the same as that described in https://groups.google.com/d/topic/comp.lang.scheme/NAksuDQGQf8/discussion 21:17:34 *cky* heads out the door.... 21:17:40 I'll return to this when I get back. :-) 21:17:46 cky: ttyl 21:18:22 :-) 21:21:01 jcowan: thanks! 21:21:34 Obviously, don't send anything until the call for participation. 21:21:38 -!- bfig [~b_fin_g@r186-48-229-198.dialup.adsl.anteldata.net.uy] has quit [Ping timeout: 240 seconds] 21:21:51 where should I look for that call? 21:22:17 The SC is pretty good about blanketing mailing lists; also c.l.s. I usually propagate it here. 21:22:32 okay 21:22:34 If you aren't completely heads-down, I doubt you'll miss it. 21:24:36 grump, c.l.s. is not carried by gmane. I'll see if I can get that fixed. out of curiosity, how to do read c.l.s.? 21:24:54 -!- tupi [~david@139.82.89.24] has quit [Quit: Leaving] 21:25:48 mark_weaver: submit to google and google groups. 21:25:59 Submit to your overlords. 21:26:24 *mark_weaver* has so far avoided getting a google account :) 21:27:04 gmane doesn't have comp.lang.scheme? That's hard to believe. 21:27:29 ftm, does anyone read Usenet anymore? Does Usenet even still exist in any sense? 21:27:35 offby1, i thought gmane was only mailing lists? 21:27:44 though I think it's possible to subscribe to a google groups list without getting an account, by mailing them (although last I checked they don't document this anywhere I saw) 21:27:45 -!- _schulte_ [~eschulte@adaptive.cs.unm.edu] has quit [Quit: leaving] 21:28:55 http://dir.gmane.org/index.php?prefix=gmane.lisp.scheme 21:29:07 jao: don't really know; it's been ages 21:29:30 mark_weaver: or you can use one of the real nntp feeds out there. 21:29:40 mark_weaver: my isp offered it free 21:30:41 -!- jhemann [~Jason@adsl-70-239-88-156.dsl.bltnin.sbcglobal.net] has quit [Ping timeout: 246 seconds] 21:30:48 -!- adu [~ajr@pool-72-83-26-98.washdc.fios.verizon.net] has quit [Quit: adu] 21:34:47 bfig [~b_fin_g@r186-48-218-16.dialup.adsl.anteldata.net.uy] has joined #scheme 21:35:47 I use Google's netnews-to-RSS gateway and read it with an RSS reader, viz. Google Reader. 21:35:55 jhemann [Jason@140-182-227-8.dhcp-bl.indiana.edu] has joined #scheme 21:38:11 mmc1 [~michal@178-85-63-71.dynamic.upc.nl] has joined #scheme 21:38:52 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 21:39:20 toekutr [~user@50-0-51-2.dsl.static.sonic.net] has joined #scheme 21:40:25 -!- langmartin [~user@host-68-169-155-216.WISOLT2.epbfi.com] has quit [Quit: ERC Version 5.3 (IRC client for Emacs)] 21:43:00 jhemann_ [Jason@2001:18e8:2:28a2:69e3:a4:2b32:b18f] has joined #scheme 21:44:08 tcleval [~funnyguy@177.98.185.40] has joined #scheme 21:44:32 how can I "cast" a flonum into a unsigned integer? 21:44:49 (abs (floor floor)) 21:44:51 er 21:44:56 (abs (floor flonum)) 21:45:12 rudybot: (let ([flonum -.9876]) (abs (floor flonum))) 21:45:12 *offby1: your sandbox is ready 21:45:13 *offby1: ; Value: 1.0 21:46:01 -!- add^_ [~add^_^@m212-152-11-21.cust.tele2.se] has quit [Quit: add^_] 21:46:43 -!- jhemann [Jason@140-182-227-8.dhcp-bl.indiana.edu] has quit [Ping timeout: 260 seconds] 21:48:24 offby1: I still get 1.0, I d like to get 1 21:48:41 1.0 is an integer. 21:48:53 If you want an exact integer, then inexact->exact is your friend. 21:49:18 now it works, thx 21:49:19 -!- estevocastro [estevocast@nat/hackerschool.com/x-cfudofjqymuwgsua] has quit [Ping timeout: 245 seconds] 21:50:03 CampinSam [~CampinSam@24-176-98-217.dhcp.jcsn.tn.charter.com] has joined #scheme 21:51:04 es [estevocast@nat/hackerschool.com/x-xkcjtsyybjlkclbb] has joined #scheme 21:51:22 somehow I knew he was gonna say that. 21:52:08 offby1: :-) 21:52:42 note that "round", "ceil", and "trunc" are all reasonable things to use instead of "floor". 21:54:45 Except they suck worse than floor does, at least as a default. 21:55:15 I probably will regret asking this, but ... how do they suck? 21:56:05 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Ping timeout: 248 seconds] 21:56:38 -!- es [estevocast@nat/hackerschool.com/x-xkcjtsyybjlkclbb] has quit [Ping timeout: 260 seconds] 21:57:09 offby1: I am using round, as I want 1.6 to be rounded to 2 21:57:11 I hate saying this, but I am simply not up to rehashing the whole integer division thing today. 21:57:53 I need them to build lookup tables. I using scheme for image processing to I use unsigned integer vectors a lot 21:57:56 round is good if you are reducing a lot of things to integers, as the errors it introduces will hopefully cancel out. 21:58:15 s/to/so/ 21:58:44 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 22:00:27 -!- tcleval [~funnyguy@177.98.185.40] has left #scheme 22:05:43 -!- dzhus [~sphinx@176.14.94.92] has quit [Remote host closed the connection] 22:09:14 estevocastro [estevocast@nat/hackerschool.com/x-gzzphljuswtceojd] has joined #scheme 22:11:38 -!- jhemann_ [Jason@2001:18e8:2:28a2:69e3:a4:2b32:b18f] has quit [Read error: Connection reset by peer] 22:13:17 jhemann_ [~Jason@2001:18e8:2:28a2:69e3:a4:2b32:b18f] has joined #scheme 22:21:14 -!- jhemann_ [~Jason@2001:18e8:2:28a2:69e3:a4:2b32:b18f] has quit [Ping timeout: 250 seconds] 22:22:54 jrslepak [~jrslepak@c-71-233-148-123.hsd1.ma.comcast.net] has joined #scheme 22:24:40 -!- albacker [~eni@unaffiliated/enyx] has quit [Ping timeout: 276 seconds] 22:27:55 -!- jonrafkind [~jon@crystalis.cs.utah.edu] has quit [Ping timeout: 246 seconds] 22:30:07 -!- noam_ [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 22:31:34 noam [~noam@37.142.141.69] has joined #scheme 22:42:32 -!- samth is now known as samth_away 22:43:56 -!- noam [~noam@37.142.141.69] has quit [Read error: Connection reset by peer] 22:44:25 airolson [~airolson@CPE00222d55a738-CM00222d55a735.cpe.net.cable.rogers.com] has joined #scheme 22:45:18 noam [~noam@37.142.141.69] has joined #scheme 22:46:05 -!- jrslepak [~jrslepak@c-71-233-148-123.hsd1.ma.comcast.net] has quit [Quit: This computer has gone to sleep] 22:48:02 -!- estevocastro [estevocast@nat/hackerschool.com/x-gzzphljuswtceojd] has quit [Ping timeout: 246 seconds] 22:49:24 jrslepak [~jrslepak@c-71-233-148-123.hsd1.ma.comcast.net] has joined #scheme 22:56:41 Arafangion [~Arafangio@220-244-108-23.static.tpgi.com.au] has joined #scheme 23:00:38 -!- toekutr [~user@50-0-51-2.dsl.static.sonic.net] has quit [Remote host closed the connection] 23:03:30 -!- Fare [~Fare@216.239.55.82] has quit [Ping timeout: 260 seconds] 23:08:25 -!- copumpkin [~copumpkin@unaffiliated/copumpkin] has quit [Quit: Computer has gone to sleep.] 23:11:05 -!- gffa [~unknown@unaffiliated/gffa] has quit [Ping timeout: 260 seconds] 23:16:26 gffa [~unknown@unaffiliated/gffa] has joined #scheme 23:19:55 mjonsson [~mjonsson@38.109.95.176] has joined #scheme 23:21:13 -!- choas [~lars@p4FDC4B05.dip.t-dialin.net] has quit [Ping timeout: 260 seconds] 23:25:58 jhemann [Jason@2001:18e8:2:28a2:ac96:9a7c:a54a:1ff2] has joined #scheme 23:35:19 -!- soveran [~soveran@186.19.214.247] has quit [Remote host closed the connection] 23:35:38 -!- gffa [~unknown@unaffiliated/gffa] has quit [Ping timeout: 240 seconds] 23:36:41 -!- jcowan [~John@mail.digitalkingdom.org] has quit [Quit: Leaving] 23:42:10 copumpkin [~copumpkin@unaffiliated/copumpkin] has joined #scheme 23:47:54 -!- jhemann [Jason@2001:18e8:2:28a2:ac96:9a7c:a54a:1ff2] has quit [Ping timeout: 250 seconds] 23:53:38 -!- Arafangion [~Arafangio@220-244-108-23.static.tpgi.com.au] has quit [Remote host closed the connection] 23:55:49 Fare [~Fare@173-9-65-97-NewEngland.hfc.comcastbusiness.net] has joined #scheme 23:58:23 jhemann [~Jason@adsl-70-239-88-156.dsl.bltnin.sbcglobal.net] has joined #scheme 23:58:45 -!- masm [~masm@bl18-56-152.dsl.telepac.pt] has quit [Quit: Leaving.]