00:00 (join) offby1`
00:07 (join) yoklov
00:09 (quit) cataska: Ping timeout: 252 seconds
00:09 (join) cataska
00:11 (nick) LeNsTR|off -> LeNsTR
00:21 (quit) offby1`: Ping timeout: 252 seconds
00:24 (quit) jaimef: Quit: ZNC - http://znc.in
00:35 (quit) cdidd: Ping timeout: 245 seconds
00:49 (join) jeapostrophe
00:54 (quit) jeapostrophe: Ping timeout: 252 seconds
01:15 (join) jeapostrophe
01:31 (quit) yoklov: Quit: computer sleeping
01:47 (quit) jeapostrophe: Ping timeout: 240 seconds
02:29 (quit) vkz: Quit: vkz
03:07 (quit) jrslepak: Quit: This computer has gone to sleep
03:11 (join) bluezenix
03:30 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/OFsSCw
03:30 RacketCommitBot: [racket/master] New Racket version 5.2.1.5. - Eli Barzilay
03:38 (join) noelw
03:40 (join) Blkt
03:42 Blkt: good morning everyone
03:44 noelw: morning
03:48 (join) hkBst
03:48 (quit) hkBst: Changing host
03:48 (join) hkBst
03:50 Blkt: :D
03:50 (join) Shvillr
03:52 (join) sindoc
03:53 (quit) Shvillr_: Ping timeout: 255 seconds
03:53 (quit) sindoc: Client Quit
04:06 (quit) carleastlund: Quit: carleastlund
04:10 (join) vkz
04:16 (join) gciolli
04:23 (quit) Shviller: Quit: bye
04:24 (join) Shviller
04:34 (quit) gciolli: Ping timeout: 255 seconds
04:36 (join) gciolli
04:36 (quit) gciolli: Client Quit
04:36 (join) gciolli
04:51 (join) masm
04:59 (quit) gciolli: Ping timeout: 256 seconds
05:17 (join) q0tw4
05:28 (quit) hkBst: Remote host closed the connection
05:29 (quit) kvda: Quit:  -___-
05:31 (join) hkBst
05:39 (join) ticking
05:40 (quit) vkz: Ping timeout: 240 seconds
05:55 (quit) gatlin: Quit: Leaving.
05:57 (join) mceier
06:04 (join) vkz
06:05 (join) sindoc
06:11 (quit) hkBst: Remote host closed the connection
06:11 (join) hkBst
06:22 (quit) hkBst: Read error: Connection reset by peer
06:25 (join) hkBst
06:30 (quit) bluezenix: Quit: Leaving.
06:40 (quit) hkBst: Read error: Connection reset by peer
06:40 (join) hkBst
06:40 (quit) hkBst: Changing host
06:40 (join) hkBst
06:46 (quit) hkBst: Ping timeout: 240 seconds
06:47 (join) hkBst
06:52 (quit) hkBst: Ping timeout: 245 seconds
06:54 (join) hkBst
06:59 (quit) hkBst: Ping timeout: 252 seconds
07:00 (join) hkBst
07:06 (quit) hkBst: Ping timeout: 244 seconds
07:07 (join) hkBst
07:14 (quit) hkBst: Ping timeout: 240 seconds
07:15 (join) hkBst
07:23 (quit) ticking: Quit: Leaving...
07:25 (join) ticking
07:27 (join) bluezenix
07:41 (join) gciolli
07:42 (quit) hkBst: Ping timeout: 245 seconds
07:43 (join) hkBst
07:45 (quit) ticking: Quit: Leaving...
07:54 (join) ticking
07:56 (quit) ticking: Client Quit
07:58 (quit) gciolli: Ping timeout: 252 seconds
08:01 (join) gciolli
08:06 (join) yoklov
08:09 (quit) gciolli: Ping timeout: 255 seconds
08:10 (quit) mceier: Quit: leaving
08:11 (join) jrslepak
08:15 (quit) realitygrill: Quit: realitygrill
08:19 (join) tfb
08:39 (join) gciolli
08:40 (quit) yoklov: Quit: computer sleeping
08:46 (quit) vkz: Quit: vkz
08:48 (join) dzhus
08:59 (join) cdidd
09:12 (quit) jrslepak: Quit: This computer has gone to sleep
09:15 (join) yoklov
09:21 (join) groovy2shoes
09:21 (quit) imran_sr: Read error: Connection reset by peer
09:27 (nick) samth_away -> samth
09:28 (join) jeapostrophe
09:28 (quit) groovy2shoes: Quit: Computer has gone to sleep
09:35 (quit) yoklov: Quit: bye!
09:39 (join) vkz
09:40 (join) rdunklau
09:41 rdunklau: Hello.
09:42 ianjneu: G'day
09:43 (quit) dzhus: Remote host closed the connection
10:05 (quit) rdunklau: Remote host closed the connection
10:08 (join) realitygrill
10:09 (join) izota
10:11 (quit) dous: Remote host closed the connection
10:22 (join) ticking
10:30 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/LGL_Ig
10:30 RacketCommitBot: [racket/master] fixed documentation for check-within - Matthias Felleisen
10:34 (quit) vkz: Quit: vkz
10:37 (quit) hkBst: Quit: Konversation terminated!
10:49 (quit) q0tw4: Remote host closed the connection
10:58 (join) nwr
11:01 asumu: eli: samth tells me you wrote an implementation of generics a few years ago (2009?), but I couldn't find it via a mailing list search.
11:01 asumu: Do you still have that around/know when the discussion on the list was?
11:01 samth: asumu: the discussion on the list also involved the racket/dict collection
11:02 samth: although it wasn't called racket then :)
11:04 asumu: samth: on a totally unrelated note, did you manage to get in touch with Hari re: putting his stuff on github?
11:04 samth: asumu: oh, yes, a while ago
11:04 asumu: (just remembered after seeing his name in list archives)
11:04 samth: he said it was fine
11:04 samth: somehow i thought i had told you that, but probably i just forgot
11:05 asumu: Okay cool. He had it in svn somewhere was it?
11:05 samth: yes
11:05 (quit) realitygrill: Ping timeout: 240 seconds
11:06 samth: in http://svn.plt-scheme.org/usr/krhari/TS
11:07 (join) realitygrill
11:07 samth: eli: ping
11:10 asumu: Did a Google search for generics and found a pro/con page discussing Racket on 4chan.
11:10 asumu: Oh the Internet.
11:10 noelw: :-D
11:10 noelw: I'm tempted to look.
11:14 eli: asumu: Probably the thing that is now in unstable/generics, which I think someone added, starting from my code.
11:14 (quit) karswell_: Read error: Operation timed out
11:14 eli: I should have my original version around if you want to compare.
11:16 (nick) chaozzbubi -> ChaozZBubi
11:21 (join) MayDaniel
11:21 (join) anRch
11:25 (join) karswell_
11:27 (join) xKjabibi
11:34 samth: asumu: where is this 4chan page?
11:37 (quit) MayDaniel: Read error: Connection reset by peer
11:40 (quit) izota: Remote host closed the connection
11:45 (join) Patterngazer
11:51 (quit) bluezenix: Quit: Leaving.
11:53 (quit) hogehoge: Quit: Leaving...
11:53 asumu: samth: http://dis.4chan.org/read/prog/1289940325 (warning: 4chan, though this page is SFW)
11:54 samth: that discussion is hilarious
11:56 chandler: That is... special.
12:07 (part) tim-brown: "Leaving"
12:09 (quit) Blkt: Remote host closed the connection
12:10 noelw: You know, that was a surprisingly good discussion.
12:10 (quit) anRch: Quit: anRch
12:11 noelw: And with that, adieu
12:11 (part) noelw
12:17 (join) anRch
12:19 (nick) LeNsTR -> LeNsTR|off
12:22 (join) dous
12:24 (join) dous_
12:27 (quit) dous: Ping timeout: 252 seconds
12:39 (nick) LeNsTR|off -> LeNsTR
12:40 (quit) anRch: Quit: anRch
12:41 (join) dnolen
12:49 (join) dnolen_
12:52 (quit) dnolen: Ping timeout: 245 seconds
13:01 (join) jonrafkind
13:02 (quit) realitygrill: Quit: realitygrill
13:09 (quit) tfb: Quit: sleeping
13:18 (join) realitygrill
13:26 (part) gciolli
13:29 (quit) jeapostrophe: Ping timeout: 252 seconds
13:30 (join) MayDaniel
13:32 (join) francisl
13:42 (nick) LeNsTR -> LeNsTR|off
13:43 (nick) LeNsTR|off -> LeNsTR
13:43 (quit) sindoc: Quit: Leaving.
13:51 (quit) realitygrill: Quit: realitygrill
13:53 (join) gatlin
13:55 (join) anRch
13:59 (quit) nwr: Quit: Page closed
14:01 (join) mceier
14:02 (join) EmmanuelOga
14:06 (quit) jonrafkind: Read error: Operation timed out
14:09 (quit) dnolen_: Ping timeout: 245 seconds
14:20 (join) tfb
14:34 (join) carleastlund
14:51 (quit) anRch: Quit: anRch
14:53 (join) ivan\
15:03 (quit) Patterngazer: Ping timeout: 252 seconds
15:06 (join) jeapostrophe
15:09 dspt: Is there a way for me to inspect the source of the Teachpacks from HTDP?
15:10 samth: dspt: they're here: https://github.com/plt/racket/tree/master/collects/teachpack/htdp
15:10 samth: and in other nearby directories
15:10 dspt: Thanks!
15:20 danlndi: using the standard racket repl can I install my own exit handler?
15:21 (join) bluezenix
15:23 (quit) MayDaniel: Read error: Connection reset by peer
15:29 samth: danlndi: yes, you should be able to
15:30 samth: rudybot: doc exit
15:30 rudybot: samth: your sandbox is ready
15:30 rudybot: samth: http://docs.racket-lang.org/reference/Exiting.html#(def._((quote._~23~25kernel)._exit))
15:30 samth: rudybot: doc exit-handler
15:30 rudybot: samth: http://docs.racket-lang.org/reference/Exiting.html#(def._((quote._~23~25kernel)._exit-handler))
15:30 samth: danlndi: see the exit-handler parameter, above
15:32 (join) kudkudyak
15:34 (part) kudkudyak
15:54 (join) Mordae
15:55 Mordae: Hi!
15:55 (quit) jeapostrophe: Ping timeout: 248 seconds
15:57 Mordae: Does anyone here know anything about crypto-secure hashing?
15:58 (join) tfb_
15:59 Mordae: I need to store salted/hashed password in a webapp database and I am in doubt of Racket's (random). From source it seems pretty good, but I'd like to know how strong is it against... well, for example /dev/urandom.
15:59 samth: Mordae: all i know is to use standard algorithms from standard libraries
16:00 Mordae: samth: Hi. Yeah, that's basically where am I too. ;]
16:00 (join) Patterngazer
16:00 samth: Mordae: i think that (random) is reasonable for the salt
16:00 chandler: Mordae: Try (planet vyzo/crypto), which has a binding to OpenSSL's random number generator.
16:00 samth: but you need to use a good hash function as well
16:00 chandler: Also, that has a number of cryptographic hashes as well.
16:00 Mordae: samth: I've written (planet mordae/sha2:1:2) to wrap OpenSSL's SHA-2.
16:01 Mordae: chandler: Thanks for the tip!
16:02 Mordae: Ha, had I known about this library I could have saved myself a nice bit of work. :-)
16:02 (quit) tfb: Ping timeout: 240 seconds
16:04 Mordae: Thanks a lot. That's it.
16:05 (quit) Patterngazer: Quit: I couldn't repair your brakes, so I made your horn louder.
16:13 (quit) ivan\: Quit: ERC Version 5.3 (IRC client for Emacs)
16:15 (join) ivan\
16:41 (nick) jschuster_away -> jschuster
16:52 (quit) francisl: Quit: francisl
17:19 (quit) gatlin: Quit: Leaving.
17:54 (quit) tfb_: Quit: sleeping
17:55 (quit) dous_: Remote host closed the connection
18:06 (nick) jschuster -> jschuster_away
18:18 (quit) mceier: Quit: leaving
18:22 (join) jeapostrophe
18:22 em: Is there any way to have that #mredauto#1# get put some place other than my home directory so it won't fill my home directory up with cruft?
18:39 cdidd: yeah, it's time to support XDG dir spec
18:41 (quit) bluezenix: Quit: Leaving.
18:42 samth: eli: ping
18:43 samth: eli: can you add a bugs account for gmarceau?
18:54 samth: eli: bug 9892 is uneditable b/c of the large attachement
18:59 (quit) karswell_: Ping timeout: 240 seconds
18:59 (join) karswell_
18:59 (quit) jeapostrophe: Ping timeout: 252 seconds
19:02 (quit) ticking: Quit: Leaving...
19:04 (join) jrslepak
19:15 (join) ticking
19:20 asumu: samth: https://github.com/takikawa/tr-data is starting to look more organized...
19:21 samth: asumu: woot
19:22 samth: down to 30 untriaged bugs
19:22 asumu: Also, the only type errors I encountered were due to better (more precise) types for numerics these days in TR.
19:22 asumu: samth: Nice. Going to do the rest today too? ;)
19:23 samth: asumu: as in, there were bugs in the existing code?
19:23 samth: or hari had used an over-broad type for something like an array index?
19:24 asumu: Well, more like (hash 1 2 3) would get the inferred type (Hash Positive-Byte) or something like that.
19:24 (nick) ChaozZBubi -> chaozzbubi
19:24 samth: oh hm
19:24 asumu: Which caused problems where it expected a (Hash Integer) or something.
19:24 samth: we should be doing better there, i think
19:25 asumu: Possibly, yeah. I just added annotations to get the tests to run.
19:31 (quit) EmmanuelOga: Ping timeout: 244 seconds
19:32 (join) dnolen
19:32 samth: asumu: did you see my messages about generics?
19:40 (quit) dnolen: Remote host closed the connection
19:41 (join) dnolen
19:50 (nick) samth -> samth_away
19:52 (quit) dnolen: Remote host closed the connection
19:55 (join) karswell__
19:57 (quit) karswell_: Ping timeout: 252 seconds
20:02 acarrico: Is there something standard like generate-temporaries, but to make indexes instead of identifiers, so #'(x y z) -> #'(0 1 2)?
20:03 acarrico: It seems like that would come up fairly often.
20:14 (join) dnolen
20:15 (join) neilv
20:23 acarrico: Hmm. no announcement from lisp-paste. Well, anyway something like this: http://paste.lisp.org/display/127496
20:24 (quit) masm: Quit: Leaving.
20:56 (quit) dnolen: Ping timeout: 256 seconds
21:04 (join) yoklov
21:11 (quit) em: Ping timeout: 245 seconds
21:14 (join) em
21:18 (join) dous
21:51 (quit) yoklov: Quit: computer sleeping
22:35 (join) vkz
22:39 (quit) jrslepak: Quit: Leaving
22:50 (quit) vkz: Quit: vkz
23:51 (join) gatlin