00:08 (part) chimeracoder
00:21 (quit) scott_: Quit: Leaving
00:22 (join) scott_
00:22 (quit) scott_: Changing host
00:22 (join) scott_
00:40 (quit) jao: Ping timeout: 264 seconds
00:46 (join) yoklov
01:00 (join) dsantiago
01:09 (quit) mceier: Quit: leaving
01:10 mithos28: asumu: do you have an example for the breakage with call/cc? Your message to users doesn't include one, but just mentions it could exist
01:11 (quit) hash_table: Ping timeout: 256 seconds
01:11 (quit) getpwnam: Ping timeout: 256 seconds
01:30 (quit) yoklov: Quit: computer sleeping
01:39 (quit) jeapostrophe: Ping timeout: 246 seconds
02:13 (join) mithos28_
02:14 (join) mceier
02:16 (quit) mithos28: Ping timeout: 268 seconds
02:16 (nick) mithos28_ -> mithos28
02:18 (join) tfb
02:23 (join) bjz
02:58 (join) mithos28
03:08 (quit) tfb: Quit: sleeping
03:09 (join) djcoin
03:18 (quit) bremner: Ping timeout: 260 seconds
03:19 (join) hkBst
03:19 (quit) hkBst: Changing host
03:19 (join) hkBst
03:19 (quit) jonrafkind: Ping timeout: 246 seconds
03:21 (quit) mithos28: Quit: mithos28
03:21 dsantiago: I'm having a real hard time finding the source for racket's standard libraries… are those in a separate repository?
04:00 (join) bremner
04:00 (quit) bremner: Changing host
04:00 (join) bremner
04:05 (quit) bremner: Ping timeout: 245 seconds
04:10 vu3rdd: dsantiago: look inside collects.
04:22 (join) mye
04:23 (quit) jyc: Remote host closed the connection
04:33 (quit) close-paren: Quit: close-paren
04:38 (quit) bjz: Quit: Leaving...
04:57 (join) masm
05:09 (join) mattmigh`
05:09 (quit) antono: Ping timeout: 240 seconds
05:09 (quit) sybex: Ping timeout: 240 seconds
05:09 (quit) romtank: Ping timeout: 240 seconds
05:09 (quit) zwak: Ping timeout: 240 seconds
05:09 (quit) m4burns: Ping timeout: 240 seconds
05:09 (quit) mattmight: Ping timeout: 240 seconds
05:09 (quit) hyko: Ping timeout: 240 seconds
05:09 (join) sklentikle
05:10 (join) zwak
05:10 (join) romtank
05:10 (join) hyko
05:11 (join) m4burns
05:11 (join) drdo
05:11 (join) antono
05:16 (join) DeadPanda
05:18 DeadPanda: Hi, is there any kind of environment I can enter within Racket/Datalog that will automatically retract assertions made within it?  Something like (retracting ...)?
05:19 DeadPanda: I'm trying to write an attack graph simulation in Racket + Datalog, as it seems a natural fit, but it's a depth-first search and I'd like to keep as much as possible within the Datalog theory without having to define clauses that depend on external information.
05:19 DeadPanda: *theorem
05:25 (join) Jeanne-Kamikaze
05:35 (quit) mye: Quit: mye
06:20 (join) add^_
06:30 (join) bitonic
06:58 (quit) add^_: Quit: add^_
07:10 (join) add^_
07:32 (join) add^_^
07:34 (quit) add^_: Ping timeout: 252 seconds
07:34 (nick) add^_^ -> add^_
07:40 (join) bremner
07:40 (quit) bremner: Changing host
07:40 (join) bremner
07:51 (join) kanak
08:06 (join) billyoc
08:10 (quit) billyoc: Remote host closed the connection
08:12 (quit) kanak: Quit: Leaving.
08:16 (join) billyoc
08:16 (join) yoklov
08:17 (quit) yoklov: Client Quit
08:17 (join) kanak
08:30 (join) jeapostrophe
08:30 (quit) jeapostrophe: Changing host
08:30 (join) jeapostrophe
08:56 (quit) wtetzner: Remote host closed the connection
08:57 (join) getpwnam
08:58 (join) hash_table
09:20 (join) dnolen
09:30 (quit) getpwnam: Ping timeout: 245 seconds
09:30 (quit) hash_table: Ping timeout: 252 seconds
09:35 (join) jesyspa
09:36 asumu: DeadPanda: I think you might want to ask on the mailing list, since I'm not sure there are many people here on IRC who know enough about that.
09:37 (join) gciolli
09:37 asumu: (at least, I don't)
09:38 asumu: dsantiago: https://github.com/plt/racket/tree/master/collects unless you meant something more specific
09:43 dsantiago: asumu: Thanks, that is what I was looking for. Thought I looked in every directory. Thanks.
09:47 (quit) vu3rdd: Remote host closed the connection
09:48 (quit) jeapostrophe: Ping timeout: 248 seconds
09:58 DeadPanda: thanks asumu, I will do -- I'm looking to track the "progress" of an attack in terms of privileges gained by an attacker, so I'll probably track that information in a hash I refer to separately in queries
09:58 DeadPanda: as the algorithm is O(N!) anyway, I might as well throw bogosort in or something.
10:15 (quit) mceier: Quit: leaving
10:18 (join) MayDaniel
10:19 (quit) dsantiago: Quit: Computer has gone to sleep.
10:23 (quit) DeadPanda: Quit: Leaving
10:26 (quit) noam: Ping timeout: 245 seconds
10:30 (quit) gciolli: Ping timeout: 264 seconds
10:31 (join) gciolli
10:32 (join) noam
10:35 (join) bjz
10:36 (quit) gciolli: Ping timeout: 256 seconds
10:36 (join) ynniv
10:40 (join) getpwnam
10:40 (join) hash_table
10:42 (quit) dnolen: Ping timeout: 260 seconds
10:54 (join) gciolli
10:56 (join) jeapostrophe
10:56 (quit) jeapostrophe: Changing host
10:56 (join) jeapostrophe
11:02 (quit) SHODAN: Remote host closed the connection
11:04 (join) SHODAN
11:11 (quit) MayDaniel: Read error: Connection reset by peer
11:21 (quit) hkBst: Quit: Konversation terminated!
11:22 (join) close-paren
11:26 (join) mceier
11:26 (join) nilyaK
11:28 (quit) jeapostrophe: Ping timeout: 245 seconds
11:29 (quit) close-paren: Quit: close-paren
11:31 (quit) ynniv: Quit: ynniv
11:31 (join) jeapostrophe
11:31 (quit) jeapostrophe: Changing host
11:31 (join) jeapostrophe
11:36 (quit) SHODAN: *.net *.split
11:36 (quit) lentikkle: *.net *.split
11:36 (quit) skarpy: *.net *.split
11:36 (quit) zurtik: *.net *.split
11:36 (quit) winklet: *.net *.split
11:36 (quit) trink: *.net *.split
11:36 (quit) snorble_: *.net *.split
11:36 (quit) Cryovat: *.net *.split
11:38 (join) anRch
11:40 (join) SHODAN
11:40 (join) lentikkle
11:40 (join) skarpy
11:40 (join) zurtik
11:40 (join) winklet
11:40 (join) trink
11:40 (join) snorble_
11:40 (join) Cryovat
12:12 (quit) anRch: Ping timeout: 268 seconds
12:15 (join) mithos28
12:19 (join) Gertm
12:19 (join) anRch
12:28 Haffe: In the drawing toolkit.
12:29 (join) MayDaniel
12:29 Haffe: What do the different brush styles do?
12:29 Haffe: Transparent and solid are obvious, but what about opaque?
12:31 asumu: Haffe: see http://pre.racket-lang.org/docs/html/draw/brush_.html
12:32 asumu: Some of them are for backwards compat, some actually do things.
12:34 (join) jonrafkind
12:34 (quit) jonrafkind: Changing host
12:34 (join) jonrafkind
12:45 (quit) mithos28: Read error: Connection reset by peer
12:45 (join) mithos28_
12:51 (join) dsantiago
12:53 (quit) mithos28_: Quit: mithos28_
12:54 (join) mithos28
13:02 (quit) mithos28: Quit: mithos28
13:02 (join) dca
13:07 (quit) anRch: Quit: anRch
13:12 (join) add^_
13:15 (join) jao
13:15 (quit) jao: Changing host
13:15 (join) jao
13:25 (join) thesnowdog
13:28 (join) anRch
13:34 (quit) jrslepak: Quit: What happened to Systems A through E?
13:39 (quit) add^_: Quit: add^_
13:45 (quit) thesnowdog: Read error: Connection reset by peer
13:46 (quit) jeapostrophe: Ping timeout: 245 seconds
13:50 (quit) anRch: Quit: anRch
14:00 (join) thesnowdog
14:06 (join) tfb
14:07 (join) jrslepak
14:08 (quit) djcoin: Quit: WeeChat 0.3.2
14:11 (quit) tfb: Ping timeout: 248 seconds
14:14 (join) uselpa
14:16 uselpa: Anybody else got the impression that DrRacket 5.3 is 'sluggish' running under OS X Mountain Lion?
14:22 (quit) nilyaK: Quit: Leaving.
14:26 (quit) Shviller: Read error: Connection reset by peer
14:27 (join) Shviller
14:51 (quit) flying_rhino: Ping timeout: 265 seconds
15:02 (join) tfb
15:02 (join) flying_rhino
15:14 (quit) billyoc: Remote host closed the connection
15:16 (quit) uselpa: Remote host closed the connection
15:19 (quit) flying_rhino: Quit: KVIrc 4.0.4 Insomnia http://www.kvirc.net/
15:41 (join) add^_
15:48 (join) nilyaK
15:49 (join) Shvillr_
15:49 (quit) Shviller: Disconnected by services
15:49 (nick) Shvillr_ -> Shviller
16:39 (quit) add^_: Quit: add^_
16:39 (join) billyoc
16:46 (join) jeapostrophe
16:46 (quit) jeapostrophe: Changing host
16:46 (join) jeapostrophe
16:51 (quit) jeapostrophe: Ping timeout: 246 seconds
16:53 (join) jeapostrophe
16:53 (quit) jeapostrophe: Changing host
16:53 (join) jeapostrophe
17:02 (join) noam_
17:03 (join) benatkin
17:05 (quit) noam: Ping timeout: 268 seconds
17:10 (quit) Shambles_: Quit: Leaving.
17:11 (join) Shambles_
17:25 (join) anRch
17:32 (quit) hash_table: Ping timeout: 245 seconds
17:32 (quit) getpwnam: Ping timeout: 245 seconds
17:34 (join) bitonic`
17:43 (quit) bitonic`: Ping timeout: 248 seconds
17:45 (quit) MayDaniel: Read error: Connection reset by peer
17:47 (part) drdo: "ERC Version 5.3 (IRC client for Emacs)"
18:15 (quit) tfb: Quit: sleeping
18:17 (quit) gciolli: Quit: Leaving.
18:18 (quit) jrslepak: Quit: What happened to Systems A through E?
18:19 (quit) Jeanne-Kamikaze: Quit: Did you hear that ?
18:22 (quit) jeapostrophe: Ping timeout: 260 seconds
18:31 (join) jyc
18:32 (join) getpwnam
18:33 (join) hash_table
18:33 (quit) anRch: Quit: anRch
18:44 (quit) jonrafkind: Ping timeout: 244 seconds
18:53 (join) dnolen
19:07 (quit) jesyspa: Quit: Lost terminal
19:11 (quit) bjz: Quit: Leaving...
19:27 (join) juanfra
19:28 (quit) juanfra: Client Quit
19:30 (join) juanfra
19:31 (join) bjz
19:33 (quit) billyoc: Remote host closed the connection
19:50 (quit) acarrico: Ping timeout: 256 seconds
19:53 (quit) bjz: Quit: Leaving...
19:54 (join) bjz
19:54 (join) flaggy_
19:57 (quit) bjz: Client Quit
20:08 (join) acarrico
20:28 (quit) acarrico: Ping timeout: 246 seconds
20:43 (join) acarrico
20:46 (join) server_failure
20:47 (join) ivan\_
20:53 (quit) noam_: *.net *.split
20:53 (quit) cdidd: *.net *.split
20:53 (quit) errstr: *.net *.split
20:53 (quit) ivan\: *.net *.split
20:53 (quit) s_p_a_c_e_d_o_u_: *.net *.split
20:53 (nick) ivan\_ -> ivan\
20:55 (part) flaggy_
20:55 (join) bjz
20:57 (join) noam_
20:57 (join) errstr
21:02 (quit) masm: Quit: Leaving.
22:00 (join) Kaylin
22:00 (join) jrslepak
22:07 (join) jeapostrophe
22:07 (quit) jeapostrophe: Changing host
22:07 (join) jeapostrophe
22:13 (quit) juanfra: Quit: juanfra
22:18 (quit) bjz: Quit: Leaving...
22:31 (quit) jeapostrophe: Ping timeout: 276 seconds
22:54 (quit) cataska: Quit: leaving
23:00 (join) vu3rdd
23:00 (quit) vu3rdd: Changing host
23:00 (join) vu3rdd
23:03 (quit) thesnowdog: Read error: Connection reset by peer
23:06 (join) mithos28
23:07 mithos28: Does anyone know of a resource that helps understand the difference between control/prompt vs shift/reset
23:19 (join) thesnowdog
23:22 (join) jonrafkind
23:22 (quit) jonrafkind: Changing host
23:22 (join) jonrafkind
23:28 (join) bjz
23:41 (join) jeapostrophe
23:41 (quit) jeapostrophe: Changing host
23:41 (join) jeapostrophe
23:56 (join) billyoc