[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
Re: reproducible format
Ivan Godard wrote:
This has reached pin-dancing. Apparently academia needs a reproducible
standard for algorithm proofs.
Industries that work on critical systems (read here : airplanes
fly-by-wire, train anti-collision systems, etc.) prefer to be able to
reproduce behaviors. On some current systems such as Intel's IA32, this
is very difficult because seemingly irrelevant changes (such as
inserting logging or printing instructions) may change the result.
That's nothing academic, that's a precise industrial need.