00:50 (quit) jonrafkind: Ping timeout: 258 seconds
01:03 (join) jonrafkind
01:18 (quit) cky: Ping timeout: 240 seconds
01:22 (join) cky_
01:23 (nick) cky_ -> cky
01:54 (join) hellmage
02:43 (quit) jonrafkind: Ping timeout: 240 seconds
03:29 (join) masm
03:39 (join) pdelgallego
04:40 (join) hanDerPeder
07:26 (part) hellmage
08:04 (quit) bleakgadfly: Quit: Lost terminal
08:27 (quit) masm: Quit: Leaving.
10:26 (join) sstrickl
10:47 (join) masm
11:43 (join) anRch
11:59 (join) jonrafkind
12:08 (quit) samth: Quit: Ex-Chat
12:11 (join) samth
12:17 (quit) anRch: Quit: anRch
12:21 (quit) hanDerPeder: Quit: hanDerPeder
12:23 (join) anRch
12:52 (quit) anRch: Quit: anRch
13:08 jonrafkind: does `module-path?' return #t for any planet paths?
13:49 (join) hanDerPeder
13:54 (join) anRch
13:58 jonrafkind: export PLTSTDERR=warning
14:49 (quit) hanDerPeder: Quit: hanDerPeder
14:59 (join) hanDerPeder
15:15 (quit) hanDerPeder: Quit: hanDerPeder
15:17 (join) hanDerPeder
15:44 (join) lulinha
15:44 (part) lulinha
15:48 (quit) anRch: Quit: anRch
16:09 jay-mccarthy: clklein: pingeroo
16:09 clklein: jay-mccarthy: pongeroo
16:10 jay-mccarthy: have you thought about trying to apply traditional model-checking state space reduction techniques in redex?
16:13 clklein: Not really. I don't know much about model checking.
16:14 clklein: There's an OOPSLA 08 paper (Roberson et al.) that does this kind of thing, but I don't know how it compares to other model checking techniques.
16:15 jay-mccarthy: i'm thinking particularly of partial order reduction and having traces/stepper/arr*/etc work modulo some notion of equal?
16:16 jay-mccarthy: i'll read that paper
16:18 clklein: Here's the rough idea. Monitor which pieces of an expression aren't examined by a reduction step.  If the property you care about holds for any choice of those pieces, then there's no need to check the other ways to fill in the pieces.
16:19 clklein: They check that second part by throwing the problem at a SAT solver.
16:21 clklein: Do you happen to know a good reference for partial order reduction?
16:22 jay-mccarthy: http://cm.bell-labs.com/who/god/public_psfiles/thesis.ps
16:22 jay-mccarthy: http://portal.acm.org/citation.cfm?id=1040315
16:24 clklein: Bad move... I was _going_ to read your OOPSLA paper on the train home :-)
16:24 jay-mccarthy: :P
16:24 jay-mccarthy: (there's a slightly updated version on my site as of today)
16:24 jay-mccarthy: the final one
16:25 clklein: That's the one I printed.
16:27 jay-mccarthy: you must have been lucky looking at the right time for an update :)
16:28 clklein: I'd submitted my final version not too much earlier, so I suspected I might find yours on your site.
16:28 jay-mccarthy: :)
16:43 (join) blake_johnson
16:49 jonrafkind: is there a way to get the module that acts as a base for some other module? basically the X in #lang X ...
16:49 jonrafkind: or should I just read the module and get the caddr
16:51 jay-mccarthy: the second
16:52 jay-mccarthy: a #lang could do something totally arbitrary
16:53 jonrafkind: ok, i was wondering if there was some library procedure that would do it. I thought maybe module->language-info would give me something useful, but it returns some wierd stuff
16:53 jay-mccarthy: that's really for the lang metadata
16:54 jonrafkind: yea ok (not that I know what metadata lang uses..)
16:54 jay-mccarthy: that's like adding drracket buttons
16:54 jay-mccarthy: etc
17:41 (quit) pdelgallego: Ping timeout: 265 seconds
17:57 (quit) jonrafkind: Ping timeout: 240 seconds
18:12 (quit) hanDerPeder: Quit: hanDerPeder
18:22 (join) mahsohn
18:31 (join) hanDerPeder
18:39 (quit) masm: Quit: Leaving.
18:42 (quit) hanDerPeder: Quit: hanDerPeder
18:44 (quit) sstrickl: Quit: sstrickl
19:03 (quit) alexsuraci: Remote host closed the connection
19:03 (join) alexsuraci
19:03 (quit) alexsuraci: Excess Flood
19:04 (join) alexsuraci
19:08 (nick) samth -> samth_away
19:17 (join) hanDerPeder
19:32 (join) shkk
19:53 (quit) eli: Ping timeout: 264 seconds
20:18 (part) blake_johnson
20:49 (join) jonrafkind
21:27 (quit) shkk: 
21:38 (join) shkk
21:41 (join) hellmage
21:56 (quit) hanDerPeder: Quit: hanDerPeder
22:04 (quit) shkk: Ping timeout: 240 seconds
22:39 (join) shkk