<?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 22:18:17 GMT</lastBuildDate><atom:link href="http://direct.ecency.com/created/taunet/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[My Impressions of Tau Net's Progress]]></title><description><![CDATA[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 clear that Tau Net isn't just guessing]]></description><link>http://direct.ecency.com/blockchain/@killuminatic/my-impressions-of-tau-net</link><guid isPermaLink="true">http://direct.ecency.com/blockchain/@killuminatic/my-impressions-of-tau-net</guid><category><![CDATA[blockchain]]></category><dc:creator><![CDATA[killuminatic]]></dc:creator><pubDate>Mon, 01 Jan 2024 14:21:33 GMT</pubDate><enclosure url="https://images.ecency.com/p/S5Eokt4BcQdk7EHeT1aYjzebg2hC7hkthT45eAgfmimpBWu9YEayd1io597Y2cvJ4SkpXUi?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Got my Tau Net Gear]]></title><description><![CDATA[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 Language skills, win exclusive merch!]]></description><link>http://direct.ecency.com/taunet/@killuminatic/got-my-tau-net-gear-aab37861fa0f1</link><guid isPermaLink="true">http://direct.ecency.com/taunet/@killuminatic/got-my-tau-net-gear-aab37861fa0f1</guid><category><![CDATA[taunet]]></category><dc:creator><![CDATA[killuminatic]]></dc:creator><pubDate>Fri, 22 Dec 2023 03:36:30 GMT</pubDate><enclosure url="https://images.ecency.com/p/2FFvzA2zeqoVPgRCnRzbu6rj6tCWHWVCA9ZaKB4Zq6shwXCBGjhRacfb9G2CVLJwHjEqSqafQka7nbRJGdueT7XNm21YvC3FPvdebq37rjN3Z7AxcNRaQ4mE4emot?format=match&amp;mode=fit" length="0" type="false"/></item><item><title><![CDATA[Got my Tau Net Gear]]></title><description><![CDATA[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 Language skills, win exclusive merch!]]></description><link>http://direct.ecency.com/taunet/@killuminatic/got-my-tau-net-gear</link><guid isPermaLink="true">http://direct.ecency.com/taunet/@killuminatic/got-my-tau-net-gear</guid><category><![CDATA[taunet]]></category><dc:creator><![CDATA[killuminatic]]></dc:creator><pubDate>Fri, 22 Dec 2023 02:32:21 GMT</pubDate><enclosure url="https://images.ecency.com/p/2FFvzA2zeqoVPgRCnRzbu6rj6tCWHWVCA9ZaKB4Zq6shwXCBGjhRacfb9G2CVLJwHjEqSqafQka7nbRJGdueT7XNm21YvC3FPvdebq37rjN3Z7AxcNRaQ4mE4emot?format=match&amp;mode=fit" length="0" type="false"/></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[DigitSoul - Logic Roots 🎶 (Tau Net Cypher) ]]></title><description><![CDATA[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 that is wired for complex algorithms.]]></description><link>http://direct.ecency.com/blockchain/@killuminatic/digitsoul-logic-roots-tau-net-cypher</link><guid isPermaLink="true">http://direct.ecency.com/blockchain/@killuminatic/digitsoul-logic-roots-tau-net-cypher</guid><category><![CDATA[blockchain]]></category><dc:creator><![CDATA[killuminatic]]></dc:creator><pubDate>Thu, 07 Dec 2023 15:30:15 GMT</pubDate></item><item><title><![CDATA[DigitSol - Logic Roots]]></title><description><![CDATA[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, blockchain technology and artificial]]></description><link>http://direct.ecency.com/hive-141487/@killuminatic/jsnhshzj</link><guid isPermaLink="true">http://direct.ecency.com/hive-141487/@killuminatic/jsnhshzj</guid><category><![CDATA[hive-141487]]></category><dc:creator><![CDATA[killuminatic]]></dc:creator><pubDate>Thu, 07 Dec 2023 15:21:03 GMT</pubDate><enclosure url="https://images.ecency.com/p/99pyU5Ga1kwr5bsMXthzYLbcngN4W2P8NtU9TWTdHC3HaQbjuuRfKKVdjVfWuCZBnnyTc1Y1emLY4je1HKKf1U7NRSnZU4Wp5ZSr2DbGVQYcnpHpR2j33aZpEASuyXpS9c?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></channel></rss>