00:24 (join) scott_
00:24 (quit) scott_: Changing host
00:25 (join) scott_
00:25 (quit) SamB_MacG5: Ping timeout: 246 seconds
00:26 (join) SamB_MacG5
00:56 (join) jeapostrophe
00:56 (quit) jeapostrophe: Changing host
00:56 (join) jeapostrophe
01:10 (quit) maxwellhansen: Ping timeout: 246 seconds
01:16 (quit) Kaylin: Ping timeout: 255 seconds
01:17 (quit) jeapostrophe: Ping timeout: 246 seconds
01:20 (join) mizu_no_oto
01:40 (join) mye
01:41 (quit) scott_: Quit: Leaving
01:50 (quit) mithos28: Quit: mithos28
01:59 (quit) ambrosebs: Ping timeout: 264 seconds
02:03 (quit) walter|rtn: Quit: This computer has gone to sleep
02:16 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
02:37 (join) dented42
02:38 (quit) dented42: Client Quit
02:40 (join) dented42
03:03 (join) ambrosebs
03:07 mye: how can I make quote indent into a tabular way (define foo '(1 2 3
03:07 mye: 4 5 6))
03:07 mye: the 4 is under the 2 not the one in drracket
03:08 mye: I already tried adding it to the indent prefs
03:08 mye: or is there another way to write done a matrix ?
03:11 mye: oh well, I'll introduce list for each row and use flatten
03:11 jonrafkind: I think you can play with the indenting style that drracket uses in one of the preference things
03:11 jonrafkind: but ive never done it..
03:12 mye: jonrafkind: I did add quote to begin like indenting but it didn't seem to work
03:12 jonrafkind: ah
03:16 mye: whoops, flatten does a bit too much, removing all the inner pairs as well. Is there a function to flatten only one level deep?
03:18 jonrafkind: '(((1 2) (3 4)) ((5 6) (7 8))) => '((1 2) (3 4) (5 6) (7 8)) ?
03:18 jonrafkind: maybe just (apply append x) ?
03:19 jonrafkind: lists are such a terrible ad-hoc datastructure :p
03:21 mye: jonrafkind: I now use (append '((1 2) (3 4)) '((5 6) (7 8)))
03:21 mye: not sure if lists are so bad or quote just has shit indenting  :|
03:22 jonrafkind: i really wouldn't use lists to model a matrix..
03:22 mye: jonrafkind: I don't I just want to write down a list of values in matrix form
03:22 jonrafkind: I'd do something like (matrix 2 3 0 0 1 1 2 2)
03:23 jonrafkind: you can indent the values accordingly
03:24 mye: it's for the expected result of a function, and making sure my test data is correct is much easier if everything lines up
03:24 mye: the result is just a straight list
03:38 (quit) Nisstyre-laptop: Quit: Leaving
03:50 (quit) jonrafkind: Ping timeout: 265 seconds
04:44 (quit) ambrosebs: Ping timeout: 256 seconds
04:47 (join) bitonic
04:49 (join) ambrosebs
05:17 (join) MayDaniel
05:32 (quit) cdidd: Ping timeout: 252 seconds
05:37 bartbes: how do I access predicates defined in a file with #lang racklog in another file (with the racklog module loaded, of course)?
05:51 mye: bartbes: have you provided them in the racklog module?
06:10 (quit) mye: Ping timeout: 256 seconds
06:32 (join) aes
06:34 aes: Does anybody know how ~/.racket/5.3.1/collects comes about on install? I don't seem to have one, which is apparently a problem..
06:38 bartbes: as a reply to mye's question, I am not sure you can provide from within the racklog language
06:39 bartbes: aes: ehm, I don't have any subfolders of ~/.racket
06:40 aes: racket --repl doesn't. what am I missing, then?
06:41 bartbes: I do have a bunch of stuff in /usr/lib/racket/collects, though
06:41 (quit) jsj: Quit: jsj
06:41 aes: ah. and I installed it in ~/.local/opt
06:42 bartbes: you might need to use -X (see --help)
06:43 aes: aha. thanks
06:43 bartbes: one would assume you can probably set it in a config somewhere
06:50 aes: Hm. symlinking worked too.
06:52 (join) nathanpc
07:13 (join) neilv
07:13 (quit) neilv: Changing host
07:13 (join) neilv
07:18 (quit) ambrosebs: Ping timeout: 240 seconds
07:24 (join) masm
07:39 (quit) neilv: Quit: Leaving
07:50 bartbes: right, so I've refined my question
07:50 bartbes: how would I go about using #lang datalog/racklog modules, and, more specifically, how would I interact with the predicates defined in one, since they both seem to be lacking a provide form
08:15 (join) ambrosebs
08:24 (join) jeapostrophe
08:24 (quit) jeapostrophe: Changing host
08:24 (join) jeapostrophe
08:47 (join) pavelpenev
08:52 (part) aes: "Leaving"
08:59 (quit) ambrosebs: Ping timeout: 255 seconds
09:06 (join) mizu_no_oto
09:25 (join) walter|r
09:26 (join) anRch
09:37 (quit) anRch: Read error: Connection reset by peer
09:38 (quit) dnolen: Ping timeout: 240 seconds
09:38 (join) anRch
09:53 (join) RacketCommitBot
09:53 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/UPdEHA
09:53 RacketCommitBot: racket/master 2626824 Robby Findler: detect when tracing:reset doesn't need to happen and skip it
09:53 RacketCommitBot: racket/master 6704346 Robby Findler: adjust the bluebox record-keeping code so that if there...
09:53 RacketCommitBot: racket/master 0e655f8 Robby Findler: only clear out the (offline) check syntax error message...
09:53 (part) RacketCommitBot
10:05 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
10:21 (quit) anRch: Quit: anRch
10:34 (join) jao
10:34 (quit) jao: Changing host
10:34 (join) jao
10:46 (join) untrusted
10:59 (join) mye
11:02 stamourv: rudybot: (make-list 5 'x)
11:02 rudybot: stamourv: ; Value: (x x x x x)
11:02 stamourv: Twey: ^
11:05 stamourv: bartbes: I haven't used racklog / datalog, do they provide `#%provide'?
11:05 stamourv: If so, you can use that to export bindings.
11:06 stamourv: I don't know what's the racklog / racket interop story.
11:12 (quit) mye: Quit: mye
11:24 bartbes: stamourv: ehm, #%provide?
11:25 stamourv: Yes, it's the "primitive" `provide'.
11:26 stamourv: It doesn't have all the niceties of `provide', but it can export stuff.
11:26 bartbes: well, I'm not sure how it would use syntactically
11:26 stamourv: IIRC, it's rougly equivalent to `mzscheme''s provide.
11:26 stamourv: rudybot: (require (prefix-in mzscheme m:))
11:26 rudybot: stamourv: error: #<undefined>:1:29: m:: bad module path in: m:
11:26 stamourv: rudybot: (require (prefix-in m: mzscheme))
11:26 rudybot: stamourv: Done.
11:26 stamourv: rudybot: doc m:provide
11:26 rudybot: stamourv: http://docs.racket-lang.org/mzscheme/Old_Syntactic_Forms.html#(form._((lib._mzscheme%2Fmain..rkt)._provide))
11:26 stamourv: bartbes: ^
11:27 bartbes: well, mostly because datalog and racklog don't have sexpr
11:27 stamourv: Oh, right. Forgot about that.
11:28 stamourv: Lemme check the docs.
11:28 (quit) untrusted: Ping timeout: 264 seconds
11:30 stamourv: bartbes: Looking at the datalog docs, it looks like you can embed datalog into Racket, but I don't see anything about interop for `#lang datalog' modules.
11:31 bartbes: that was exactly my problem
11:32 stamourv: Actually, looks like `#lang datalog/sexp' may be able to do interop.
11:32 bartbes: yeah, but then it's no longer datalog ;)
11:33 stamourv: Right.
11:33 bartbes: I was just experimenting anyway, but I came across this before and I don't think I ever found a way to access predicates from datalog/racklog
11:33 stamourv: You can try asking the mailing list. The authors of racklog / datalog pay attention to it.
11:34 stamourv: Or: adding syntax for `require' / `provide' to the syntaxful versions of racklog / datalog may be doable.
11:38 Twey: stamourv: Oooh, thanks
11:39 (join) RacketCommitBot
11:39 RacketCommitBot: [racket] plt pushed 11 new commits to master: http://git.io/2OASmg
11:39 RacketCommitBot: racket/master e217aaa Matthew Flatt: remove accidental declaration
11:39 RacketCommitBot: racket/master b223ad2 Matthew Flatt: x86_64 JIT: use 32-bit jumps until forced to allocate far away...
11:39 RacketCommitBot: racket/master 54c4a1f Matthew Flatt: x86 JIT: use LEA for fixnum tagging...
11:39 (part) RacketCommitBot
12:00 (join) mizu_no_oto
12:06 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
12:14 (quit) walter|r: Ping timeout: 246 seconds
12:15 (join) mizu_no_oto
12:16 (quit) mizu_no_oto: Client Quit
12:22 (join) mithos28
12:27 (join) walter|r
12:43 (join) Shviller
12:45 (quit) jrslepak: Quit: What happened to Systems A through E?
12:47 (quit) jeapostrophe: Ping timeout: 265 seconds
12:55 (join) jonrafkind
13:02 (join) snorble_
13:08 (join) cdidd
13:30 (quit) ormaaj: Read error: Operation timed out
13:43 (join) mye
13:46 (join) ormaaj
13:47 (join) aezz
13:47 (part) aezz
13:49 (quit) walter|r: Quit: This computer has gone to sleep
13:56 (quit) sizz: Ping timeout: 265 seconds
14:00 (join) sizz
14:01 (join) walter|r
14:42 (quit) mithos28: Read error: Connection reset by peer
14:45 (join) RacketCommitBot
14:45 RacketCommitBot: [racket] plt pushed 4 new commits to master: http://git.io/VRL-1Q
14:45 RacketCommitBot: racket/master f0adf69 Eli Barzilay: Fix error when a path is not found....
14:45 RacketCommitBot: racket/master ae5a066 Eli Barzilay: Fix prop problems....
14:45 RacketCommitBot: racket/master c61db0b Eli Barzilay: Drop Turkish mirror....
14:45 (part) RacketCommitBot
14:47 (join) jrslepak
14:53 (join) mithos28
15:16 (quit) mithos28: Quit: mithos28
15:34 (quit) SamB_MacG5: Ping timeout: 246 seconds
15:34 (join) greghendershott
15:34 (join) SamB_MacG5
15:39 (quit) mye: Quit: mye
15:42 (join) deu5
15:42 (join) mithos28
15:44 (join) scott_
15:44 (quit) scott_: Changing host
15:44 (join) scott_
15:56 (quit) jrslepak: Quit: What happened to Systems A through E?
15:59 (join) dyoo
16:05 (join) jrslepak
16:06 (join) Nisstyre-laptop
16:30 (join) Kaylin
16:31 (join) jeapostrophe
16:31 (quit) jeapostrophe: Changing host
16:31 (join) jeapostrophe
16:47 (quit) walter|r: Quit: Leaving
16:47 (join) walter|r
17:08 (quit) scott_: Quit: Leaving
17:25 (join) mizu_no_oto
17:26 (quit) dyoo: Quit: dyoo
17:30 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
17:32 (join) dyoo
17:40 (quit) dyoo: Quit: dyoo
17:43 (join) dyoo
17:54 (quit) dyoo: Quit: dyoo
17:56 (quit) jonrafkind: Ping timeout: 256 seconds
18:16 (quit) mceier: Remote host closed the connection
18:17 (join) mceier
18:18 (quit) mceier: Client Quit
18:18 (join) mceier
18:23 (join) dyoo
18:29 (quit) jrslepak: Quit: What happened to Systems A through E?
18:33 (quit) MayDaniel: Read error: Connection reset by peer
18:38 (quit) Shviller: Ping timeout: 252 seconds
18:39 (join) Shviller
18:47 (quit) Kaylin: Read error: Connection reset by peer
18:49 (join) Kaylin
18:51 jaimef is really impressed at the massive amounts of documentation racket scheme there are
18:51 jaimef: is
19:05 (quit) Kaylin: Quit: Leaving.
19:07 (join) mye
19:13 (quit) jeapostrophe: Ping timeout: 252 seconds
19:29 (quit) dyoo: Quit: dyoo
19:36 (quit) mithos28: Quit: mithos28
19:37 (join) spiderweb
19:44 (join) jrslepak
19:55 (join) mizu_no_oto
19:57 (join) mithos28
20:13 (quit) JStoker: Excess Flood
20:16 (join) JStoker
20:20 (quit) JStoker: Excess Flood
20:21 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
20:30 (quit) bitonic: Ping timeout: 264 seconds
20:31 (join) JStoker
20:42 (join) jonrafkind
20:43 (quit) walter|r: Quit: This computer has gone to sleep
20:44 (join) Kaylin
20:46 (join) walter|r
20:46 asumu: jaimef: :)
20:48 (quit) jrslepak: Quit: What happened to Systems A through E?
20:59 (join) mizu_no_oto
21:04 (quit) mithos28: Quit: mithos28
21:13 (join) RacketCommitBot
21:13 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/YS2t7w
21:13 RacketCommitBot: racket/master 9ad93ea Robby Findler: update drracket tests to the new name of...
21:13 RacketCommitBot: racket/master 8c47dbb Robby Findler: make the 'failed to click on the radio box' error message more helpful
21:13 (part) RacketCommitBot
21:17 (join) mithos28
21:17 (join) scott_
21:17 (quit) scott_: Changing host
21:17 (join) scott_
21:22 (quit) masm: Quit: Leaving.
21:23 (join) jrslepak
21:23 (quit) walter|r: Quit: This computer has gone to sleep
21:34 (join) walter|r
21:45 asumu: greghendershott: BTW, I think that the cause of the contract slowness you were seeing may have been due to define/contract: https://gist.github.com/4046452
21:47 asumu: (define/contract delays its contract wrapping until the function application site, because the blame is not known until then, I think)
21:47 (part) mithos28
21:51 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
21:53 (quit) jao: Ping timeout: 246 seconds
21:53 (quit) mye: Quit: mye
22:11 (join) mizu_no_oto
22:18 greghendershott: asumu: You mean as opposed to a plain define with a provide/contract only at module boundary?
22:21 (quit) nathanpc: Quit: Computer has gone to sleep.
22:24 greghendershott: FWIW I don't really like provide/contract. I don't like having the contract so far away from the function in the source.
22:25 greghendershott: Plus I like having it "protected" inside the module as well as out, usually.
22:40 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
22:50 (join) mithos28
22:57 asumu: greghendershott: yes, although I wonder if define/contract could use caching to avoid the overhead in tight loops
23:05 greghendershott: asumu: In your gist it looks like provide/contract is 22 msec whereas define/contract is 1327 (gc 341). So yes that's a huge difference.
23:07 greghendershott: Of course the handwritten checked version is 6, so provide/contract at 22 is still about 4-5X slower.
23:08 (join) mye
23:08 greghendershott: That's what I was playing around with in my gist. Trying to implement a contract-like thing on the naive understanding that "the contract it's writing checks for you". Because in terms of performance, the naive version is not necessarily bad. :)
23:10 greghendershott: Of course that loses some aspects of full-fledged contracts that can be valuable.
23:20 (quit) mithos28: Quit: mithos28
23:20 (join) jeapostrophe
23:20 (quit) jeapostrophe: Changing host
23:20 (join) jeapostrophe
23:21 (join) mithos28
23:50 (quit) ormaaj: Read error: Connection reset by peer
23:50 (join) bjz
23:52 (quit) jeapostrophe: Ping timeout: 252 seconds
23:54 (quit) dented42: Quit: Computer has gone to sleep.