<?xml version="1.0" encoding="UTF-8"?><rss xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:atom="http://www.w3.org/2005/Atom" version="2.0"><channel><title><![CDATA[RSS Feed]]></title><description><![CDATA[RSS Feed]]></description><link>http://direct.ecency.com</link><image><url>http://direct.ecency.com/logo512.png</url><title>RSS Feed</title><link>http://direct.ecency.com</link></image><generator>RSS for Node</generator><lastBuildDate>Tue, 21 Apr 2026 21:57:06 GMT</lastBuildDate><atom:link href="http://direct.ecency.com/created/tauchain/rss.xml" rel="self" type="application/rss+xml"/><item><title><![CDATA[It's been a while]]></title><description><![CDATA[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 net. In fact, if you're reading this,]]></description><link>http://direct.ecency.com/tau/@dana-edwards/it-s-been-a-while</link><guid isPermaLink="true">http://direct.ecency.com/tau/@dana-edwards/it-s-been-a-while</guid><category><![CDATA[tau]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Tue, 21 Apr 2026 20:30:45 GMT</pubDate></item><item><title><![CDATA[Tau Language - studying the source code (Aug 2 2024)]]></title><description><![CDATA[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. So let's discuss what has happened.]]></description><link>http://direct.ecency.com/hive-165754/@dana-edwards/tau-language-studying-the-source-code-aug-2-2024</link><guid isPermaLink="true">http://direct.ecency.com/hive-165754/@dana-edwards/tau-language-studying-the-source-code-aug-2-2024</guid><category><![CDATA[hive-165754]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Fri, 02 Aug 2024 12:20:03 GMT</pubDate></item><item><title><![CDATA[A brief explanation of the state explosion problem]]></title><description><![CDATA[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 map of how this state transition]]></description><link>http://direct.ecency.com/hive-165754/@dana-edwards/a-brief-explanation-of-the-state-explosion-problem</link><guid isPermaLink="true">http://direct.ecency.com/hive-165754/@dana-edwards/a-brief-explanation-of-the-state-explosion-problem</guid><category><![CDATA[hive-165754]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Sun, 07 Jul 2024 01:22:57 GMT</pubDate></item><item><title><![CDATA[Ohad's important formula explained (GSSOTC)]]></title><description><![CDATA[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 key formula which explains exactly how]]></description><link>http://direct.ecency.com/tau/@dana-edwards/ohad-s-important-formula-explained-gssotc</link><guid isPermaLink="true">http://direct.ecency.com/tau/@dana-edwards/ohad-s-important-formula-explained-gssotc</guid><category><![CDATA[tau]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Sat, 06 Jul 2024 11:55:09 GMT</pubDate></item><item><title><![CDATA[Future of Knowledge Markets: Where Brains, Bytes, and Bucks Collide!]]></title><description><![CDATA[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 chaos. No doubt that this programmed is]]></description><link>http://direct.ecency.com/blockchain/@killuminatic/future-of-knowledge-markets-where</link><guid isPermaLink="true">http://direct.ecency.com/blockchain/@killuminatic/future-of-knowledge-markets-where</guid><category><![CDATA[blockchain]]></category><dc:creator><![CDATA[killuminatic]]></dc:creator><pubDate>Sat, 09 Dec 2023 14:18:51 GMT</pubDate><enclosure url="https://images.ecency.com/p/S5Eokt4BcQdk7EHeT1aYjzebg2hC7hkthT45eBY65VgJ8ArKfSGjkBiAJkzcsompyGN97U2?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[AGRS Token: Tau Net's Strategic Move in the Blockchain Industry, an Uncommon Listing but a Dominant Force]]></title><description><![CDATA[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 blockchain-based notion by tech expert Ohad]]></description><link>http://direct.ecency.com/tauchain/@killuminatic/agrs-token-tau-nets-strategic-move-in-the-blockchain-industry-an-uncommon-listing-but-a-dominant-force</link><guid isPermaLink="true">http://direct.ecency.com/tauchain/@killuminatic/agrs-token-tau-nets-strategic-move-in-the-blockchain-industry-an-uncommon-listing-but-a-dominant-force</guid><category><![CDATA[tauchain]]></category><dc:creator><![CDATA[killuminatic]]></dc:creator><pubDate>Tue, 05 Dec 2023 12:58:42 GMT</pubDate><enclosure url="https://images.ecency.com/p/FUkUE5bzkAZT3HzV5tJDiU2ik81PCd4JCyhWnRcDN8XJsVFY3UNB8DCXByK57wjDpBeDxctgXrXzgWQSggXma352vQQYt41182GwtVXV1p6Pah331RmXnqoNs5NPNVpAj5zmeg6Zwfei1rrMr9nZNsc3vdNnQ8GXEmav?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[The Journey to Tau Net: The Find of a Groundbreaking Project]]></title><description><![CDATA[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 no idea that the TauChain, or Tau Net now]]></description><link>http://direct.ecency.com/crypto/@killuminatic/the-journey-to-tauchain-the-find-of-a-groundbreaking-project</link><guid isPermaLink="true">http://direct.ecency.com/crypto/@killuminatic/the-journey-to-tauchain-the-find-of-a-groundbreaking-project</guid><category><![CDATA[crypto]]></category><dc:creator><![CDATA[killuminatic]]></dc:creator><pubDate>Sat, 02 Dec 2023 15:45:09 GMT</pubDate><enclosure url="https://images.ecency.com/p/FUkUE5bzkAZT3HzV5tJDiU2ik81PCd4JCyhWnRcDN8XJsVFY3UNB8DCXByK57wjDpBeDxctgXrYKYu5CGF33KtZ6qsMAjRsXRWXhPavtxQ285DoLG8jEqAUXXAtMPFvXFEVxsoXnzRFf9yzSSWf6yUSQ9nXvcbDePWJz?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Tau - The Human - Man Machine Sybiotic Super Computer]]></title><description><![CDATA[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 the brink of something we have waited]]></description><link>http://direct.ecency.com/hive-165754/@dana-edwards/tau-the-human-man-machine-sybiotic-super-computer</link><guid isPermaLink="true">http://direct.ecency.com/hive-165754/@dana-edwards/tau-the-human-man-machine-sybiotic-super-computer</guid><category><![CDATA[hive-165754]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Sun, 10 Sep 2023 05:36:18 GMT</pubDate></item><item><title><![CDATA[(EN-TR) Youth Camps/Gençlik Kampları]]></title><description><![CDATA[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 as the camp leader. youth camps; Organized]]></description><link>http://direct.ecency.com/hive-117778/@bilgin70/en-tr-youth-camps-genclik</link><guid isPermaLink="true">http://direct.ecency.com/hive-117778/@bilgin70/en-tr-youth-camps-genclik</guid><category><![CDATA[hive-117778]]></category><dc:creator><![CDATA[bilgin70]]></dc:creator><pubDate>Fri, 28 Jan 2022 16:38:30 GMT</pubDate><enclosure url="https://images.ecency.com/p/qjrE4yyfw5pJD9LKQ1BG3BAmr5TYaANmrJEBZ9YMDKcEoWYDoh1EWDvGLFwZmDSQQHvc4Ljg9cLVM4eTWf5cHxU6PpPgjJCR6nLXW2rPVw3CWUYrXSX1qYsx?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Game theory on Agoras - Can Agoras implement game theory? The answer is yes.]]></title><description><![CDATA[Expected Utility On Tau there is a feature discussed called the "opinion map". This "opinion map" can be translated easily into a "preference map". Every participant can simply]]></description><link>http://direct.ecency.com/hive-165754/@dana-edwards/game-theory-on-agoras-can-agoras-implement-game-theory-the-answer-is-yes</link><guid isPermaLink="true">http://direct.ecency.com/hive-165754/@dana-edwards/game-theory-on-agoras-can-agoras-implement-game-theory-the-answer-is-yes</guid><category><![CDATA[hive-165754]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Wed, 18 Aug 2021 19:34:00 GMT</pubDate></item><item><title><![CDATA[Hyperdeflationary game theory and Agoras]]></title><description><![CDATA[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 of the shift away from inflationary crypto]]></description><link>http://direct.ecency.com/hive-165754/@dana-edwards/hyperdeflationary-game-theory-and-agoras</link><guid isPermaLink="true">http://direct.ecency.com/hive-165754/@dana-edwards/hyperdeflationary-game-theory-and-agoras</guid><category><![CDATA[hive-165754]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Sat, 07 Aug 2021 13:34:03 GMT</pubDate></item><item><title><![CDATA[The MakerDao, a DeFi Bank, the problems with DAO Governance , and the potential solution Tau Chain an AI: Artificial Intelligence.]]></title><description><![CDATA[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 bank, but a decentralized finance version]]></description><link>http://direct.ecency.com/hive-150329/@shortsegments/the-makerdao-a-defi-bank-the-problems-with-dao-governance-and-the-potential-solution-tau-chain-an-ai-artificial-intelligence</link><guid isPermaLink="true">http://direct.ecency.com/hive-150329/@shortsegments/the-makerdao-a-defi-bank-the-problems-with-dao-governance-and-the-potential-solution-tau-chain-an-ai-artificial-intelligence</guid><category><![CDATA[hive-150329]]></category><dc:creator><![CDATA[shortsegments]]></dc:creator><pubDate>Wed, 07 Jul 2021 06:29:27 GMT</pubDate><enclosure url="https://images.ecency.com/p/4HFqJv9qRjVeVQzX3gvDHytNF793bg88B7fESPieLQ8dxHmwDzVFK7o2smMMtp9eQf1kBizxV71nAEh79aWJRXEFz7GcfSqFaJCdFC54Mp27M52gZjzRepkoU5mqVohPjhSVbgakDqvu88A6K18Cs8MGzoA2wJ1WuXc?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[I am a Tauchain fan now]]></title><description><![CDATA[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 me sure to get started to be a fan is]]></description><link>http://direct.ecency.com/hive-167922/@bahagia-arbi/i-am-a-tauchain-fan-now</link><guid isPermaLink="true">http://direct.ecency.com/hive-167922/@bahagia-arbi/i-am-a-tauchain-fan-now</guid><category><![CDATA[hive-167922]]></category><dc:creator><![CDATA[bahagia-arbi]]></dc:creator><pubDate>Sat, 01 May 2021 17:58:06 GMT</pubDate><enclosure url="https://images.ecency.com/p/YpihifdXP4WNbGMdjw7e3DuhJWBvCw4SfuLZsrnJYHEpsqZFkiGGNCPxLaMvoFAZbn6ZQYk5GEhNt1z1K3QEamt9sxpfpS1AkhjRQYkgr5KvEhresAdAC9kGaEYtTC5PZD8PCRt5e66AmWWwHuQHKpgwtdnvnk4XWnbNg77s1vPQ?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[¿Su criptografía va a resolver los mayores problemas del mundo?]]></title><description><![CDATA[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. Tau es el caso donde X=Y. Para más]]></description><link>http://direct.ecency.com/meme/@vnzlasteemit/su-criptografia-va-a-resolver-los-mayores-problemas-del-mundo</link><guid isPermaLink="true">http://direct.ecency.com/meme/@vnzlasteemit/su-criptografia-va-a-resolver-los-mayores-problemas-del-mundo</guid><category><![CDATA[meme]]></category><dc:creator><![CDATA[vnzlasteemit]]></dc:creator><pubDate>Fri, 02 Apr 2021 08:06:21 GMT</pubDate><enclosure url="https://images.ecency.com/p/NTy4GV6ooFRmaCXZ8UYgPhoud1kjiNX8QokLEZtbBKLuLWQ9yt7K3o4MQHqYjnY8nNvrkMYRzidiUnvv7ESFB4RBXTX4cke31EfKDRcj7d1K8Z6KTePiBzPZGkjPfvdQUg4BK9QKUXcS5EYAeaPQuyxj5R84JquvWb7d3UQN?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Massive Update: Monthly Tauchain Development Update]]></title><description><![CDATA[The update this month had some very important additions including a new blockchain developer, improvements to Agoras Live both UX and wallet integration, improved Tau IDE, and a path to main-net. I will]]></description><link>http://direct.ecency.com/tau/@dana-edwards/massive-update-monthly-tauchain-development-update</link><guid isPermaLink="true">http://direct.ecency.com/tau/@dana-edwards/massive-update-monthly-tauchain-development-update</guid><category><![CDATA[tau]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Thu, 01 Apr 2021 18:20:39 GMT</pubDate><enclosure url="https://images.ecency.com/p/S5Eokt4BcQdk7EHeT1aYjzebg2hC7hkthT45e73GU1dgt8DUM7SBjxW9ZWXKzY1eXc3gp8W?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Is your crypto going to solve the world's biggest problems?]]></title><description><![CDATA[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 case where X=Y. tau.net]]></description><link>http://direct.ecency.com/meme/@kevinwong/is-your-crypto-going-to-solve-the-worlds-biggest-problems</link><guid isPermaLink="true">http://direct.ecency.com/meme/@kevinwong/is-your-crypto-going-to-solve-the-worlds-biggest-problems</guid><category><![CDATA[meme]]></category><dc:creator><![CDATA[kevinwong]]></dc:creator><pubDate>Sun, 28 Mar 2021 02:45:39 GMT</pubDate><enclosure url="https://images.ecency.com/p/NTy4GV6ooFRmaCXZ8UYgPhoud1kjiNX8QokLEZtbBKLuLWQ9yt7K3o4MQHqYjnY8nNvrkMYRzidiUnvv7ESFB4RBXTX4cke31EfKDRcj7d1K8Z6KTePiBzPZGkjPfvdQUg4BK9QKUXcS5EYAeaPQuyxj5R84JquvWb7d3UQN?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Tau/Agoras is now available on Bittrex and Uniswap]]></title><description><![CDATA[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 out the old Omni token in exchange for]]></description><link>http://direct.ecency.com/tauchain/@dana-edwards/tau-agoras-is-now-available-on-bittrex-and-uniswap</link><guid isPermaLink="true">http://direct.ecency.com/tauchain/@dana-edwards/tau-agoras-is-now-available-on-bittrex-and-uniswap</guid><category><![CDATA[tauchain]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Wed, 24 Mar 2021 12:23:21 GMT</pubDate></item><item><title><![CDATA[Tau Update (Optional ERC20-AGRS + Bittrex & Uniswap listing + Supporter Program)]]></title><description><![CDATA[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 token under Bitcoin). You can hold that]]></description><link>http://direct.ecency.com/tau/@kevinwong/tau-update-optional-erc20-agrs--bittrex-and-uniswap-listing--supporter-program</link><guid isPermaLink="true">http://direct.ecency.com/tau/@kevinwong/tau-update-optional-erc20-agrs--bittrex-and-uniswap-listing--supporter-program</guid><category><![CDATA[tau]]></category><dc:creator><![CDATA[kevinwong]]></dc:creator><pubDate>Tue, 16 Mar 2021 16:05:39 GMT</pubDate><enclosure url="https://images.ecency.com/p/MG5aEqKFcQi6ksuzVh6Jg2nEp6wn6URVpJYJ87uTQCYCoxGtAqPMhn8oDdtVhT3GY3nMxGeAjkq9C4ayMYziLh2ggye2Ff5Ya?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Tau Update: First Order Logic Solver and other good news]]></title><description><![CDATA[Update Main points of this update: Improved parsing capability (EBNF support) allows TML to more easily specify context free grammars. First order logic solving. EBNF --> Grammar --> FOL From observing]]></description><link>http://direct.ecency.com/tauchain/@dana-edwards/tau-update-first-order-logic-parser-and-other-good-news</link><guid isPermaLink="true">http://direct.ecency.com/tauchain/@dana-edwards/tau-update-first-order-logic-parser-and-other-good-news</guid><category><![CDATA[tauchain]]></category><dc:creator><![CDATA[dana-edwards]]></dc:creator><pubDate>Tue, 22 Sep 2020 02:56:15 GMT</pubDate><enclosure url="https://images.ecency.com/p/3HaJVw3AYyXB6DfixgRs18hVdqwooFTPVzUC54j2BtdmZcged48VrAFYsqaz2EQKoyJxCuM15Gevg33KwTa54AiBPUKHqLCfMt3Mcs8?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Bitcoin's Biggest Breakthrough]]></title><description><![CDATA[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 technology. The other symbol which]]></description><link>http://direct.ecency.com/tau/@kevinwong/bitcoin-s-biggest-breakthrough</link><guid isPermaLink="true">http://direct.ecency.com/tau/@kevinwong/bitcoin-s-biggest-breakthrough</guid><category><![CDATA[tau]]></category><dc:creator><![CDATA[kevinwong]]></dc:creator><pubDate>Mon, 24 Aug 2020 09:49:00 GMT</pubDate><enclosure url="https://images.ecency.com/p/EfcLDDAkyqgrWe7KyyRHXzeiP1CJfhMppnSKMZVKJNX5Ea9ZKnAK9AYSTkhWXdPhiZE3AeZP28hrq4ookfuGs8DPfFEyL?format=match&amp;mode=fit" length="0" type="false"/></item></channel></rss>