00:00 (join) rbarraud_
00:05 (quit) rbarraud_: Read error: Operation timed out
00:08 (join) jonrafkind
00:10 (join) rbarraud__
00:14 (quit) rbarraud__: Read error: Connection reset by peer
00:15 (join) rbarraud__
00:23 (join) rbarraud
00:26 (quit) rbarraud__: Ping timeout: 264 seconds
00:40 (quit) jao: Ping timeout: 276 seconds
01:18 (join) vu3rdd
01:24 (quit) emma: Ping timeout: 265 seconds
01:49 (quit) jonrafkind: Ping timeout: 276 seconds
02:06 (join) emma
02:10 (quit) rbarraud: Ping timeout: 264 seconds
02:42 (nick) emma -> em
03:24 (join) rbarraud
03:37 (join) masm
04:02 (quit) martinhex: Remote host closed the connection
04:02 (join) martinhex
05:04 (join) david
05:05 (nick) david -> Guest47173
05:05 (quit) hanDerPeder: Quit: hanDerPeder
05:07 Guest47173: I cannot use latex caracter as function name (like \prec for exmaple), on my MacBook the meta key does not give the waited caracter.
05:29 (join) hanDerPeder
05:50 (quit) rbarraud: Ping timeout: 240 seconds
06:09 (quit) Guest47173: Quit: Page closed
06:28 (join) daviddelfieu
06:29 daviddelfieu: Does anybody succeed to use latex symbol (\prec for example) as function name (on macbook) ?
06:46 (quit) hellmage: Remote host closed the connection
07:12 (quit) bremner: Quit: ZNC - http://znc.sourceforge.net
07:13 (join) bremner
07:37 (quit) daviddelfieu: Quit: Page closed
09:03 (quit) masm: Read error: Connection timed out
09:31 (join) b-man
09:31 (nick) b-man -> Guest98223
09:36 (join) rmitt
09:37 rmitt: do the Mac, PC, and Linux versions of DrRacket all work without problems, or are their any known portability issues?
09:38 (quit) Gwyth: Ping timeout: 260 seconds
09:38 (quit) rmitt: Client Quit
09:40 (quit) hanDerPeder: Quit: hanDerPeder
10:15 bill_h: rmitt: There are some things that are inherently different across the platforms like how they specify file paths(i.e. c:\dir vs. /dir).  Otherwise, I haven't seen any issues
10:18 (quit) bill_h: Quit: leaving
10:28 (quit) vu3rdd: Remote host closed the connection
10:44 (join) hanDerPeder
11:17 (quit) Guest98223: Remote host closed the connection
11:21 (nick) samth_away -> samth
11:27 (join) anRch
11:37 (join) rmitt
11:38 rmitt: sorry for disappearing earlier.  My question is: do the Mac, PC, and Linux versions of DrRacket all work fine or are there any portability problems?  Thanks.
11:38 jay-mccarthy: rmitt: they all work fine
11:38 rmitt: Cheers.
11:43 (quit) samth: Quit: Ex-Chat
11:45 (join) jonrafkind
12:09 (quit) hanDerPeder: Quit: hanDerPeder
12:15 (quit) anRch: Quit: anRch
12:16 (join) masm
12:23 (join) anRch
12:26 (quit) rmitt: Ping timeout: 252 seconds
12:40 (join) alexsuraci
12:45 (join) vu3rdd
12:55 (join) b-man
12:56 (nick) b-man -> Guest97379
13:13 (quit) anRch: Quit: anRch
13:30 jonrafkind: it would be interesting if commits didnt go to master directly, instead they went to some development branch where drdr runs on that branch first and if drdr succeeds then it will merge the chagne to master
13:30 jay-mccarthy: that would be interesting
13:31 jonrafkind: it probably wouldnt be too painful since drdr is so fast now
13:32 jay-mccarthy: i think it would be hard too decide if it was okay
13:32 jonrafkind: or maybe people could do it voluntarily, push to some drdr branch, and drdr will automatically merge its changes to master
13:32 jonrafkind: people can still push to master if they want to avoid that
13:33 jonrafkind: the only real issue is the small window for a race condition between two pushers
13:34 tewk: where are the docs for setting drdr attributes?
13:35 tewk: I added a place-channels benchmark that should be disabled.
14:12 jay-mccarthy: http://drdr.racket-lang.org/help
14:12 jay-mccarthy: and  the top of the props file
14:17 (join) anRch
14:31 (join) hanDerPeder
14:57 (quit) masm: Read error: Connection timed out
14:59 (join) masm
15:22 (quit) anRch: Quit: anRch
15:35 (quit) Lajla: Quit: Phallic Illuminatus
15:36 (quit) masm: Read error: Connection timed out
15:37 (quit) hanDerPeder: Quit: hanDerPeder
15:40 (join) rmitt
15:53 (quit) vu3rdd: Remote host closed the connection
16:12 (quit) jay-mccarthy: Read error: Connection reset by peer
16:12 (join) jay-mccarthy_
16:13 (nick) jay-mccarthy_ -> jay-mccarthy
16:17 (quit) paul_stansifer: Remote host closed the connection
16:26 (join) masm
16:26 (quit) masm: Client Quit
16:31 (join) masm
16:39 (join) Lajla
17:06 (join) blake_johnson
17:06 (part) blake_johnson
17:08 (join) blake_johnson
17:50 (quit) rmitt: Ping timeout: 252 seconds
18:11 (join) rbarraud
18:23 (quit) blake_johnson: Quit: blake_johnson
18:27 (quit) rbarraud: Remote host closed the connection
18:27 (join) rbarraud
18:49 (join) rmitt
19:13 (quit) masm: Quit: Leaving.
19:23 rmitt: Something goes wrong with DrRacket when both 2htdp/image and plot are required.
19:23 rmitt: The complaint is: module: identifier already imported from a different source in:   line   2htdp/image   plot
19:25 jonrafkind: you can rename identifiers
19:25 jonrafkind: would that be ok for you./
19:25 jonrafkind: ?
19:26 rmitt: which identifier is causing the conflict?
19:28 jonrafkind: plot
19:28 jonrafkind: i guess
19:28 jonrafkind: oh sorry, its line
19:29 jonrafkind: you can either prefix everything from one of the modules or rename line from one of the modules
19:29 jonrafkind: (require (rename-in plot [line plot-line]))
19:29 jonrafkind: or (require (prefix-in plot: plot))
19:29 jonrafkind: after you prefix stuff, everything from plot starts with plot:, so you get like plot:line
19:29 rmitt: ok
20:08 (quit) jonrafkind: Read error: Operation timed out
20:17 (join) writer
20:43 (quit) rbarraud: Read error: Operation timed out
20:43 (quit) Guest97379: Remote host closed the connection
20:43 (join) rbarraud
20:48 (join) b-man
20:48 (nick) b-man -> Guest33273
20:58 (quit) Guest33273: Remote host closed the connection
20:59 (join) Guest33273
21:44 (quit) rmitt: Ping timeout: 252 seconds
21:45 (quit) bremner: Quit: ZNC - http://znc.sourceforge.net
21:46 (join) bremner
21:56 (quit) Guest33273: Remote host closed the connection
21:56 (join) Guest33273
22:13 (quit) askhader: Remote host closed the connection
22:24 (join) asumu
22:27 (join) Spewns
22:27 (join) askhader
22:33 (join) hanDerPeder
22:34 (quit) Spewns: Quit: Spewns
23:04 (quit) writer: Quit: writer
23:26 (nick) j3parker -> ajacob_
23:29 (nick) ajacob_ -> j3parker
23:41 (quit) hanDerPeder: Quit: hanDerPeder
23:48 (join) jonrafkind
23:52 (quit) Guest33273: Remote host closed the connection