Re: [sage-devel] Re: Improving code with AI?

On Wed, May 9, 2018 at 11:36 AM, Simon King wrote: > Hi! > > On 2018-05-08, David Loeffler wrote: >> Inspired by this I ran pyflakes over the "sage/modular" directory and fixed >> all the errors it spotted (mostly unnecessary imports and

Re: [sage-devel] Re: Improving code with AI?

On 2018-05-09 11:36, Simon King wrote: Is there a similar tool for Cython code? Some things are detected by Cython itself or GCC. In particular, unknown names are an error in Cython. -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To

[sage-devel] Re: Improving code with AI?

Hi! On 2018-05-08, David Loeffler wrote: > Inspired by this I ran pyflakes over the "sage/modular" directory and fixed > all the errors it spotted (mostly unnecessary imports and variables > assigned but never used). Is there a similar tool for Cython code? Best

Re: [sage-devel] Re: Improving code with AI?

On Wednesday, 2 May 2018 20:03:24 UTC+2, Erik Bray wrote: > Indeed--at some point I plan to start running pyflakes over Sage. On 6 May 2018 at 17:07, Maarten Derickx wrote: > A big +1 on adding a "plain old rule-based lint" like pyflakes to the > testsuite. >

Re: [sage-devel] Re: Improving code with AI?

I have just added a pyflakes plugin to the patchbot. For the moment, not in a released patchbot, but available by pulling the patchbot master branch. Frederic Le dimanche 6 mai 2018 18:07:41 UTC+2, Maarten Derickx a écrit : > > A big +1 on adding a "plain old rule-based lint" like pyflakes to

Re: [sage-devel] Re: Improving code with AI?

A big +1 on adding a "plain old rule-based lint" like pyflakes to the testsuite. On Wednesday, 2 May 2018 20:03:24 UTC+2, Erik Bray wrote: > > On Wed, May 2, 2018 at 4:41 PM, John Cremona > wrote: > > On another python project I contribute to (LMFDB) we have for some

Re: [sage-devel] Re: Improving code with AI?

On Wed, May 2, 2018 at 4:41 PM, John Cremona wrote: > On another python project I contribute to (LMFDB) we have for some time > only merged commits which satisfy pyflakes 100%. It's a much smaller > project than Sage, and when we first started using pyflakes there was

Re: [sage-devel] Re: Improving code with AI?

would it be easy to have the patchbots run such a tool? if so, one could at least have the information, without being forced to do anything. Martin Am Mittwoch, 2. Mai 2018 16:41:48 UTC+2 schrieb John Cremona: > > On another python project I contribute to (LMFDB) we have for some time > only

Re: [sage-devel] Re: Improving code with AI?

On another python project I contribute to (LMFDB) we have for some time only merged commits which satisfy pyflakes 100%. It's a much smaller project than Sage, and when we first started using pyflakes there was quite a lot of work to do, some of which seemed rather unnecessary, but also a lot of

[sage-devel] Re: Improving code with AI?

rjf> The chance that Machine Learning AI programs will find rjf> important algorithmic efficiency fixes in algebraic rjf> mathematical implementations seems pretty slim. Improving code is something other than improving algorithmic efficiency of high-level algorithms, of whatever kind. The

[sage-devel] Re: Improving code with AI?

The chance that Machine Learning AI programs will find important algorithmic efficiency fixes in algebraic mathematical implementations seems pretty slim. On the other hand, if you have gobs of code written by high school summer interns just learning Python, it is possible their code is filled

[sage-devel] Re: Improving code with AI?

First we should add one of the plain old rule-based linters to our testsuite, imho that would go a long way of maintaining a consistent code style (and avoid trivial review friction). On Sunday, April 29, 2018 at 3:43:23 PM UTC+2, Peter Luschny wrote: > > Hi, > > does such a thing make sense

Re: [sage-devel] Re: Improving code with AI?

> > The most complicated thing is to make a special-purpose github account to > run this on (because no-one > in their right mind is going to give some shady startup access to their > actual github account, right? > I do not think you need to do this. You can limit access to certain

Re: [sage-devel] Re: Improving code with AI?

On Monday, April 30, 2018 at 11:01:49 AM UTC-7, Erik Bray wrote: > > And that's exactly what I'm advocating. Would it be useful? Who > knows!? I doubt it but it would be nice to be proven wrong. > > The most complicated thing is to make a special-purpose github account to run this on

Re: [sage-devel] Re: Improving code with AI?

On 01/05/18 01:48, Emmanuel Charpentier wrote: > I'm old enough to have lived through the first AI winter > , and to become *extremely* > wary of anything hyped to the level currently used about anything > "AI"-labeled. > > BTW, I note that the causes of

Re: [sage-devel] Re: Improving code with AI?

On Mon, Apr 30, 2018 at 7:23 PM, Peter Luschny wrote: > >> I'm old enough to have lived through the first AI winter, and to become >> *extremely* >> >> wary of anything hyped to the level currently used about anything >> "AI"-labeled. > > > With all due respect to your

Re: [sage-devel] Re: Improving code with AI?

> I'm old enough to have lived through the first AI winter > , and to become *extremely* > wary of anything hyped to the level currently used about anything > "AI"-labeled. > With all due respect to your experiences, the AI in the 80s couldn't play chess

[sage-devel] Re: Improving code with AI?

I'm old enough to have lived through the first AI winter , and to become *extremely* wary of anything hyped to the level currently used about anything "AI"-labeled. BTW, I note that the causes of the over-hyping are still there (mainly the wish for a

Re: [sage-devel] Re: Improving code with AI?

HiLe 30 avr. 2018 07:15, Ralf Stephan a écrit :It needs write access on the repo. git clone, let it write as much as it wants?Snark on irc -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and

[sage-devel] Re: Improving code with AI?

It needs write access on the repo. -- 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