00:05 (quit) jeapostrophe: Ping timeout: 245 seconds
00:05 (quit) kvda: Quit: x__x
00:27 (join) kvda
00:27 (join) mithos28
00:59 (quit) Cryovat: Ping timeout: 240 seconds
01:28 (quit) yoklov: Quit: bye!
02:02 (join) hkBst
02:27 (quit) kvda: Quit: x__x
02:27 (join) neilv
02:32 (join) jeapostrophe
02:32 (quit) jeapostrophe: Changing host
02:32 (join) jeapostrophe
02:39 (quit) mithos28: Quit: mithos28
02:53 (quit) jeapostrophe: Read error: Operation timed out
02:56 (join) mithos28
02:58 neilv: exception raised by error display handler: srcloc: expected argument of type <exact non-negative integer or #f>; given: -1; original exception raised: argument: expected keyword or expected the literal #f
02:59 neilv: i'm pretty sure that error is coming from syntax-parse (used not during transform phase), but the context info has been thrown away
03:04 (quit) mithos28: Quit: mithos28
03:06 (join) mithos28
03:07 (quit) jonrafkind: Ping timeout: 252 seconds
03:21 (quit) Kaylin: Quit: Leaving.
03:24 (join) nilyaK
03:43 (join) __rahul__
04:07 (quit) ASau`: Remote host closed the connection
04:08 (join) ASau`
04:11 (join) antithesis
04:27 (quit) nilyaK: Quit: Leaving.
04:39 (join) Skola
04:39 (join) Skola_
04:39 (quit) Skola_: Client Quit
04:39 (quit) antithesis: Ping timeout: 240 seconds
04:40 (join) antithesis
04:55 (quit) __rahul__: Quit: Leaving
05:32 (quit) jhemann_: Ping timeout: 245 seconds
05:43 (join) noelw
05:44 (join) plobzik
05:46 (quit) plobzik: Read error: Connection reset by peer
05:46 (join) bitonic
05:47 (quit) bitonic: Client Quit
05:47 (join) bitonic
05:49 (quit) bitonic: Client Quit
05:49 (join) bitonic
06:00 (quit) noam: Read error: Connection reset by peer
06:00 (join) noam
06:16 (join) masm
06:38 (quit) noam: Read error: Connection reset by peer
06:38 (join) noam
07:07 (quit) antithesis: Remote host closed the connection
07:08 (join) antithesis
07:16 (quit) neilv: Quit: Leaving
07:17 (join) mceier
07:29 (join) flying_rhino
07:59 (quit) cataska: Quit: leaving
08:03 (join) tfb
08:06 (join) jeapostrophe
08:06 (quit) jeapostrophe: Changing host
08:06 (join) jeapostrophe
08:09 (join) kanak
08:14 (join) cataska
08:23 (join) bluezenix
08:26 (quit) kanak: Quit: Leaving.
08:26 (quit) bitonic: Quit: WeeChat 0.3.5
08:26 (join) bitonic
08:31 (join) acarrico
08:42 (join) zyoung
09:02 (join) kanak
09:13 (join) RacketCommitBot
09:13 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/zovDZw
09:13 RacketCommitBot: [racket/master] remove obsolete and unused MysterX doc sources - Matthew Flatt
09:13 RacketCommitBot: [racket/master] fix a test suite to work on its own - Matthew Flatt
09:13 (part) RacketCommitBot
09:25 (quit) tfb: Ping timeout: 250 seconds
09:26 (join) Shvillr_
09:26 (nick) Shvillr_ -> Shviller
09:27 (join) tfb
09:46 (quit) jeapostrophe: Ping timeout: 240 seconds
09:53 (join) dnolen
09:56 (quit) mithos28: Quit: mithos28
10:00 (join) gridaphobe
10:13 (quit) bluezenix: Quit: Leaving.
10:19 (quit) SHODAN: Remote host closed the connection
10:24 (join) SHODAN
10:44 (join) pmatey
10:45 samth: rudybot: (for/first ([i (in-naturals) #:when (> i 100)) i)
10:45 rudybot: samth: eval (for*/list ((i in-naturals) (x (in-value (* i 2))) #:when (< x 100)) x)
10:45 samth: rudybot: eval (for/first ([i (in-naturals) #:when (> i 100)) i)
10:45 rudybot: samth: error: #<undefined>:1:45: read: missing `]' to close preceding `[', found instead `)'
10:45 samth: rudybot: eval (for/first ([i (in-naturals)] #:when (> i 100)) i)
10:45 rudybot: samth: ; Value: 101
10:45 samth: asumu: see, that iterates a lot
10:50 (quit) pmatey: Ping timeout: 246 seconds
10:51 (quit) hkBst: Quit: Konversation terminated!
10:52 (join) jeapostrophe
10:52 (quit) jeapostrophe: Changing host
10:52 (join) jeapostrophe
11:10 (quit) bitonic: Quit: WeeChat 0.3.5
11:14 (quit) dnolen: Ping timeout: 265 seconds
11:14 (join) yoklov
11:15 (quit) jrslepak: Quit: This computer has gone to sleep
11:17 (join) djcb
11:20 (quit) noam: Read error: Connection reset by peer
11:20 (join) noam
11:30 (quit) djcb: Ping timeout: 260 seconds
11:40 (quit) noam: Read error: Connection reset by peer
11:40 (join) noam
12:00 (join) bitonic
12:06 (quit) noelw: Quit: noelw
12:11 stamourv: jonrafkind: "Where are you going with those types?" was only a talk, there was no paper with it.
12:11 stamourv: "Languages as Libraries" is the one to cite for TR optimization.
12:12 stamourv: "Typing the Numeric Tower" (PADL12) also has stuff about numeric optimizations specifically.
12:13 samth: stamourv: there's an abstract that appears in University of Utrecht Tech Report 2010-020 http://www.cs.uu.nl/research/techreps/UU-CS-2010-020.html
12:15 stamourv: Right, but why cite that?
12:17 samth: no reason -- just pointing out its existence
12:25 (join) jonrafkind
12:34 (join) JoelMcCracken
12:37 (join) mithos28
12:42 (quit) noam: Read error: Connection reset by peer
12:42 (join) noam
12:42 (quit) dented42: Quit: Computer has gone to sleep.
12:45 (quit) noam: Read error: Connection reset by peer
12:45 (join) noam
12:46 (quit) noam: Read error: Connection reset by peer
12:46 (join) noam
13:01 (quit) tfb: Quit: sleeping
13:06 (quit) yoklov: Quit: computer sleeping
13:22 (quit) bitonic: Quit: WeeChat 0.3.5
13:51 (join) yoklov
14:12 (join) anRch
14:14 (join) RacketCommitBot
14:14 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/wwso6w
14:14 RacketCommitBot: [racket/master] Doc fixes. - Vincent St-Amour
14:14 (part) RacketCommitBot
14:21 samth: stamourv: looks like you really broke things now :)
14:24 (join) ssbr_
14:27 (quit) ssbr: Ping timeout: 252 seconds
14:28 (quit) friscosam: Quit: utf8
14:29 (join) sajith
14:38 (join) dented42
14:38 (join) friscosam
14:45 (quit) friscosam: Quit: Changing server
14:47 (join) friscosam
14:48 (quit) friscosam: Client Quit
14:54 (quit) gridaphobe: Remote host closed the connection
15:00 stamourv runs
15:00 (nick) ssbr_ -> ssbr
15:08 (join) tfb
15:09 (quit) anRch: Quit: anRch
15:22 (join) bitonic
15:26 (quit) tfb: Quit: sleeping
15:30 (quit) bitonic: Quit: WeeChat 0.3.7
15:31 (join) bitonic
15:36 sajith: what's wrong with the way i use "judgment-holds"?
15:36 sajith: (judgement-holds  (types . ((λ (x) x) 2) int))
15:36 sajith: gives error: "read: illegal use of `.'"
15:37 asumu: sajith: probably the '.'
15:37 asumu: Why do you have it there?
15:38 sajith: umm, I really don't know -- I thought "." is built-in for empty type environment..
15:39 ChibaPet: I dislike that I can't force my GTK-based applications to type λ for me.
15:39 asumu: Oh okay, no . usually is used to construct cons pairs.
15:39 asumu: sajith: you probably want to use () or whatever your redex model uses as the empty environment.
15:39 (join) RacketCommitBot
15:39 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/FJte_w
15:39 RacketCommitBot: [racket/master] added line numbers to the syncheck test cases (and removed bogus comment) - Robby Findler
15:39 RacketCommitBot: [racket/master] change the contract opter so that unknown contracts don't pretend to be flat - Robby Findler
15:39 (part) RacketCommitBot
15:39 asumu: If you want to use a "." then you can enter a unicode center dot.
15:40 asumu: i.e., ·
15:40 asumu: (to be honest, don't do that)
15:40 sajith: asumu: ah. :)
15:40 asumu: (unless you're okay with typing weird unicode letters a bunch of times ;) )
15:42 sajith: (types () ((λ (x) x) 2) int) gives "illegal use of syntax"
15:43 asumu: sajith: judgement-holds takes a judgment name as the first argument, a term as the second.
15:43 asumu: You're only providing one argument.
15:43 asumu: I think you want something like (judgment-holds types ...)
15:44 chandler: ChibaPet: I think you could probably get an easy λ key by futzing around with xkb
15:45 jonrafkind: whats wrong with drdr now
15:45 ChibaPet: I'll look. I tried editing the default mapping file, and I tried forcing XIM, and both failed in different ways.
15:45 chandler: ChibaPet: http://canonical.org/~kragen/setting-up-keyboard.html looks like a possible starting point
15:45 chandler: aha, and there's even a reference there about how to get XIM working with GTK, but maybe that's what didn't work for you
15:46 sajith: asumu: well, I used "(judgement-holds iswim+Γ (types () ((λ (x) x) 2) int))"
15:46 ChibaPet: chandler: I'm using UTF-8 now, but the issue is that gnome-terminal and xfce4-terminal are scim users, not xim users, and they seem to ignore the standard places where you specify mappings. If I launch urxvt, for instance, it's happy reading my .XCompose stuff.
15:46 asumu: sajith: Oh, I see. You need to wrap (types () ...) in `term`.
15:46 ChibaPet: chandler: That said, I didn't see that particular article, so I'll give it a read in case they have clues for me.
15:47 ChibaPet: (When I force XIM with "export GTK_IM_MODULE=xim" I lose my compose key. I'll dig deeper. And sorry for the off-topicness. I just have λ-envy.)
15:48 chandler: (it's not really *that* off-topic)
15:49 asumu: OT is fine. This channel isn't that active anyway.
15:50 ChibaPet: If I said it in #lisp, Xach would yell at me. I'm touchy about chatting in these ivory-tower channels.
15:50 jonrafkind: the internet is serious business
15:51 (quit) dented42: Quit: Computer has gone to sleep.
15:51 (quit) yoklov: Quit: computer sleeping
15:52 ChibaPet: Ooh, lower-case parens... I like that idea a lot.
16:09 (quit) bitonic: Quit: WeeChat 0.3.7
16:15 (join) RacketCommitBot
16:15 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/fwAHww
16:15 RacketCommitBot: [racket/master] Fixed discrete-histogram gap and bounds calculation, expanded docs - Neil Toronto
16:15 (part) RacketCommitBot
16:19 (join) friscosam
16:20 (join) yoklov
16:22 ChibaPet: Oho! I found my problem.
16:23 ChibaPet: With GTK_IM_MODULE=xim, GTK apps see that I hadn't removed Mod4 from my Super_L (which is my compose) and they didn't like it one bit.
16:25 chandler: ah, that sounds "reasonable".
16:26 ChibaPet: Now I can type λ to my heart's content. And some other things.
16:27 ChibaPet: And I loved that trick for swapping parens and square brackets.
16:32 ChibaPet: Alright, it's ≈ time for me to go! ♫   ☮
16:46 (quit) masm: Quit: Leaving.
17:02 (join) sepuku
17:02 (join) sethalves
17:08 (join) bluezenix
17:15 (join) pmatey
17:25 (quit) bluezenix: Quit: Leaving.
17:43 (join) tfb
17:47 (join) bitonic
17:47 (quit) pmatey: Ping timeout: 272 seconds
17:55 (join) dented42
17:56 (join) Fare
17:58 (quit) tfb: Quit: sleeping
17:59 (join) tfb
18:00 (quit) tfb: Client Quit
18:01 (join) darkf
18:01 (join) FreeFull
18:02 FreeFull: Can anybody tell me why the following code only opens a blank window? http://paste2.org/p/2002337
18:06 jeapostrophe: jonrafkind: time probleme, fixed now
18:06 jonrafkind: ok
18:09 (quit) dented42: Ping timeout: 260 seconds
18:11 (quit) kanak: Ping timeout: 245 seconds
18:12 (join) RacketCommitBot
18:12 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/jqnwkQ
18:12 RacketCommitBot: [racket/master] Added plot-x-tick-label-angle, plot-x-tick-label-anchor, and similar for y and far axes - Neil Toronto
18:12 (part) RacketCommitBot
18:15 (quit) yoklov: Quit: computer sleeping
18:19 (join) dented42
18:28 (quit) zyoung: Read error: Operation timed out
18:33 (quit) JoelMcCracken: Ping timeout: 250 seconds
18:39 (quit) jeapostrophe: Ping timeout: 245 seconds
18:47 (quit) flying_rhino: Read error: No route to host
19:06 (join) zyoung
19:06 (quit) Lunaqus: Ping timeout: 260 seconds
19:06 (join) __Isaac__
19:08 asumu: FreeFull: Because refresh-now erases the canvas prior to redrawing.
19:08 asumu: What you want to do is provide a paint-callback instead.
19:08 asumu: Either to refresh-now or as an init argument for canvas%.
19:09 FreeFull: asumu: Cheers
19:10 FreeFull: asumu: What is the purpose of the get-dc method for the canvas?
19:10 jonrafkind: why wouldnt he just be able to draw directly to a dc and have it show up
19:12 (join) Cryovat
19:13 (quit) mceier: Quit: leaving
19:15 (quit) dented42: Quit: Computer has gone to sleep.
19:15 (join) dented42
19:16 __Isaac__: I am working on the "More: Systems Programming with Racket" server example.
19:16 __Isaac__: After implementing threading, while testing with `siege -c 20 localhost:9999/`, I am getting errors:  socket: read error Connection reset by peer.
19:16 asumu: jonrafkind, FreeFull: because as soon as the canvas is refreshed, it will be erased.
19:16 jonrafkind: oh, because hes not adding a text widget hes drawing directly to it
19:16 jonrafkind: well thats sort of absurd
19:17 __Isaac__: Any suggestions how to improve performance of the http server example?
19:18 asumu: FreeFull: get-dc can still be useful. For example, maybe you want to set the brush, pen, or foreground outside of a paint callback.
19:18 asumu: But in most cases, you probably just need the callback.
19:19 asumu: __Isaac__: what version are you using? ISTR Jay saying he fixed something recently which might affect this.
19:21 (quit) __Isaac__: Ping timeout: 245 seconds
19:22 (quit) kreol[Ukr]: Ping timeout: 246 seconds
19:26 (join) abbe
19:29 (quit) noam: Ping timeout: 245 seconds
19:30 (quit) bitonic: Quit: WeeChat 0.3.7
19:35 (quit) jonrafkind: Read error: Operation timed out
19:37 (quit) Cryovat: Quit: WeeChat 0.3.7
19:40 (join) noam
19:40 (join) jrslepak
19:43 (join) Cryovat
19:58 asumu: Somewhat OT: I did some work to make this Wikipedia article section better: http://en.wikipedia.org/wiki/Macro_(computer_science)#Syntactic_macros
19:58 asumu: If anyone else wants to contribute, have at it. It needs lots of expansion and more citations.
19:59 (join) kvda
20:01 (quit) sepuku: Ping timeout: 252 seconds
20:03 (join) Lunaqus
20:03 (join) sepuku
20:40 bremner: hehe he said expansion hehe
20:46 (join) jeapostrophe
20:56 (quit) jeapostrophe: Read error: Operation timed out
21:15 (join) dnolen
21:21 (join) nilyaK
21:26 (join) neilv
21:29 (join) jeapostrophe
21:29 (quit) jeapostrophe: Changing host
21:29 (join) jeapostrophe
21:42 (quit) FreeFull: Ping timeout: 248 seconds
21:44 (join) FreeFull
21:56 (quit) kvda: Ping timeout: 260 seconds
21:59 (join) kvda
22:12 (quit) dented42: Quit: Computer has gone to sleep.
22:16 (join) dented42
22:22 (quit) kvda: Quit: Computer has gone to sleep.
22:25 (join) stuntisaac
22:25 (join) kvda
22:31 stuntisaac: What would it take to implement a SPDY webserver?
22:31 darkf: sockets
22:32 darkf: oh look at that, SPDY is GsoC idea.
22:33 stuntisaac: I know the server would need to implement Next Protocol Negotiation but I don't know where to start
22:39 (quit) dented42: Ping timeout: 244 seconds
22:54 neilv: looks like scribble "interaction" doesn't actually use both "racketinput" and "racketresult"
22:59 (join) jonrafkind
23:03 neilv: i've been doing it like   (racketinput X #,(racketresult Y))  which formats almost exactly right, except that Y is indented by the width of X's prompt
23:10 (quit) jeapostrophe: Ping timeout: 240 seconds
23:13 (join) dented42
23:17 (quit) karswell: Remote host closed the connection
23:17 (quit) stuntisaac: Quit: Page closed
23:18 (quit) Fare: Quit: Leaving
23:27 (join) karswell