[sage-devel] Re: Ethical evaluation of repository hosting services

2016-08-03 Thread leif
Michael Orlitzky wrote: > On 08/03/2016 12:46 PM, Volker Braun wrote: >> >> * You can't block by url on https >> > > This is unfortunately becoming less and less true. With Server Name > Indication (SNI), the web server waits to see the Host header in your > request before deciding which certifica

Re: [sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread Paul Masson
Running "make" under WSL for Sage 7.2.rc2 consistently hangs for me at this line: checking whether rename honors trailing slash on source... Could that be related to limits you mention or is it some other error? On Wednesday, August 3, 2016 at 6:44:56 AM UTC-7, Bill Hart wrote: > > There are so

Re: [sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread Nils Bruin
On Wednesday, August 3, 2016 at 11:16:16 AM UTC-7, Bill Hart wrote: > > wbhart@ASUS:~/SageMath$ ./sage -gp > gp: error while loading shared libraries: libpari-gmp-2.8.so.0: cannot > open shared object file: No such file or directory > > Is this a binary distribution? There used to be a problem wi

Re: [sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread 'Bill Hart' via sage-devel
On Wednesday, 3 August 2016 18:23:27 UTC+2, vdelecroix wrote: > > Does at least "sage -gp" work? > > No. wbhart@ASUS:~/SageMath$ ./sage -gp gp: error while loading shared libraries: libpari-gmp-2.8.so.0: cannot open shared object file: No such file or directory Bill. -- You received this m

Re: [sage-devel] Re: Ethical evaluation of repository hosting services

2016-08-03 Thread Michael Orlitzky
On 08/03/2016 12:46 PM, Volker Braun wrote: > > * You can't block by url on https > This is unfortunately becoming less and less true. With Server Name Indication (SNI), the web server waits to see the Host header in your request before deciding which certificate to present to you. That lets you

Re: [sage-devel] Category framework: HomsetMethods or similar?

2016-08-03 Thread John H Palmieri
On Monday, August 1, 2016 at 2:19:32 AM UTC-7, Nicolas M. ThiƩry wrote: > >Hi John, > > On Thu, Jul 28, 2016 at 02:17:15PM -0700, John H Palmieri wrote: > >When defining a category in Sage, is there any way to define > >"HomsetMethods" for that category? For example, if I want

[sage-devel] Re: Ethical evaluation of repository hosting services

2016-08-03 Thread Volker Braun
On Wednesday, August 3, 2016 at 2:57:31 PM UTC+2, Dima Pasechnik wrote: > > How much is blocked by China's firewalls? > Afaik nothing on github is blocked in china: * Github is too important for commerce to be blocked for more than a couple of days at a time * Github uses https everywhere * You c

Re: [sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread 'Bill Hart' via sage-devel
No I didn't. But I'll set it running overnight tonight. I wonder if it is possible to actually give someone login access to my laptop by starting the sshd or something like that. Bill. On Wednesday, 3 August 2016 18:23:27 UTC+2, vdelecroix wrote: > > Does at least "sage -gp" work? > > Did you

Re: [sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread Vincent Delecroix
Does at least "sage -gp" work? Did you run "make ptestlong" to launch the tests? If so there is a log in SAGE_ROOT/logs/ptestlong.log. That would be nice to have it! On 03/08/16 11:45, 'Bill Hart' via sage-devel wrote: sage -t --all seems to be passing most of its tests. Any tests that requir

Re: [sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread 'Bill Hart' via sage-devel
sage -t --all seems to be passing most of its tests. Any tests that require starting pari currently don't pass. There were also some complaints about uncommitted changes in the git tree. Also control.py failed its test. I managed to kill WSL (nothing to do with Sage) at the point Sage was half

Re: [sage-devel] Re: Ethical evaluation of repository hosting services

2016-08-03 Thread Dima Pasechnik
On Wednesday, August 3, 2016 at 2:10:49 PM UTC+1, vdelecroix wrote: > > On 03/08/16 08:57, Dima Pasechnik wrote: > > > > > > On Wednesday, August 3, 2016 at 12:30:40 AM UTC+1, leif wrote: > >> > >> [For some reason, creating a new thread via gmane doesn't work -- or > >> there will probably

Re: [sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread 'Bill Hart' via sage-devel
There are some awful issues with WSL for now. It has a stack limit of 8MB which means certain programs that expect a >= 16MB stack won't work. ulimit refuses to increase the stack size. Building things can be *incredibly* slow. Not that this shouldn't be a major issue for now, since it is supp

Re: [sage-devel] Re: Ethical evaluation of repository hosting services

2016-08-03 Thread Vincent Delecroix
On 03/08/16 08:57, Dima Pasechnik wrote: On Wednesday, August 3, 2016 at 12:30:40 AM UTC+1, leif wrote: [For some reason, creating a new thread via gmane doesn't work -- or there will probably come a duplicate later.] The FSF has created criteria for evaluating repository hosters w.r.t. eth

[sage-devel] Re: Interfacing Kenzo with Sage? (yes, Lisp)

2016-08-03 Thread Dima Pasechnik
Just to point out the amazing progress made by Gerd Heber on Kenzo infrastruture, docs, tests, etc; e.g. you can get a docker container to run Kenzo, or you can have it running online in jupyter notebook (yes, Common Lisp can run in jupyther). PS. RJF is most welcome to comment :-) On Saturday,

[sage-devel] Re: Ethical evaluation of repository hosting services

2016-08-03 Thread Dima Pasechnik
On Wednesday, August 3, 2016 at 12:30:40 AM UTC+1, leif wrote: > > [For some reason, creating a new thread via gmane doesn't work -- or > there will probably come a duplicate later.] > > > The FSF has created criteria for evaluating repository hosters w.r.t. > ethics: > > https://libreplanet.

[sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread Jean-Pierre Flori
On Wednesday, August 3, 2016 at 11:03:50 AM UTC+2, leif wrote: > > VulK wrote: > > On the topic of performances I just came across this post on phoronix: > > > http://www.phoronix.com/scan.php?page=article&item=windows-10-lxcore&num=1 > > > > TL;DR: benchmarks give surprisingly good performa

Re: [sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread VulK
* leif [2016-08-03 11:03:38]: > VulK wrote: > > On the topic of performances I just came across this post on phoronix: > > http://www.phoronix.com/scan.php?page=article&item=windows-10-lxcore&num=1 > > > > TL;DR: benchmarks give surprisingly good performances provided you do not > > access the f

[sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread leif
VulK wrote: > On the topic of performances I just came across this post on phoronix: > http://www.phoronix.com/scan.php?page=article&item=windows-10-lxcore&num=1 > > TL;DR: benchmarks give surprisingly good performances provided you do not > access the filesystem. At the moment, while running sage

Re: [sage-devel] Re: Sage on Bash on Ubuntu on Windows

2016-08-03 Thread VulK
On the topic of performances I just came across this post on phoronix: http://www.phoronix.com/scan.php?page=article&item=windows-10-lxcore&num=1 TL;DR: benchmarks give surprisingly good performances provided you do not access the filesystem. At the moment, while running sage could be ok, this wou