On Monday, October 2, 2017 at 10:47:36 PM UTC+1, Bill Hart wrote: > > > > On Monday, 2 October 2017 23:40:55 UTC+2, Bill Hart wrote: >> >> I think what is likely to happen is that any GitHub code which is NOT >> Open Source, is likely to be used in the new filters. If 10 consecutive >> lines of copyrighted, proprietary code is found in a repository not owned >> by the copyright holders, it might be worth investigating as possible >> piracy. >> > > If I were GitHub, I would implement this feature now, and roll it out for > all holders of repositories of proprietary code on GitHub, and make sure it > is very well tested against all such other repositories. :-) >
Once I had to deal with a similar (albeit smaller scale) case of stupidity - a Singapore university mandating the use of anti-plagiarism software on PhD theses, and my student's thesis scoring too much; needless to say, all the maths boilerplate (e.g. "Let G be a graph without loops and multiple edges") you can imagine was triggering their $%$%ing tool... It's cheaper and more meaningful to lobby against it, IMHO. Anyhow I hope it's convincing enough, so it cannot be dismissed as FUD... -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
