00:02 friscosam: sasasdasdasd 00:03 friscosam: oops 00:13 (join) jeapostrophe 00:13 (quit) jeapostrophe: Changing host 00:13 (join) jeapostrophe 00:21 asumu: eli: Hi, saw your email and just replied. 00:22 eli: asumu: yeah, that's the best I could think of. 00:22 eli: But I wouldn't surprised if nothing comes out of it. 00:25 asumu: eli: BTW, do you think it would be beneficial to merge DrRacket into a section of Racket? (and leave a redirect) 00:26 asumu: As it stands, the DrRacket article is rather short and maybe not useful standalone. 00:26 asumu: I suspect part of the C rating is article length. 00:28 (quit) jeapostrophe: Ping timeout: 245 seconds 00:29 eli: asumu: I don't have an opinion on that... 00:29 asumu: Alright. In that case I may just do it. Unless do you think anyone else will? 00:29 eli: (And if length is an issue, that would be easy to fix...) 00:29 eli: Maybe ask on the list? 00:30 asumu: Ok. 00:31 eli: (Actually, it looks short compared to what it does, that maybe should be extended...) 00:31 (join) kreol[Ukr] 00:39 asumu: In that case, it could just be a fairly large section of the Racket article. 00:39 asumu: Seeing how gigantic articles like "Firefox" are, I think that's the way to go. 00:39 eli: But that would be distracting from the main subject... 00:40 eli: Actually that firefox page has a bunch of things that could be added to racket. 00:40 eli: A chronology of major features + dates/versions that they were added. 00:41 eli: Licensing. 00:41 eli: Standards. 00:41 eli: Early history. 00:42 eli: Portability. 00:42 asumu: That's true. Though I actually find the Firefox page ridiculously detailed about things like versioning. 00:42 asumu: I wonder if it's really necessary. 00:43 asumu: But yes, definitely the general outline is applicable and we could fill it up quite quickly. 00:44 jonrafkind: asumu, internet 101: post links 00:44 asumu: Oh sorry. 00:44 eli: You could probably get a bunch of people to help, if each is writing some specific part. 00:45 jonrafkind: asumu, did you write the C hygiene issue? 00:46 jonrafkind: the C example on the hygienic macro page 00:46 asumu: jonrafkind: Nope. 00:46 asumu: That was there when I started working on it. 00:46 jonrafkind: oh ok, well its terrible, maybe ill think of a better one 00:46 asumu: Argh, I forgot the macro page links. I need to sleep. 00:47 (topic) -: Racket -- http://racket-lang.org -- logs at http://racket-lang.org/irc-logs/ 00:47 (names) -: gabot kreol[Ukr] nilyaK ASau mithos28 Kaylin noam jonrafkind zyoung dgs ssbr jrslepak surrounder duomo maahes Nisstyre aalix snorble_ Shvillr Quetzalcoatl_ cataska eMBee ivan\ jrslepak_neu jamessan jschuster hyko dsp_ bremner_ Cryovat rotty_ kandinski danking mario-goulart gf3 tauntaun dlind basepi tewk ChibaPet DraX errstr cky offby1 rapacity @ChanServ stchang DGASAU chemuduguntar sajith stamourv 16SAA4ITF ivan` karswell eli Shambles_ Lunaqus abbe 00:47 (names) -: sethalves friscosam SHODAN acarrico wtetzner em sharkbird dsantiago chandler asumu bremner otterdam bill_h SeanTAllen rudybot aidy cipher rajathshetty samth_away ozzloy 00:48 jonrafkind: you didn't have to mention my name :p 00:48 jonrafkind: oh well, whats done is done 00:48 asumu: Oh, I was trying to give credit. Ah well. 00:48 jonrafkind: someone complained to me last time i publically asked for a link on the mailing list, they replied back with a 'let me google that for you' response 00:48 jonrafkind: which is imo the epitomy of asshattery 00:49 jonrafkind: actually you know who it is because the response is public 00:49 asumu: If I felt like looking it up anyway. Anyway, it's a fair point and I appreciate you pointing it out. 00:51 jonrafkind: eli, ping 00:51 eli: jonrafkind: Yeah, that works. 00:51 jonrafkind: k 00:51 eli: (Some problem with threads in the bot.) 00:57 (quit) nilyaK: Quit: Leaving. 01:03 (quit) zyoung: Remote host closed the connection 01:24 (quit) Kaylin: Read error: Connection reset by peer 01:37 (quit) kreol[Ukr]: Ping timeout: 260 seconds 02:11 (join) jeapostrophe 02:25 (quit) jeapostrophe: Ping timeout: 245 seconds 02:32 (join) hkBst 02:33 (quit) Lunaqus: Ping timeout: 246 seconds 02:34 (join) kvda 02:39 (join) Jesque 02:48 (join) plobzik 02:48 (join) Shviller 02:50 (quit) plobzik: Read error: Connection reset by peer 02:51 (quit) 16SAA4ITF: Ping timeout: 240 seconds 02:57 (quit) hkBst: Remote host closed the connection 02:57 (join) hkBst 02:57 (quit) hkBst: Changing host 02:57 (join) hkBst 03:07 (join) anonus 03:17 (join) Skola 03:18 (join) Skola_ 03:18 (quit) Skola_: Client Quit 03:22 (quit) karswell: Remote host closed the connection 03:29 (join) noelw 03:32 (join) karswell 03:38 (quit) jonrafkind: Ping timeout: 272 seconds 03:39 (join) bitonic 03:43 (quit) mithos28: Quit: mithos28 03:56 (quit) bremner_: Ping timeout: 248 seconds 03:57 (join) bremner- 03:57 (join) mceier 04:06 (quit) ASau: Remote host closed the connection 04:07 (join) ASau 04:15 (join) hkBst_ 04:17 (join) asumu_ 04:20 (join) jamessan` 04:21 (quit) Skola: Quit: Lost terminal 04:21 (quit) hkBst: *.net *.split 04:21 (quit) jamessan: *.net *.split 04:21 (quit) asumu: *.net *.split 04:22 (join) nilyaK 04:30 (join) ahinki 04:39 (nick) Jesque -> Lunaqus 04:50 (quit) kvda: Quit: Computer has gone to sleep. 05:11 (quit) bitonic: Quit: WeeChat 0.3.7 05:25 (nick) jamessan` -> jamessan 05:35 (join) ahinki_ 05:36 (join) ahinki__ 05:37 (quit) ahinki: Ping timeout: 245 seconds 05:39 (quit) ahinki_: Ping timeout: 245 seconds 06:08 (join) masm 06:09 (join) kvda 06:39 (quit) kvda: Ping timeout: 260 seconds 06:43 (join) kvda 06:49 (join) tfb 06:50 (join) bitonic 06:55 (quit) bitonic: Remote host closed the connection 06:56 (join) bitonic 07:14 (quit) kvda: Quit: Computer has gone to sleep. 07:29 (join) kvda 07:31 (join) Skola 07:31 (quit) Skola: Client Quit 07:33 (quit) bitonic: Remote host closed the connection 07:34 (join) bitonic 07:59 (quit) kvda: Quit: Computer has gone to sleep. 08:16 (quit) duomo: Quit: Linkinus - http://linkinus.com 08:18 (join) kanak 08:20 (join) kvda 08:22 (join) kreol[Ukr] 08:43 (join) zyoung 08:45 (join) jeapostrophe 08:45 (quit) jeapostrophe: Changing host 08:45 (join) jeapostrophe 08:58 kreol[Ukr]: /msg NickServ identify 1123581321 08:59 bremner: oops 09:04 (join) Kaylin 09:21 bitonic: eheh. 09:22 (join) dnolen 09:23 (join) plobzik 09:25 (quit) plobzik: Read error: Connection reset by peer 09:29 (quit) Shvillr: Ping timeout: 265 seconds 09:30 (join) Shvillr 09:33 (nick) ahinki__ -> ahinki 09:34 (nick) asumu_ -> asumu 09:34 (join) asumu 09:50 (quit) kreol[Ukr]: Ping timeout: 246 seconds 09:59 (quit) noam: Read error: Connection reset by peer 10:06 (quit) ASau: Remote host closed the connection 10:08 (join) ASau 10:11 (nick) samth_away -> samth 10:29 (join) RacketCommitBot 10:29 RacketCommitBot: [racket] plt pushed 6 new commits to master: http://git.io/E5wXbg 10:29 RacketCommitBot: [racket/master] Link to racketcon from the community page. - Eli Barzilay 10:29 RacketCommitBot: [racket/master] Recommend using `racket' rather than `gracket-text' in the handin quickstart. - Eli Barzilay 10:29 RacketCommitBot: [racket/master] No need to use a new 'at-exp-prop property to identify newlines - Eli Barzilay 10:29 (part) RacketCommitBot 10:29 (quit) Kaylin: Ping timeout: 256 seconds 10:34 (join) fathernelson 10:45 fathernelson: Hey guys, not really a 'scheme' question, per se, but what is a good website to copy/paste/share code snippets on the net? 10:45 (quit) kvda: Quit: Computer has gone to sleep. 10:45 asumu: fathernelson: https://gist.github.com/ 10:45 jeapostrophe: fathernelson: github gists 10:46 asumu: also http://paste.lisp.org/ 10:47 fathernelson: asmu: Thanks! Appreciate it! 10:47 fathernelson: asumu: Thanks! 10:52 (join) RacketCommitBot 10:52 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/ZJdpgg 10:52 RacketCommitBot: [racket/master] Changes re: jGc - Jay McCarthy 10:52 (part) RacketCommitBot 10:58 (quit) dnolen: Ping timeout: 252 seconds 11:04 (quit) fathernelson: Quit: Page closed 11:14 jeapostrophe: samth: var is cool. will you make this optimize? 11:14 samth: that's one thing we'd like to do 11:15 samth: you should check out our paper draft 11:15 jeapostrophe: that's what i'm reading 11:16 jeapostrophe: i looked through the examples directory too 11:16 jeapostrophe: some of the programs are surprising in that it works, you know? 11:16 samth: which ones? 11:16 jeapostrophe: some of the contortions are a little strange though, like sort.rkt with the accumulator 11:18 samth: jeapostrophe: yes, tail recursion works a lot better for the simple termination heuristics 11:18 samth: (ie, doe redex recognize the cycle) 11:18 jeapostrophe: makes sense 11:22 (quit) nilyaK: Read error: Connection reset by peer 11:52 (join) m4burns 11:56 (join) noam 11:58 (part) anonus: "WeeChat 0.3.6" 12:08 (join) anRch 12:10 (quit) tfb: Quit: gone 12:10 (quit) noelw: Quit: noelw 12:15 (join) pmatey 12:19 (join) antithesis 12:25 (quit) anRch: Read error: Connection reset by peer 12:26 (join) anRch 12:27 (quit) jeapostrophe: Ping timeout: 272 seconds 12:34 (quit) hkBst_: Quit: Konversation terminated! 12:37 (join) RacketCommitBot 12:37 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/zMqyzQ 12:37 RacketCommitBot: [racket/master] fix proc-doc/names documentation - Robby Findler 12:37 (part) RacketCommitBot 12:37 (quit) anRch: Quit: anRch 12:50 (join) jeapostrophe 12:50 (quit) jeapostrophe: Changing host 12:50 (join) jeapostrophe 13:26 (quit) jrslepak: Quit: This computer has gone to sleep 13:37 (join) jonrafkind 13:37 (quit) jonrafkind: Changing host 13:37 (join) jonrafkind 13:44 friscosam: is there a reason why typed/racket has Ephemeronof but not WeakBoxof? 13:45 (quit) aalix: 13:45 (join) aalix 13:54 (join) anRch 13:55 samth: friscosam: just haven't added it yet 13:56 (join) RacketCommitBot 13:56 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/A1YalA 13:56 RacketCommitBot: [racket/master] reformatting - John Clements 13:56 RacketCommitBot: [racket/master] check-= uses magnitude to compare number differences - John Clements 13:56 (part) RacketCommitBot 14:17 (quit) jeapostrophe: Ping timeout: 272 seconds 14:28 (join) dzhus 14:29 (join) flying_rhino 14:46 (quit) pmatey: Ping timeout: 245 seconds 14:50 (quit) flying_rhino: Read error: Connection reset by peer 15:04 (join) bitonic_ 15:11 (quit) anRch: Quit: anRch 15:16 (quit) acarrico: Ping timeout: 265 seconds 15:33 (join) Haffe 15:33 Haffe: Hello, in the drawing toolkit. Is there a way to draw a bitmap that is scaled? I.e. 50% of the original. 15:35 asumu: Haffe: Yes, if you have a dc<%> you can set the scale and then draw the bitmap. 15:35 Haffe: Ok. 15:35 asumu: You'll want to set the scale back if you draw anything else 15:36 Haffe: So something like (send painter scale 0.5) 15:36 asumu: Yeah. 15:36 Haffe: (send painter draw-bitmap filename) ? 15:36 asumu: draw-bitmap takes a bitmap% as an argument, so you'll need to make one of those. 15:36 asumu: rudybot: ^ doc bitmap% 15:36 rudybot: asumu: Hmm, radix trees are described as only being able to store prefix free sets. But you can include a bitmap to indicate that a prefix terminates at that bit. 15:36 asumu: rudybot: doc bitmap% 15:36 rudybot: asumu: your sandbox is ready 15:36 rudybot: asumu: no docs for a current binding, but provided by: racket/draw 15:37 asumu: rudybot: (require racket/draw) 15:37 rudybot: asumu: Done. 15:37 asumu: rudybot: doc bitmap% 15:37 rudybot: asumu: http://docs.racket-lang.org/draw/bitmap_.html 15:37 asumu: ^ 15:39 (join) kreol[Ukr] 15:39 jonrafkind: how do you get `render-metafunction' to typeset properly 15:39 jonrafkind: the resulting pict just stretches across the page 15:40 asumu: jonrafkind: depends on what you mean by properly. You can set some style options. 15:41 asumu: Or use re-writers to replace terms with other symbols. 15:41 (join) pmatey 15:43 jonrafkind: ok the text in the metafunction is way too big 15:43 jonrafkind: text size 15:44 jonrafkind: font size :p whatever 15:44 asumu: You can just set a different font size. I forget the exact parameter to use. 15:44 jonrafkind: maybe i want metafunction->pict since it sets dc->font-size or whatever 15:45 jonrafkind: well that wasn't it.. 15:45 jonrafkind: hm i probably need a figure too 15:47 jonrafkind: well thats a little better, now the figure has a proper bounding box, but the font is still too large 15:51 (quit) kanak: Ping timeout: 252 seconds 16:04 (quit) pmatey: Ping timeout: 276 seconds 16:06 (join) pmatey 16:10 asumu: eli: what talk are you referring to in your e-mail? 16:11 Cryovat: Mailing list action? 16:11 asumu: Yeah. 16:11 samth: a draft that matthew sent to a smaller number of people that recieved eli's email 16:18 asumu: samth: is it secret or can you tell us what it's about? 16:18 asumu: Or is the content irrelevant to the e-mail? 16:18 samth: content is irrelevant, but it's a racket promotional talk 16:18 asumu: Ok. 16:19 Haffe: Ok, I tried to do this. 16:20 Haffe: (send (send tmp-canvas get-dc) draw-bitmap (read-bitmap "usa.png")) 16:20 Haffe: There seems to be something I don't understand about the draw-bitmap syntax. 16:20 Cryovat: Is usa.png a picture of an eagle in front of a flapping flag? 16:21 Haffe: No. 16:21 Haffe: It's an old picture of me for my passport application last time I visited the united states. 16:21 Cryovat: Hehe 16:27 asumu: rudybot: (require racket/draw) 16:27 rudybot: asumu: Done. 16:28 Cryovat: Cool procrastrination project idea: Module for rudybot that lets it output racket/draw stuff as ASCII art ;) 16:28 jonrafkind: cool way to piss off everyone in #racket 16:28 jonrafkind: i volunteer! 16:29 Cryovat: Haha 16:29 asumu: rudybot: doc draw-bitmap 16:29 rudybot: asumu: not found in any library's documentation: draw-bitmap 16:29 asumu: Huh. 16:29 asumu: Haffe: draw-bitmap takes two more arguments. 16:30 asumu: Cryovat: that would only be okay if it put it in a pastebin or something. 16:30 Cryovat: Hehe 16:33 Haffe: asumu: Thanks a lot. 16:33 Haffe: That solved my problem. 16:48 (join) acarrico 16:58 (join) sstrickl 16:58 (quit) sstrickl: Changing host 16:58 (join) sstrickl 17:07 (quit) antithesis: Quit: yes leaving 17:12 danking: Am I crazy or should the set a and the set b in this case be `equal?' https://gist.github.com/2589549 17:28 (join) PfhatWork 17:28 jonrafkind: how do you do if/else in redex without escaping to racket? 17:28 (join) yoklov 17:28 jonrafkind: i guess side conditions 17:28 PfhatWork: How would I go about prepending a name to the front of an identifier? 17:29 PfhatWork: I basically want this object to be named [prefix]name 17:29 jonrafkind: you mean in a macro? 17:29 PfhatWork: yeah 17:30 jonrafkind: format-identifier 17:30 PfhatWork: I'm not seeing that in the reference 17:30 PfhatWork: oh, format-id? 17:31 jonrafkind: format-id 17:31 jonrafkind: http://docs.racket-lang.org/reference/syntax-util.html?q=format-identifier#(def._((lib._racket/syntax..rkt)._format-id)) 17:31 rudybot: http://tinyurl.com/7ypd82e 17:31 PfhatWork: Thanks :) 17:32 (quit) snorble_: Ping timeout: 245 seconds 17:52 (quit) bitonic: Disconnected by services 17:52 (nick) bitonic_ -> bitonic 17:53 (join) bitonic_ 18:03 (join) zyoung_ 18:07 (quit) zyoung: Ping timeout: 272 seconds 18:07 (quit) pmatey: Ping timeout: 260 seconds 18:08 (quit) zyoung_: Ping timeout: 276 seconds 18:11 (join) bitonic 18:14 (quit) bitonic: Client Quit 18:25 (join) pmatey 18:31 (quit) kreol[Ukr]: Read error: Operation timed out 18:34 (join) jeapostrophe 18:34 (quit) jeapostrophe: Changing host 18:34 (join) jeapostrophe 18:41 (quit) sstrickl: Quit: sstrickl 18:41 (quit) jeapostrophe: Ping timeout: 272 seconds 18:44 (quit) dzhus: Ping timeout: 248 seconds 18:56 (join) jrslepak 19:14 (join) jeapostrophe 19:14 (quit) jeapostrophe: Changing host 19:14 (join) jeapostrophe 19:21 (quit) jonrafkind: Ping timeout: 272 seconds 19:30 (part) sajith 19:35 (quit) mceier: Quit: leaving 19:36 (quit) aalix: 19:40 (join) aalix 19:50 (join) RacketCommitBot 19:50 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/h5WEzA 19:50 RacketCommitBot: [racket/master] Fix a TR issue with syntax-local-lift-expression - Asumu Takikawa 19:50 RacketCommitBot: [racket/master] Add special typechecking rule for expansion of (quote-module-name). - Stevie Strickland 19:50 RacketCommitBot: [racket/master] Lift the use of (quote-module-name) by the default current-contract-region. - Asumu Takikawa 19:50 (part) RacketCommitBot 20:22 (join) surrounder_ 20:22 (quit) surrounder: Ping timeout: 246 seconds 20:29 (join) dnolen 20:29 (quit) pmatey: Quit: leaving 20:57 (join) nilyaK 21:04 (join) zyoung 21:04 (quit) masm: Quit: Leaving. 21:05 (join) Kaylin 21:07 (quit) jeapostrophe: Ping timeout: 245 seconds 21:07 (join) jeapostrophe 21:07 (quit) jeapostrophe: Changing host 21:07 (join) jeapostrophe 21:13 (quit) jeapostrophe: Ping timeout: 265 seconds 21:14 (join) dented42 21:24 (nick) surrounder_ -> surrounder 21:25 (join) RacketCommitBot 21:25 RacketCommitBot: [racket] plt pushed 6 new commits to master: http://git.io/QZi7yA 21:25 RacketCommitBot: [racket/master] Add `box-cas!' and `unsafe-box*-cas!'. - Aaron Turon 21:25 RacketCommitBot: [racket/master] avoid // comments in C - Matthew Flatt 21:25 RacketCommitBot: [racket/master] remove obsolete comment - Matthew Flatt 21:25 (part) RacketCommitBot 21:52 (join) kvda 22:07 (quit) ASau: Remote host closed the connection 22:09 (join) ASau 22:15 (quit) Kaylin: Ping timeout: 245 seconds 22:19 (join) Kaylin 22:21 (join) jonrafkind 22:22 (quit) Kaylin: Client Quit 22:23 (quit) nilyaK: Quit: Leaving. 22:27 em: Rails is to Ruby as Django is to Python as ___________ is to Racket. 22:27 em: Fill in the blank to complete the analogy. 22:32 jonrafkind: the answer is blank 22:32 jonrafkind: what do I win 22:38 (quit) dented42: Ping timeout: 250 seconds 23:17 (join) dented42 23:18 (quit) dnolen: Ping timeout: 244 seconds 23:23 (quit) kvda: Quit: Computer has gone to sleep. 23:25 (join) kvda 23:47 (join) RacketCommitBot 23:47 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/6B4Tbw 23:47 RacketCommitBot: [racket/master] fix docs for `box-cas!', fix JITted version to check mutability - Matthew Flatt 23:47 (part) RacketCommitBot 23:48 (join) plobzik 23:51 (quit) plobzik: Read error: Connection reset by peer 23:58 (join) djcb