Blog Updates

Consensus and Options

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 the last post, in this post we’ll talk on who gets to decide. Recall that Tau is a software that…

Read MoreConsensus and Options

The Art of Self-Reference

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 way around, and focused on knowledge economy. Here we approach the subject by emphasizing on self definition. Our main example…

Read MoreThe Art of Self-Reference

From Agoras to TML

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 build a knowledge economy on top of it. On this post we go backwards, we consider what we mean by…

Read MoreFrom Agoras to TML

The New Tau

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, and choice about choice. We propose a social choice mechanism by a careful consideration of these aspects. Some of the…

Read MoreThe New Tau

Tau and the Crisis of Truth

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 after you’ve taken your actions, which of course differs from one to another. Or you can consult a lawyer that…

Read MoreTau and the Crisis of Truth

Project Roadmap

Beginning with some recap: Tau My Life: A Memoir is a language. It is a programming language, but not only such. It may express virtually any arbitrary knowledge, rules, and processes. Examples are contracts, mathematical proofs, scientific facts and arguments, and legal documents. Its power comes from being unambiguous and consistent while still maintaining maximum (finite) expressibility. A more detailed…

Read MoreProject Roadmap

Tau as a Generalized Blockchain

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 public shared databases and with arbitrary proofs? Moreover, can the protocol itself evolve with time? Let’s break those questions into…

Read MoreTau as a Generalized Blockchain

Proof of Code Execution

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 a new block, using, obviously, some tau client. So we accept and execute block T by executing the code that…

Read MoreProof of Code Execution

Copyright © 2024 –  IDNI. All rights reserved.