[racket-dev] sandbox and file-/directory-existence tests

2013-08-19 Thread Matthew Flatt
I keep running into sandbox trouble due to file- and directory-existence tests that are buried inside functions that inspect Racket's configuration. For example, the contract system runs into trouble because it uses `path->relative-string/library', which has to find collections, so it needs to look

Re: [racket-dev] sandbox and file-/directory-existence tests

2013-08-19 Thread Sam Tobin-Hochstadt
On Mon, Aug 19, 2013 at 4:34 PM, Matthew Flatt wrote: > > Is there a situation where allowing an arbitrary file- or > directory-existence test would be bad? This all depends on how paranoid we want to be. There are certainly situations when this will be bad -- it lets you determine who else has

Re: [racket-dev] sandbox and file-/directory-existence tests

2013-08-19 Thread Eli Barzilay
A few minutes ago, Sam Tobin-Hochstadt wrote: > On Mon, Aug 19, 2013 at 4:34 PM, Matthew Flatt wrote: > > > > Is there a situation where allowing an arbitrary file- or > > directory-existence test would be bad? > > This all depends on how paranoid we want to be. There are certainly > situations

[racket-dev] Revising Racket's home page

2013-08-19 Thread Sam Tobin-Hochstadt
Recently I (with assistance from Asumu) have spent some time drafting a revised home page for Racket. A revised web page will nicely complement the big upcoming release, I hope. You can see the draft here, which is ready for people to try out: http://homes.soic.indiana.edu/samth/new-web/ Some

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Matthew Flatt
Fantastic! The non-code font shows up rasterized on my phone (iPhone 4s running iOS 5.1.1), while the code font looks fine. Both fonts look right on my mini-tablet (Nexus 7). At Mon, 19 Aug 2013 17:39:54 -0400, Sam Tobin-Hochstadt wrote: > Recently I (with assistance from Asumu) have spent some t

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Sam Tobin-Hochstadt
On Mon, Aug 19, 2013 at 6:13 PM, Matthew Flatt wrote: > Fantastic! > > The non-code font shows up rasterized on my phone (iPhone 4s running > iOS 5.1.1), while the code font looks fine. Both fonts look right on my > mini-tablet (Nexus 7). That's very odd. Both fonts are loaded from Google fonts,

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Matthew Flatt
I get a "Go to the Choose page to select fonts" page. But reloading the draft Racket page (should have tried that in the first place) seems to have fixed the problem. At Mon, 19 Aug 2013 18:26:23 -0400, Sam Tobin-Hochstadt wrote: > On Mon, Aug 19, 2013 at 6:13 PM, Matthew Flatt wrote: > > Fantas

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Sam Tobin-Hochstadt
On Mon, Aug 19, 2013 at 6:33 PM, Matthew Flatt wrote: > I get a "Go to the Choose page to select fonts" page. > > But reloading the draft Racket page (should have tried that in the > first place) seems to have fixed the problem. Ok, great. I think there are more sophisticated things I can do to

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Stephen Chang
Some quick observations. on Chromium Version 23.0.1271.97 Ubuntu 12.04 (23.0.1271.97-0ubuntu0.12.04.1): - broken links: download, research - only 2 examples? :) how come some got cut? - web scraper example is cut off when clicking "?" Maybe make the overlay window variable width? on mobile (andr

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Sam Tobin-Hochstadt
On Mon, Aug 19, 2013 at 5:39 PM, Sam Tobin-Hochstadt wrote: > Recently I (with assistance from Asumu) have spent some time drafting > a revised home page for Racket. A revised web page will nicely > complement the big upcoming release, I hope. You can see the draft > here, which is ready for peop

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Sam Tobin-Hochstadt
On Mon, Aug 19, 2013 at 6:43 PM, Stephen Chang wrote: > Some quick observations. > > on Chromium Version 23.0.1271.97 Ubuntu 12.04 (23.0.1271.97-0ubuntu0.12.04.1): > > - broken links: download, research Right, these are TODO. > - only 2 examples? :) how come some got cut? The example formatting

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Sam Tobin-Hochstadt
Ok, that makes sense. Can you file this as an issue on the GitHub repository I just mentioned? Sam On Mon, Aug 19, 2013 at 7:09 PM, Stephen Chang wrote: >>> - web scraper example is cut off when clicking "?" Maybe make the >>> overlay window variable width? >> >> I'm not sure what you mean. Ca

Re: [racket-dev] sandbox and file-/directory-existence tests

2013-08-19 Thread Matthew Flatt
Thanks! Instead of changing 'exists permissions, I think I found the right approach to moving the computation so that it doesn't interact with the sandboxes. At Mon, 19 Aug 2013 16:49:28 -0400, Eli Barzilay wrote: > A few minutes ago, Sam Tobin-Hochstadt wrote: > > On Mon, Aug 19, 2013 at 4:34 PM,

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Robby Findler
This looks fantastic! Thanks! Robby On Mon, Aug 19, 2013 at 4:39 PM, Sam Tobin-Hochstadt wrote: > Recently I (with assistance from Asumu) have spent some time drafting > a revised home page for Racket. A revised web page will nicely > complement the big upcoming release, I hope. You can see th

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread David T. Pierson
On Mon, Aug 19, 2013 at 05:39:54PM -0400, Sam Tobin-Hochstadt wrote: > Recently I (with assistance from Asumu) have spent some time drafting > a revised home page for Racket. A revised web page will nicely > complement the big upcoming release, I hope. You can see the draft > here, which is ready

Re: [racket-dev] Revising Racket's home page

2013-08-19 Thread Neil Van Dyke
Sam and Asumu, this looks like significant improvement in several ways, thank you. Two comments: * There's a lot of stuff for a home page. I don't know whether this is good or bad, but it's noticeable. * Under "Documentation" heading, the subheadings are confusing, IMHO. 5 of the manuals