Jason, Thanks for pulling me in on this.
William, I agree, getting a bunch of people to agree about stuff can be impossible. You mention Sage offers a couple options to mitigate output overflows, can you point me to those options? The Jupyter Notebook should provide multiple options for this too. Also, in your experience, which of the Sage options work the best? I was thinking initially of doing something simple, like hard limiting data/time, then printing an error if that's exceeded. In the Jupyter Notebook, we have to worry about: - Too many messages sent on the websocket - The notebook json file growing too large and consequently becoming unopenable - Too much data being appended to the DOM, crashing the browser Thanks! -Jon On Tue, Jan 5, 2016 at 10:19 AM, Jason Grout <grout.ja...@gmail.com> wrote: > > > On Tuesday, January 5, 2016 at 8:17:45 AM UTC-7, William wrote: >> >> >> One example of a subtle feature in Sage (notebook and worksheets) not >> in Jupyter, which I was just reminded of, is output limiting. In Sage >> there are numerous rules/options to deal with people doing stuff like: >> >> while True: >> print "hi!" >> >> ... which is exactly what students will tend to do by accident... >> Jupyter doesn't deal with this, but it might not be too hard to >> implement in theory. One of the main problems is figuring out what >> the arbitrary rate limiting defaults "should" be; it's arbitrary, and >> depends a lot on whether everything is local, over the web, etc. so >> getting a bunch of people to agree is hard, which might mean they will >> never implement anything. >> > > > William, > > Jon Frederic in the Jupyter dev meeting happening right now said that he > will be working on output limiting as one of his next things. > > Jason > -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
