tauchain

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

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

The breakthrough Ohad Asor achieved with the guarded successor second order time compatible logic is under recognized. So in this blogpos...

https://www.youtube.com/watch?v=XbfU8dca9EI WATCH: AI safety is kind of like having a lifeguard on hand at the pool party—it's a must if ...

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

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 fi...

Tauchain is a profound project that has taken years of deep research and development. Some of the smartest people I've known on this pla...

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 devel...

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 ...

...

...

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

The current shift toward what I call hyperdeflationary game theory Analyzing the trends in the crypto economics I notice a shift. Ethereu...

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

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...

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

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

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...

Been waiting for a couple of years! It's the updated Tau whitepaper. Check it out: https://www.idni.org/whitepaper_community_draft.pdf T...

Please pardon me as I jump onto this rabbit hole in search of a solution. The last two years I have been buying, selling, staking crypto...

Knowledge markets and Agoras https://cdn.pixabay.com/photo/2014/09/01/19/39/chess-433071_1280.jpg Intuitively many people already know wh...

Can Tau achieve a second order logic solver in 2020? I'm still reviewing what Ohad said in the latest video but in the latest video there...

Why Telos is not like Tau https://cdn.pixabay.com/photo/2016/11/19/14/00/code-1839406_1280.jpg Telos is a new project which launched in D...

https://cdn.pixabay.com/photo/2016/04/04/14/12/monitor-1307227_1280.jpg Many people have been asking about Tau recently and a lot of prog...

Transcompilation By now many of you have watched the latest Q/A and are aware of the achievements of 2019. TML is now nearly complete and...

This is an analysis of TauBot.TML. This is the bot written in TML and is officially the first TML app written. Let's look and see how it ...

Now that the TML Bot has been released I can show some examples of what TML looks like and some code. TML syntax resembles closely to Pro...

TML Progress Report A lot of progress has been made by the TML developers in the past month. The first actual TML app has been written an...

Transcript from the Interview ( Upto Q12 ) whereafter AMA conducted by Cryptosky and his Community on 27/12/2019. Cryptosky interview Q...

The Vending Machine Model Nick Szabo the inventor of the smart contract concept mentioned that the concept of "smart contract" ...