On Thu, Jan 28, 2016 at 9:50 AM, Thierry <[email protected]> wrote: > Hi, > > On Thu, Jan 28, 2016 at 09:39:06AM -0800, William Stein wrote: >> On Thu, Jan 28, 2016 at 9:17 AM, Francesco Biscani <[email protected]> >> wrote: >> > I am not a Mathematica user, so I cannot really comment about Mathematica's >> > flaws >> > >> > (Incidentally, I remember some years ago someone built a system to feed >> > random input to CASes, with which he found many mathematical bugs in the >> > big >> > Ms. I wonder if he's still doing it?) >> > >> >> That's [email protected], who is subscribed to this list, often posts about >> Ukraine-related issues here, and has spoken at Sage Days in the past. >> I really apprecaite that he put hard work into showing that these >> black boxes shouldn't be trusted. > > Great, i hope he also attacks Sage the same way, so that we get an > hardened system, this is somehow dual to the unit tests we have right now. > > If some scripts are available somewhere, i would be glad to have a look > and let them run for a while within some VM.
He wrote everything in a language called "Delphi" (or something like that) -- I think a Pascal dialect. I don't think he made his code available. I think he did in the past find many issues with Sage symbolic too, which we benefited from. -- William > > Ciao, > Thierry > > >> William >> >> > But the fact that it is a black box should be a showstopper for any serious >> > use in research. >> > >> > On 26 January 2016 at 22:05, rjf <[email protected]> wrote: >> >> >> >> I think it is somewhat disheartening to see Mathematica accepted as >> >> a program whose major or only flaw is that it is not open source. >> >> >> >> But maybe I didn't read all the comments. It seems that the >> >> ycombinator contributors tend to rattle on a while. >> >> RjF >> >> >> >> On Wednesday, January 20, 2016 at 5:49:13 AM UTC-8, bluescarni wrote: >> >>> >> >>> It's somewhat refreshing to see that the idea that one should not use >> >>> black box software in science is finally starting to sink in. >> >>> >> >>> On 20 January 2016 at 13:30, William Stein <[email protected]> wrote: >> >>>> >> >>>> There's a big thread on Hacker News about math software in which Sage >> >>>> is mentioned a few times: >> >>>> >> >>>> https://news.ycombinator.com/item?id=10934666 >> >>>> >> >>>> I have the impression very few of the comments are from >> >>>> mathematicians... Nonetheless, some people may find the comments >> >>>> interesting, since they reflect how open source math and scientific >> >>>> software such as Sage/Python/Sympy/Octave are (mis-)perceived by one >> >>>> group of potential users. >> >>>> >> >>>> -- William >> >>>> >> >>>> -- >> >>>> 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. >> >>> >> >>> >> >> -- >> >> 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. >> > >> > >> > -- >> > 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. >> >> >> >> -- >> William (http://wstein.org) >> >> -- >> 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. > > -- > 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. -- William (http://wstein.org) -- 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.
