00:15 (quit) francisl: Quit: francisl
00:34 (quit) veer: Quit: Leaving
01:57 (quit) jonrafkind: Ping timeout: 248 seconds
02:53 (join) hkBst
03:02 (join) tim-brown
03:20 (join) Blkt
03:23 Blkt: good morning everyone
03:29 (quit) realitygrill: Ping timeout: 258 seconds
03:32 tim-brown: Blkt: morning
03:37 Blkt: :)
03:58 (join) alkoma
03:59 (part) alkoma
04:07 (quit) mithos28: Quit: mithos28
04:22 (join) ahinki
04:53 (join) noelw
05:13 (join) archaic
05:24 (join) chturne
05:30 (join) mceier
06:12 (join) jao
06:18 (quit) chturne: Read error: Operation timed out
06:32 (join) realitygrill
06:32 (join) chturne
06:35 (join) masm
07:05 (quit) chturne: Read error: Operation timed out
07:11 (quit) realitygrill: Quit: realitygrill
07:18 (join) realitygrill
07:31 (quit) noelw: Quit: noelw
07:36 (join) francisl
07:37 (quit) haruki_zaemon: Quit: Laterz
07:40 (quit) francisl: Client Quit
08:03 (quit) realitygrill: Quit: realitygrill
08:05 (join) realitygrill
08:19 (quit) realitygrill: Quit: realitygrill
08:26 (join) noelw
09:09 (join) veer
09:23 (join) ahinki_
09:24 (quit) ahinki: Ping timeout: 258 seconds
09:24 (nick) ahinki_ -> ahinki
09:38 (join) jrslepak_
10:15 (join) realitygrill
10:17 (join) mye
10:24 (join) realitygrill_
10:25 (quit) realitygrill: Ping timeout: 248 seconds
10:25 (nick) realitygrill_ -> realitygrill
10:29 (quit) realitygrill: Client Quit
10:45 (quit) hkBst: Read error: Connection reset by peer
10:47 tim-brown: rapcacity: i mentioned last week there was an issue with racklog that caused me to dismiss it
10:47 tim-brown: it's that _datalog_ doesn't have a ';' disjunction operator
10:48 tim-brown: and I assumed that would limit racklog's expressiveness
10:48 tim-brown: i was wrong. sorry for dissing racklog, folks
10:50 (quit) veer: Quit: Leaving
10:56 (join) anRch
10:57 (quit) jrslepak_: Quit: This computer has gone to sleep
10:58 (nick) samth_away -> samth
10:59 samth: mithos28: i don't understand your question
11:01 (quit) ahinki: Quit: ChatZilla 0.9.87 [Firefox 8.0/20111006182035]
11:17 (join) dnolen
11:26 (quit) mye: Ping timeout: 255 seconds
11:30 (join) jrslepak_
11:32 (quit) jrslepak_: Client Quit
11:45 (join) MayDaniel
11:57 (quit) anRch: Quit: anRch
11:58 (quit) em: Ping timeout: 240 seconds
11:59 (join) em
12:02 (join) anRch
12:04 (quit) anRch: Read error: Connection reset by peer
12:04 (quit) MayDaniel: Read error: Connection reset by peer
12:04 (join) anRch
12:04 (quit) em: Read error: Connection reset by peer
12:05 (join) em
12:09 (quit) em: Ping timeout: 245 seconds
12:11 (join) em
12:16 (quit) em: Ping timeout: 248 seconds
12:17 (join) em
12:22 (quit) em: Ping timeout: 240 seconds
12:23 (join) wishbone4
12:24 (join) em
12:26 (quit) Blkt: Quit: going home
12:29 (quit) wishbone4: Ping timeout: 260 seconds
12:29 (quit) em: Ping timeout: 256 seconds
12:29 (join) jonrafkind
12:29 (join) em
12:32 (quit) anRch: Quit: anRch
12:35 (quit) em: Read error: Connection reset by peer
12:38 (join) em
12:39 (quit) dnolen: Ping timeout: 265 seconds
12:41 (quit) em: Remote host closed the connection
12:42 (join) em
12:42 (join) wishbone4
12:47 (quit) em: Ping timeout: 244 seconds
12:49 (join) em
12:51 (join) blake_johnson
12:54 (quit) em: Ping timeout: 260 seconds
12:55 (join) em
13:00 (quit) em: Ping timeout: 255 seconds
13:01 (join) em
13:05 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/orJuqg
13:05 RacketCommitBot: [racket/master] make provide/contract generate only one definition to bind the positive - Robby Findler
13:05 RacketCommitBot: [racket/master] improved the known-good-contract? predicate by including more known - Robby Findler
13:07 (quit) em: Ping timeout: 260 seconds
13:09 (quit) noelw: Quit: noelw
13:19 (quit) masm: Read error: Operation timed out
13:19 (join) em
13:21 (join) masm
13:24 (quit) em: Ping timeout: 260 seconds
13:26 (join) mithos28
13:36 (join) em_
13:42 (quit) em_: Remote host closed the connection
13:44 (join) em_
13:48 (quit) em_: Remote host closed the connection
13:49 (join) em_
13:52 (join) anRch
13:54 (quit) em_: Ping timeout: 260 seconds
13:56 (quit) blake_johnson: Quit: blake_johnson
14:03 (join) blake_johnson
14:03 (quit) blake_johnson: Remote host closed the connection
14:04 (join) blake_johnson
14:04 (join) MayDaniel
14:05 (join) em_
14:09 RacketCommitBot: [racket] plt pushed 7 new commits to master: http://git.io/vj_dQA
14:09 RacketCommitBot: [racket/master] Add missing word 'one', clarify behavior of the 'semi-or-amp mode. - Rodolfo Carvalho
14:09 RacketCommitBot: [racket/master] Add sqlite libraries to the `db' spec. - Eli Barzilay
14:09 RacketCommitBot: [racket/master] Make the example `rebind' more like other rebinds in Emacs and others. - Eli Barzilay
14:10 (quit) em_: Ping timeout: 252 seconds
14:13 RacketCommitBot: [racket] plt pushed 41 new commits to release: http://git.io/1Fg1jQ
14:13 RacketCommitBot: [racket/release] fix argument-error report - Matthew Flatt
14:13 RacketCommitBot: [racket/release] doc clarifications - Matthew Flatt
14:13 RacketCommitBot: [racket/release] Revert "another attempt to fix the 64-bit Lion hidden-window problem" - Matthew Flatt
14:17 (join) em_
14:22 (quit) em_: Ping timeout: 255 seconds
14:28 (join) em_
14:32 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/OXlFiA
14:32 RacketCommitBot: [racket/master] Remove the unneeded `require' in that example. - Eli Barzilay
14:32 (quit) em_: Ping timeout: 245 seconds
14:33 RacketCommitBot: [racket] plt pushed 1 new commit to release: http://git.io/w058eg
14:33 RacketCommitBot: [racket/release] Remove the unneeded `require' in that example. - Eli Barzilay
14:34 (join) em_
14:36 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/oern3w
14:36 RacketCommitBot: [racket/master] fix a type name - Matthew Flatt
14:39 (quit) em_: Ping timeout: 248 seconds
14:46 (join) em_
14:51 (quit) em_: Ping timeout: 255 seconds
14:52 (join) em_
14:57 (quit) em_: Ping timeout: 255 seconds
14:59 (quit) MayDaniel: Read error: Connection reset by peer
15:01 (quit) anRch: Quit: anRch
15:11 (join) amonakov
15:13 amonakov: Hello, I have a couple of questions; googling did not help
15:13 amonakov: First, can slow interpreter startup be improved somehow?
15:14 amonakov: With mzscheme or racket, a program as simple as '(write (read))' takes 0.5 seconds on my machine due to massive I/O on startup
15:15 (join) em_
15:15 mithos28: have you tried using #lang racket/base instead of #lang racket?
15:15 amonakov: I'll try in a sec
15:15 mithos28: also try running raco make file.rkt and then running racket file.rkt
15:16 amonakov: racket/base improves it to 0.1
15:17 amonakov: I wonder how much stuff is excluded then, though
15:17 mithos28: a lot
15:17 mithos28: pretty much anything that is racket/*, is not included
15:18 amonakov: raco make cuts down 0.5 to 0.4
15:18 mithos28: http://docs.racket-lang.org/reference/index.html?q=racket/base
15:18 mithos28: the side bar
15:19 mithos28: what about both?
15:19 amonakov: about 0.07
15:20 mithos28: is that fast enough for your purposes?
15:20 (quit) em_: Ping timeout: 240 seconds
15:20 amonakov: mostly yes
15:20 amonakov: I can explain why I asked if you're interested
15:20 amonakov: but I also have another question
15:21 mithos28: I'll try to help again
15:21 amonakov: Is there some intricate trick to verify that all calls are tail-recursive?
15:21 (join) em_
15:21 mithos28: no it is usually syntatic
15:21 mithos28: but you can try Check syntax
15:22 amonakov: "Check syntax"?
15:22 mithos28: it should mark tailcalls with pink arrows
15:22 mithos28: in DrRacket
15:22 mithos28: there is a button in the upper right
15:23 amonakov: I would need a non-gui solution
15:23 mithos28: are you trying to automate this, or do you not have a gui on the machine you are running on?
15:24 amonakov: Yes, I, ideally, want to have an automatic way to make mzscheme/racket say if all calls were tail-recursive
15:25 mithos28: I don't think that is very easy
15:25 mithos28: It might be possible by examining the bytecode after it is compiled
15:26 mithos28: What is the higher level property you are trynig to get at?
15:26 (quit) em_: Ping timeout: 260 seconds
15:28 amonakov: I'm helping to run a Scheme-based course in a university, and we plan to give students some problems where they will need to express solutions in continuation-passing style
15:28 amonakov: so, no explicit recursion, but passing growing lambdas with continuations
15:28 amonakov: (I hope I made myself clear)
15:29 amonakov: it would be nice to have an automatic style verification for that
15:29 mithos28: ah so by all calls, you mean all syntactic applications in a source file?
15:29 amonakov: yes
15:29 mithos28: it should be possible with a module language
15:30 mithos28: expand out the module-body forms and then recur over them checking that they are well formed
15:32 amonakov: that sounds unfamiliar; is there some documentation?
15:33 (join) em_
15:33 mithos28: http://hashcollision.org/brainfudge/index.html
15:34 mithos28: a tutorial on writing your own language
15:34 mithos28: you won't need most of it
15:34 amonakov: OK, thanks for your help :)
15:34 mithos28: http://www.ccs.neu.edu/home/matthias/Thoughts/Racket_is____.html
15:35 mithos28: This one is simpler
15:38 (quit) em_: Ping timeout: 240 seconds
15:42 zerokarmaleft: son of a...dyoo's rick rolling everyone with that page
15:50 (join) em_
15:56 (quit) em_: Ping timeout: 258 seconds
16:00 RacketCommitBot: [racket] plt pushed 1 new commit to release: http://git.io/2-in9w
16:00 RacketCommitBot: [racket/release] fix a type name - Matthew Flatt
16:01 (part) blake_johnson
16:01 (join) em_
16:14 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/kZv6LQ
16:14 RacketCommitBot: [racket/master] Fix typo in htdp url. - Eli Barzilay
16:25 (join) MayDaniel
16:30 (quit) MayDaniel: Read error: Connection reset by peer
16:48 (quit) em_: Quit: As a wild ass in the desert go I forth to my work
16:48 (join) emma_
16:52 (nick) emma_ -> emma
16:52 (nick) emma -> EMMA
16:52 (nick) EMMA -> emma
16:55 (nick) emma -> em
18:16 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/PFEbQQ
18:16 RacketCommitBot: [racket/master] gtk: no freeze/thaw before/after unmap - Matthew Flatt
18:32 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/VaZGqw
18:32 RacketCommitBot: [racket/master] use the focus table mixin for the autosave window so that drdr tests work right - Robby Findler
18:35 (join) chemuduguntar
18:35 chemuduguntar: hello
18:35 chemuduguntar: does any one here use a kindle?
18:36 chemuduguntar: I would like to get racket docs on it, but it uses mobi
18:37 jonrafkind: can you use a converter? http://ebook.online-convert.com/convert-to-pdf
18:38 jonrafkind: you can get the docs as a pdf from here http://racket-lang.org/learning.html
18:38 chemuduguntar: jonrafkind: pdf is ok but not so good, because it does not allow reflow
18:38 chemuduguntar: are these written in latex?
18:38 chemuduguntar: (the manuals)
18:38 jonrafkind: well... sort of
18:38 jonrafkind: its written in a language called 'scribble' which renders to latex
18:38 chemuduguntar: ah ok
18:39 jonrafkind: you want the latex sources?
18:39 chemuduguntar: jonrafkind: ok
18:39 chemuduguntar: maybe i can find a tex to mobi converter
18:54 (quit) Twey: Remote host closed the connection
18:58 (join) Twey
19:15 (part) Twey
19:16 (join) realitygrill
19:16 (join) dnolen
19:17 (quit) jao: Ping timeout: 258 seconds
19:24 (quit) karswell: Excess Flood
19:25 (quit) mceier: Quit: leaving
19:25 (join) karswell
19:27 (quit) masm: Quit: Leaving.
19:31 (nick) samth -> samth_away
19:38 (quit) dnolen: Ping timeout: 248 seconds
19:39 (join) dnolen
19:46 (join) cafesofie
20:13 (join) haruki_zaemon
20:20 (quit) wishbone4: Remote host closed the connection
20:25 RacketCommitBot: [racket] plt pushed 2 new commits to release: http://git.io/Ojp92Q
20:25 RacketCommitBot: [racket/release] Fix typo in htdp url. - Eli Barzilay
20:25 RacketCommitBot: [racket/release] gtk: no freeze/thaw before/after unmap - Matthew Flatt
20:41 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/aryiTg
20:41 RacketCommitBot: [racket/master] Fixes matching of prefab struct literals - Casey Klein
20:51 (quit) amonakov: *.net *.split
20:51 (quit) petey: *.net *.split
20:51 (quit) mattmight: *.net *.split
20:51 (quit) brainproxy: *.net *.split
20:51 (quit) karswell: *.net *.split
20:51 (quit) jonrafkind: *.net *.split
20:51 (quit) snorble: *.net *.split
20:51 (quit) samth_away: *.net *.split
20:51 (quit) tewk: *.net *.split
20:51 (quit) tomku: *.net *.split
20:51 (quit) sethalves: *.net *.split
20:51 (quit) Gertm: *.net *.split
20:52 (quit) dnolen: Quit: dnolen
20:55 (join) karswell
20:55 (join) amonakov
20:55 (join) jonrafkind
20:55 (join) snorble
20:55 (join) samth_away
20:55 (join) petey
20:55 (join) tewk
20:55 (join) tomku
20:55 (join) sethalves
20:55 (join) brainproxy
20:55 (join) mattmight
20:55 (join) Gertm
20:55 (quit) karswell: Remote host closed the connection
20:55 (join) karswell
21:03 (join) mye
21:05 (quit) mye: Client Quit
21:13 (part) haruki_zaemon: "Laterz"
21:14 (join) mye
21:19 (quit) jonrafkind: Ping timeout: 258 seconds
21:28 (quit) cafesofie: Remote host closed the connection
21:43 (quit) mithos28: Quit: mithos28
21:52 (join) dnolen
21:56 (join) DanBurton
22:04 (join) veer
22:09 (quit) veer: Quit: Leaving
23:01 (join) Nanakhiel
23:04 (quit) Lajla: Ping timeout: 260 seconds
23:39 (quit) dnolen: Quit: dnolen