[racket-dev] spam planet bug reports

2010-12-11 Thread Robby Findler
Some spam system figured out my low-tech anti-spam device for planet so I changed the regexp to insist that the version numbers begin with a 'v' (and I give less of a clue in the error message now). If this stops working soon, Ill probably just disable planet bug report submissions until I can

Re: [racket-dev] spam planet bug reports

2010-12-11 Thread Jon Rafkind
FWIW, recaptcha is really easy to set up. Like less than 10 minutes from not knowing anything about it to having a working system. http://www.google.com/recaptcha On 12/11/2010 07:33 AM, Robby Findler wrote: Some spam system figured out my low-tech anti-spam device for planet so I changed the

Re: [racket-dev] spam planet bug reports

2010-12-11 Thread Neil Van Dyke
One issue to consider with Recaptcha is that it's incidentally a Web bug that helps track people around the Internet. If you don't already have Web bugs in your site, by adding one you increase the cross-site tracking. In the case of PLaneT bug reports, the privacy and security cost of a Web

Re: [racket-dev] spam planet bug reports

2010-12-11 Thread Matthias Felleisen
How difficult is it to implement one as a Planet lib that avoids tracking? On Dec 11, 2010, at 1:41 PM, Neil Van Dyke wrote: One issue to consider with Recaptcha is that it's incidentally a Web bug that helps track people around the Internet. If you don't already have Web bugs in your

Re: [racket-dev] spam planet bug reports

2010-12-11 Thread Shriram Krishnamurthi
Effectively impossible. It's all in the domain. On Sat, Dec 11, 2010 at 1:47 PM, Matthias Felleisen matth...@ccs.neu.edu wrote: How difficult is it to implement one as a Planet lib that avoids tracking? On Dec 11, 2010, at 1:41 PM, Neil Van Dyke wrote: One issue to consider with

Re: [racket-dev] spam planet bug reports

2010-12-11 Thread Neil Van Dyke
You could implement your own captcha. This is hard if the captcha is on sites popular enough to be brought to the attention of very smart programmers who specialize in compromising captchas. This is easy if you don't have to worry about those programmers. Or you *might* be able to use

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Carl Eastlund
On Sat, Dec 11, 2010 at 4:58 PM, Eli Barzilay e...@barzilay.org wrote: Yesterday, Jakub Piotr Cłapa wrote: On 10.12.10 21:05, Noel Welsh wrote: It is moderately useful to see what is reloaded if you renter enter! Just a quick thought: Let it output what it is reloading and not what is

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Noel Welsh
On Sat, Dec 11, 2010 at 10:07 PM, Carl Eastlund c...@ccs.neu.edu wrote: On Sat, Dec 11, 2010 at 4:58 PM, Eli Barzilay e...@barzilay.org wrote: Yesterday, Jakub Piotr Cłapa wrote: On 10.12.10 21:05, Noel Welsh wrote: It is moderately useful to see what is reloaded if you renter enter! ... I

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Eli Barzilay
Four minutes ago, Carl Eastlund wrote: On Sat, Dec 11, 2010 at 4:58 PM, Eli Barzilay e...@barzilay.org wrote: Yesterday, Jakub Piotr Cłapa wrote: On 10.12.10 21:05, Noel Welsh wrote: It is moderately useful to see what is reloaded if you renter enter! Just a quick thought: Let it

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Carl Eastlund
On Sat, Dec 11, 2010 at 5:17 PM, Eli Barzilay e...@barzilay.org wrote: I'm not sure what your intended use is (= what is that language in question), but IIUC, it sounds like you really want  racket -I typed/racket Almost, apparently I need to throw a -i in there to get the REPL back. But

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Matthew Flatt
How about a quiet load but noisy re-load? _ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Eli Barzilay
A few seconds ago, Matthew Flatt wrote: How about a quiet load but noisy re-load? Heh -- I just thought about that a minute ago, and almost done doing so (using this as the default). I've made the syntax be: (enter! module noisy) where noisy is either `#f', `#t', or `#:reloading'. --

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Matthew Flatt
At Sat, 11 Dec 2010 18:18:13 -0500, Eli Barzilay wrote: I've made the syntax be: (enter! module noisy) where noisy is either `#f', `#t', or `#:reloading'. Descriptive keywords in place of `#t' and `#f' would be clearer and would avoid mixing literal values and keywords in the same

Re: [racket-dev] enter! verbosity

2010-12-11 Thread Eli Barzilay
9 minutes ago, Ryan Culpepper wrote: Eli Barzilay wrote: A few seconds ago, Matthew Flatt wrote: At Sat, 11 Dec 2010 18:18:13 -0500, Eli Barzilay wrote: I've made the syntax be: (enter! module noisy) where noisy is either `#f', `#t', or `#:reloading'. Descriptive keywords in

[racket-dev] (round), etc. in Typed Racket

2010-12-11 Thread Petey Aldous
I've discovered what may be a bug in the type system of Typed Racket. The functions that round - (round), (truncate), (ceiling), etc. are typed as Real, not Integer; however, the result of (integer? (round (* 10e15 (random is consistently true - and the same holds for the other rounding

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-11 Thread Robby Findler
This seems like an unfortunate naming discrepancy. Robby On Sat, Dec 11, 2010 at 7:52 PM, Vincent St-Amour stamo...@ccs.neu.edu wrote: At Sat, 11 Dec 2010 18:35:17 -0700, Petey Aldous wrote: I've discovered what may be a bug in the type system of Typed Racket. The functions that round -

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-11 Thread Sam Tobin-Hochstadt
On Sat, Dec 11, 2010 at 9:47 PM, Robby Findler ro...@eecs.northwestern.edu wrote: This seems like an unfortunate naming discrepancy. I agree. I think the solution is to change Racket, however. From the perspective of the type system, inexact integers are useless - they have no closure

Re: [racket-dev] (round), etc. in Typed Racket

2010-12-11 Thread Robby Findler
On Sat, Dec 11, 2010 at 9:49 PM, Sam Tobin-Hochstadt sa...@ccs.neu.edu wrote: On Sat, Dec 11, 2010 at 9:47 PM, Robby Findler ro...@eecs.northwestern.edu wrote: This seems like an unfortunate naming discrepancy. I agree.  I think the solution is to change Racket, however.  From the