subject:"\[racket\-dev\] pkgs.racket\-lang.org"

Re: [racket-dev] pkgs.racket-lang.org

2014-09-26 Thread Jay McCarthy

On Fri, Sep 26, 2014 at 7:26 PM, Jan Dvořák wrote: > Hi, > > about the - the site is getting rather large. > Wouldn't server-side filtering work better than the client javascript > solution? You are finding it slow? > Plus I often have trouble submitting new packag

[racket-dev] pkgs.racket-lang.org

2014-09-26 Thread Jan Dvořák

Hi, about the - the site is getting rather large. Wouldn't server-side filtering work better than the client javascript solution? Plus I often have trouble submitting new packages, the form could easily be done in the traditional way and the experience would be