00:04 (quit) neilv: Ping timeout: 240 seconds 00:09 (join) nilyaK 00:10 (join) dyoo 00:11 (quit) nilyaK: Client Quit 00:12 (quit) dyoo: Client Quit 00:14 (quit) walter|r: Ping timeout: 246 seconds 00:21 (join) walter|r 00:30 (quit) BeLucid: Read error: Connection reset by peer 00:30 (quit) jeapostrophe: Ping timeout: 260 seconds 00:31 (join) BeLucid 00:45 (quit) jao: Ping timeout: 245 seconds 01:04 (quit) adu: Quit: adu 01:14 (quit) Kaylin: Read error: Connection reset by peer 01:28 (quit) deu5: Ping timeout: 248 seconds 01:29 (join) asvil 01:35 (join) ambrosebs 01:52 (join) niels1 01:59 (quit) ynniv: Quit: ynniv 02:08 (join) nilyaK 02:21 (quit) mithos28: Quit: mithos28 02:22 (join) mithos28 02:32 (join) mceier 02:34 (join) ewemoa 02:35 (quit) nilyaK: Quit: Leaving. 02:41 ewemoa: am having difficulty using net/url with a particular https url... http://pastie.org/private/yrqtslb9fdjjavyj1h1jhw any help? 02:49 (join) tfb 02:56 (join) hkBst 02:56 (quit) hkBst: Changing host 02:56 (join) hkBst 03:19 (quit) mithos28: Quit: mithos28 03:19 (join) agent-p 03:28 (join) bitonic 03:32 (join) mye 03:38 (quit) ambrosebs: Ping timeout: 245 seconds 03:44 (quit) bitonic: Ping timeout: 260 seconds 03:57 (quit) sid0: Remote host closed the connection 03:58 (quit) SeanTAllen: Ping timeout: 276 seconds 04:02 (join) hyko 04:05 (quit) dsantiago: Ping timeout: 245 seconds 04:06 (join) dsantiago 04:07 (quit) blubberdiblub: Ping timeout: 252 seconds 04:13 (join) sid0 04:14 (join) blubberdiblub 04:14 (join) SeanTAllen 04:22 (join) bitonic 04:33 (quit) jonrafkind: Ping timeout: 265 seconds 04:37 (join) mithos28 04:37 (join) neilv 04:41 (quit) tfb: Quit: sleeping 04:47 (quit) mithos28: Quit: mithos28 04:51 (join) tfb 04:53 (join) bitonic` 04:55 (quit) bitonic: Ping timeout: 255 seconds 04:57 (quit) agent-p: Remote host closed the connection 05:18 (quit) bitonic`: Ping timeout: 240 seconds 05:23 (quit) mceier: Ping timeout: 260 seconds 05:26 (join) bitonic` 05:35 (join) MightyFoo 05:40 (nick) MightyFoo -> tim-brown 05:45 (join) mceier 05:57 (join) masm 05:59 (quit) bitonic`: Ping timeout: 260 seconds 06:03 (join) bitonic` 06:04 (join) mithos28 06:04 (join) noelw 06:08 (quit) neilv: Quit: Leaving 06:12 (quit) bitonic`: Ping timeout: 240 seconds 06:14 (quit) mithos28: Quit: mithos28 06:16 (join) Fare 06:33 (join) bitonic` 06:47 (quit) hkBst: Ping timeout: 268 seconds 07:02 (join) hkBst 07:10 (quit) bitonic`: Ping timeout: 252 seconds 07:23 (join) bitonic` 07:24 (quit) mye: Quit: mye 07:29 (join) mithos28 07:30 (quit) bitonic`: Ping timeout: 246 seconds 07:39 (quit) mithos28: Quit: mithos28 07:42 (join) robby___ 07:47 (join) greghendershott 07:51 (join) shofetim 08:01 (join) untrusted 08:05 (join) P0 08:09 (join) bitonic` 08:20 (quit) hkBst: Ping timeout: 245 seconds 08:23 (join) hkBst 08:23 (quit) jschuster: Quit: Coyote finally caught me 08:23 (join) jeapostrophe 08:23 (quit) jeapostrophe: Changing host 08:23 (join) jeapostrophe 08:25 (quit) hkBst: Excess Flood 08:26 (join) hkBst 08:26 (join) mizu_no_oto 08:31 (quit) bitonic`: Ping timeout: 240 seconds 08:35 (join) bitonic` 08:35 (join) jschuster 08:36 (quit) asvil: Remote host closed the connection 08:38 (quit) bitonic`: Remote host closed the connection 08:39 (join) bitonic 08:41 (quit) robby___: Quit: robby___ 08:46 (quit) hkBst: Remote host closed the connection 08:46 (quit) Fare: Ping timeout: 252 seconds 08:49 (quit) errstr-: Ping timeout: 255 seconds 08:51 (join) hkBst 08:51 (quit) hkBst: Changing host 08:51 (join) hkBst 08:52 (join) errstr 08:53 (join) anRch 08:55 (join) mithos28 08:55 (quit) mithos28: Client Quit 08:55 (join) mye 08:56 (quit) shofetim: Remote host closed the connection 08:59 P0: hi 08:59 P0: ni how 08:59 (quit) P0: Quit: Page closed 09:03 (quit) hkBst: Read error: Connection reset by peer 09:04 (join) hkBst 09:04 (quit) hkBst: Changing host 09:04 (join) hkBst 09:06 (join) ambrosebs 09:13 (quit) jrslepak: Quit: What happened to Systems A through E? 09:33 (quit) ewemoa: Quit: Leaving. 09:35 (join) asvil 09:40 (quit) jschuster: Quit: Coyote finally caught me 09:48 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 09:52 (join) jschuster 10:00 (join) jrslepak 10:03 (quit) cdidd: Ping timeout: 268 seconds 10:07 (quit) anRch: Read error: Connection reset by peer 10:08 (join) anRch 10:10 (quit) jschuster: Quit: Coyote finally caught me 10:13 (quit) niels1: Quit: WeeChat 0.3.8 10:27 (quit) anRch: Quit: anRch 10:31 (join) mizu_no_oto 10:33 (join) jao 10:33 (quit) jao: Changing host 10:33 (join) jao 10:36 (join) jschuster 10:43 (quit) jeapostrophe: Ping timeout: 245 seconds 10:50 (join) agent-p 10:50 agent-p: Hello 10:57 (join) jitty 10:57 jitty: hello 11:01 (quit) mceier: Quit: leaving 11:02 (join) didi 11:03 didi: I think the statistical profile is not working with the last release. I get no report with it but I've just compiled v5.3 tag and now I get one. 11:03 didi: Could someone confirm this? 11:05 didi: A better description would be a "empty report". 11:08 (quit) jrslepak: Quit: What happened to Systems A through E? 11:11 asumu: didi: if you try running the program for longer, does it work? 11:15 (quit) hkBst: Ping timeout: 240 seconds 11:18 (join) jrslepak 11:19 (quit) noelw: Quit: noelw 11:20 (join) nilyaK 11:25 (quit) jitty: 11:27 (join) jeapostrophe 11:28 (join) jitty 11:28 (quit) jitty: Client Quit 11:29 (join) mithos28 11:30 (join) MayDaniel 11:32 didi: asumu: Nope. It doesn't seem to be a problem with the samples. I'm running the same program with v5.3 and v5.3.1 and although v5.3 runs faster, I get ~111 samples with v5.3.1 and ~70 with v5.3. 11:32 didi: 11:33 didi: I get the system wide version from a PPA, so it might be a problem there. 11:35 asumu: Hmm, strange, I don't know why that would happen. If you can provide an example program I can try running it. 11:35 didi: Here is the whole report from v5.3.1 . 11:36 didi: asumu: I will. Hold on. 11:39 (quit) ambrosebs: Ping timeout: 252 seconds 11:39 didi: asumu: Here 11:43 asumu: I get a report on both 5.3 and the git version I'm running. I'll try building a 5.3.1 and see what happens. 11:44 didi: asumu: Nice. I do too get with the v5.3 tag compiled from git. I do not get it though from PPA's v5.3.1. 11:46 (join) ambrosebs 11:46 (join) carleastlund 11:49 (quit) masm: Ping timeout: 245 seconds 11:54 (join) dyoo 11:57 dyoo: didi: cannot reproduce; I do see a profile that looks like this: http://paste.kde.org/606650/ 11:57 didi: dyoo: Dang. Are you using PPA's version? 11:58 dyoo: this is under 5.3.1 on Mac OS X. quick check: what happens if you try it with and without the jit? I've noticed that the profiler 11:58 dyoo: sometimes gives better results without the jit 11:58 dyoo: you can do: $ racket --no-jit ... 11:58 didi: dyoo: One sec. 11:59 (join) masm 11:59 didi: dyoo: Oops, I think I'll have to turn it down a little, hehe. 11:59 didi: Aha! 12:00 didi: Habemus report. 12:00 didi: That's strange. 12:00 dyoo: does it report a profile with and without the --no-jit thing? 12:00 didi: dyoo: It reports a profile with --no-jit. 12:01 dyoo: (just want to isolate the cause for lack of profile) 12:01 didi: Sure. 12:01 dyoo: 32 bit or 64 bit? 12:01 didi: I'm at 64 bits. 12:01 (quit) ambrosebs: Read error: Connection reset by peer 12:01 (join) ambrosebs 12:02 dyoo: Darn, my ubuntu box is back at home. I'll try to remember to try this out when I get back tonight. 12:02 (join) samth 12:02 didi: Thank you. 12:02 dyoo: didi: so the situation you're seeing, just to confirm, is that you're not getting a profile under 64-bit ubuntu when running that fib program, right? 12:03 dyoo: when the jit is enabled 12:03 didi: dyoo: Exactly. A even better description would be an "empty report", as it tells me the number of seconds it took and the number of samples, but not the procedures called. 12:06 (quit) agent-p: Remote host closed the connection 12:06 didi: dyoo: To more complete, I'm running Ubuntu 12.04. 12:06 didi: s/To/To be 12:07 dyoo: yup, I believe that's what I'm running at home. If anyone else can confirm that they're seeing the same lack of a profile, that'd be great. 12:08 (quit) masm: Ping timeout: 264 seconds 12:10 (join) mceier 12:13 (join) anRch 12:15 (quit) untrusted: Remote host closed the connection 12:16 (quit) ambrosebs: Ping timeout: 240 seconds 12:27 (join) masm 12:29 didi: News: I also get a report from git's v5.3.1 tag. So the problem is with PPA. 12:30 (quit) mithos28: Quit: mithos28 12:30 didi: I remember that something happened during the last release with the PPA, where it had to be re-released. 12:30 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 12:31 didi: I'll try to purge and reinstall racket. 12:33 didi: Nope, the issue remains. 12:35 didi: So I guess the problem is now narrowed down to Ubuntu's PPA, version 5.3.1, Ubuntu 12.04 x86_64. 12:35 (quit) asvil: Ping timeout: 276 seconds 12:36 didi: 12:37 bremner: that's more jonrafkind's ppa than ubuntu's iirc 12:37 dyoo: weird… what in the world could be causing that? 12:38 didi: bremner: Oh, right. I didn't mean to imply it was from Ubuntu. Just it was a PPA. I guess all PPAs are for Ubuntu. 12:38 didi: dyoo: I have no idea. :^( 12:38 bremner: yep, afaik it's ubuntu jargo 12:39 bremner: +n 12:39 (join) mithos28 12:41 bremner: hmm. I can check debian's 5.3.1. Not sure what kind of racket program to profile. 12:41 didi: bremner: Try 12:42 (join) mizu_no_oto 12:43 bremner: running man is running 12:43 didi: To the hills! 12:43 bremner: and I have a report 12:44 didi: bremner: It might be a problem only with the PPA then. 12:44 (join) ambrosebs 12:45 didi: Or only with my machine... :^( 12:49 (quit) mithos28: Quit: mithos28 12:56 (join) flying_rhino 12:57 flying_rhino: hello 12:58 (join) mammoth 12:58 mammoth: hello 12:59 (join) RacketCommitBot 12:59 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/WghkHg 12:59 RacketCommitBot: racket/master 032e1eb Danny Yoo: Add contract for run-tests. 12:59 (part) RacketCommitBot 13:01 (quit) flying_rhino: Ping timeout: 252 seconds 13:10 (quit) ambrosebs: Ping timeout: 245 seconds 13:11 (quit) dsantiago: Quit: Computer has gone to sleep. 13:15 (join) Blkt 13:16 (join) flying_rhino 13:17 (join) jonrafkind 13:19 (quit) mammoth: Ping timeout: 252 seconds 13:22 (quit) anRch: Quit: anRch 13:23 (join) mammoth 13:26 (quit) bitonic: Remote host closed the connection 13:26 (quit) flying_rhino: Ping timeout: 268 seconds 13:27 (quit) nilyaK: Quit: Leaving. 13:42 didi: Bummer... `curry' can slow things down. I got the same algorithm, without `curry', to run in 70% of the time of the original. Nah, that's fine. I'll miss `curry' though. 13:43 jonrafkind: there was some similar discussion on the list about how `compose' slows things donw 13:45 (join) ambrosebs 13:47 (join) bitonic 13:48 didi: In the other hand, the statistical profiler proved to be very useful. 13:52 (quit) bitonic: Remote host closed the connection 13:57 mammoth: are there plans to implement real threads here? 13:57 didi: mammoth: What do you mean? 13:57 mammoth: the ones that use multiple cores? 13:57 jonrafkind: mammoth, you can use places 13:58 mammoth: how do they differ from threads? 13:58 (join) wlsn 13:58 jonrafkind: they spawn the racket vm in a new thread 13:58 jonrafkind: and let you communicate with it over channels 14:02 (part) wlsn 14:10 (join) bitonic 14:24 (quit) ambrosebs: Ping timeout: 260 seconds 14:35 friscosam: /c/c 14:35 friscosam: dumb irc client 14:40 (quit) mizu_no_oto: Ping timeout: 248 seconds 14:40 (join) ambrosebs 14:41 (join) mizu_no_oto 14:44 mammoth: okay but I don't really see the reason for threads not working that way.... 14:49 didi: mammoth: (and (= Threads ConcurrencyIO) (not (= Threads Parallel-Computation))) , maybe. 14:50 mammoth: didi: why can't it be both? It is in Java. 14:50 didi: mammoth: I don't know. That's how things are historically. 14:50 didi: mammoth: That's how python does it. 14:51 mye: mammoth: the reason is probably that os threads can't be integrated with the language model 14:51 mammoth: mye: what's stopping it? 14:51 mammoth: mye: what part of the model is the problem? 14:52 asumu: I found a segfault, but thankfully it's probably not my fault. :p 14:52 didi: asumu: Hehe. 14:53 asumu: mammoth: it is difficult to rearchitect a VM that wasn't designed for concurrency from the ground up. 14:54 asumu: That's the problem as I understand it. Places is an experiment in adding concurrency without the need to rearchitect the whole system. 14:54 mammoth: asumu: I see 14:55 asumu: The paper on places has more details: http://www.cs.utah.edu/plt/publications/dls11-tsffd.pdf 15:06 (join) Shviller 15:21 (quit) ambrosebs: Ping timeout: 256 seconds 15:22 (quit) MayDaniel: Read error: Connection reset by peer 15:24 mye: what's the smartest way to reverse a string? Convert to list, reverse and back? 15:25 dyoo: question: why does it need to be reversed? 15:25 didi: mye: (make-string) and iterate until the middle? 15:27 mye: dyoo: I want to pass the reversed string to a function that iterates over a string 15:28 dyoo: It might be possible to return a "sequence" that does the in-place reverse for you. Give me a sec... 15:29 Cryovat: Looking at the docs, it doesn't look like there's a function for it 15:29 Cryovat: That feels like a weird omission :| 15:29 mye: Cryovat: that's what I thought 15:31 dyoo: https://gist.github.com/4074580 15:32 dyoo: here you go mye 15:32 dyoo: Not necessarily the right solution for you; it may depend whether it's worth it to avoid allocating a new string. 15:33 Cryovat: Hmm 15:33 Cryovat: dyoo: Why am I not stalking you on Github? 15:33 Cryovat: I Should 15:33 dyoo: um.. ok? :) 15:35 Cryovat: I need to sit down with Whalesong someday 15:36 dyoo: (and so do I. :) But I'm busy trying to hack Racket at the moment…) 15:39 mye: dyoo: thanks for the work you put in there, I could rewrite the function from recursive to sequence based 15:40 dyoo: mye: frankly, just doing (list->string (reverse (string->list str))) is probably fine. Use the statistical profiler later to see if you really need to avoid the allocation 15:40 dyoo: the code I posted above is cute but it might be overkill. :) 15:40 didi: Just for fun: http://paste.kde.org/606824/ 15:41 dyoo: didi: yup, looks good 15:41 didi: :^D 15:41 (quit) felipe: Ping timeout: 244 seconds 15:41 Cryovat: That feels like something that ought to be implemented in C :P 15:41 didi: Cryovat: Ugh. :^P 15:55 asumu: Really what we need here are iterators, and you just define a reverse iterator over strings... 15:55 asumu: (and have iterators implement gen:stream) 15:59 Cryovat: Sorry for the slight jump; 15:59 Cryovat: Does generics work in TR yet? 16:00 asumu: Cryovat: No, not yet. Still research to be done. 16:00 Cryovat: I think generics and contracts are both very cool 16:00 Cryovat: But they feel completely disconnected from TR :( 16:03 asumu: We do want to support generics in TR, but we want to get the generics design "right" before that too. 16:04 Cryovat: I do appreciate that 16:05 asumu: And part of that is using generics for more libraries. For example, there's a question of if we need some kind of multiple dispatch for it to be practical. 16:06 asumu: Or if there should be integration (and to what extent) with the class system. 16:07 Cryovat: Multiple dispatch in the sense that you could use it for hetrogenous lists and such? 16:08 asumu: But I agree it's frustrating that it's missing. I want to add support for stream/sequence operations for Hari's purely functional data structure library, for example. 16:08 (join) keller-ship 16:08 asumu: Cryovat: a good example is sets. Say you have tree and hash representations of sets that both implement a gen:set interface. 16:08 asumu: You can have an efficient implementation of union if both sets are trees or hashes, but not mixed. 16:09 asumu: So you'd like to be able to specify that the union method dispatches on both of its set arguments. 16:09 Cryovat: Ah, yeah, that makes sense 16:09 Cryovat: If that wasn't possible, much of the point would be gone 16:10 asumu: Yeah, at least for some data structures. Also, you can emulate it with double dispatch like you do in Java or C++. 16:14 Cryovat: I keep wishing I could contribute somehow :( 16:16 jonrafkind: write some examples for the docs :p 16:17 Cryovat: Maybe I can proofread :P 16:19 asumu: Cryovat: proofreading, examples, tutorials are all great. And there are code things on the github wiki page too. 16:20 asumu: Pull requests welcome. :) 16:21 Cryovat: I should do that, thanks :) 16:37 (join) shriphani 16:39 (quit) bitonic: Ping timeout: 268 seconds 16:41 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 16:42 (join) firefux 16:43 (join) anRch 16:50 (join) felipe 16:56 (quit) jonrafkind: Ping timeout: 252 seconds 17:00 (quit) keller-ship: Quit: Leaving 17:06 greghendershott: Did syntax-parse change since the paper, http://www.ccs.neu.edu/racket/pubs/icfp10-cf.pdf? 17:06 greghendershott: The example clause 17:06 greghendershott: ( ̃or field:identifier [internal:identifier field:identifier]) 17:07 greghendershott: gives me error: "syntax-parse: duplicate attribute in: field" 17:14 (join) Shvillr_ 17:14 (quit) Shviller: Disconnected by services 17:14 (nick) Shvillr_ -> Shviller 17:16 (quit) Shvillr: Ping timeout: 248 seconds 17:17 (join) Shvillr 17:19 asumu: greghendershott: hmm, seems to work for me. 17:20 (join) jonrafkind 17:20 asumu: You're looking at parse-field-declaration right? 17:21 (quit) tfb: Quit: sleeping 17:26 greghendershott: omfg, it's the ~ character in the copy from the PDF. 17:26 greghendershott: lol 17:27 asumu: Oh, hah. Yeah, I noticed the #' is different too. 17:27 didi: The statistical profiler is _very_ useful. It gets "confused" by named lets, but that's nothing to worry about. 17:28 greghendershott: I pasted into DrRacket, it warned about ligatures or other non-normal chars. I clicked Normalize. 17:29 greghendershott: But still had ̃or instead of ~or. Didn't notice. 17:30 (quit) hyko: Ping timeout: 260 seconds 17:30 greghendershott: *maybe won't put that experience in Fear of Macros tutorial* 17:31 didi: Also, dyoo is right. It gives you better results without the jit. 17:36 greghendershott: asumu: But how I got into copying from the PDF was after a pattern I'd written by hand — with normal chars — wasn't working for me. Giving me that same error 17:36 (join) hyko 17:36 greghendershott: It was: 17:36 (join) bitonic 17:36 greghendershott: (syntax-parse #'0 [(_ id:id ((~or arg:id [arg:id def:expr]) ...)) #'0]) 17:36 Cryovat: Sorry for the total digression here 17:37 Cryovat: But I have a C question (of all things) 17:37 Cryovat: Is there a common standard for naming methods that are effectively constructors and destructors? 17:38 didi: Cryovat: like foo_new()? 17:38 Cryovat: Yeah 17:39 didi: Cryovat: That's how GTK+ does it, for example. 17:41 Cryovat: What would the opposite be? 17:41 greghendershott: I vaguely recall seeing something like _foo_ctor and _foo_dtor generated by C++ compiler 17:41 greghendershott: ctor and dtor? 17:42 didi: Cryovat: In GTK+, _destroy. 17:42 Cryovat: Ok, I'll adhere to the GTK+ way 17:42 Cryovat: Thanks a lot :) 17:42 (part) firefux 17:43 Cryovat: greghendershott: I'm afraid I don't know C++ 17:43 Cryovat: I've been trying to avoid it 17:44 Cryovat: It feels so... big 17:44 (join) scott_ 17:46 greghendershott: asumu: OK it's related to the ellipses (the duplicate attribute error from syntax-parse). I'll spend more time with the docs and figure it out. (That was just a bizarre detour/coincidence that I got the same error message due to odd char in PDF copy.) 17:47 Cryovat: My general experience with papers has been that it's easier to just type out the code manually 17:51 (quit) samth: Ping timeout: 246 seconds 17:51 (quit) anRch: Quit: anRch 17:52 greghendershott: Cyrovat: If you ever had to learn C++ e.g. for some specific job, I think you'd be OK if you were comfortable with C and found a copy of Scott Meyers' Effective C++. Which is similar to JavaScript: The Good Parts. 17:55 asumu: greghendershott: hmm, that's weird, it works if you make that ~or clause a syntax class. 17:56 (join) dnolen 17:58 (quit) jonrafkind: Excess Flood 17:58 Cryovat: Thanks for the tip 17:58 Cryovat: I'll be on the lookout for it if the need arises 17:58 (join) jonrafkind 17:58 didi: From list to set: task done in 37% of the original time. Now that's a speedup. 17:59 greghendershott: asumu: I figured I'd get it working directly in the clause, before defining my first-ever syntax class. But I may as well jump directly to that. 18:00 greghendershott: Cryovat: It would not be an entirely bad thing if the need to learn C++ never arises. :) But you never know. 18:01 Cryovat: I have a very faint hope that Rust will be mature and popular enough by that time ;) 18:07 (quit) jeapostrophe: Ping timeout: 252 seconds 18:09 (join) ambrosebs 18:14 (quit) mye: Quit: mye 18:18 (join) cdidd 18:23 (quit) cdidd: Ping timeout: 265 seconds 18:25 (join) tfb 18:29 (quit) carleastlund: Quit: carleastlund 18:33 (quit) jrslepak: Quit: What happened to Systems A through E? 18:37 (join) cdidd 18:39 (join) nathanpc 18:40 (quit) ambrosebs: Ping timeout: 246 seconds 18:42 (quit) Shvillr: Ping timeout: 240 seconds 18:42 (join) Shviller 18:48 (join) samth 18:48 (quit) samth: Changing host 18:48 (join) samth 18:49 (join) neilv 18:49 (quit) neilv: Changing host 18:49 (join) neilv 18:50 (join) mizu_no_oto 18:57 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 19:02 (quit) masm: Quit: Leaving. 19:05 (join) Shvillr 19:09 (quit) didi: Ping timeout: 245 seconds 19:35 (quit) tfb: Quit: sleeping 19:49 (quit) Blkt: Quit: cya 19:49 (join) udzinari 19:50 udzinari: Hello folks, how can one use '#lang planet neil/sicp' from 'racket -i'? 19:52 (quit) Nisstyre: Quit: Leaving 19:52 (quit) dyoo: Quit: dyoo 19:52 (quit) jonrafkind: Ping timeout: 264 seconds 19:55 (join) Nisstyre 19:55 neilv: udzinari: neil/sicp is intended only for use with drracket, but you might be able to do it with: racket -p neil/sicp -i 19:59 udzinari: i see, thanks 19:59 (quit) udzinari: Remote host closed the connection 19:59 neilv: everyone can rejoin the channel now. we're done talking about sicp 20:07 neilv: anyone know how to disable the arrow in the upper-right corner? i don't see a preference for it 20:10 (join) jrslepak 20:20 (quit) mammoth: Read error: Connection reset by peer 20:21 (join) mammoth 20:43 (join) RacketCommitBot 20:43 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/m1hyJA 20:43 RacketCommitBot: racket/master 4cdcfd6 Ryan Culpepper: improve db tests 20:43 RacketCommitBot: racket/master 8db023c Ryan Culpepper: add string typeid for mysql char(N) fields... 20:43 RacketCommitBot: racket/master ab88a2a Ryan Culpepper: add table-based db tests... 20:43 (part) RacketCommitBot 20:48 (join) jeapostrophe 20:48 (quit) jeapostrophe: Changing host 20:48 (join) jeapostrophe 21:10 (quit) samth: Ping timeout: 265 seconds 21:14 (join) firefux 21:15 firefux: Hi, should I start with HtDP 1st-Edition or 2nd-Edition? 21:16 (quit) jeapostrophe: Ping timeout: 255 seconds 21:16 (quit) nathanpc: Quit: Computer has gone to sleep. 21:25 offby1: 2nd definitely 21:25 offby1: I haven't read both but I'm sure nevertheless 21:32 (join) mizu_no_oto 21:33 firefux: offby1: ok cool, was asking because the 2e is still a work in progress 21:33 offby1: ooh, good point. 21:34 offby1: Still, give it a try. I'd expect that those bits that exist at all are good. 21:34 firefux: ok 21:35 (quit) jschuster: Ping timeout: 264 seconds 21:37 (join) RacketCommitBot 21:37 RacketCommitBot: [racket] plt pushed 8 new commits to master: http://git.io/03plfg 21:37 RacketCommitBot: racket/master d99888d Matthew Flatt: x86_64: more direct thread-local access in JIT... 21:37 RacketCommitBot: racket/master f1807d2 Matthew Flatt: JIT: skip an unused load 21:37 RacketCommitBot: racket/master 335711b Matthew Flatt: tweak JIT-inlined `cons'... 21:37 (part) RacketCommitBot 21:53 asumu: firefux: most of the important parts of 2e are already written. 21:53 asumu: And if you get far enough for the difference to matter, you can switch to reading the 1st edition. 21:54 asumu: The 2nd edition is much better, IMHO. 22:05 (join) flying_rhino 22:09 (quit) mammoth: Ping timeout: 244 seconds 22:23 (quit) bitonic: Ping timeout: 260 seconds 22:33 (join) mammoth 22:36 (quit) flying_rhino: Ping timeout: 272 seconds 22:37 (join) aezx 22:37 aezx: hi 22:39 asumu: aezx: hi 22:44 aezx: im having trouble understanding racket threads 22:47 asumu: What in particular? 22:47 aezx: http://pastebin.com/wXqF24cC 22:47 (join) mithos28 22:47 aezx: hey mithos 22:48 aezx: asumu, I'm wondering why that doesnt return 1 2 1 2 1, instead of 1 1 1 1 1 22:48 mithos28: hello aezx 22:49 asumu: aezx: because you didn't give the `thread` form a thunk. 22:49 asumu: You called the expression that prints endlessly. 22:49 asumu: You need to wrap it in a lambda. 22:49 aezx: would it be too much to ask for an example? I understand what you're saying, but it'd be easier to "get" if I could see it 22:50 mithos28: (thread (lambda () (printf "from the thread"))) 22:50 mithos28: thread is just a function not a special form. It needs to evaluate its argument 22:51 (quit) SamB_MacG5: Ping timeout: 264 seconds 22:51 mithos28: is racket's scheduler fair in any sense? 22:51 aezx: ok, I think I get it 22:51 aezx: yeah 22:51 asumu: rudybot: eval (define (loop) (loop)) (thread (lambda () (loop))) (thread (lambda () (loop))) 22:51 rudybot: asumu: ; Value: # 22:51 asumu: Hmm, I guess it won't give a timeout error. 22:52 (join) SamB_MacG5 22:52 mithos28: rudybot: eval (define (loop) (loop)) (sync (thread (lambda () (loop))) (thread (lambda () (loop)))) 22:52 rudybot: mithos28: your sandbox is ready 22:52 rudybot: mithos28: error: with-limit: out of time 22:53 offby1: ^-: 22:54 mithos28: offby1: What protections does rudybot have outside of the racket sandboxing mechanisms? 22:56 aezx: alright, it works now. 22:56 aezx: its much easier to understand why it wasnt working before now that it works now 22:56 aezx: thanks again, you were a huge help 22:56 (part) aezx: "Leaving" 22:57 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 23:02 offby1: mithos28: that's pretty much it 23:03 (join) jonrafkind 23:03 mithos28: I wonder how hard it would be to hack it then 23:09 (join) ambrosebs 23:09 offby1: have at it 23:09 offby1: just, if you do break something, let me and/or Eli know 23:09 mithos28: oh breaking it is easy, the issue is getting it to do something useful 23:10 mithos28: rudybot: init typed/racket 23:10 rudybot: mithos28: error: with-limit: out of time 23:10 mithos28: rudybot: init typed/racket 23:10 rudybot: mithos28: error: with-limit: out of time 23:10 mithos28: for example starting background threads 23:10 mithos28: rudybot: (+ 1 1) 23:11 rudybot: mithos28: error: with-limit: out of time 23:11 offby1: one easy way to break it: download the code, look for "TODO" :-( 23:11 offby1: rudybot: (+ 1 1) 23:11 rudybot: *offby1: your sandbox is ready 23:11 rudybot: *offby1: ; Value: 2 23:11 offby1: *shrug* 23:11 offby1: :-) 23:11 mithos28: rudybot: (+ 1 1) 23:11 rudybot: mithos28: error: with-limit: out of time 23:11 mithos28: stupid thread groups 23:11 offby1: you appear to have broken your own sandbox. 23:12 offby1: do "rudybot: init racket" to clear it out 23:12 mithos28: rudybot: init racket 23:12 rudybot: mithos28: your sandbox is ready 23:12 mithos28: I don't think that works 23:12 mithos28: oh 23:12 offby1: let's see 23:12 mithos28: rudybot: init typed/racket 23:12 rudybot: mithos28: error: with-limit: out of time 23:12 mithos28: rudybot: (+ 1 1) 23:13 rudybot: mithos28: error: with-limit: out of time 23:13 offby1: hmph 23:13 offby1: that seems like a real live bug 23:13 mithos28: that wasn't going to be my attack even 23:20 (quit) mammoth: Quit: KVIrc 4.0.4 Insomnia http://www.kvirc.net/ 23:23 (join) jschuster 23:27 (join) ewemoa 23:28 ewemoa: seem to be having problems fetching a particular https url using get-pure-port in net/url -- works from a browser, but i get diff results programmatically: http://pastie.org/private/yrqtslb9fdjjavyj1h1jhw -- any ideas how to investigate further? 23:30 (quit) greghendershott: Quit: Leaving. 23:33 mithos28: Thats interesting 23:37 mithos28: it would be interesting to see what the request that racket is making 23:37 mithos28: do you know what wireshark is? 23:37 ewemoa: yes i used it to take a look 23:37 ewemoa: but we're talking about ssl here 23:39 mithos28: can wireshark not decode that? Isn't that a level below where it hooks in? 23:39 ewemoa: haven't investigated -> "The SSL dissector is fully functional and even supports advanced features such as decryption of SSL if the encryption key can be provided and Wireshark is compiled against GnuTLS (rather than OpenSSL or bsafe)." 23:40 mithos28: Its likel an empty user-agent string 23:41 mithos28: curl https://tools.ietf.org/rfc/rfc2616.txt -A '' 23:41 mithos28: that fails for me in the same way 23:41 ewemoa: thanks 23:41 mithos28: and get-pures-port allows you to pass headers in 23:42 mithos28: so I think that should be an easy solution (if it works) 23:42 ewemoa: will take a look -- thanks for the lead and hints :)