In this article I’ll demonstrate things that the Tau Language can do that were never possible before, and why it matters so much. Consider an interactive AI agent that accepts commands from the user and performs them. The agent is…
Blockchain has been around for about two decades and received tremendous attention, yet its promise to change society hasn’t evolved at all. All technological developments around blockchain can be divided into two categories. The first is intentional or unintentional yet…
In our current world one can rarely monetize their knowledge in a direct manner. We almost never buy or sell (or price) a single piece of knowledge. Seeking knowledge in an economical setting is currently mostly done by appealing to…
In this post we won’t get into an overview of Tau and Agoras as we did in the last three posts, but we’ll dive into two specific parts of each: Tau’s governance model, and Agoras derivatives market. As promised in…
This post, like the previous two, comes to shed light on the same subjects. The post “The New Tau” went bottom up from TML to Agoras and focused on scaling discussions. The post “From Agoras to TML” went the other…
In the last blogpost we went through our five stages in chronological and conceptually bottom-up order, language, knowledge, discussion, collaboration, change, and knowledge market. The first five steps are about creation of a knowledge society, and from there we can…
We are interested in a process in which a small or very large group of people repeatedly reach and follow agreements. We refer to such processes as Social Choice. We identify five aspects arising from them, language, knowledge, discussion, collaboration,…
We live in a world in which no one knows the law. Except trivial cases, you cannot know what is legal and what is not, all you can do is try and see what is the judge’s or policeman’s opinion…
Bitcoin may abstractly be described as a decentralized machine that appends new data (transactions) to a public shared database (ledger) given certain proofs (signatures). One immediately asks, what if we take the Blockchain algorithm and allow arbitrary data with multiple…
Putting it altogether, code is rules and queries, while the compiler (being essentially an autoprover) follows the rules and their consequences and outputs answers (while performing any side-effects). This is a closed loop, the code is retrieved from tau-chain upon…