After The DAO contract may be hacked on Ethereum:

https://www.cryptocoinsnews.com/ether-price-plumets-ethereum-dao-may-be-hacked/

http://uk.businessinsider.com/dao-hacked-ethereum-crashing-in-value-tens-of-millions-allegedly-stolen-2016-6

https://forum.safenetwork.io/t/ethereum-dao-hacked/9898/6

Are going to be more secure and bug free Agoras contracts based on Tau-Chain than Ethereum contracts?

Also You said:

"MLTT covers all what matters: finite computers and finite math formulas (infinite sets are welcome, even construction of the reals using Dedekind cuts – after all, this math gets into a finite book). As a result, given a syntactically well-formed code in MLTT together with a proof that “this code will halt” or “this code will never perform more than 1M operations”, we can trust the proof. The decidability guarantees that only true statements can be proved. Moreover: a machine can seek for a proof itself. This is called Automated Theorem Proving, but for complex enough problems their runtime is astronomically high. Yet, a “skeleton” of a complex proof can be supplied by human, letting the machine verifying it by trying to fill the missing parts of the proof."

It will possible use TensorFlow (opensource Google Machine Learning) with Tau-Chain and/or have a bridge with Agoras?

https://www.youtube.com/watch?v=2FOXR16mLow

https://www.tensorflow.org

or will be best Tau-Chain than TensorFlow?

Will have Agora best speed and usability than https://cloud.google.com/bigquery/?

Thanks.