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 mfl...@cs.utah.edu 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

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 mfl...@cs.utah.edu 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

[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

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 mfl...@cs.utah.edu 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

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 mfl...@cs.utah.edu

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 mfl...@cs.utah.edu 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

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

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 sa...@cs.indiana.edu 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

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 sa...@cs.indiana.eduwrote: 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

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 for