On Tue, Jan 26, 2016 at 9:42 AM, Nathann Cohen <nathann.co...@gmail.com> wrote: >>> Are you one of them? >> >> Rolls eyes... > > I can't help but notice that you say "we" when you say what should be > done, and you say "you" when there is actual work ahead.
I am too busy to work on core Sage development right now. If what I'm doing right now pays off, there will be far more resources for Sage development in the long run than anything I could ever personally do. I have also already done a lot -- according to this, I've done some work on Sage: https://github.com/sagemath/sage/graphs/contributors > You reported this problem concerning cliquer, and you are "all for > Sage developpers contributing upstream". Will you help? Nope, not on that. My time is better spent elsewhere. > Or will you wait for Sage developpers to do it? For now, yes. I don't know how to say this, but I'm older than you have and have a much bigger picture longterm strategic view of things. There is much more to helping the Sage project than diving into the trenches and writing code (though that is very valuable too). For example, Nicholas Thierry's work on getting the DREAMKIT funding and managing that is an extremely valuable contribution. That said, it's not like I don't write code -- I've evidently made over 3000 commits to open source code in the last year: https://github.com/williamstein I think I've done more programing in the last two years than at any point in my life before. And it has been at times much more difficult than any work I did on Sage. I'm sorry if you feel like I'm "flame baiting" you with the above off-topic message. Back to work. William -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at https://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
