[sage-devel] Re: proof and open-source

2008-05-28 Thread Harald Schilly
On May 28, 7:28 pm, rjf <[EMAIL PROTECTED]> wrote: > I think my Tivo DVR runs Linux, and in principle I have access > to the source, but I would no more consider trying to fix a bug in it than I > would remove my own appendix. This is more a problem of commercialization and being a closed system.

[sage-devel] Re: proof and open-source

2008-05-28 Thread rjf
To the vast majority of users, Linux is just as much a black box as Windows. Indeed, I think my Tivo DVR runs Linux, and in principle I have access to the source, but I would no more consider trying to fix a bug in it than I would remove my own appendix. Given the whole range of programs and proj

[sage-devel] Re: proof and open-source

2008-05-28 Thread Dr. David Kirkby
On 28 May, 05:39, rjf <[EMAIL PROTECTED]> wrote: > I sent a note to boothby, asking that he forward it to sage-devel if > my cc didn't work, which it didn't. But he didn't forward it. That's > ok, I guess. > In the unlikely event that you want to read the whole back-and-forth, > please contact m