41 ms·
The article states "it used blogs and a wiki to mediate a fully open collaboration", but how about running (not just writing) the algorithms (code) to test and
by clemesha 17y ago
The article states "it used blogs and a wiki to mediate a fully open collaboration", but how about running (not just writing) the algorithms (code) to test and experiment collaboratively?
This is the goal of open-source projects like http://codenode.org http://codenode.org and http://sagenb.org http://sagenb.org.
- hendler 17y agoThanks for those two links. Verified, versioned math is better, and more sustainable like http://www.vdash.org/ http://www.vdash.org/ . How does Vdash differ from sagenb and codenode?
- clemesha 17y agoFrom what I understand, Vdash does not execute code (actually run it on a backend process, and return the result) written in a standard programming language, where as codenode and sagenb do.
- hendler 17y agoVdash executes math using the open source proof theorem prover Isabelle : http://www.cl.cam.ac.uk/research/hvg/Isabelle/ http://www.cl.cam.ac.uk/research/hvg/Isabelle/ http://en.wikipedia.org/wiki/Isabelle_%28theorem_prover%29 http://en.wikipedia.org/wiki/Isabelle_%28theorem_prover%29