Re: [racket] Handin Server + PLAI problem [and 1 more messages] [and 2 more messages]

2012-01-15 Thread Matthew Flatt
How about adding `racket/sandbox/keys': #lang racket/base (provide (protect-out suspend-file-security-key)) (define suspend-file-security-key (gensym)) ;; maybe more keys for other sandbox controls and then have "main-collects.rkt" wrap its use of `find-executable-path' to install a mark w

Re: [racket] Handin Server + PLAI problem [and 1 more messages] [and 2 more messages]

2012-01-15 Thread Robby Findler
(I said "mark" meaning continuation mark. FWIW.) On Sun, Jan 15, 2012 at 7:05 PM, Eli Barzilay wrote: > Yesterday, Robby Findler wrote: >> Perhaps the right thing is to have the setup code export a small >> library that contains a "is my mark bound in the context" function >> and then the sandbox

Re: [racket] Handin Server + PLAI problem [and 1 more messages] [and 2 more messages]

2012-01-15 Thread Eli Barzilay
Yesterday, Robby Findler wrote: > Perhaps the right thing is to have the setup code export a small > library that contains a "is my mark bound in the context" function > and then the sandbox can call that function when deciding whether or > not to grant permission. > > (That has the dependencies g

Re: [racket] Handin Server + PLAI problem [and 1 more messages] [and 2 more messages]

2012-01-15 Thread Eli Barzilay
50 minutes ago, Robby Findler wrote: > > I'm not sure either (this is certainly not the only contract that's > checked during the execution of PLAI programs, but maybe it's the > only provide/contract one?), but once I disabled that, my sample > solution for the next exercise went through. > > It

Re: [racket] Handin Server + PLAI problem [and 1 more messages] [and 2 more messages]

2012-01-15 Thread Robby Findler
On Sun, Jan 15, 2012 at 5:00 PM, John Clements wrote: > > On Jan 14, 2012, at 8:19 PM, Robby Findler wrote: > >> Perhaps the right thing is to have the setup code export a small >> library that contains a "is my mark bound in the context" function and >> then the sandbox can call that function whe

Re: [racket] Handin Server + PLAI problem [and 1 more messages] [and 2 more messages]

2012-01-15 Thread John Clements
On Jan 14, 2012, at 8:19 PM, Robby Findler wrote: > Perhaps the right thing is to have the setup code export a small > library that contains a "is my mark bound in the context" function and > then the sandbox can call that function when deciding whether or not > to grant permission. > > (That ha

Re: [racket] Performance difference between BSL and #lang racket

2012-01-15 Thread Matthew Flatt
At Sun, 15 Jan 2012 13:59:33 -0500, David Van Horn wrote: > I bet it's exact arithmetic. Racket sees 1.2 as an inexact number, > while *SL sees it as exact. Try inserting "#i" before any literal > numbers in the code and see if that does the trick. Yep. Jordan sent some of us the code, and tha

Re: [racket] sirmail

2012-01-15 Thread Matthew Flatt
At Sun, 15 Jan 2012 10:46:17 -0700, Jordan Schatz wrote: > Does sirmail have any spam filtering abilities? No. I (as the only SirMail user) rely on server-side filtering. Racket Users list: http://lists.racket-lang.org/users

Re: [racket] Performance difference between BSL and #lang racket

2012-01-15 Thread David Van Horn
On 1/12/12 2:48 PM, Jordan Johnson wrote: Hi all, A student presented me this morning with an implementation he'd written of Pong, which, after about a minute and a half of running (in BSL) was so slow on his Mac that it was unusable; specifically, the apparent speed slowed down a lot, and th

Re: [racket] Performance difference between BSL and #lang racket

2012-01-15 Thread Danny Yoo
> What language difference(s) might be responsible for the vast performance > difference we're observing?  If it would be helpful to see the code I can > share it, but it's about 1000 LoC and I don't think it's proper to post it > publicly.  I've tried to construct a small program that shows the

[racket] sirmail

2012-01-15 Thread Jordan Schatz
Does sirmail have any spam filtering abilities? I see the filtering of messages based on a message header regexp but I'm in need of something that learns from spam / ham and can autoclassify. Thanks, Jordan Racket Users list: http://lists.racket-lang.org/users