00:52 (quit) mceier: Quit: leaving
00:55 (quit) jeapostrophe: Ping timeout: 240 seconds
01:31 (quit) jonrafkind: Quit: Ex-Chat
01:32 (join) jonrafkind
01:36 (join) cdidd
01:57 (join) jesyspa
02:07 (join) hkBst
02:07 (quit) hkBst: Changing host
02:07 (join) hkBst
02:08 (quit) jesyspa: Quit: leaving
02:10 (join) jesyspa
02:12 (quit) jesyspa: Client Quit
02:18 (quit) jonrafkind: Ping timeout: 244 seconds
02:19 (quit) adu: Quit: adu
02:24 (quit) Shviller: Read error: Connection reset by peer
02:30 (join) mceier
02:34 (join) jesyspa
02:39 (join) Shviller
02:52 (join) djcoin
02:56 (quit) Kaylin: Read error: Connection reset by peer
03:24 (join) adu
03:27 mithos28: rudybot: (ann (plambda: (A ...) ((x : A)) x) (All (a) (a -> a)))
03:27 rudybot: mithos28: error: Type Checker: Summary: 2 errors encountered
03:27 mithos28: rudybot: "more-errors"
03:27 rudybot: mithos28: ; Value: "more-errors"
03:27 rudybot: mithos28: ; stdout: "- : String\n"
03:27 rudybot: mithos28: ; stderr: "#<undefined>:1:33: Type Checker: Expected a, but got A in: x\n#<undefined>:1:5: Type Checker: Expected (a -> a), but got (A -> a) in: (lambda (x) x)\n"
03:28 (join) antithesis
03:28 (quit) antithesis: Read error: Connection reset by peer
03:30 mithos28: rudybot: (ann (plambda: (A) ((x : A)) x) (All (a) (a -> a)))
03:30 rudybot: mithos28: error: Type Checker: Summary: 2 errors encountered
03:30 mithos28: rudybot: "moreerrors"
03:30 rudybot: mithos28: ; Value: "moreerrors"
03:30 rudybot: mithos28: ; stdout: "- : String\n"
03:30 rudybot: mithos28: ; stderr: "#<undefined>:1:29: Type Checker: Expected a, but got A in: x\n#<undefined>:1:5: Type Checker: Expected (a -> a), but got (A -> a) in: (lambda (x) x)\n"
03:35 (join) antithesis
03:36 (join) soegaard
03:46 (quit) soegaard: Quit: soegaard
03:59 (nick) emma -> em
04:14 (quit) mithos28: Quit: mithos28
04:27 (quit) Shvillr: Read error: Connection reset by peer
04:27 (join) Shvillr
04:39 (nick) antithesis -> yutfh
04:56 (quit) adu: Quit: adu
05:09 (join) noelw
05:24 (quit) cdidd: Ping timeout: 264 seconds
05:25 (join) cdidd
05:47 (join) masm
05:48 (quit) bjz: Quit: Leaving...
05:50 (join) dzhus
05:51 (join) MightyFoo
06:04 (quit) cataska: Ping timeout: 250 seconds
06:15 (join) cataska
06:23 (quit) cataska: Ping timeout: 244 seconds
06:34 (join) cataska
06:57 (join) SeanTAllen
07:04 (quit) SeanTAllen: Quit: SeanTAllen
07:05 (join) SeanTAllen
07:12 (quit) MightyFoo: Quit: WeeChat 0.3.8
07:14 (join) MightyFoo
07:38 (join) lebro
07:42 (join) jeapostrophe
07:51 (quit) dzhus: Read error: Connection reset by peer
07:56 (join) MayDaniel
08:36 (join) kanak
08:36 (quit) lebro: Ping timeout: 246 seconds
08:48 (join) bjz
08:49 (quit) jeapostrophe: Ping timeout: 264 seconds
08:56 (join) yoklov
08:57 (join) hash_table
09:01 (quit) cdidd: Read error: Connection reset by peer
09:15 (join) dzhus
09:24 (join) jhemann
09:27 (quit) yoklov: Quit: computer sleeping
09:29 (quit) hash_table: Ping timeout: 264 seconds
09:32 samth: mithos28: i'd use for/list, #:when, and a when-expression that depends on the index et al
09:43 (quit) jhemann: Ping timeout: 246 seconds
09:45 (join) jeapostrophe
09:45 (quit) jeapostrophe: Changing host
09:45 (join) jeapostrophe
10:04 (join) jhemann
10:06 (quit) jeapostrophe: Ping timeout: 272 seconds
10:12 (join) dyoo
10:17 (quit) mceier: Quit: leaving
10:20 (quit) bjz: Quit: Bye!
10:28 (join) antithesis
10:30 vu3rdd: is there a way to change the print representation of a built in data type like hash-table or set in a lang derived from racket/base?
10:32 dyoo: would current-print be applicable?
10:34 vu3rdd: dyoo: thanks. Let me play with it.
10:35 vu3rdd: dyoo: thanks for the nice racketcon 2011 talk. Finally I can put faces on people I have seen here and in the mailing list.
10:36 dyoo: I need toastmasters or something.  I kept cringing whenever I heard my voice.
10:36 vu3rdd: :)
10:38 (quit) hkBst: Read error: Connection reset by peer
10:40 (join) hkBst
10:50 (join) hash_table
10:53 (quit) Shvillr: *.net *.split
10:53 (quit) acarrico: *.net *.split
10:55 (join) Shvillr
10:55 (join) acarrico
10:57 (quit) karswell: Remote host closed the connection
11:07 (join) karswell
11:08 (join) anRch
11:17 (quit) jrslepak: Quit: This computer has gone to sleep
11:18 (join) chimeracoder
11:31 (join) nilyaK
11:31 (quit) hkBst: Quit: Konversation terminated!
11:44 (join) jeapostrophe
11:44 (quit) jeapostrophe: Changing host
11:44 (join) jeapostrophe
11:46 (quit) noelw: Quit: noelw
11:48 (quit) anRch: Quit: anRch
11:49 (join) mceier
11:54 (join) anRch
12:04 (quit) djcoin: Quit: WeeChat 0.3.2
12:23 (quit) anRch: Quit: anRch
12:24 (join) jrslepak
12:29 (join) jonrafkind
12:29 (quit) jonrafkind: Changing host
12:29 (join) jonrafkind
12:33 (join) soegaard
12:40 (quit) MightyFoo: Quit: WeeChat 0.3.8
12:53 (quit) vu3rdd: Remote host closed the connection
12:57 (quit) dyoo: Ping timeout: 245 seconds
13:01 asumu: Seen on HN: http://jeremykun.wordpress.com/2012/02/23/p-vs-np-a-primer-and-a-proof-written-in-racket/
13:01 rudybot: http://tinyurl.com/crpf8ga
13:07 bremner: hmm. from the title I thought it would be a proof of P=NP (or P!=NP) in racket
13:08 samth: rudybot: (= P NP)
13:08 rudybot: samth: your typed/racket sandbox is ready
13:08 rudybot: samth: error: Type Checker: Summary: 4 errors encountered
13:08 (join) dyoo
13:08 samth: rudybot: (define P 1)
13:08 rudybot: samth: ; stderr: "#<undefined>:1:3: Type Checker: untyped top-level identifier P in: P\n#<undefined>:1:5: Type Checker: untyped top-level identifier NP in: NP\n#<undefined>:1:3: Type Checker: untyped top-level identifier P in: P\n#<undefined>:1:5: Type Checker: untyped top-level identifier NP in: NP\n"
13:08 samth: rudybot: (define: P : Integer 1)
13:08 rudybot: samth: error: Type Checker: Duplicate type annotation of Integer for P, previous was One in: #%top-interaction
13:09 samth: rudybot: init
13:09 rudybot: samth: your typed/racket sandbox is ready
13:09 samth: rudybot: (define: P : Integer 1)
13:09 rudybot: samth: Done.
13:09 samth: rudybot: (define: NP : Integer 1)
13:09 rudybot: samth: Done.
13:09 samth: rudybot: (= P NP)
13:09 rudybot: samth: ; Value: #t
13:09 rudybot: samth: ; stdout: "- : Boolean\n"
13:09 samth: bremner: ta da
13:09 nilyaK: lol if only
13:11 bremner: it has types so it must be correct.
13:13 soegaard: In Typed Racket I have problems with abbreviations introduces with define-type.
13:13 soegaard: Is this supposed to work:
13:13 soegaard: https://gist.github.com/b738ef424725f8e974c6
13:23 samth: soegaard: i haven't looked at more than 3 lines, but you almost certainly want `Listof`
13:23 soegaard: samth: Yep. Thanks
13:28 (quit) DGASAU: Ping timeout: 252 seconds
13:44 (join) anRch
14:00 (quit) nilyaK: Ping timeout: 272 seconds
14:00 (join) DGASAU
14:05 (join) adu
14:11 (quit) jhemann: Ping timeout: 246 seconds
14:16 (join) nilyaK
14:26 (join) RacketCommitBot
14:26 RacketCommitBot: [racket] plt pushed 5 new commits to master: https://github.com/plt/racket/compare/8a0b6549a5f9...7494fccc4c8a
14:26 RacketCommitBot: [racket/master] Fix type of integer-sqrt and add type for integer-sqrt/remainder. - Eric Dobson
14:26 RacketCommitBot: [racket/master] Add support for creating contracts of heterogenous vectors - Eric Dobson
14:26 RacketCommitBot: [racket/master] Fill hole in recursive type soundness. Fixes PR 11372. - Eric Dobson
14:26 (part) RacketCommitBot
14:27 stamourv: samth: Have you looked at mithos28's other pull requests?
14:30 (join) danl_ndi_
14:30 (join) anttih_
14:31 (join) PfhatWork
14:36 (join) karswell_
14:38 (join) jrslepak_
14:38 (join) cdidd
14:39 (quit) jrslepak: Excess Flood
14:39 (quit) danl_ndi: Write error: Broken pipe
14:39 (quit) eMBee: Write error: Broken pipe
14:39 (quit) PfhorSlayer: Write error: Broken pipe
14:39 (quit) karswell: Write error: Broken pipe
14:39 (quit) anttih: Remote host closed the connection
14:39 (join) eMBee
14:39 (quit) karswell_: Remote host closed the connection
14:39 (nick) jrslepak_ -> jrslepak
14:40 (quit) dyoo: Ping timeout: 245 seconds
14:42 (quit) anRch: Quit: anRch
14:49 (join) karswell_
14:55 (join) jhemann
14:56 (quit) cdidd: Remote host closed the connection
15:01 (join) RacketCommitBot
15:01 RacketCommitBot: [racket] plt pushed 1 new commit to master: https://github.com/plt/racket/commit/13d7a37eb64ff497daa08f557353496a405f9ece
15:01 RacketCommitBot: [racket/master] re-align `expt' and `flexpt' to match C99 pow() spec - Matthew Flatt
15:01 (part) RacketCommitBot
15:04 (join) bro_grammer
15:07 (quit) hash_table: Ping timeout: 244 seconds
15:19 samth: stamourv: there's only the one, right/
15:19 samth: ?
15:20 stamourv: I merged "Minor fixes". I see 3 others.
15:20 stamourv: There's the once with `cast'. There's one that cleans up abbrev. There's one for contracts on id-tables.
15:20 samth: right
15:20 stamourv: s/once/one/
15:21 samth: the contracts on id-tables ryan needs to review
15:21 stamourv: Ok.
15:21 samth: which he said he may not get to until after the release
15:21 samth: i'll take care of the others
15:39 (quit) dzhus: Ping timeout: 246 seconds
15:46 Nisstyre: So, I'm using the sxml2 lib to convert sxml/xexp back to html, which I had parsed using "html-parsing", and I keep getting errors to do with certain characters, e.g. "srl:atomic->string: expected atomic object, got: #\?"
15:46 Nisstyre: am I correct in thinking that this should be converted to html entities?
15:47 Nisstyre: the procedure I'm using is "srl:sxml->html"
15:52 (join) hash_table
15:55 (quit) bro_grammer: Ping timeout: 246 seconds
16:00 (join) jrslepak
16:25 (quit) kanak: Ping timeout: 264 seconds
16:34 (join) yoklov
16:34 (quit) karswell_: Remote host closed the connection
16:34 asumu: samth: any chance you can link to the RacketCon youtube vids from con.racket-lang.org?
16:43 stamourv: asumu: Has the Racket twitter account announced them yet?
16:44 (join) karswell_
16:47 (join) cdidd
16:52 asumu: stamourv: yeah, it's retweeted the announcement tweet
16:56 (quit) antithesis: Remote host closed the connection
17:03 (quit) hash_table: Ping timeout: 245 seconds
17:09 stamourv: Great.
17:16 Cryovat: I just need to link something non-Racket related
17:17 Cryovat: Someone in another channel linked a new .NET profiler application
17:17 Cryovat: It has this visualization of code hits: http://static.codeperspective.com/img/shots/3d1.png
17:17 Cryovat: There's something vaguely familiar to that
17:18 jonrafkind: "this is unix. i know this!"
17:19 Cryovat: I have a feeling they implemented that more as a homage than thinking it would be actually useful
17:27 (quit) jesyspa: Quit: leaving
17:33 (join) RacketCommitBot
17:33 RacketCommitBot: [racket] plt pushed 3 new commits to master: https://github.com/plt/racket/compare/13d7a37eb64f...0bd53a35492f
17:33 RacketCommitBot: [racket/master] fix test to work with relative executable path - Matthew Flatt
17:33 RacketCommitBot: [racket/master] turn off debugging info - Matthew Flatt
17:33 RacketCommitBot: [racket/master] compiler/zo-marshal: repair mashaling of import info in syntax - Matthew Flatt
17:33 (part) RacketCommitBot
17:36 (quit) MayDaniel: Read error: Connection reset by peer
17:37 (quit) adu: Quit: adu
17:37 (join) knob
17:38 knob: Hello everyone.  Starting our with Racket over here (using DrRacket)... any links where I can see some "exercises"?
17:39 jonrafkind: http://www.htdp.org/
17:39 knob: thanks =)
17:40 (quit) nilyaK: Quit: Leaving.
17:41 (nick) mattmigh` -> mattmight
17:43 knob: dang... good stuff.  Thanks =)
17:56 (join) raed
18:02 (quit) yoklov: Quit: computer sleeping
18:02 (join) hash_table
18:10 (quit) cdidd: Remote host closed the connection
18:14 (join) RacketCommitBot
18:14 RacketCommitBot: [racket] plt pushed 1 new commit to release: https://github.com/plt/racket/commit/24e6b04cc8328e0dd2c0d0eb6db5049612fc1455
18:14 RacketCommitBot: [racket/release] Update version number for the v5.3 release - Ryan Culpepper
18:14 (part) RacketCommitBot
18:14 (quit) jeapostrophe: Ping timeout: 264 seconds
18:15 jonrafkind: hooray
18:18 (join) yoklov
18:21 (quit) soegaard: Quit: soegaard
18:30 Cryovat: I seem to fail at the documentation
18:30 Cryovat: Is there are any string->expr method?
18:30 samth: Cryovat: like `read`?
18:31 samth: rudybot: (read (open-input-string "(+ 1 2)"))
18:31 rudybot: samth: ; Value: (+ 1 2)
18:31 rudybot: samth: ; stdout: "- : Any\n"
18:32 Cryovat: Great, thanks :)
18:32 Cryovat: Sory for the silly question
18:50 (join) RacketCommitBot
18:50 RacketCommitBot: [racket] plt pushed 1 new commit to release: https://github.com/plt/racket/commit/21830bfa5842f64ca0c81b59419aed4eb51968d9
18:50 RacketCommitBot: [racket/release] New Racket version 5.3. - Eli Barzilay
18:50 (part) RacketCommitBot
19:00 (join) rbarraud
19:06 (join) PfhorSlayer
19:07 (quit) Shvillr: Read error: Connection reset by peer
19:07 (quit) PfhatWork: Read error: Connection reset by peer
19:07 (join) Shvillr
19:16 jamessan: eli: missing a tag?
19:17 (quit) jhemann: Ping timeout: 244 seconds
19:31 (quit) chimeracoder: Quit: Leaving.
19:44 (quit) rbarraud: Read error: Connection reset by peer
19:50 (quit) jonrafkind: Read error: Operation timed out
19:55 (join) Kaylin
19:58 (quit) masm: Quit: Leaving.
20:17 (join) adu
20:40 (join) jeapostrophe
20:40 (quit) jeapostrophe: Changing host
20:40 (join) jeapostrophe
20:41 (quit) jrslepak: Quit: This computer has gone to sleep
21:15 (join) bjz
21:59 (join) jrslepak
21:59 (quit) adu: Quit: adu
22:02 (join) jhemann
22:07 (quit) jhemann: Ping timeout: 252 seconds
22:19 (quit) bjz: Quit: Leaving...
22:23 (quit) Kaylin: Ping timeout: 250 seconds
22:31 (join) catgen
22:35 catgen: hey guys, scheme newbie here.
22:36 catgen: Just reading and completing the little schemer excercises. My question is..are there any alterative editors that support scheme?
22:37 catgen: I use sublime text 2 as my current editor and I cant find any suitable plug-ins for lisp like languages.
22:40 (join) vu3rdd
22:40 (quit) vu3rdd: Changing host
22:40 (join) vu3rdd
22:44 (join) mithos28
22:49 asumu: catgen: there are always vim and emacs.
22:49 asumu: Have you tried DrRacket too?
22:51 (quit) yoklov: Quit: computer sleeping
22:52 catgen: asumu: vim and emacs kinda intimidate me atm. Yes, I am currently using DrRacket but its kinda slow in my laptop.
22:53 (join) yoklov
22:54 asumu: The learning curve is only at the beginning. Emacs is probably easier to pick up since it's not modal.
22:54 catgen: Any guides of how to setup vim and scheme? I am probably asking too much and should just google.
22:54 asumu: There is a guide section on setting up Racket with these specifically. For general setup, you probably want to just read their respective help pages.
22:54 asumu: (once you install them)
22:54 asumu: catgen: http://docs.racket-lang.org/guide/other-editors.html
22:55 asumu: It would be nice if we had something like the equivalent of LispBox for CommonLisp, but for Racket.
22:55 mithos28: What is LispBox?
22:56 asumu: mithos28: from what I gather, a repackaging of emacs for "out of the box" CL programming.
22:56 asumu: http://common-lisp.net/project/lispbox/
22:57 mithos28: So how is that better than DrRacket?
22:57 asumu: It's not, unless you want emacs specifically.
22:57 asumu: (and don't already have an emacs setup)
22:57 mithos28: Thats the point that confuses me
22:58 mithos28: If you are dead set on emacs, then you probably have emacs set up
22:58 (quit) catgen: Ping timeout: 245 seconds
22:59 asumu: Yeah, maybe you're right.
23:05 (quit) DrDuck1: Ping timeout: 245 seconds
23:06 vu3rdd: asumu: I have got SLIME working with Racket partly. It can do command completions, evaluate expressions on the repl or from buffer. I am still figuring out the mechanics of 'enter!' and how I can emulate DrRacket's "run".
23:07 vu3rdd: I am still trying to understand the modules and namespaces and reading the xrepl source code.
23:08 vu3rdd: I guess LispBox is emacs+slime+paredit mostly.
23:12 (join) jonrafkind
23:12 (quit) jonrafkind: Changing host
23:12 (join) jonrafkind
23:19 (join) adu
23:25 (join) RacketCommitBot
23:25 RacketCommitBot: [racket] plt pushed 2 new commits to master: https://github.com/plt/racket/compare/0bd53a35492f...b5f975136996
23:25 RacketCommitBot: [racket/master] add a find-from-selection menu item that grabs the selection and puts - Robby Findler
23:25 RacketCommitBot: [racket/master] add some highlighting to the line numbers to show where - Robby Findler
23:25 (part) RacketCommitBot
23:37 (quit) yoklov: Quit: computer sleeping
23:38 (quit) hash_table: Ping timeout: 252 seconds
23:49 (join) jhemann