Hai guise, /biz/tard stepping in to ask about a project that I'm speculating on. It's called Tauchain and is being developed primarily by an Israeli programmer named Ohad Asor. /biz/ and /g/ are too dump to make any sense of this. These guys look like they're building some kind of AI supercomputer on a blockchain? This is very heavy in the fields if Logic and Functional Programming.
Website: http://www.idni.org
Github: https://github.com/IDNI/tau
Demo of Tau Meta-Language: https://tml.klapka.cz/?intro=0

Is this some kind of elaborate scam? I can't make heads or tails of what these people are doing.