00:22 (quit) gridaphobe: Remote host closed the connection 00:31 (join) gridaphobe 00:31 (quit) gridaphobe: Remote host closed the connection 00:32 (join) vu3rdd 00:32 (quit) vu3rdd: Changing host 00:32 (join) vu3rdd 00:35 (quit) jeapostrophe: Ping timeout: 255 seconds 00:37 (quit) mithos28: Quit: mithos28 00:39 (join) mithos28 00:40 (join) ab9 00:42 (join) gridaphobe 00:50 (quit) francisl: Quit: francisl 00:55 (join) mye 00:57 (quit) lewis1711: Ping timeout: 264 seconds 01:01 (join) lewis1711 01:16 (join) PCChris 01:19 (quit) mceier: Quit: leaving 01:21 (quit) Kaylin: Read error: Connection reset by peer 01:22 (quit) jonrafkind: Ping timeout: 240 seconds 01:27 (quit) spiderweb: Quit: ERC Version 5.3 (IRC client for Emacs) 01:29 (join) spiderweb 01:42 (part) lewis1711 01:47 (join) jonrafkind 01:47 (quit) jonrafkind: Changing host 01:47 (join) jonrafkind 01:53 (quit) jao: Ping timeout: 240 seconds 01:53 (quit) richo: Ping timeout: 245 seconds 02:04 (quit) mithos28: Quit: mithos28 02:11 (join) lewis1711 02:12 (quit) dnolen: Remote host closed the connection 02:13 (quit) ab9: Quit: ab9 02:29 (quit) spiderweb: Quit: leaving 02:30 (join) mceier 02:30 (join) spiderweb 02:43 (quit) mye: Quit: mye 03:03 (join) mithos28 03:11 (quit) Nisstyre-laptop: Ping timeout: 264 seconds 03:12 (quit) mithos28: Quit: mithos28 03:16 lewis1711: http://pastebin.com/WrgrE0qy I recently renamed table.rkt. however this error is popping up even to modules that don't require it. even when *their* modules don't require it. whats up? 03:16 (join) hkBst 03:20 lewis1711: It's not giving me a line number so I am unsure where to go 03:24 lewis1711: eh I just had to visit everything 03:33 (join) richo 03:33 (quit) richo: Changing host 03:33 (join) richo 03:37 (quit) gridaphobe: Ping timeout: 252 seconds 03:37 (quit) jonrafkind: Ping timeout: 240 seconds 03:48 (quit) Demosthenex: Ping timeout: 264 seconds 03:48 (join) bniels 03:50 (join) Demosthenex 03:53 (join) nilyaK 03:56 (quit) spiderweb: Quit: ERC Version 5.3 (IRC client for Emacs) 03:56 (join) mithos28 03:57 (join) spiderweb 04:05 (quit) mithos28: Quit: mithos28 04:08 (join) mithos28 04:13 lewis1711: how do I rename something I am contracting out? 04:14 mithos28: (contract-out (rename orig-id id contract-expr)) 04:16 lewis1711: mithos28: tried that :/ 04:16 lewis1711: rudybot: (define a 42) 04:16 rudybot: lewis1711: your sandbox is ready 04:16 rudybot: lewis1711: Done. 04:16 lewis1711: rudybot: (provide (contract-out (rename a b integer?))) 04:16 rudybot: lewis1711: error: #:1:0: provide: not at module level in: (provide (contract-out (rename a b integer?))) 04:17 mithos28: just post your code 04:17 lewis1711: http://pastebin.com/zWq6yTkf 04:17 lewis1711: ugh 04:17 lewis1711: brackets, nevermind 04:18 mithos28: What was the error message? 04:18 lewis1711: malformed close 04:18 lewis1711: doesn't regular 04:19 lewis1711: I was confusing rename with rename-out, which takes bracketed args 04:19 mithos28: ah 04:21 (quit) mithos28: Quit: mithos28 04:49 (join) nathanpc 04:53 (part) sw2wolf: "ERC Version 5.3 (IRC client for Emacs)" 05:01 (join) bitonic 05:25 (join) ubuntu-nathan 05:26 (join) shriphani__ 05:29 (join) `micro_ 05:30 (nick) `micro_ -> Guest60113 05:33 (join) jaimef_ 05:33 (join) ottery 05:34 (quit) nathanpc: *.net *.split 05:34 (quit) shriphani_: *.net *.split 05:34 (quit) otterdam: *.net *.split 05:34 (quit) jaimef: *.net *.split 05:34 (nick) ottery -> otterdam 05:37 (quit) Okasu: Ping timeout: 258 seconds 05:47 (quit) nilyaK: Ping timeout: 244 seconds 05:56 (join) masm 06:11 (quit) bitonic: Ping timeout: 265 seconds 06:19 (join) pgiarrusso 06:21 (join) mye 06:35 (join) sw2wolf 06:46 (join) bitonic 06:59 (join) kofno 06:59 (quit) bitonic: Ping timeout: 252 seconds 07:02 (join) masm1 07:03 (join) bitonic 07:04 (quit) masm: Ping timeout: 240 seconds 07:04 (quit) bitonic: Remote host closed the connection 07:05 (join) bitonic 07:09 (quit) PCChris: Ping timeout: 244 seconds 07:09 (join) noelw 07:10 (quit) sw2wolf: Quit: Leaving 07:19 (join) Raynes 07:20 (quit) dsantiago: Quit: Computer has gone to sleep. 07:22 (join) dsantiago 07:38 (quit) Demosthenex: Read error: Operation timed out 07:40 (quit) lewis1711: Ping timeout: 252 seconds 07:41 (join) Demosthenex 07:48 (quit) Shvillr: Quit: bye 07:53 (join) Shvillr 07:58 (join) jeapostrophe 07:58 (quit) jeapostrophe: Changing host 07:58 (join) jeapostrophe 08:00 (quit) bitonic: Ping timeout: 264 seconds 08:09 (join) francisl 08:10 (join) bitonic 08:13 (quit) francisl: Client Quit 08:16 (quit) vu3rdd: Ping timeout: 240 seconds 08:32 (join) mizu_no_oto 08:38 (join) myx 08:40 (quit) cdidd: Ping timeout: 255 seconds 08:50 (quit) kofno: Remote host closed the connection 08:52 (join) kofno 08:55 (join) soegaard 08:59 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 09:00 (join) asvil 09:09 (quit) soegaard: Quit: soegaard 09:13 (join) mizu_no_oto 09:14 (join) hash_table 09:15 (join) soegaard 09:19 (quit) hkBst: Ping timeout: 260 seconds 09:20 (join) francisl 09:23 (quit) hash_table: Ping timeout: 256 seconds 09:31 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 09:34 asvil: does anyone have win/mingw environment? there is Matthew Flatt's commit for mingw supporting, but drracket still does not work. 09:39 (join) anRch 09:48 (join) PCChris 09:58 (quit) francisl: Quit: francisl 10:04 (quit) bniels: Quit: WeeChat 0.3.8 10:06 (join) mizu_no_oto 10:06 (join) francisl 10:06 (quit) PCChris: Ping timeout: 244 seconds 10:13 (join) hkBst 10:23 (quit) bitonic: Ping timeout: 252 seconds 10:27 (quit) jeapostrophe: Ping timeout: 265 seconds 10:39 (join) hash_table 10:40 (quit) anRch: Read error: Connection reset by peer 10:41 (join) anRch 10:42 (join) netrino 10:44 (join) jroes 10:45 jroes: anyone know how to make the repl a bit more friendly? for example, I can't use C-p, C-n, up arrow, or down arrow without getting control characters on my screen 10:48 asvil: jroes readline? 10:49 asvil: jroes: try racket -il readline 10:50 jroes: much better, thanks! 10:50 jroes: I should probably just be doing everything in emacs, but I didn't have a feel for how easy that would be to integrate and I'm just doing a short project :) 10:52 jroes just found xrepl, very nice 10:52 asvil: emacs is really excellent ide, no, not just ide, it is os, i can paste my config for emacs/quack/geiser 10:52 jroes: I use emacs for everything else (dayjob, Ruby dev stuff) 10:54 asvil: if so, I recommend emacs even for small projects 11:05 (quit) mceier: Quit: leaving 11:09 (nick) noelw -> noelw_away 11:17 (quit) Havvy: Ping timeout: 252 seconds 11:17 (quit) anRch: Quit: anRch 11:18 (join) Okasu 11:18 (join) PCChris 11:23 (quit) pgiarrusso: Quit: pgiarrusso 11:39 (join) bitonic 11:44 (quit) jrslepak: Quit: What happened to Systems A through E? 11:45 (quit) soegaard: Quit: soegaard 11:47 (join) anRch 11:47 (join) dnolen 11:49 (join) soegaard 11:49 (join) didi 11:54 (quit) hkBst: Quit: Konversation terminated! 11:55 (join) mithos28 12:01 (quit) bitonic: Ping timeout: 244 seconds 12:04 (join) bitonic 12:06 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 12:08 (join) MayDaniel 12:12 (quit) MayDaniel: Ping timeout: 241 seconds 12:13 (join) errstr 12:14 (quit) asvil: Ping timeout: 259 seconds 12:15 (quit) errstr: Client Quit 12:17 (join) MayDaniel 12:17 (join) errstr 12:17 (quit) errstr: Client Quit 12:18 asumu: jroes: JFYI (saw you commenting in #scheme), Racket is quite fast even without compilation to C because of JIT compilation. 12:21 (quit) didi: Ping timeout: 248 seconds 12:21 (join) errstr 12:21 (join) RacketCommitBot 12:21 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/ph2dYw 12:21 RacketCommitBot: racket/master fc112cc Matthew Flatt: scribble: render "incremement" and some other chars for Latex/PDF... 12:21 (part) RacketCommitBot 12:32 (join) mceier 12:34 jroes: asumu: haha, thanks! :) 12:41 (join) jonrafkind 12:43 (join) RacketCommitBot 12:43 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/yRuQmg 12:43 RacketCommitBot: racket/master c627f9e Robby Findler: Add in more shortcuts, following Matthew's recent commit... 12:43 (part) RacketCommitBot 12:47 (quit) anRch: Quit: anRch 12:57 (quit) bitonic: Remote host closed the connection 12:57 (join) bitonic 13:03 (quit) MayDaniel: Read error: Connection reset by peer 13:04 (join) MayDaniel 13:05 (quit) soegaard: Quit: soegaard 13:05 (join) jrslepak 13:05 (join) mizu_no_oto 13:10 (join) jeapostrophe 13:10 (quit) jeapostrophe: Changing host 13:10 (join) jeapostrophe 13:21 jroes: having a little trouble understanding when/when not to use ' 13:21 jroes: if I've defined str with (define str "hello world"), how do I get this to return ("hello world")? (if (= (+ 1 1) 2) (str) ("not hello world")) 13:33 (join) gridaphobe 13:35 (quit) francisl: Quit: francisl 13:40 (quit) MayDaniel: Read error: Connection reset by peer 13:41 (join) MayDaniel 13:50 (join) rindolf 13:51 (join) nejucomo 13:54 (join) RacketCommitBot 13:54 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/gluzug 13:54 RacketCommitBot: racket/master b843a45 Jay McCarthy: Fixing in an error in how paths that went outside the filesystem to... 13:54 (part) RacketCommitBot 13:56 (join) dyoo 13:58 dyoo: jroes: are you doing something like How to Design Programs? http://www.ccs.neu.edu/home/matthias/HtDP2e/ 13:58 dyoo: If you've defined a constant like (define name "jroes") 13:59 dyoo: then you just say "name" to get back "jroes" 13:59 dyoo: example: 13:59 dyoo: rudybot: (define name "jroes") 13:59 rudybot: dyoo: Done. 13:59 dyoo: rudybot: name 13:59 rudybot: dyoo: ; Value: "jroes" 13:59 dyoo: rudybot: (string-append "hello " name) 13:59 rudybot: dyoo: ; Value: "hello jroes" 14:00 dyoo: rudybot: (list name name name) 14:00 rudybot: dyoo: ; Value: ("jroes" "jroes" "jroes") 14:00 jroes: nice, thanks 14:00 jroes: I'm actually just coming from another language and decided I would code up a quick challenge in scheme 14:01 dyoo: If you come from another language like Java, just remember that the parens are significant in Racket 14:01 dyoo: Anytime to see something like (x y z) 14:02 dyoo: consider it as if you were doing this in java: x(y z) 14:03 dyoo: which language are you coming from? 14:04 (quit) shriphani__: Ping timeout: 265 seconds 14:07 jroes: coming from Ruby, Python, C, a few others 14:08 jroes: the issue I was having was that I needed ("hello world") as a list 14:08 jroes: ended up using (list str) 14:08 dyoo: jroes; ok, cool. If you haven't seen the guide yet: http://docs.racket-lang.org/guide/index.html 14:09 jroes: perhaps a slightly more advanced problem - I'm expecting to be able to read from stdin until EOF (and I'm expecting that C-d will send an EOF char), but when I use something like ,,read-all nothing will send an EOF 14:09 dyoo: Hmm, you should be getting eofs. Let's see: 14:10 dyoo: rudybot: (define p (open-input-string "this is\na\nstring port")) 14:10 rudybot: dyoo: Done. 14:10 dyoo: rudybot: (read-line p) 14:10 rudybot: dyoo: ; Value: "this is" 14:10 (quit) bitonic: Ping timeout: 255 seconds 14:11 dyoo: rudybot: (read-line p) 14:11 rudybot: dyoo: ; Value: "a" 14:11 dyoo: rudybot: (read-line p) 14:11 rudybot: dyoo: ; Value: "string port" 14:11 dyoo: the next value should be an eof 14:11 dyoo: rudybot: (read-line p) 14:11 rudybot: dyoo: ; Value: # 14:11 dyoo: there it is. 14:11 jroes: hm, I'm attempting to read everything into a single var 14:11 jroes: I could map over read-line I guess 14:12 dyoo: Are you reading as a whole string then? 14:12 jroes: yeah, that's the intent anyways 14:13 dyoo: use port->string http://docs.racket-lang.org/reference/port-lib.html#(def._((lib._racket/port..rkt)._port-~3estring)) 14:13 jroes: ah cool 14:13 dyoo: other functions on that page may also be helpful to you 14:13 jroes: yep, this is looking very helpful, thanks 14:14 dyoo: Note that ports can act like sequences, so you can even do for loops across them, like this: 14:14 dyoo: rudybot: (define p (open-input-string "a\n\b\nc")) 14:14 rudybot: dyoo: Done. 14:14 dyoo: rudybot: (for ([line (in-lines p)]) (printf "line: ~s\n 14:14 rudybot: dyoo: I thought that would freak you out. But no, 105 by itself is not identation syntax, it's inlines and f(x) notation *between curly brackets* only. 14:15 dyoo: sorry, typo 14:15 dyoo: rudybot: (for ([line (in-lines p)]) (printf "line: ~s\n" line)) 14:15 rudybot: dyoo: ; stdout: "line: \"a\"\nline: \"\\b\"\nline: \"c\"\n" 14:15 (quit) dnolen: Ping timeout: 252 seconds 14:21 (quit) dyoo: Quit: dyoo 14:26 (join) pgiarrusso 14:29 (join) shriphani_ 14:29 (quit) pgiarrusso: Client Quit 14:47 (quit) shriphani_: Ping timeout: 240 seconds 14:50 (quit) jonrafkind: Ping timeout: 250 seconds 14:50 samth: jeapostrophe: the github link here: https://plt-etc.byu.edu:9004/info/pfds is broken 14:51 jeapostrophe: samth: he didn't enter a valid github url 14:51 samth: asumu: ^ 14:51 rindolf: Hi all. 14:52 asumu: Oh, so that's the problem. 14:53 (quit) MayDaniel: Read error: Connection reset by peer 14:53 asumu: Should work now 14:53 asumu: maybe installing it will actually work now too 14:53 (join) MayDaniel 14:54 asumu: I get a "input port is closed" error from gunzip though. It still seems to be installing... 14:58 asumu: Hmm... I don't think the set implementation in pfds is correct. (member? 188888 (set equal? 1 "foo")) => #t 15:04 (join) jonrafkind 15:05 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"] 15:06 (join) francisl 15:06 (quit) Shviller: Read error: Connection reset by peer 15:10 (quit) Raynes: Ping timeout: 246 seconds 15:11 (join) Shviller 15:11 (quit) cky: Ping timeout: 255 seconds 15:12 (join) cky 15:12 (join) Raynes 15:13 (quit) gridaphobe: Remote host closed the connection 15:13 (join) ianjneu 15:20 (quit) francisl: Quit: francisl 15:26 (quit) rindolf: Quit: Yay! I'm a llama again. http://www.shlomifish.org/ 15:27 (quit) PCChris: Ping timeout: 244 seconds 15:30 (join) dnolen 15:38 (join) PCChris 15:57 samth: jeapostrophe: it would be nice to be able to distinghuish surprising failures in DrDr from others 15:57 jeapostrophe: what do you mean? like things that have random set? 15:58 samth: jeapostrophe: that's one example 15:58 samth: but maybe just have another property 15:58 samth: depends on the interpretation of 'random' 16:04 (join) shriphani_ 16:04 Cryovat: 5Ooh 16:05 Cryovat: -5 16:05 Cryovat: Is that link above "Planet 2.0"? 16:08 (join) dyoo 16:08 stamourv: Cryovat: Yes. 16:08 Cryovat: The layout is a big improvement 16:09 (quit) stchang: Ping timeout: 252 seconds 16:09 Cryovat: ...erk 16:09 Cryovat: "Passwords are stored in the delicious SHA1 format" 16:09 Cryovat: I really hope that's temporary 16:09 (join) stchang 16:09 (quit) dyoo: Read error: Connection reset by peer 16:09 (join) dyoo_ 16:12 (join) bitonic 16:14 (join) shriphani__ 16:16 (quit) shriphani_: Ping timeout: 240 seconds 16:19 (join) soegaard 16:20 (quit) hash_table: Ping timeout: 248 seconds 16:23 (quit) jeapostrophe: Ping timeout: 255 seconds 16:27 (join) mizu_no_oto 16:31 (quit) richo: Ping timeout: 245 seconds 16:33 (join) jeapostrophe 16:36 (quit) PCChris: Ping timeout: 244 seconds 16:37 dyoo_: Cryovat: do you mean the phrasing of the sentence: "Passwords are stored in the delicious SHA1 format", or do you mean the hashing algorithm? 16:39 (join) PCChris 16:40 Cryovat: The hashing algorithm 16:40 Cryovat: If it's just one pass SHA1, that's not very secure 16:42 (quit) dyoo_: Quit: dyoo_ 16:42 stamourv: Cryovat: I don't know the details of the implementation, but I'm sure jeapostrophe would accept patches to make it more secure. ;) 16:45 Cryovat: I'd like to contribute 16:45 Cryovat: But I'm terrified of anything password related 16:46 stamourv: Yeah, me too. 16:46 Cryovat: http://hashcat.net/oclhashcat-plus/ 16:46 Cryovat: if you have a beefy computer with a powerful gpu, you can check a terrifying amount of SHA1 passwords per second 16:46 Cryovat: There's a graph a bit down that page 16:47 Cryovat: graph -> table 16:49 stamourv: That's pretty scary. 16:49 (join) dyoo 16:49 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 16:50 dyoo: Cryovat: what should we look at to improve the hash? 16:51 Cryovat: The general advice I've seen online is to use http://en.wikipedia.org/wiki/PBKDF2 16:52 (join) rbarraud 16:52 Cryovat: That or bcrypt 16:54 dyoo: Ok. looking for bcrypt implementations. Paul Graham mentions that he has an implementation: http://news.ycombinator.com/item?id=3099563 16:54 (quit) shriphani__: Ping timeout: 264 seconds 16:58 (join) richo 16:58 (quit) richo: Changing host 16:58 (join) richo 16:58 (quit) PCChris: Ping timeout: 265 seconds 16:59 (quit) kofno: Remote host closed the connection 16:59 (join) mizu_no_oto 17:01 (join) PCChris 17:03 soegaard: Just stating the obvious (haven't looked at the code), but a salt should also be used. 17:03 (join) ijp 17:04 dyoo: A problem with trying to find a bcrypt implementation for Scheme or Racket is that the first hit is the paper the guys wrote: "A Future-Adaptable Password Scheme"… 17:06 soegaard: :-) 17:07 Cryovat: http://gauche.git.sourceforge.net/git/gitweb.cgi?p=gauche/Gauche;a=tree;f=ext/bcrypt;h=6ee1d0c76020dddb69d17459e84b32b81f35a1fd;hb=HEAD 17:07 rudybot: http://tinyurl.com/bdoq4xf 17:08 dyoo: Thank you. I couldn't find the implementation that pg mentions in the Hacker News post, and when I look at the "implemenation" of the crypt functions in Arc, I cry. https://github.com/nex3/arc/blob/master/lib/crypto.arc 17:08 Cryovat: Looks like the one referred to in the discussion linked above wraps a c file 17:08 Cryovat: Haha 17:08 Cryovat: Wow 17:08 dyoo: do you see that crazyness? *sigh* 17:09 soegaard: hah! 17:09 Cryovat: While it does get the work done... 17:11 soegaard: Btw http://planet.racket-lang.org/package-source/vyzo/crypto.plt/2/3/planet-docs/manual/index.html has lots of hashes besides sha1. 17:11 rudybot: http://tinyurl.com/bdy88b9 17:11 jeapostrophe: Cryovat: it's hmac-sha1 with a private key 17:13 (join) hash_table 17:14 Cryovat: Ah, ok then :) 17:14 Cryovat stops worrying 17:15 Cryovat: Though 17:15 Cryovat: Is there a per-user salting scheme? 17:18 (join) Nisstyre-laptop 17:19 (join) anRch 17:20 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 17:23 (quit) anRch: Client Quit 17:26 (quit) PCChris: Ping timeout: 244 seconds 17:27 (join) anRch 17:27 dyoo: Looking back at the arc wrappers for their crypt library: I take back my initial horror reaction a little. Given they reuse Racket's file/md5, they probably wouldn't be averse to using vyzo's functions in the PLaneT crypto library, if they had actually known about them. It's another example of lack-of-communication hurting both communities. 17:27 Cryovat: Is Arc still active? 17:28 (join) jao 17:28 Cryovat: I had the impression it had been dormant for ages 17:28 dyoo: no idea. news.ycombinator.com is certainly still active. 17:28 (quit) jao: Changing host 17:28 (join) jao 17:30 (join) PCChris 17:30 (join) kofno 17:30 (quit) jrslepak: Quit: What happened to Systems A through E? 17:31 soegaard: The Arc forum is here: http://arclanguage.org/forum 17:32 greghendershott: fwiw I put an FFI for openssl SHA-2 on planet: http://planet.racket-lang.org/display.ss?package=sha.plt&owner=gh 17:32 soegaard: It seems the newest posts are mostly non-arc related though. 17:33 greghendershott: I had to do SHA-256 for Amazon web services 17:33 Cryovat: Ah, nice :) 17:33 greghendershott: Hmm this is a nice small thing I could try as my first planet 2 pkg 17:34 soegaard: On Planet2 I am missing links to documentation of the packages. Did I just happen to hit the ones without any? 17:34 greghendershott: All I really did was copy what jeapostrophe had done for the web server :) 17:35 jeapostrophe: Cryovat: no, not per user. the server has one key 17:35 jeapostrophe: soegaard: documentation links are not online yet 17:35 Cryovat: In that case you should really consider adding a salt 17:35 soegaard: okay 17:36 greghendershott: gah how did I never not notice the mzcrypto planet package? 17:37 soegaard: greghendershott: Btw did you see that Github now can host static pages? http://pages.github.com/ 17:37 greghendershott: This is why planet2 will be so much better :) 17:37 soegaard: It could be used for documentation. 17:38 (quit) kofno: Ping timeout: 240 seconds 17:38 greghendershott: soegaard: Yes! I've used that for some things. 17:38 (quit) MayDaniel: Read error: Connection reset by peer 17:40 greghendershott: The special gh-master branch can be awkward (for some repos it would be nice to simply show a .html file in the repo, as such) but overall it works pretty well 17:40 greghendershott: ^ gh-pages branch 17:40 (quit) rbarraud: Read error: Connection reset by peer 17:41 soegaard: I haven't tried it yet. 17:41 soegaard: Did you get any response on when pygments are updated on Github? 17:41 greghendershott: It's whack a mole 17:41 (quit) hash_table: Ping timeout: 252 seconds 17:41 greghendershott: pygments.rb just pulled from pygments-main a day or two ago 17:42 greghendershott: then I discovered linguist needed its languages.yml updated, and I put a pull request for _that_ today 17:42 greghendershott: https://github.com/github/linguist/pull/313 17:44 soegaard: Okay, pretty close then. 17:44 greghendershott: I would hope so, but at this point I would hate to jinx it by being optimistic. :) 17:45 soegaard: well... 17:45 greghendershott: I started this in August, so ... 17:49 greghendershott: I'll keep on it until the day when square braces may stand proudly in our repos without a "error" scarlet badge of shame 17:50 soegaard: :-) 17:54 greghendershott: soegard: Oh btw re hosting doc on Github, I added a Scribble markdown output mode. So you could e.g. Scribble to your README.md for Github. 17:55 greghendershott: For simpler docs, a lighter approach than mucking with a gh-pages branch for the repo. 17:55 greghendershott: soegaard: Gah, sorry for the typo on your name! 17:56 soegaard: Don't worry. 17:57 (quit) SeanTAllen: Quit: Connection closed for inactivity 17:59 soegaard: I saw that. I'll need to check the source at some point to see how one writes a new renderer. It would be nice to have a renderer that can produce iBooks (which mainly consists of html-documents). 18:11 (join) RacketCommitBot 18:11 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/bbAKsQ 18:11 RacketCommitBot: racket/master 77e6875 Asumu Takikawa: Doc typo 18:11 RacketCommitBot: racket/master 2bc1528 Asumu Takikawa: Add type for `xor` 18:11 RacketCommitBot: racket/master 9c70f33 Asumu Takikawa: Expand on `quote-syntax` docs 18:11 (part) RacketCommitBot 18:13 (quit) PCChris: Ping timeout: 255 seconds 18:16 (quit) dnolen: Remote host closed the connection 18:17 (quit) anRch: Quit: anRch 18:19 (join) dnolen 18:19 (quit) dyoo: Quit: dyoo 18:23 (nick) samth -> samth_away 18:24 stamourv: eli: https://github.com/blog/1347-issue-attachments 18:29 (quit) soegaard: Quit: soegaard 18:30 (join) jrslepak 18:41 (join) shriphani_ 18:41 (quit) dnolen: Ping timeout: 276 seconds 18:42 (quit) jeapostrophe: Ping timeout: 276 seconds 18:45 (quit) ijp: Ping timeout: 264 seconds 18:46 (join) RacketCommitBot 18:46 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/BUhzng 18:46 RacketCommitBot: racket/master 9865182 Neil Toronto: Fixes, docs, and API changes for `math/statistics'... 18:46 (part) RacketCommitBot 18:52 (join) PCChris 18:54 (join) noam 18:56 (join) didi 19:01 (quit) karswell: Read error: Operation timed out 19:07 (join) karswell 19:21 (join) Kaylin 19:22 (join) mizu_no_oto 19:29 (quit) ianjneu: Quit: homeward bound 19:30 (join) sw2wolf 19:35 (join) kofno 19:37 (quit) Kaylin: Quit: Leaving. 19:39 (quit) kofno: Ping timeout: 240 seconds 19:47 (quit) PCChris: Ping timeout: 244 seconds 19:47 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 20:01 (join) SeanTAllen 20:15 (join) kofno 20:21 (quit) netrino: Quit: Ave! 20:25 (join) neilv 20:26 (join) RacketCommitBot 20:26 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/jaX6qw 20:26 RacketCommitBot: racket/master 764f693 Neil Toronto: Minor `math/statistics' doc fixups 20:26 (part) RacketCommitBot 20:28 (join) francisl 20:29 (join) francisl_ 20:35 (quit) masm1: Quit: Leaving. 20:38 (quit) didi: Ping timeout: 252 seconds 20:40 (join) mizu_no_oto 20:40 (quit) mizu_no_oto: Client Quit 20:52 (quit) nejucomo: Quit: leaving 21:02 (join) mizu_no_oto 21:04 (quit) bitonic: Ping timeout: 255 seconds 21:07 (part) jroes 21:17 asumu: Hmm, I managed to break raco decompile but it's hard to reproduce the bug. 21:22 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 21:27 (join) mizu_no_oto 21:28 (join) Kaylin 21:34 asumu: Whoops, found a typo in R6RS. 21:35 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 21:37 jonrafkind: a good one? 21:38 asumu: No, it's pretty boring. Just a missing word. 21:41 (join) jeapostrophe 21:41 (quit) jeapostrophe: Changing host 21:41 (join) jeapostrophe 21:43 (join) mizu_no_oto 21:46 (quit) shriphani_: Quit: shriphani_ 21:47 (join) shriphani_ 21:55 (quit) francisl_: Quit: francisl_ 21:55 (join) francisl_ 22:02 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 22:04 (quit) francisl_: Quit: francisl_ 22:05 (join) francisl_ 22:07 sw2wolf: What does #' and #% mean ? In CL, #' means function, how about racket ? 22:08 jonrafkind: #'a means (syntax a) like 'a means (quote a) 22:08 asumu: sw2wolf: #' is an abbrevation for `syntax`. 22:08 jonrafkind: #% is nothing itself. #%a is an identifier 22:08 asumu: rudybot: #'foobar 22:08 rudybot: asumu: your sandbox is ready 22:08 rudybot: asumu: ; Value: # 22:08 asumu: rudybot: #'(+ 1 2) 22:08 rudybot: asumu: ; Value: # 22:08 (quit) spiderweb: Quit: ERC Version 5.3 (IRC client for Emacs) 22:09 jonrafkind: haven't you asked this before, btw? 22:09 sw2wolf: thanks ! https://github.com/shriram/roman-numerals/blob/master/roman-macros.rkt makes me hard to understand 22:10 (quit) ubuntu-nathan: Quit: Computer has gone to sleep. 22:11 sw2wolf: can i regard `syntax` as `macro` in CL ? 22:12 jonrafkind: i doubt it but im not sure.. what does 'macro' do in CL 22:13 sw2wolf: macro in CL will be expanded before evaluated ? 22:13 jonrafkind: (syntax a) creates a syntax object out of the symbol a 22:13 sw2wolf: (defmacro foo (a b) `(+ ,a ,b)) 22:14 jonrafkind: a syntax object is a piece of data just like anything else, a number or a string 22:14 jonrafkind: i presume you don't mean there is an actual identifier called 'macro' in CL 22:14 sw2wolf: yes 22:14 jonrafkind: the identifier 'syntax' in racket produces a syntax object. to create a racket macro you use 'define-syntax' 22:15 jonrafkind: which works like defmacro but is hygienic and works with the phase system 22:16 sw2wolf: then in (syntax->datum #'any), what's datum ? 22:17 jonrafkind: (syntax->datum #'a) unwraps the symbol from the syntax object so you get back the symbol 'a 22:17 sw2wolf: it seems i canot find corresponding part of racket in CL macro ? 22:17 (quit) jeapostrophe: Ping timeout: 255 seconds 22:17 jonrafkind: his goal is to convert the syntax object to a string, so you have to get the raw data out of the syntax object, the symbol, then convert the symbol to a string 22:17 jonrafkind: in CL everything is done with symbols so you dont need the first part 22:17 neilv: sw2wolf: http://docs.racket-lang.org/search/index.html?q=datum 22:18 sw2wolf: yes, seems a bit understanding 22:18 neilv: sw2wolf: there is good documentation, with a search feature 22:19 sw2wolf: neilv: yes, i need to see the docs 22:21 (quit) francisl_: Ping timeout: 240 seconds 22:23 (join) didi 22:28 sw2wolf: CL background sometimes is a obstacle for me to study racket ? thanks, it it time for lunch now 22:29 (nick) sw2wolf -> sw2wolf{away} 22:30 (quit) Nisstyre-laptop: Remote host closed the connection 22:36 (join) Nisstyre-laptop 22:40 didi: sw2wolf{away}: I don't think it is. 22:43 (quit) richo: Quit: laterz, norbs. 22:49 (join) mizu_no_oto 22:55 (quit) Shviller: Ping timeout: 260 seconds 22:56 (join) Shviller 22:57 (quit) jonrafkind: Ping timeout: 264 seconds 22:57 (quit) mizu_no_oto: Quit: Computer has gone to sleep. 23:02 (quit) francisl: Quit: francisl 23:03 (join) francisl 23:28 (join) jonrafkind 23:44 (quit) kofno: Remote host closed the connection 23:46 asumu: Hmm, fun. To fix an issue with type system unsoundness, I caused another issue: incomprehensible error messages. 23:46 (join) jeapostrophe 23:46 (quit) jeapostrophe: Changing host 23:46 (join) jeapostrophe 23:46 asumu: I get (correct) error messages like "Expected a, but got a" 23:46 asumu: (the 'a's aren't the same thing) 23:52 (join) cdidd 23:56 (join) mye_ 23:58 (quit) mye: Ping timeout: 240 seconds 23:58 (nick) mye_ -> mye