00:01 (quit) francisl: Quit: francisl
00:08 (join) francisl
00:21 (quit) francisl: Quit: francisl
00:32 (quit) mceier: Quit: leaving
00:42 (quit) cdidd: Ping timeout: 264 seconds
00:47 (join) nilyaK
00:49 (quit) kofno_: Remote host closed the connection
00:51 (quit) ijp: Ping timeout: 264 seconds
00:58 (quit) nilyaK: Quit: Leaving.
00:59 (join) Nisstyre-laptop
01:09 (quit) zuurr: Quit: computer sleeping
01:11 (join) zuurr
01:20 (join) kofno
01:37 (join) dca
02:24 (join) RacketCommitBot
02:24 RacketCommitBot: [racket] plt pushed 8 new commits to master: http://git.io/IVeW6Q
02:24 RacketCommitBot: racket/master dfc33f8 Ryan Culpepper: add thread-unsafe warnings to data docs...
02:24 RacketCommitBot: racket/master 4621325 Ryan Culpepper: added gvector->list...
02:24 RacketCommitBot: racket/master 28f1d4f Ryan Culpepper: make argument order of heap-sort consistent with sort...
02:24 (part) RacketCommitBot
02:26 (join) mceier
02:35 (join) mye
02:43 (quit) bjz: Quit: Leaving...
02:49 (quit) sizz: Read error: Connection reset by peer
02:49 (join) sizz
02:56 (quit) SHODAN: Remote host closed the connection
02:57 (join) sizz_
02:57 (quit) sizz: Ping timeout: 255 seconds
02:58 (join) SHODAN
03:07 (join) jao
03:08 (quit) jao: Changing host
03:08 (join) jao
03:12 (quit) jonrafkind: Ping timeout: 272 seconds
03:14 (quit) neilv: Quit: Leaving
03:35 (join) hkBst
03:43 (quit) mye: Quit: mye
03:47 (join) SrPx
04:00 (quit) sw2wolf: Remote host closed the connection
04:09 (join) MightyFoo
04:11 (join) dyoo
04:11 (join) mithos28
04:11 (quit) dyoo: Client Quit
04:23 (join) soegaard
04:26 (quit) mithos28: Quit: mithos28
04:39 (join) didi`
04:40 (nick) didi` -> didi
04:45 (join) bjz
04:57 (join) bitonic
05:01 (join) didi
05:06 (quit) bitonic: Remote host closed the connection
05:07 (join) bitonic
05:15 MightyFoo: is there work (ongoing or complete) in TR to type streams, e.g. (in-naturals) doesn't seem to produce a values of type "Natural" without casting
05:33 (join) mye
05:48 (quit) mye: Read error: Connection reset by peer
05:48 (join) mye
05:49 (quit) SrPx: Read error: Connection reset by peer
05:49 (join) SrPx
06:28 (quit) Shviller: Read error: Connection reset by peer
06:33 (join) Shviller
06:39 (quit) sizz_: Remote host closed the connection
06:43 (join) sizz
06:47 (quit) sizz: Quit: No Ping reply in 180 seconds.
06:51 (join) sizz
06:59 mye: huh, I just built from git head and in DrRacket the contour isn't rendered. Can sm1 confirm?
06:59 mye: might just be something wrong with my build
07:01 didi: mye: Is it a2ae8?
07:01 mye: didi: yes
07:02 didi: mye: OK. It will take a little while though. ;^)
07:02 mye: didi: I just opened a second tab, now the contour is rendered in both files
07:03 mye: still a bug though
07:07 mye: only opening a second tab kicks off the contour.
07:08 didi: mye: What's your OS?
07:08 mye: osx
07:09 didi: OK, I might not be able to reproduce it if it's an OSX thing.
07:09 didi: 
07:09 didi: Ooops.
07:09 didi: SIGSERV while compiling it.
07:10 didi: I guess encountered another bug with master.
07:10 didi: s/guess/guess I
07:10 didi: SIGSEGV*
07:11 didi: mye: I guess I won't be able to reproduce it.
07:11 mye: my favorite compilation bugs
07:11 didi: :^)
07:12 mye: didi: since it works with a second tab, that's a good workaround ^^
07:12 didi: mye: Hehe, true.
07:16 (quit) Demosthenex: Ping timeout: 250 seconds
07:18 (join) Demosthenex
07:20 (quit) jao: Ping timeout: 272 seconds
07:22 (quit) kofno: Read error: Connection reset by peer
07:24 (join) kofno
07:35 (join) masm
07:38 (quit) Shvillr: Read error: Connection reset by peer
07:38 (join) tilde`
07:41 (join) Shvillr
07:55 (join) nathanpc
08:04 soegaard: :^)
08:08 (quit) hkBst: Remote host closed the connection
08:09 (join) hkBst
08:09 (quit) hkBst: Changing host
08:09 (join) hkBst
08:09 (quit) SHODAN: Remote host closed the connection
08:09 (join) cdidd
08:11 (join) SHODAN
08:11 (join) bniels
08:30 (quit) zuurr: Quit: computer sleeping
08:33 (join) mizu_no_oto
08:34 (join) jeapostrophe
08:34 (quit) jeapostrophe: Changing host
08:34 (join) jeapostrophe
08:35 (join) hkBst_
08:36 (quit) hkBst: Ping timeout: 264 seconds
08:41 (quit) hkBst_: Ping timeout: 255 seconds
08:44 (join) hkBst_
08:48 (quit) hkBst_: Remote host closed the connection
08:52 (join) zyoung
09:01 (join) jao
09:01 (quit) jao: Changing host
09:01 (join) jao
09:07 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
09:11 (quit) SrPx: Quit: SrPx
09:12 (join) RacketCommitBot
09:12 RacketCommitBot: [racket] plt pushed 7 new commits to master: http://git.io/LOETAw
09:12 RacketCommitBot: racket/master a04ae51 Chen Xiao: A tiny bug in documents of ftp
09:12 RacketCommitBot: racket/master 6308f30 Michael Wilber: Speed up set-argb-pixels by using local references to b&w? and alpha-channel?...
09:12 RacketCommitBot: racket/master e6c1e73 Michael Wilber: Speed up set-argb-pixels by using unsafe operations....
09:12 (part) RacketCommitBot
09:23 (join) mizu_no_oto
09:31 asumu: mye: there was a bug where contour wasn't rendered, but I thought it was fixed a few weeks ago. You may have stumbled on another way to trigger the bug.
09:32 (join) skchrko
09:33 (join) SrPx
09:34 mye: asumu: I can reproduce it by restarting drracket and opening one file with a git from today. No contour. open new tab renders it.
09:34 asumu: I'm rebuilding now so I'll try this too. Worth submitting a bug report in any case.
09:35 asumu: MightyFoo: you mean as opposed to Positive-Integer?
09:37 (join) anRch
09:37 asumu: MightyFoo: if you give `in-naturals` a non-zero starting value, it actually gives a more precise type than `Natural`.
09:37 asumu: If you do give it 0, you'll get the `Natural` type.
09:37 asumu: (or equivalently, Nonnegative-Integer)
09:47 MightyFoo: asumu: i mean *any* type at all
09:47 (quit) myx: Ping timeout: 248 seconds
09:48 MightyFoo: i almost always have to cast the returns of my (in... ) functions to give to for...:
09:54 asumu: MightyFoo: do you have an example?
09:56 MightyFoo: [forgive the following struggle...]
09:56 MightyFoo: rudybot: init typed/racket
09:56 rudybot: MightyFoo: your typed/racket sandbox is ready
09:56 MightyFoo: woo! never don that first time!
09:57 MightyFoo: rudybot: (for/sum: : Natural ([i (in-naturals)]) i)
09:57 rudybot: MightyFoo: error: Type Checker: Expected Natural, but got Integer in: #%top-interaction
09:58 MightyFoo: asumu: more to the discussionof Naturals and Positive-Integers/ whatever:
09:58 MightyFoo: rudybot:(for/sum: : Natural ([i (in-naturals 1)]) i)
09:58 rudybot: MightyFoo: error: Type Checker: Expected Natural, but got Integer in: #%top-interaction
09:59 asumu: Hmm.
10:00 asumu: rudybot: init typed/racket
10:00 rudybot: asumu: your typed/racket sandbox is ready
10:00 asumu: rudybot:  (for/sum: : Natural ([i : Natural (in-naturals 1)]) i)
10:00 asumu: That typechecks.
10:00 rudybot: asumu: error: with-limit: out of time
10:00 asumu: But yeah, it's too bad that it requires the annotation there.
10:01 MightyFoo: (i was trying find a form of that that wasn't going to run for ever :-)
10:01 asumu: :p
10:01 asumu: The difficulty is that the expansion of for loops can be hard to type-check.
10:02 MightyFoo: so... (in-naturals ...) isn't providing a (Streamof Integer/Natural/...)
10:02 asumu: It is, that's not the problem.
10:02 MightyFoo: fact is there isn't a "Streamof" type
10:02 asumu: rudybot: (in-naturals 5)
10:02 rudybot: asumu: ; Value: #<stream>
10:02 rudybot: asumu: ; stdout: "- : (Sequenceof Positive-Integer)\n"
10:03 MightyFoo: oh... i looked for Stream, not sequence.
10:03 asumu: rudybot: (sequence-length (in-naturals 5))
10:03 rudybot: asumu: error: #<undefined>:1:1: Type Checker: untyped identifier sequence-length imported from module <typed/racket> in: sequence-length
10:03 MightyFoo: so what's so hard (generally) to reason about in-naturals
10:03 asumu: (hmm)
10:04 asumu: Well, it's not that `in-naturals` is difficult. It's just that for loops expand into something complicated in Racket.
10:04 MightyFoo: ah
10:04 asumu: And Typed Racket fully expands the program before type-checking.
10:04 MightyFoo: Ah
10:04 asumu: So without the annotations on the `for` arguments, it often doesn't have enough information.
10:04 MightyFoo: pity, cos it's obvious from where I'm looking! :-)
10:06 MightyFoo: i want to see what for/... becomes. the macro stepper seems not to work with my TR :-/
10:06 asumu: rudybot: (require xrepl)
10:06 rudybot: asumu: Done.
10:07 asumu: rudybot: ,syntax (for: ([x (in-naturals 5)]) x) **
10:07 rudybot: asumu: (sequence-map sqr (in-naturals 6))
10:07 asumu: Hmm.
10:07 MightyFoo: ahhh. there is "macro hiding" which includes for/...
10:07 asumu: rudybot: eval ,syntax (for: ([x (in-naturals 5)]) x) **
10:07 rudybot: asumu: error: #<undefined>:1:0: unquote: not in quasiquote in: (unquote syntax)
10:07 asumu: rudybot doesn't like xrepl. :\
10:08 asumu: You can also invoke the macro stepper from xrepl, though it's easier to use in DrRacket
10:10 MightyFoo: s'ok -- i've just seen the true face of "(for/sum ([i (in-naturals 1)]) i)"
10:10 MightyFoo: and i didn't like what i saw!
10:12 (quit) bniels: Quit: WeeChat 0.3.8
10:18 (join) francisl
10:34 (quit) noam: Read error: Connection reset by peer
10:35 (join) noam
10:41 (quit) kofno: Read error: Connection reset by peer
10:42 (join) kofno
10:47 (join) sgeo
10:47 (quit) anRch: Quit: anRch
11:00 (quit) mceier: Quit: leaving
11:03 (join) anRch
11:13 (join) mithos28
11:13 (quit) 45PABH83A: Quit: 45PABH83A
11:14 (join) hash_table
11:18 (quit) didi: Quit: ERC Version 5.3 (IRC client for Emacs)
11:23 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
11:30 (quit) SrPx: Quit: SrPx
11:31 (join) SrPx
11:31 (join) tilde`_
11:35 (quit) tilde`: Ping timeout: 250 seconds
11:35 (nick) tilde`_ -> tilde`
11:41 jeapostrophe: asumu: how do i define a polymorphic value; i want to do (: e (Listof (Pairof a b))) (define e empty)
11:41 jeapostrophe: but a and b are unbound
11:41 mithos28: Use All
11:42 mithos28: (: e (All (a b) (Listof (Pairof a b)))
11:42 jeapostrophe: it's ridiculous that I can't write (define: (a b) e : (Listof (Pairof a b)) empty)
11:43 mithos28: huh, there is a form that lets you do that
11:44 mithos28: (define: (a ...) (f . formals) : t . body)
11:44 jeapostrophe: that only works for functions
11:44 jeapostrophe: not values
11:44 jeapostrophe: "hash" has no type in typed/racket?
11:44 jeapostrophe: this is insane
11:44 mithos28: I filed a bug for that a while ago I believe
11:46 mithos28: It looks like it would unambiguous to support (define: (a …) v : t e), file a bug
11:49 asumu: jeapostrophe: pdefine does that
11:49 asumu: rudybot: (pdefine: (a b) e : (Listof (Pairof a b)) empty)
11:49 rudybot: asumu: error: #<undefined>:1:0: pdefine:: bad syntax in: (pdefine: (a b) e : (Listof (Pairof a b)) empty)
11:50 asumu: rudybot: (pdefine: (a b) (id ([x : a]) x))
11:50 rudybot: asumu: error: #<undefined>:1:20: pdefine:: There were multiple syntax errors. The first error follows: <NEWLINE> expected identifier at: ((x : a)) in: (pdefine: (a b) (id ((x : a)) x))
11:50 asumu: rudybot: (pdefine: (a b) (id ([x : a])) x)
11:50 rudybot: asumu: error: #<undefined>:1:20: pdefine:: There were multiple syntax errors. The first error follows: <NEWLINE> expected identifier at: ((x : a)) in: (pdefine: (a b) (id ((x : a))) x)
11:50 jeapostrophe: asumu: still ridiculous that it doesn't work like racket
11:50 jeapostrophe: nice. when i do: (require/typed typed/racket [hash (All (a b) (-> (HashTable a b)))]) i get: hash/c: expected either a flat or chaperone contract for the domain, got a145
11:51 jeapostrophe: so i can't actually use hash tables? even though there's HashTable type?
11:51 mithos28: jeapostrophe: I have not filed a bug for hash not having contracts
11:51 mithos28: jeapostrophe: there is make-hash and make-immutable-hash
11:51 mithos28: sorry not -having contracts -> not having a type
11:51 asumu: Oh, pdefine: is deprecated, define: does polymorphism built-in.
11:52 mithos28: asumu: but not without arguments
11:52 asumu: jeapostrophe: what do you mean by work like Racket? As in you want implicit type parameters?
11:52 jeapostrophe: no, as in define: can define values and functions
11:52 jeapostrophe: but in tr it can't define values (with polymorphism)
11:53 mithos28: and as I said I believe that is a bug/oversight
11:53 (quit) anRch: Quit: anRch
11:54 mithos28: also that contract error that you got is a bug with my static checking for chaperone/impersonatorness
11:55 asumu: Oh, I see. Yes, it could probably support that syntax easily.
11:56 mithos28: http://bugs.racket-lang.org/query/?cmd=view%20audit-trail&pr=13261
11:56 mithos28: for hash import issue
11:57 mithos28: The issue is that contracts do not have a meta level representation which makes reasoning about them easy
11:58 mithos28: You have to construct raw syntax trees
11:58 asumu: I added that define: form on my local copy. I'll see if anything breaks.
12:00 (quit) SrPx: Quit: SrPx
12:03 (quit) nathanpc: Quit: Leaving...
12:05 (quit) asvil: Ping timeout: 246 seconds
12:05 (join) MayDaniel
12:08 (join) mceier
12:14 (quit) MightyFoo: Quit: WeeChat 0.3.8
12:15 (quit) MayDaniel: Ping timeout: 264 seconds
12:26 (join) jaimef
12:33 mithos28: Does racket have anything like milestones for bugs that should be fixed before the next release?
12:33 (join) MayDaniel
12:34 (quit) bjz: Quit: Leaving...
12:34 (join) nilyaK
12:37 (quit) MayDaniel: Read error: Connection reset by peer
12:49 (quit) skchrko: Remote host closed the connection
13:02 (join) zuurr
13:05 soegaard: ASIK not officially
13:06 soegaard: ASIK -> AFAIK
13:13 (join) MayDaniel
13:18 (join) Nisstyre
13:19 (join) jonrafkind
13:24 (join) myx
13:25 (quit) francisl: Quit: francisl
13:26 (join) mizu_no_oto
13:27 (quit) zuurr: Quit: computer sleeping
13:29 (join) zuurr
13:30 (quit) mithos28: Quit: mithos28
13:34 (join) gridaphobe
13:36 (join) francisl
13:42 (join) RacketCommitBot
13:42 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/baHU2Q
13:42 RacketCommitBot: racket/master 60dd8d0 Neil Toronto: Fixes for errors Pierpaolo Bernardi found by reviewing the docs; also,...
13:42 (part) RacketCommitBot
13:53 (join) RacketCommitBot
13:53 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/00TpQA
13:53 RacketCommitBot: racket/master 0092938 Neil Toronto: Renamed `typed/plot' to `plot/typed'
13:53 (part) RacketCommitBot
13:56 (quit) gridaphobe: Ping timeout: 272 seconds
13:58 (join) Fare
14:14 (quit) hash_table: Ping timeout: 255 seconds
14:19 (join) nejucomo
14:19 mye: raco link annoys me again by turning absolute paths I give it into relative paths  :\
14:27 (quit) nilyaK: Read error: Connection reset by peer
14:33 (quit) francisl: Quit: francisl
14:35 (nick) spiderweb -> bellabartok
14:42 (join) tilde`
14:50 (join) mithos28
14:55 (quit) nejucomo: Quit: leaving
14:56 (join) nejucomo
15:00 (join) RacketCommitBot
15:00 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/x97D0g
15:00 RacketCommitBot: racket/master ec673fd Vincent St-Amour: Allow `#:unless' in `for:'....
15:00 RacketCommitBot: racket/master b715a6f Vincent St-Amour: Add define-inline....
15:00 RacketCommitBot: racket/master 8c66be3 Vincent St-Amour: Fix contract generation for functions with optionals and keyword arguments....
15:00 (part) RacketCommitBot
15:05 (quit) mithos28: Quit: mithos28
15:14 (join) jrslepak
15:14 (join) francisl
15:17 (join) tilde`_
15:17 (quit) tilde`: Ping timeout: 255 seconds
15:19 (nick) tilde`_ -> tilde`
15:26 (quit) mizu_no_oto: Quit: ["Textual IRC Client: www.textualapp.com"]
15:28 (join) ynniv
15:31 (quit) ynniv: Client Quit
15:31 (join) ynniv
15:34 (join) anRch
15:38 (quit) mye: Quit: mye
15:53 (join) hash_table
16:20 (quit) jrslepak: Quit: What happened to Systems A through E?
16:24 (join) mithos28
16:30 (quit) bitonic: Ping timeout: 255 seconds
16:30 soegaard: greghendershott: Do you think, we can talk Robby into implementing this: https://www.youtube.com/watch?feature=player_embedded&v=jNa3axo40qM
16:35 (quit) jonrafkind: Ping timeout: 255 seconds
16:39 (quit) mithos28: Quit: mithos28
16:43 (quit) nejucomo: Ping timeout: 276 seconds
16:44 greghendershott: soegaard: :)  I love the demo but haven't actually tried it yet in Emacs.
16:44 soegaard: It looked *very* impressive.
16:45 (join) nejucomo
16:46 greghendershott: Yes.
16:47 (quit) kofno: Remote host closed the connection
16:47 (join) kofno
16:47 greghendershott: Source appears to be here: https://github.com/magnars/multiple-cursors.el
16:51 (quit) anRch: Quit: anRch
16:54 (quit) chrxn: Ping timeout: 255 seconds
16:54 (join) ijp
16:55 (join) bjz
17:03 (quit) micro_: Ping timeout: 276 seconds
17:08 (quit) francisl: Ping timeout: 252 seconds
17:10 (join) micro
17:10 (nick) micro -> Guest30858
17:12 (quit) kofno: Remote host closed the connection
17:15 (quit) MayDaniel: Read error: Connection reset by peer
17:21 (quit) Demosthenex: Remote host closed the connection
17:25 (join) nilyaK
17:41 (join) Technodrome
17:41 Technodrome: who here uses Racket for web dev on a somewhat serious level
17:45 (quit) sirdancealot7: Ping timeout: 260 seconds
17:49 (join) sirdancealot7
17:50 (quit) nilyaK: Quit: Leaving.
17:52 soegaard: noel
17:52 soegaard: jay
17:52 soegaard: etc
17:52 jeapostrophe: yup
17:52 jeapostrophe: Technodrome: i do and i also maintain the Racket web infrastructure
17:57 Technodrome: i'm curious how scale works with this
17:57 Technodrome: how would you handle a very large site with something like this
17:57 Technodrome: with state etc etc
17:57 (join) mithos28
17:59 (join) belabart`
18:01 (quit) myx: Ping timeout: 246 seconds
18:04 (quit) hash_table: Ping timeout: 264 seconds
18:05 (quit) ynniv: Quit: ynniv
18:08 (quit) bjz: Quit: Leaving...
18:10 (quit) belabart`: Quit: ERC Version 5.3 (IRC client for Emacs)
18:12 (quit) nejucomo: Remote host closed the connection
18:12 (join) nejucomo
18:13 (quit) mithos28: Quit: mithos28
18:13 (quit) zyoung: Ping timeout: 264 seconds
18:16 (join) RacketCommitBot
18:16 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/wVi-mg
18:16 RacketCommitBot: racket/master b8efd58 Neil Toronto: Array changes in response to user feedback (and my personal neuroses)...
18:16 RacketCommitBot: racket/master e06ba39 Neil Toronto: Added note about `plot/typed/utils'
18:16 RacketCommitBot: racket/master 44d8ebb Neil Toronto: Enabled optional non-keyword arguments in `plot/typed'
18:16 (part) RacketCommitBot
18:21 (join) kofno
18:21 (join) SrPx
18:22 (join) myx
18:22 (join) myx_
18:24 (quit) SrPx: Client Quit
18:26 (quit) myx: Ping timeout: 246 seconds
18:29 (join) RacketCommitBot
18:29 RacketCommitBot: [racket] plt pushed 3 new commits to master: http://git.io/dW1NlQ
18:29 RacketCommitBot: racket/master 1b41456 Jay McCarthy: Adding a test case for post bindings and improving error message
18:29 RacketCommitBot: racket/master 921456f Jay McCarthy: Fixing PR13374
18:29 RacketCommitBot: racket/master d120286 Jay McCarthy: More informative HTTP reading error message
18:29 (part) RacketCommitBot
18:31 (join) SrPx
18:37 (quit) kofno: Read error: Connection reset by peer
18:39 (join) kofno
18:45 (join) Demosthenex
18:47 (quit) soegaard: Quit: soegaard
18:51 (quit) Shviller: Read error: Connection reset by peer
18:54 (join) nilyaK
18:54 (quit) kofno: Remote host closed the connection
18:55 (join) Shviller
19:03 (join) RacketCommitBot
19:03 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/jroBqQ
19:03 RacketCommitBot: racket/master 2657d8f Neil Toronto: Plots whose functions raise errors now have an empty spot instead of...
19:03 (part) RacketCommitBot
19:07 (quit) Draggor: Quit: WeeChat 0.3.9.2
19:08 (join) kofno
19:08 (join) zyoung
19:09 (join) jonrafkind
19:20 (quit) kofno: Remote host closed the connection
19:21 (join) francisl
19:22 (join) hash_table
19:23 (join) mizu_no_oto
19:31 (join) mithos28
19:36 Technodrome: Bon Voyage
19:36 (part) Technodrome
19:45 (quit) mithos28: Quit: mithos28
19:46 (quit) francisl: Quit: francisl
19:47 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
19:48 (quit) zyoung: Remote host closed the connection
19:49 (join) mizu_no_oto
19:53 (join) belabartok
19:57 (join) kofno
19:58 (join) sw2wolf
20:02 (quit) kofno: Remote host closed the connection
20:03 (join) kofno
20:15 (quit) ijp: Ping timeout: 264 seconds
20:43 (quit) nilyaK: Quit: Leaving.
20:44 (join) ambrosebs
20:47 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
20:49 (quit) jeapostrophe: Ping timeout: 252 seconds
20:51 (join) mizu_no_oto
20:51 sw2wolf: Can we regard vector as array ?
20:52 (quit) mizu_no_oto: Client Quit
21:01 (quit) Fare: Ping timeout: 255 seconds
21:01 (join) RacketCommitBot
21:01 RacketCommitBot: [racket] plt pushed 1 new commit to master: http://git.io/UK-vxg
21:01 RacketCommitBot: racket/master ae97ae0 Kevin Tew: Fix rmpi alltoall and remove eli-tester dependency
21:01 (part) RacketCommitBot
21:03 (join) mithos28
21:07 sw2wolf: what's the difference between (#%require ...) and (require ...) ?
21:12 (quit) myx_: Ping timeout: 255 seconds
21:13 (join) francisl
21:14 (join) Fare
21:15 (join) mizu_no_oto
21:18 (quit) mithos28: Quit: mithos28
21:36 jonrafkind: #%requier is the primitive form that require expands into
21:43 (join) bbloom
21:52 sw2wolf: jonrafkind: thx
21:54 (quit) bbloom: Quit: Textual IRC Client: www.textualapp.com
21:55 (join) bbloom
22:12 greghendershott: I really like the second Realm of Racket video: http://youtu.be/ZWF56WDJeIk
22:31 (join) zyoung
22:32 (join) PCChris
22:35 (quit) sirdancealot7: Ping timeout: 244 seconds
22:37 (join) mithos28
22:38 (quit) ambrosebs: Ping timeout: 244 seconds
22:39 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
22:44 (quit) PCChris: Quit: Leaving
22:45 (quit) kofno: Ping timeout: 256 seconds
22:47 (quit) masm: Quit: Leaving.
22:49 (join) ambrosebs
22:52 (quit) mithos28: Quit: mithos28
23:00 (quit) ambrosebs: Ping timeout: 244 seconds
23:02 (join) mithos28
23:03 (quit) Shviller: Ping timeout: 264 seconds
23:04 (join) Shviller
23:05 (quit) bbloom: Quit: Computer has gone to sleep.
23:05 (quit) hash_table: Ping timeout: 252 seconds
23:10 (join) mizu_no_oto
23:23 (join) kofno
23:26 (quit) jao: Ping timeout: 272 seconds
23:30 (join) jeapostrophe
23:30 (quit) jeapostrophe: Changing host
23:30 (join) jeapostrophe
23:35 (quit) mizu_no_oto: Quit: Computer has gone to sleep.
23:36 mithos28: jeapostrophe: Should I file a change request (not a bug) for websockets to be updated to a version that current browsers support?
23:36 jeapostrophe: mithos28: i didn't write the original version, i just cleaned it up for Zach Galler at a time when it was really inconvenient to have stuff outside of the core
23:37 jeapostrophe: I'd prefer that we remove it from the core and you (or someone) create a Planet 2 package
23:37 mithos28: That seems fine from my perspective
23:38 mithos28: On a related note I have a question about planet 2, how often does it check a remote git repo (github)?
23:38 mithos28: And can I force an update?
23:38 jeapostrophe: the official server checks every 24 hours (from the time the server starts) but developers can force an update at any time
23:39 mithos28: great
23:39 jeapostrophe: on your "Manage" page, there's a link "Update checksums" which checks them all
23:39 jeapostrophe: on a specific package's manage page, it will check if press the submit button (even if there are no changes)
23:39 mithos28: Is that possible not to do through a browser?
23:40 mithos28: Send a POST request from a command line app?
23:40 jeapostrophe: you can do that, you need to send a cookie header to be authenticated, tho
23:41 mithos28: I think wget can do that reasonably easily
23:41 mithos28: Just means, that I can push an update with a couple key presses
23:42 jeapostrophe: yup
23:42 (quit) Demosthenex: Ping timeout: 244 seconds
23:43 (join) Demosthenex
23:45 (quit) francisl: Quit: francisl
23:46 mithos28: jeapostrophe: Should I worry about you MITMing me if I trust the Planet 2 server certificate?
23:46 jeapostrophe: yup
23:46 jeapostrophe: we'll get a real one soon... I think Eli and Sam know the magic
23:48 mithos28: It seems misconfigured even after I trust your certificate. Is that a known issue?
23:50 mithos28: What will happen if I add a net/websocket Planet 2 library before it is deleted from core? Will it be usable?
23:53 (join) _tca
23:53 (quit) belabartok: Quit: ERC Version 5.3 (IRC client for Emacs)
23:56 (join) bbloom