tauchain Tag Posts Index

It's been a while

It's been a while since I've posted on Hive. A lot has happened in the past year so I'll recap. Remember that project Tau I kept posting about? It's finally at test

Tau Language - studying the source code (Aug 2 2024)

Tau Language Github code analysis Tau Language seems to be in the final stages of development before the alpha release. I know this because I can see on the Github.

A brief explanation of the state explosion problem

Model checking involves a process we call state transition. In Tau the GSSOTC is the temporal logic which allows for creation of a specification which gives a detailed

Ohad's important formula explained (GSSOTC)

The breakthrough Ohad Asor achieved with the guarded successor second order time compatible logic is under recognized. So in this blogpost I want to breakdown the

Future of Knowledge Markets: Where Brains, Bytes, and Bucks Collide!

WATCH: AI safety is kind of like having a lifeguard on hand at the pool party—it's a must if you don't want to accidentally jump into the deep end of technology

AGRS Token: Tau Net's Strategic Move in the Blockchain Industry, an Uncommon Listing but a Dominant Force

Tau Net, a project that dreams large in this age of rapid technological growth, where invention seems to be happening at a million miles per hour. This bold

The Journey to Tau Net: The Find of a Groundbreaking Project

In 2017, one of my best friends, @kevinwong , told me about a project that looked like it would be a good addition to the fast-growing field of blockchain. I had

Tau - The Human - Man Machine Sybiotic Super Computer

Many will remember my posts from the early days of Tau. I have not posted about Tau or on Hive in at least 2 years. According to Sr developer Andrei we are now on

(EN-TR) Youth Camps/Gençlik Kampları

Kaynak EN Hello everyone, I'm here with a new post. Today, I will try to tell you about the youth camps that have an important place in my life and where I served

Game theory on Agoras - Can Agoras implement game theory? The answer is yes.

Expected Utility On Tau there is a feature discussed called the "opinion map". This "opinion map" can be translated easily into a "preference

Hyperdeflationary game theory and Agoras

The current shift toward what I call hyperdeflationary game theory Analyzing the trends in the crypto economics I notice a shift. Ethereum EIP 1559 is an example

The MakerDao, a DeFi Bank, the problems with DAO Governance , and the potential solution Tau Chain an AI: Artificial Intelligence.

What is the MakerDao? Two things credit debt facility and a D Credit Debt Facility The first aspect, which most investors know about the MakerDao is that it’s a

I am a Tauchain fan now

This is the story of why I am a Tauchain fan now. I got information about Tauchain when I read a post written by of @kevinwong. A great thing of the post that make

¿Su criptografía va a resolver los mayores problemas del mundo?

Considere un proceso, denotado por X, de [muchas] personas, formando y siguiendo, por la vía de la discusión en lenguajes formales, otro proceso, denotado por Y.

Massive Update: Monthly Tauchain Development Update

The update this month had some very important additions including a new blockchain developer, improvements to Agoras Live both UX and wallet integration, improved

Is your crypto going to solve the world's biggest problems?

Consider a process, denoted by X, of [many] people, forming and following, by the way of discussion in formal languages, another process, denoted by Y. Tau is the

Tau/Agoras is now available on Bittrex and Uniswap

Tau Agoras token is now widely available For those who follow Tauchain and who want to get a stake in Agoras the team has initiated a swap mechanism. This will swap

Tau Update (Optional ERC20-AGRS + Bittrex & Uniswap listing + Supporter Program)

AGRS is now available as ERC20-AGRS (an ERC20 token under Ethereum). If you've acquired AGRS before this, please be informed that you're holding OMNI-AGRS (an OMNI

Tau Update: First Order Logic Solver and other good news

Update Main points of this update: Improved parsing capability (EBNF support) allows TML to more easily specify context free grammars. First order logic solving.

Bitcoin's Biggest Breakthrough

Been waiting for a couple of years! It's the updated Tau whitepaper. Check it out: Tau, or tautology is a symbol that's really fitting for the nature of the proposed