00:07 (join) bjz
00:09 (quit) Demosthenes: Ping timeout: 250 seconds
00:10 (quit) jeapostrophe: Read error: Operation timed out
00:23 (join) snearch
00:24 (quit) snearch: Read error: Connection reset by peer
00:25 (join) snearch
00:43 mithos28: Is anyone here planning on doing icfp tomorrow?
01:25 (quit) snearch: Quit: Verlassend
01:38 (quit) Kaylin: Quit: Leaving.
01:39 (quit) random_malice: Ping timeout: 244 seconds
01:50 (join) noelw
01:51 (quit) chimeracoder: Ping timeout: 248 seconds
01:57 (quit) noelw: Quit: noelw
02:04 (join) mceier
02:07 (join) ghozi_
02:10 (quit) ghozi: Ping timeout: 245 seconds
02:11 (quit) ghozi_: Ping timeout: 260 seconds
02:18 (join) noelw
02:28 (quit) noelw: Quit: noelw
02:43 (join) ambrosebs
02:49 (join) adu
02:51 (join) hkBst
02:51 (quit) hkBst: Changing host
02:51 (join) hkBst
03:09 (join) surrounder
03:10 (join) djcoin
03:20 (quit) mithos28: Quit: mithos28
03:23 (quit) jacius: Quit: Leaving
03:47 (join) antithesis
03:52 (quit) antithesis: Quit: antithesis
03:53 (join) antithesis
04:05 (join) noelw
04:28 (join) gciolli
04:31 (join) soegaard
04:50 (join) MightyFoo
04:50 (nick) MightyFoo -> tim-brown
04:55 (quit) adu: Ping timeout: 246 seconds
05:06 (quit) ambrosebs: Ping timeout: 246 seconds
05:17 (join) ambrosebs
05:21 (quit) gciolli: Quit: Leaving.
05:24 (join) snearch
05:25 (quit) vu3rdd: Ping timeout: 246 seconds
05:31 (join) bitonic
05:34 (quit) soegaard: Quit: soegaard
05:38 (quit) ambrosebs: Ping timeout: 246 seconds
05:38 (join) gciolli
05:41 (quit) gciolli: Client Quit
05:43 (join) gciolli
06:10 (join) ambrosebs
06:11 (part) ambrosebs
06:18 (join) soegaard
06:42 (join) masm
07:07 (quit) gciolli: Quit: Leaving.
07:55 (join) jeapostrophe
08:04 (join) ambrosebs
08:04 (quit) jyc: Read error: Connection reset by peer
08:10 (quit) Shviller: Ping timeout: 246 seconds
08:11 (join) Shviller
08:28 (join) dnolen
08:30 (quit) Shvillr: Ping timeout: 252 seconds
08:31 (join) Shvillr
08:49 (join) anRch
08:58 (quit) ambrosebs: Ping timeout: 252 seconds
09:01 (join) random_malice
09:04 (join) ambrosebs
09:11 (quit) jrslepak: Ping timeout: 265 seconds
09:14 (quit) random_malice: Ping timeout: 240 seconds
09:14 (join) sunwukong
09:20 (quit) sunwukong: Remote host closed the connection
09:25 (join) jao
09:25 (quit) jao: Changing host
09:25 (join) jao
09:25 (quit) lewis1711: Quit: Leaving.
09:32 (join) jrslepak
09:32 (join) chimeracoder
09:49 (quit) anRch: Quit: anRch
10:02 (quit) jeapostrophe: Ping timeout: 240 seconds
10:05 (quit) chimeracoder: Ping timeout: 240 seconds
10:13 (quit) mceier: Quit: leaving
10:14 (join) RacketCommitBot
10:14 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/ICmP5g
10:14 RacketCommitBot: [racket/master] racket/draw: fix gl-context<%> locking - Matthew Flatt
10:14 RacketCommitBot: [racket/master] avoid compiler warning - Matthew Flatt
10:14 (part) RacketCommitBot
10:20 (join) gridaphobe
10:23 (quit) hkBst: Quit: Konversation terminated!
10:26 (join) Kaylin
10:26 (join) getpwnam
10:27 (join) hash_table
10:29 (join) mithos28
10:44 (join) random_malice
10:44 (join) bro_grammer
10:46 (quit) hash_table: Ping timeout: 244 seconds
10:46 (quit) getpwnam: Ping timeout: 244 seconds
10:46 (quit) dnolen: Ping timeout: 248 seconds
10:54 (quit) Kaylin: Quit: Leaving.
10:58 (join) MayDaniel
11:02 (quit) bjz: Quit: Leaving...
11:11 (join) jeapostrophe
11:11 (quit) jeapostrophe: Changing host
11:11 (join) jeapostrophe
11:22 (quit) sethalves: Ping timeout: 246 seconds
11:33 (join) getpwnam
11:33 (join) hash_table
11:34 (quit) MayDaniel: Read error: Connection reset by peer
11:34 (quit) djcoin: Quit: WeeChat 0.3.2
11:35 (join) mceier
11:36 (quit) bro_grammer: Ping timeout: 244 seconds
11:36 (quit) random_malice: Ping timeout: 244 seconds
11:36 (join) sethalves
11:42 (quit) mithos28: Quit: mithos28
11:43 (join) nilyaK
11:45 (join) jacius
11:46 (join) RacketCommitBot
11:46 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/VWgw5A
11:46 RacketCommitBot: [racket/master] another submodule expansion repair - Matthew Flatt
11:46 (part) RacketCommitBot
11:50 (join) RacketCommitBot
11:50 RacketCommitBot: [racket] plt pushed 2 new commits to master: http://git.io/F8X0ZA
11:50 RacketCommitBot: [racket/master] fix queue/stack confusion in the Guide - Robby Findler
11:50 RacketCommitBot: [racket/master] improve how an after-insert callback behaves (specifically, - Robby Findler
11:50 (part) RacketCommitBot
11:51 (quit) soegaard: Quit: soegaard
12:00 (join) mye
12:14 (join) anRch
12:14 (quit) ambrosebs: Remote host closed the connection
12:16 (quit) noelw: Quit: noelw
12:23 (quit) hash_table: Ping timeout: 246 seconds
12:24 (quit) getpwnam: Ping timeout: 246 seconds
12:24 (quit) nilyaK: Ping timeout: 249 seconds
12:28 (join) nilyaK
12:28 (join) jtpercon
12:33 (join) dzhus
12:37 (quit) jacius: Remote host closed the connection
12:40 (quit) jeapostrophe: Ping timeout: 246 seconds
12:45 (join) ssbr__
12:54 (quit) masm: Ping timeout: 250 seconds
13:13 (quit) anRch: Quit: anRch
13:13 (quit) bitonic: Remote host closed the connection
13:15 (join) noelw
13:16 (quit) noelw: Client Quit
13:17 (join) getpwnam
13:18 (join) hash_table
13:19 (join) nilyaK1
13:22 (quit) nilyaK: Ping timeout: 244 seconds
13:51 (quit) nilyaK1: Ping timeout: 240 seconds
13:52 (join) nilyaK
13:55 (join) nilyaK1
13:56 (join) noelw
13:56 (quit) nilyaK: Ping timeout: 248 seconds
13:56 (join) masm
13:57 (join) MayDaniel
13:58 (quit) noelw: Client Quit
14:12 (join) _ssbr
14:12 (nick) _ssbr -> ssbr`
14:12 (join) ssbr`
14:14 (quit) ssbr__: Ping timeout: 246 seconds
14:16 (join) jacius
14:19 (quit) ssbr`: Ping timeout: 248 seconds
14:21 (join) ssbr__
14:26 (join) jeapostrophe
14:26 (quit) jeapostrophe: Changing host
14:26 (join) jeapostrophe
14:32 (join) soegaard
14:33 (quit) nilyaK1: Quit: Leaving.
14:57 (join) noelw
15:02 (quit) acarrico: Ping timeout: 255 seconds
15:02 (quit) jeapostrophe: Read error: Operation timed out
15:24 (join) jeapostrophe
15:27 (quit) soegaard: Quit: soegaard
15:30 (join) soegaard
15:31 (quit) soegaard: Client Quit
15:35 (join) soegaard
15:40 (quit) noelw: Quit: noelw
15:45 (join) RacketCommitBot
15:45 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/Z-gE4Q
15:45 RacketCommitBot: [racket/master] Remove old packages - Asumu Takikawa
15:45 (part) RacketCommitBot
15:52 (quit) soegaard: Quit: soegaard
16:05 (quit) antithesis: Quit: antithesis
16:05 (join) Kaylin
16:09 (join) mungojelly
16:10 (part) jtpercon
16:11 (join) Znudzon
16:21 (join) yoklov
16:30 (quit) Kaylin: Read error: Connection reset by peer
16:56 (join) DanBurton
17:04 (join) rbarraud
17:04 DanBurton: typed racket question: is there any way to make this work? http://pastebin.com/HsgFCTka
17:22 samth: DanBurton: try (define-predicate car-symbol? (Pairof Symbol Any))
17:29 Znudzon: Hi I was here some time ago . Is Racket is still an educational language or have some real world apps ?
17:30 asumu: Znudzon: It aims to be a practical language you can use to build real apps.
17:30 asumu: And there are people who use it for real apps.
17:31 Znudzon: Can you give me some links for examples ? Racket still dont have real web framework right ?
17:33 asumu: I don't know what you mean by a "real web framework", but there is a whole lot of libraries for writing web apps: http://docs.racket-lang.org/web-server/index.html
17:33 DanBurton: samth: thanks, define-predicate turned out to be the right solution :)
17:33 DanBurton: well, a right solution anyways
17:33 (quit) rbarraud: Quit: Konversation terminated!
17:33 (join) rbarraud
17:33 asumu: Znudzon: As for examples, here is one: http://cufp.org/conference/sessions/2011/functional-mzscheme-dsls-game-development
17:33 rudybot: http://tinyurl.com/6ac6sxp
17:35 asumu: Neil had an interesting discussion of his work as a Racket consultant on the mailing list: http://comments.gmane.org/gmane.comp.lang.racket.user/10597
17:36 stamourv: Untyped also uses it.
17:38 Znudzon: Thank you. What a shame that Racket dont have real web framework. Whit framework would be perfect.
17:41 (quit) ssbr__: Read error: Operation timed out
17:43 asumu: Znudzon: feel free to write one. :)
17:48 Znudzon: asumu There is some background in Racket for a web framework... I will see :)
17:58 (join) josdeha_rt
18:01 (quit) josdeha_rt: Remote host closed the connection
18:05 (quit) MayDaniel: Read error: Connection reset by peer
18:08 (join) ssbr__
18:12 (quit) jacius: Remote host closed the connection
18:13 (join) soegaard
18:15 (quit) DanBurton: Quit: leaving
18:18 (quit) snearch: Quit: Verlassend
18:27 (quit) jeapostrophe: Ping timeout: 240 seconds
18:28 (join) jeapostrophe
18:34 (join) anRch
18:35 asumu: The ICFP contest problem this year looks pretty fun: http://t.co/JjScRQLL
18:42 (join) Kaylin
18:44 (join) bjz
18:46 (quit) jeapostrophe: Ping timeout: 246 seconds
18:56 (quit) anRch: Quit: anRch
18:56 (join) jeapostrophe
18:56 (quit) jeapostrophe: Changing host
18:56 (join) jeapostrophe
19:04 (quit) ssbr__: Ping timeout: 246 seconds
19:10 (quit) soegaard: Quit: soegaard
19:21 (quit) jrslepak: Quit: This computer has gone to sleep
19:25 (quit) dzhus: Read error: Operation timed out
19:30 (quit) mceier: Quit: leaving
19:42 (join) jimmypk
19:57 (join) jrslepak
20:15 (quit) stchang: Read error: Operation timed out
20:17 (join) chimeracoder
20:18 (join) stchang
20:35 (quit) jrslepak: Quit: This computer has gone to sleep
20:46 (join) jrslepak
20:47 (quit) chimeracoder: Ping timeout: 244 seconds
21:00 (quit) masm: Quit: Leaving.
21:02 (quit) jeapostrophe: Ping timeout: 252 seconds
21:18 (join) jacius
21:34 (join) jyc
21:40 (quit) yoklov: Quit: computer sleeping
21:50 (quit) gridaphobe: Remote host closed the connection
21:55 (quit) Znudzon: Ping timeout: 248 seconds
21:56 (join) Znudzon
22:04 (join) yoklov
22:30 (quit) Znudzon: Ping timeout: 246 seconds
22:33 (join) Znudzon
22:35 (quit) jao: Ping timeout: 246 seconds
22:39 (join) mithos28
22:41 (join) neilv
22:44 (quit) Znudzon: Ping timeout: 250 seconds
22:48 (join) Znudzon
23:10 neilv: the procedure produced by "read-language" is internal-use-only?
23:11 mithos28: What do you mean internal-use-only?
23:11 neilv: undocumented, but used internally by drracket
23:12 mithos28: http://docs.racket-lang.org/reference/Reading.html?q=read-language#(def._((quote._~23~25kernel)._read-language))
23:12 neilv: i'm grepping the source to see what arguments can be supplied to it
23:12 mithos28: Seems documented
23:13 neilv: > The first argument to the function serves as a key on such information; acceptable keys and the interpretation of results is up to external tools, such as DrRacket.
23:13 mithos28: ah
23:14 neilv: i just want a fairly reliable way to know whether there is "#lang at-exp" rather than "#lang"-anything-else
23:15 mithos28: why?
23:15 mithos28: because the parser is specified by that point?
23:16 neilv: because mcfly does a kludgey thing, and i need to kludge it some more
23:16 mithos28: ah
23:16 (quit) Znudzon: Ping timeout: 244 seconds
23:20 (join) jeapostrophe
23:20 (quit) jeapostrophe: Changing host
23:20 (join) jeapostrophe
23:24 neilv: huh. looks like drracket does a worse kludgey thing
23:25 neilv: create a file with the two lines:
23:25 neilv: ;; #lang Python
23:25 neilv: #lang racket/base
23:26 offby1 cringes
23:26 neilv: then hit Run, and the interactions window will say "Language Python"...
23:26 mithos28: thats a bug
23:26 neilv: could be a feature, for tricking bosses
23:26 mithos28: and very kludgey
23:27 mithos28: there was work on a python like language in racket
23:27 neilv: it's get-users-language-name in module-language.rkt
23:27 asumu: Oh, hah, that's funny. (the bug)
23:27 asumu: neilv: oh and thanks for the McFly fix.
23:28 offby1: I'd want my boss thinking I use Python?
23:28 offby1: Traditionally, bosses are only mollified if I'm using Blub
23:28 mithos28: https://github.com/brownplt/Pyret
23:28 asumu: Hmm, that also breaks the highlighting and also breaks the special handling of the #lang line for large files.
23:30 asumu: neilv: also, mcfly is a real time saver. `mcfly setup` and `mcfly pa` are really nice.
23:30 neilv: asumu: thanks
23:30 neilv: asumu: you might be the only person other than me that has used it
23:32 offby1: trouble with "mcfly" is that if I say it out loud, I have to shout it, and rap on my listener's head with my knuckles
23:33 (join) Znudzon
23:34 neilv: i think that a somewhat better kludge than what drracket does is to use read-language, and then find the *last* "#lang" before the file position one is then at
23:38 (quit) jeapostrophe: Ping timeout: 240 seconds
23:49 neilv: emacs lisp has reverse regexp search. it's nice for this kind of thing
23:56 (quit) Znudzon: Ping timeout: 246 seconds