00:01 (quit) loz``: Ping timeout: 252 seconds 00:22 (join) dsantiago 00:32 (quit) Demosthenes: Read error: Connection reset by peer 01:07 eli: tauntaun: Yeah, that's a stupid typo... Fixed in my copy. 01:07 eli: samth_away: I don't know who's in charge of ccs/racket/pubs/, I've never touched it. 01:08 eli: (tauntaun: And if you see other typos, then obviously I'll fix them too...) 01:17 (join) Demosthenes 01:19 (quit) EmmanuelOga: Ping timeout: 244 seconds 01:26 (quit) jao: Ping timeout: 240 seconds 02:08 (quit) jrslepak: Quit: Leaving 02:29 (quit) Demosthenes: Read error: Connection reset by peer 02:29 (join) Demosthenes 02:46 (quit) jonrafkind: Ping timeout: 240 seconds 02:55 (quit) ddp: Remote host closed the connection 02:56 (join) ddp 03:01 (quit) Demosthenes: Read error: Connection reset by peer 03:01 (join) Demosthenes 03:08 (join) karswell 03:08 (quit) yoklov: Quit: Leaving. 03:24 (quit) Demosthenes: Ping timeout: 240 seconds 03:37 (join) Blkt 03:40 (join) Shvillr_ 03:40 (quit) Shviller: Disconnected by services 03:40 (nick) Shvillr_ -> Shviller 03:44 (nick) chaozzbubi -> ChaozZBubi 03:48 (nick) ChaozZBubi -> chaozzbubi 04:02 (quit) mithos28: Quit: mithos28 04:21 (join) masm 04:22 Blkt: good morning everyone 04:56 (quit) realitygrill: Read error: Connection reset by peer 04:57 (join) realitygrill 05:05 (quit) realitygrill: Read error: Connection reset by peer 05:05 (join) realitygrill 05:10 (quit) SHODAN: Read error: Connection reset by peer 05:11 (quit) karswell: Remote host closed the connection 05:12 (quit) realitygrill: Read error: Connection reset by peer 05:12 (join) SHODAN 05:12 (join) realitygrill 05:17 (join) realitygrill_ 05:17 (quit) realitygrill: Read error: Connection reset by peer 05:17 (nick) realitygrill_ -> realitygrill 05:23 (join) sindoc 05:44 (part) sindoc 05:49 (join) noelw 06:27 (join) ddp_ 06:30 (quit) ddp: Ping timeout: 252 seconds 06:30 (nick) ddp_ -> ddp 07:04 (quit) Shvillr: Read error: Connection reset by peer 07:11 (join) sindoc 07:17 (quit) realitygrill: Quit: realitygrill 07:27 (join) Shvillr 07:29 (quit) Shvillr: Client Quit 07:30 (join) Shvillr 07:43 (join) shachaf_ 07:46 (join) Saeren_ 07:46 (quit) dsantiago: Ping timeout: 244 seconds 07:46 (quit) stamourv: Ping timeout: 244 seconds 07:46 (quit) Saeren: Ping timeout: 244 seconds 07:46 (quit) sir_lewk: Ping timeout: 244 seconds 07:46 (quit) cky: Ping timeout: 244 seconds 07:46 (quit) bremner: Ping timeout: 244 seconds 07:46 (join) stamourv 07:46 (join) cky 07:46 (join) ozzloy_ 07:47 (quit) shachaf: Ping timeout: 240 seconds 07:47 (quit) ozzloy: Ping timeout: 240 seconds 07:47 (join) bremner_ 07:47 (join) sir_lewk 07:52 (quit) stchang: *.net *.split 07:52 (quit) tauntaun: *.net *.split 07:52 (join) stchang 07:52 (join) tauntaun 07:57 (quit) stchang: *.net *.split 07:57 (quit) tauntaun: *.net *.split 08:00 (join) stchang 08:00 (join) tauntaun 08:04 (join) karswell 08:05 (quit) sindoc: Read error: Operation timed out 08:14 (join) sindoc 08:15 (join) yoklov 08:18 (nick) chaozzbubi -> ChaozZBubi 08:22 (quit) sindoc: Ping timeout: 252 seconds 08:28 (join) sindoc 08:52 (quit) sindoc: Ping timeout: 255 seconds 08:55 (quit) yoklov: Quit: Leaving. 08:56 (join) yoklov 08:56 (join) sindoc 09:03 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/uLC6Sg 09:03 RacketCommitBot: [racket/master] remove accidentally added file - Matthew Flatt 09:07 (quit) sindoc: Ping timeout: 245 seconds 09:15 (join) sindoc 09:15 (quit) cky: Changing host 09:15 (join) cky 09:39 (join) jonrafkind 09:42 (nick) samth_away -> samth 09:51 (join) dpritchett 09:52 samth: yoklov: see `define-runtime-path' 09:52 samth: eli: matthias is in charge of that page 10:14 (join) metadave 10:23 (quit) sindoc: Read error: Connection reset by peer 10:23 (join) sindoc 10:32 (quit) yoklov: Quit: Leaving. 10:35 (join) EmmanuelOga 10:50 (nick) ozzloy_ -> ozzloy 10:50 (quit) sindoc: Read error: Connection reset by peer 10:50 (quit) ozzloy: Changing host 10:50 (join) ozzloy 10:50 (join) sindoc 10:57 (quit) ozzloy: Quit: leaving 11:04 (join) yoklov 11:04 (quit) masm: Quit: Leaving. 11:12 (join) masm 11:16 (join) RPR 11:16 (join) ozzloy 11:19 RPR: Need assistance exporting a typed/racket struct: What is the correct syntax? https://gist.github.com/1497787 11:20 (quit) acarrico: Ping timeout: 252 seconds 11:24 samth: RPR: unfortunately, there's something wrong with `struct-out' and `struct:' 11:24 samth: so either manually provide the identifiers, or use `define-struct:' 11:25 RPR: Thx. 11:29 RPR: Should I open a bug report? 11:37 RPR: http://bugs.racket-lang.org/query/?cmd=view&pr=12453 11:38 samth: RPR: there's already a bug report for that, i believe 11:38 RPR: oops 11:46 (join) mithos28 11:48 yoklov: you can't call struct-copy on a struct with an #:auto field? 11:52 yoklov: is it even possible to update them non-destructively then? 11:55 (join) realitygrill 12:03 (quit) sindoc: Ping timeout: 252 seconds 12:03 (join) jrslepak 12:08 (join) dingfeng 12:09 dingfeng: hi, could i ask for a link to an example on how to use typed regions, how to require typed/racket without making all of the code typed? 12:11 (quit) dingfeng: Client Quit 12:14 (quit) jrslepak: Quit: This computer has gone to sleep 12:17 (join) sindoc 12:20 (quit) Blkt: Quit: ERC Version 5.3 (IRC client for Emacs) 12:23 (join) dingfeng 12:25 (join) dsantiago 12:30 samth: dingfeng: there are examples here: http://pre.racket-lang.org/docs/html/ts-reference/Typed_Regions.html?q=with-ty#%28form._%28%28lib._typed-racket/typed-racket..rkt%29._with-type%29%29 12:30 rudybot: http://tinyurl.com/7cdrhk8 12:33 (join) anRch 12:33 (quit) RPR: Read error: Connection reset by peer 12:34 (join) RPR 12:34 (quit) dingfeng: Ping timeout: 258 seconds 12:35 (part) sindoc 12:41 yoklov: oh wow, you can play sound from the gui? 12:43 samth: yoklov: yup 12:43 (quit) RPR: Ping timeout: 240 seconds 12:44 yoklov: that is awesome. 12:45 samth: have you see the rsound library on planet? 12:46 yoklov: yeah 12:46 (join) dyoo 12:47 yoklov: a while ago, it was a bit buggy iirc 12:47 samth: yoklov: i think it's getting better 12:48 samth: but i've never used it 12:48 yoklov: it worked great on mac and linux but would crash windows when i used it 12:49 yoklov: still, right now is just playing a small sound clip, so i'm completely satisfied by what racket/gui offers 12:50 (quit) karswell: Ping timeout: 240 seconds 12:51 (quit) ddp: Remote host closed the connection 12:51 (join) ddp 12:54 (join) acarrico 12:58 (join) karswell 13:04 (quit) loz```: Remote host closed the connection 13:04 (join) loz``` 13:10 (nick) Saeren_ -> Saeren 13:19 (nick) shachaf_ -> shachaf 13:29 (quit) anRch: Quit: anRch 14:14 dyoo: is there a function like help, but which gives me a plain text string rather than point me to the browser? 14:30 dyoo: if not, I'm cooking it up now... :P 14:30 jonrafkind: id like such a thing too 14:31 dyoo: https://github.com/dyoo/extract-docstring 14:31 jonrafkind: it would be nice if it could do a levenshtien search for functions too 14:31 dyoo: still working on it, but it's starting to do something 14:31 jonrafkind: like the javascript stuff on the docs 14:31 jonrafkind: i mean i know the javascript doesnt do levenshtien 14:31 dyoo: See: test-extract-docstring.rkt 14:32 dyoo: I'll need to post on the list later; the way I'm getting the textual content is, frankly, crazy 14:32 dyoo: and I want to make sure that I haven't missed something completely obvious 14:32 jonrafkind: so you're reading the html generated files and pulling the info out of there? 14:32 dyoo: yes 14:32 jonrafkind: lulz 14:32 jonrafkind: you should take a screenshot of chrome and use OCR to convert it to text! 14:33 dyoo: oh, it gets better. I'm using a functional zipper to help me do the scraping. :) 14:33 jonrafkind: yea i see that tree-cursor thing 14:34 jonrafkind: there is most likely a way to read the scribble file directly or something 14:35 dyoo: I dearly hope so. but I spent an hour scouring the scribble docs, and was getting stuck 14:35 jonrafkind: yea.. thats why I haven't done it either :p 14:35 (quit) realitygrill: Quit: realitygrill 14:38 (join) sindoc 14:38 (part) sindoc 14:40 samth: dyoo: there's nothing left after running scribble that you could use -- there's just the html 14:44 (join) sindoc 14:46 (join) sindoc1 14:46 (quit) sindoc: Read error: Connection reset by peer 14:46 (quit) sindoc1: Client Quit 14:53 (join) realitygrill 14:54 (quit) realitygrill: Client Quit 14:55 dyoo: samth: thought so. Ok. 14:56 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/vUWY-Q 14:56 RacketCommitBot: [racket/master] avoid accidental XFORM-LOCK file in the future - Matthew Flatt 14:56 RacketCommitBot: [racket/master] fix executable distribution creation on Unix - Matthew Flatt 15:12 (nick) bremner_ -> bremner 15:25 (join) anRch 15:25 (quit) dyoo: Ping timeout: 258 seconds 15:26 (quit) Dulak: Read error: Connection reset by peer 15:27 (join) superjudge 15:33 (quit) superjudge: Quit: Leaving. 15:33 (join) superjudge 15:42 (join) Dulak 16:12 (quit) anRch: Quit: anRch 16:19 (quit) superjudge: Quit: Leaving. 16:26 (join) freakazoid 16:29 (quit) metadave: Quit: Leaving 17:07 (quit) karswell: Ping timeout: 240 seconds 17:29 (quit) freakazoid: Quit: Computer has gone to sleep. 17:32 (join) freakazoid 17:36 (quit) EmmanuelOga: Ping timeout: 244 seconds 17:44 (join) RPR 17:45 (part) RPR 17:45 (join) RPR 17:57 (quit) stamourv: Quit: ERC Version 5.3 (IRC client for Emacs) 18:00 (join) ddp_ 18:02 (quit) freakazoid: Quit: Computer has gone to sleep. 18:04 (quit) ddp: Ping timeout: 252 seconds 18:04 (nick) ddp_ -> ddp 18:12 (quit) ernestas: Remote host closed the connection 18:19 (join) karswell 18:40 (join) freakazoid 18:40 RPR: Is there a means to require/typed something which is already exported with a provide/contract from an untyped module? 18:45 samth: RPR: if you mean to automatically use the contract, then no 18:45 samth: but plain `require/typed' should work fine 18:46 RPR: ahh, that would be a handy feature. the scribble module export itemlist but not itemlist? Though itemlist has a contract. 18:46 samth: and the contract references itemlist? 18:46 RPR: normally I'd do a (opaque Itemlist itemization?) 18:46 RPR: yes 18:47 RPR: but does not export it 18:47 RPR: itemlist? 18:47 samth: itemization? is provided by `scribble/core' 18:47 samth: rudybot: doc itemization? 18:47 rudybot: samth: your sandbox is ready 18:47 rudybot: samth: no docs for a current binding, but provided by: scribble/core 18:47 RPR: thx 18:48 samth: you can just click on the identifier in the contract to get taken to the documentation, where if you scroll up you see that it's in scribble/core 18:49 (nick) ChaozZBubi -> chaozzbubi 19:05 (quit) freakazoid: Quit: Computer has gone to sleep. 19:06 (join) freakazoid 19:20 (quit) noelw: Quit: noelw 19:35 (join) dnolen 19:45 (part) ddp 19:53 ozzloy: https://github.com/ozzloy/ai-class-2011 hey, can i get people to check out my code? 19:53 (join) cyphase 19:53 ozzloy: i used the ai class as a project to start learning racket 19:53 ozzloy: so this represents my first 10 weeks of racket learning 19:59 (quit) freakazoid: Quit: Computer has gone to sleep. 20:01 (join) freakazoid 20:02 (nick) samth -> samth_away 20:03 RPR: ozzloy: Seems pretty clean and well organized. 20:03 ozzloy: really? hah! i was writing whatever came to mind planning on organizing it after the class was done 20:03 ozzloy: well thanks! 20:03 ozzloy: i guess i should do that more often 20:04 ozzloy: usually i spend a LOT of time getting my house of cards just right 20:05 RPR: Your txt files (notes) aren't that far from being made scribble files from which you can generate a mini-html site and/or a pdf. 20:07 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/jrkdfA 20:07 RacketCommitBot: [racket/master] Improve type of `in-range'. - Sam Tobin-Hochstadt 20:19 (quit) masm: Quit: Leaving. 20:19 ozzloy: RPR, yeah, i didn't really have enough time to read about scribble too 20:19 ozzloy: but i have heard enough about it to have it be my next thing that i do 20:19 ozzloy: i'm going to translate my latex resume into it 20:19 ozzloy: i dislike latex 20:21 ozzloy: RPR, thanks for looking it over! 20:23 ozzloy: https://github.com/ozzloy/ai-class-2011/blob/master/final.rkt lines 30 through 39 kinda bother me 20:23 ozzloy: is there a better way to do any of that? 20:29 (join) Demosthenes 20:47 (quit) jonrafkind: Ping timeout: 252 seconds 20:48 (quit) Demosthenes: Read error: Connection reset by peer 20:50 RPR: I'm far from expert, but its succint enough. I'd probably used a straight let over let-values. 20:54 (quit) freakazoid: Quit: Computer has gone to sleep. 20:55 RPR: samth_away: Is there away to require/typed a procedure with keyword args? 20:56 (join) freakazoid 20:56 RPR: ozzloy: Glanced at it again. not sure if all the list comprehension stuff would be the way to go over say a recursive approach. Try googling for scheme tower hanoi and see what you get for alt. approaches. 20:57 ozzloy: RPR, oh good idea 21:05 (quit) elliottcable: Quit: best short-url ever. 21:06 (join) elliottcable 21:14 (join) Demosthenes 21:22 (quit) cyphase: Read error: Connection reset by peer 21:31 (quit) dnolen: Quit: dnolen 21:31 (quit) abbe: Quit: Heroes die once, Cowards live longer! 21:35 (join) abbe 21:53 (quit) freakazoid: Quit: Computer has gone to sleep. 22:03 (quit) Demosthenes: Read error: Connection reset by peer 22:03 (join) Demosthenes 22:08 (join) ddp 22:16 (join) EmmanuelOga 22:21 (quit) Demosthenes: Read error: Connection reset by peer 22:22 (join) Demosthenes 22:41 (join) freakazoid 22:42 (quit) RPR: Ping timeout: 240 seconds 22:44 (quit) yoklov: Quit: Leaving. 22:48 (quit) Demosthenes: Read error: Connection reset by peer 22:49 (join) Demosthenes 22:52 (join) veer 23:00 (quit) EmmanuelOga: Ping timeout: 244 seconds 23:01 (quit) Saeren: Ping timeout: 252 seconds 23:16 (join) ddp_ 23:18 (quit) ddp: Ping timeout: 252 seconds 23:19 (nick) ddp_ -> ddp 23:21 (quit) Demosthenes: Ping timeout: 240 seconds 23:26 (quit) freakazoid: Quit: Computer has gone to sleep. 23:41 (join) jonrafkind 23:54 (join) yoklov 23:56 (quit) ddp: Remote host closed the connection 23:57 (join) ddp