taunet 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

My Impressions of Tau Net's Progress

I just watched Tau Net's most recent YouTube update, and I'm here to talk about what I learned about their progress in December in combining AI and blockchain. It's

Got my Tau Net Gear

Got my Tau-tee & $AGRS 👕 Thanks, Tau Team. Guys, the third Quiz is out. Tau Language Quiz Bee 2023💎 🚀 Dive into the Tau Community Quiz Bee! 🧠 Test your Tau

Got my Tau Net Gear

Got my Tau-tee & $AGRS 👕 Thanks, Tau Team. Guys, the third Quiz is out. Tau Language Quiz Bee 2023💎 🚀 Dive into the Tau Community Quiz Bee! 🧠 Test your Tau

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

DigitSoul - Logic Roots 🎶 (Tau Net Cypher)

Digitsol is an AI rap artist who combines his love of blockchain with his love of coding sounds to make a sound that is inspired by the street. He has a sharp mind

DigitSol - Logic Roots

Tau Net Anthem - "Logic Roots" Description: 🌐🎤 The music video for Tau Net's song "Logic Roots" is out. In this piece of logic and information,

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