00:04 (quit) jrslepak: Quit: Leaving
00:18 (join) dnolen
00:20 (quit) jeapostrophe: Ping timeout: 240 seconds
00:37 (quit) veer: Read error: Connection reset by peer
00:37 (join) Lajla
00:54 (quit) dnolen: Remote host closed the connection
00:59 (join) veer
02:16 (quit) cataska: *.net *.split
02:17 (join) cataska
03:07 (quit) jonrafkind: Ping timeout: 252 seconds
03:16 (join) bluezenix
03:37 (join) Blkt
03:41 Blkt: good morning everyone
03:50 (quit) Shviller: Ping timeout: 248 seconds
03:50 (join) Shviller
03:54 (join) noelw
04:26 (join) sindoc
04:30 (nick) chaozzbubi -> ChaozZBubi
04:32 (join) ahinki
05:19 (join) ahinki_
05:21 (quit) ahinki: Ping timeout: 245 seconds
05:21 (nick) ahinki_ -> ahinki
05:24 (nick) ChaozZBubi -> chaozzbubi
05:28 (join) masm
05:29 (join) add^_
05:57 (join) karswell
07:12 (quit) karswell: 
07:18 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/Hmyd0g
07:18 RacketCommitBot: [racket/master] Better solution to using "$platform" -- do that only in DO_BUILD. - Eli Barzilay
07:18 RacketCommitBot: [racket/master] Make the bg-log files available on the web page too. - Eli Barzilay
07:21 (join) karswell
07:22 (join) Shvillr_
07:22 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/xaj5PQ
07:22 RacketCommitBot: [racket/master] Add a syntax for making lines in the status text linked. - Eli Barzilay
07:22 (quit) Shvillr: Ping timeout: 276 seconds
07:28 (quit) karswell: 
07:29 (join) mceier
07:46 (join) karswell
07:48 (nick) chaozzbubi -> ChaozZBubi
07:53 (quit) karswell: Ping timeout: 252 seconds
08:01 (join) jeapostrophe
08:16 (quit) jeapostrophe: Ping timeout: 244 seconds
08:59 (join) EmmanuelOga
09:07 (join) jrslepak
09:08 (quit) mceier: Ping timeout: 240 seconds
09:16 (join) jeapostrophe
09:57 (join) mceier
10:06 (quit) realitygrill: Quit: realitygrill
10:07 (quit) sindoc: Quit: Leaving.
10:09 (join) sindoc
10:19 (quit) add^_: Ping timeout: 253 seconds
10:28 (quit) jrslepak: Quit: This computer has gone to sleep
10:43 (quit) ahinki: Quit: ChatZilla 0.9.88 [Firefox 10.0/20120111092507]
10:44 (quit) jeapostrophe: Ping timeout: 255 seconds
10:58 (nick) jschuster_away -> jschuster
10:58 (quit) veer: Remote host closed the connection
11:09 (join) anRch
11:46 (join) jonrafkind
11:50 (quit) Demosthenes: Ping timeout: 240 seconds
11:50 (join) jeapostrophe
11:53 (join) sindoc1
11:53 (quit) sindoc: Read error: Connection reset by peer
11:56 (join) westwest
11:57 westwest: Can a hashtable serve as an event?  I seem to recall something like this.
11:57 (join) Demosthenes
11:58 offby1: don't think so
11:59 offby1: at least, not normally
11:59 offby1: docs will say so if it is the case
12:12 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/z4bYhQ
12:12 RacketCommitBot: [racket/master] doc clarification on SRFI-1 exports - Matthew Flatt
12:12 RacketCommitBot: [racket/master] doc clarifications on `frtime' - Matthew Flatt
12:14 (quit) anRch: Quit: anRch
12:15 (join) JoelMcCracken
12:17 (quit) Blkt: Quit: ERC Version 5.3 (IRC client for Emacs)
12:18 (join) add^_
12:24 (quit) westwest: Quit: leaving
12:30 (join) anRch
12:38 (quit) bluezenix: Read error: Connection reset by peer
12:43 (quit) add^_: Quit: add^_
12:50 (join) dnolen
12:54 (quit) anRch: Quit: anRch
13:04 (quit) dnolen: Ping timeout: 258 seconds
13:20 (join) add^_
13:20 (part) add^_
13:22 jonrafkind: is there some trick to comparing pointers in ffi?
13:22 jonrafkind: oh maybe ptr-equal?
13:31 (join) jao
13:36 (join) bluezenix
13:45 offby1: no idea
13:45 offby1: next question
13:46 (join) samth
13:55 (join) dnolen
14:02 (quit) bluezenix: Quit: Leaving.
14:02 (join) sid0
14:03 sid0: hi, I seem to be having trouble with racket's FFI. I can get basic functions (sin, cos, exit) to work properly, but I'm trying to load a library and run a function exported by it, and it exits with SIGILL
14:04 jonrafkind: when does it exit? when you call the function?
14:04 sid0: yeah
14:05 jonrafkind: what function? something common?
14:05 sid0: I've checked the type and it seems to be fine
14:05 sid0: well, it's the Z3 theorem prover library
14:05 jonrafkind: whats the function signature?
14:05 jonrafkind: in C
14:07 sid0: oh, hmm, on double-checking I might have got it wrong
14:08 jonrafkind: I knew I was good for something
14:09 sid0: jonrafkind: but what would the function sig be for for void* foo()?
14:09 sid0: -for
14:09 sid0: just to sanity check
14:10 sid0: would (_fun -> _pointer) be correct?
14:10 jonrafkind: thats what I would do
14:10 sid0: ok, so I'm not insane then :)
14:10 jonrafkind: is that the function signature? or the type of a callback passed to the function?
14:10 sid0: the function signature itself
14:10 jonrafkind: hm
14:10 sid0: I haven't even gotten to callbacks yet
14:10 sid0: :)
14:10 jonrafkind: maybe you have to intiailize some other stuff before you call that function?
14:11 sid0: I checked, doesn't seem to be the case
14:11 jonrafkind: I think you can gdb racket when then see where it dies
14:11 sid0: but I think I got struct and opaque pointer mixed up
14:11 jonrafkind: although i havent done that for a while so maybe you cant
14:11 sid0: so let me try fixing that
14:15 sid0: actually, no, the struct docs say that structs are pointers
14:15 sid0: so that shouldn't be a problem...
14:17 sid0: jonrafkind: hm, so the function definition is Z3_config Z3_mk_config();
14:17 sid0: jonrafkind: where Z3_config is an opaque pointer
14:18 sid0: and I'm calling (define mk-config (get-ffi-obj "Z3_mk_config" libz3 (_fun -> _z3-config)))
14:18 sid0: where I already have (define-cpointer-type _z3-config)
14:18 sid0: afaict I'm doing things correctly...
14:20 sid0: this is on linux, so I don't think there would be any ABI issues either
14:20 sid0: if I were on windows I'd be worrying about stdcall vs cdecl vs the mishmash that is WINAPI
14:23 jonrafkind: looks reasonable to me
14:23 jonrafkind: can you call any other z3 function?
14:26 sid0: I need to create a config before doing anything else :(
14:34 (quit) dous_: Ping timeout: 240 seconds
14:52 Oxryly: is there some trick to using the macro stepper when the macro is defined in a provided module?
14:52 (join) ianjneu
14:53 Oxryly: er.. a 'require'd module really
14:54 jonrafkind: there are some buttons on the bottom about showing imported modules
14:54 ianjneu: I have yiceslite set up with the ffi if that would be instructive
14:55 Oxryly: jonrafkind: ah... that's the trick. thanks!
14:55 jonrafkind: ianjneu, no context provided
14:59 (quit) JoelMcCracken: Ping timeout: 244 seconds
15:00 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/LDR18Q
15:00 RacketCommitBot: [racket/master] [honu] allow classes to accept 0 constructor parameters. add 'to' as a binary operator that creates a list of numbers - Jon Rafkind
15:00 RacketCommitBot: [racket/master] [honu] add a filtering clause to list comprehensions - Jon Rafkind
15:00 RacketCommitBot: [racket/master] [honu] add != operator. provide some other basic functions - Jon Rafkind
15:03 (join) bluezenix
15:17 (quit) jonrafkind: Ping timeout: 252 seconds
15:19 sid0: never mind, seems to be a problem with the library itself. python's ctypes isn't working either
15:23 (quit) sindoc1: Quit: Leaving.
15:41 (join) jonrafkind
15:47 (join) dyoo
15:50 (quit) bluezenix: Quit: Leaving.
15:54 (join) DanBurton
15:55 (join) bluezenix
15:56 (quit) bluezenix: Client Quit
16:16 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/eTmPRQ
16:16 RacketCommitBot: [racket/master] [honu] already have integer, dont need int - Jon Rafkind
16:16 RacketCommitBot: [racket/master] [honu] replace = with in - Jon Rafkind
16:19 (join) malkomalko
16:26 (join) bluezenix
16:36 (join) gciolli
16:44 (join) Blkt
16:48 (quit) malkomalko: Remote host closed the connection
16:52 (join) sindoc
16:53 (join) sindoc1
16:53 (quit) sindoc: Read error: Connection reset by peer
16:55 sid0: well, figured it out. libz3 didn't mention a dependence on libgomp. loaded it explicitly, works now
16:55 jonrafkind: nice
16:56 jonrafkind: you would expect the error to be 'cannot find symbol _gomp_blah' or something
16:56 jonrafkind: System.LoadLIbrary() in java does that much at least
16:56 sid0: jonrafkind: yeah, that's what python told me
16:56 sid0: I normally program on windows so I'm not really familiar with the linux shared library model
16:57 sid0: today was pretty educational :)
16:57 jonrafkind: well I don't think there are too many differences really
16:58 Blkt: good evening everyone
16:58 dyoo: hello
16:58 Blkt: :D
16:58 jonrafkind: (╯°□°）╯︵ ┻━┻
17:00 sid0: now to figure out how to write a callback, heh
17:01 (join) yoklov
17:03 (quit) jonrafkind: Ping timeout: 260 seconds
17:06 (quit) SeanTAllen: Remote host closed the connection
17:08 (join) jonrafkind
17:16 (quit) bluezenix: Quit: Leaving.
17:17 (quit) rsimoes: Ping timeout: 252 seconds
17:20 (join) rsimoes
17:23 dyoo: does anyone know how to turn off the intra-module inlining of constants?
17:23 dyoo: in 5.2.1, it's breaking things in Whalesong
17:29 dyoo: followup: I'll try to see if (compile-enforce-module-constants #f) does the trick
17:31 samth: dyoo, raco make --no-inline might help
17:35 dyoo: @samth: ok, I'm going to have to hunt to see how '--no-inline' is implemented...
17:36 (join) SeanTAllen
17:41 sid0: hmm, how can I access the path the current module is in?
17:41 sid0: i.e. what would be __file__ in python
17:42 sid0: current-load-relative-directory looks useful
17:42 dyoo: sid0: Use define-runtime-path
17:42 dyoo: to get the path relative to the current module
17:42 samth: rudybot (define-runtime-path ".")
17:43 samth: rudybot: (define-runtime-path ".")
17:43 rudybot: samth: your sandbox is ready
17:43 rudybot: samth: error: reference to an identifier before its definition: define-runtime-path in module: 'program
17:43 samth: rudybot: (require racket/runtime-path)
17:43 rudybot: samth: Done.
17:43 samth: rudybot: (define-runtime-path ".")
17:43 rudybot: samth: error: #<undefined>:1:0: define-runtime-path: bad syntax in: (define-runtime-path ".")
17:43 samth: rudybot: (define-runtime-path x ".")
17:43 rudybot: samth: error: current-directory: `exists' access denied for /usr/local/src/rudybot/
17:43 samth: darn
17:43 dyoo: http://docs.racket-lang.org/reference/Filesystem.html#(form._((lib._racket/runtime-path..rkt)._define-runtime-path))
17:43 sid0: heh
17:43 dyoo: jump to the example near the bottom of its docs
17:44 sid0: perfect
17:45 dyoo: the reason it's a separate form is because it cooperates with raco distribute, I think
17:45 sid0: thanks
17:45 sid0: I see
17:48 dyoo: samth, are you sure about --no-inline?  I can't find documentation for it, and I'm failing to grep it
17:48 dyoo: $ raco make --no-inline hello-2.rkt
17:48 dyoo: I get back:   raco make: unknown switch: --no-inline
17:52 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/2TxV3Q
17:52 RacketCommitBot: [racket/master] put status bar update on stepper frame eventspace - John Clements
17:52 RacketCommitBot: [racket/master] make sure initial update goes on eventspace thread - John Clements
17:52 (quit) sindoc1: Read error: Connection reset by peer
17:52 (join) sindoc
17:55 (quit) DanBurton: Quit: Leaving
17:58 (quit) platinuum: Ping timeout: 252 seconds
18:15 samth: dyoo, sorry, it must be called something else
18:15 samth: try raco help make
18:15 dyoo: no problem, I found a workaround.  I need to use set! judiciously to convince the compiler not to help me.  :)
18:21 (quit) dnolen: Quit: Page closed
18:24 (quit) mceier: Quit: leaving
18:24 stamourv: samth: Are you going to update the TR history file?
18:24 stamourv: (and run the tests, and all)
18:24 samth: stamourv, yes
18:24 stamourv: Great, thanks.
18:25 stamourv: I'm kind of busy preparing my talk.
18:25 samth: understandably
18:25 stamourv: And with the ridiculous number of talks, seminars, etc. that we got this week, it's kinda hard.
18:25 samth: how was the hiring talk?
18:29 stamourv thinks
18:29 stamourv: Well, not what I expected, but fine I guess.
18:30 stamourv: He really sold it as theory meets practice, but he was firmly a theory guy, but who did find inspiration in modeling practical issues.
18:30 stamourv: Lacking imagination for future work, though.
18:31 stamourv: But he made a good impression during the student meeting.
18:31 (quit) jeapostrophe: Ping timeout: 252 seconds
18:31 stamourv: Tell me when to stop.
18:31 samth: i'm interested
18:31 stamourv: What do you want to know more about?
18:32 samth: i was surprised that he went with math in sentence 1 of the abstract
18:32 samth: but i guess he's a very theory guy
18:32 stamourv: Lemme go check the abstract.
18:32 stamourv: Right, he did.
18:33 stamourv: Yes, he is a firmly a theory guy, but was aware and vaguely interested in stuff happening outside his office.
18:33 samth: well, that's good at least
18:33 stamourv: Yes.
18:33 stamourv: But the most practical/applied stuff he talked about was not his own work.
18:33 stamourv: That was a recurring issue, actually. Most of the talk was not about his own work.
18:33 samth: oh weird
18:35 (nick) ChaozZBubi -> chaozzbubi
18:42 (nick) chaozzbubi -> ChaozZBubi
18:43 (join) dous
18:52 (quit) dyoo: Ping timeout: 258 seconds
18:59 (join) realitygrill
19:00 (quit) gciolli: Ping timeout: 240 seconds
19:10 (nick) ChaozZBubi -> chaozzbubi
19:16 (quit) Shvillr_: Ping timeout: 248 seconds
19:26 (quit) EmmanuelOga: Quit: WeeChat 0.3.7-dev
19:29 (join) jeapostrophe
19:29 (nick) jschuster -> jschuster_away
19:31 (quit) sindoc: Quit: Leaving.
19:34 (quit) jeapostrophe: Ping timeout: 244 seconds
19:38 RacketCommitBot: [racket] plt pushed 3 new commits to release: http://git.io/HzeJRQ
19:38 RacketCommitBot: [racket/release] Mac OS X: work around a localtime() bug in 64-bit 10.6.8 - Matthew Flatt
19:38 RacketCommitBot: [racket/release] win64: fix `raco dist' - Matthew Flatt
19:38 RacketCommitBot: [racket/release] DrRacket & Redex history updates for 5.2.1 - Robby Findler
19:58 (nick) kandinski -> yore
20:14 (nick) yore -> kandinski
20:14 (join) realitygrill_
20:17 (quit) realitygrill: Ping timeout: 240 seconds
20:17 (nick) realitygrill_ -> realitygrill
20:37 (quit) samth: Ping timeout: 252 seconds
20:43 (quit) jonrafkind: Read error: Operation timed out
21:05 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/dqtUGw
21:05 RacketCommitBot: [racket/master] added a clarification to the freeze docs - Robby Findler
21:09 (join) jeapostrophe
21:36 (quit) masm: Quit: Leaving.
21:53 (join) jrslepak
22:20 (join) dnolen
22:20 (join) JoelMcCracken
22:20 (quit) JoelMcCracken: Disconnected by services
22:20 (join) JoelMcCr`
22:21 (nick) JoelMcCr` -> JoelMcCracken`
22:21 (join) JoelMcCracken
22:22 (quit) JoelMcCracken: Remote host closed the connection
22:22 (quit) JoelMcCracken`: Client Quit
22:23 (join) JoelMcCracken
22:29 (quit) dnolen: Ping timeout: 252 seconds
22:45 (join) karswell
23:10 (quit) offby1: Disconnected by services
23:13 (join) offby1
23:15 (quit) karswell: Ping timeout: 240 seconds
23:21 (quit) offby1: Ping timeout: 240 seconds
23:23 (join) offby1
23:26 (quit) realitygrill: Read error: Connection reset by peer
23:26 (join) realitygrill
23:45 (quit) jao: Ping timeout: 240 seconds
23:51 (quit) JoelMcCracken: Ping timeout: 240 seconds