You are viewing a single comment's thread from:
RE: ShowerThoughts #6: Fundamental Blockchain
This is not far off... however, humanity hasn't even started looking for vector accounting yet.
But really, the future of trade will be barter.
But, but, to comprehend that, you need to first understand that people, will generally be self sufficient when it comes to food and making most of the essentials. What will be traded is goods that really require a factory.
One group of people will make paper, another will make paper clips.
Check out Tau (I’ve been writing about it, I think you’ll find it very interesting, ex: https://steemit.com/blockchain/@kevinwong/demo-coming-soon-tau-meta-language-in-c-updated-on-github)
I don't know...
Tau written in Tau? That is actually just playing with yourself.
Tau has to be written in machine code. It doesn't matter how you get there, but the end result is machine code.
Now, a visual representation of binary decisions is great for checking that any transactional code (smart contracts) doesn't have any fallouts. All the inputs are seen and known. No branch leads to nothingness.
This stuff has all been in programmers' heads. And it is the skill of the programmer who makes sure that no branch leads to oblivion.
The reason this visualizer has never been used is that commercial code is just to gigantic to be visualized this way. But, smart contracts have to be tiny.
Yea of course in the end it’s machine code. Tau Meta Language is based on first-order partial fixed point logic which has very specific characteristics of being able to support negation, decidable, and can define its own semantics. It’s really quite at the cutting edge of theoretical computer science, language, logic, and maths.