Bitcoin Forum
May 29, 2024, 01:49:01 AM *
News: Latest Bitcoin Core release: 27.0 [Torrent]
 
   Home   Help Search Login Register More  
Pages: « 1 ... 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 [167] 168 169 170 »
  Print  
Author Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network  (Read 309557 times)
m4nki
Hero Member
*****
Offline Offline

Activity: 1039
Merit: 510



View Profile
December 17, 2021, 01:43:18 PM
 #3321



Tau business update & Q&A for September (Episode 33)


---> To the update <---

Highlights Include:
- Coinmarketcap updated our rank: https://coinmarketcap.com/currencies/agoras-tokens/
 (https://coinmarketcap.com/currencies/agoras-tokens/)
- Tau article finalization
- Website redesign in progress
- Influencer outreach progressing
- Press outreach progressing
- Pitchdeck & Agoras logo redesign
- Blockchain developer hiring in progress
- Community Member of the Month: Igor



Tau development update for September (Episode 34)


---> To the update <---

Highlights Include:
- Team member introduction: Dr. Cramer (https://iccl.inf.tu-dresden.de/web/Marcos_Cramer/en)
- Final testing of Agoras Live before release
- Benchmarking of TML 1.0 features before release
- Proof extraction optimization and testing
- Implementation of variable shifters in TML




Tau business update & Q&A for October (Episode 35)


---> To the update <---

Highlights Include:
- Finalization of Tau article
- New Agoras logo underway
- Lookout for scientific writer
- Hired: Talent acquisition manager
- Content development for new website
- Community member of the month: Fran de la Torre



Tau development update for October (Episode 36)


---> To the update <---

Lead by Karim's overview of the month, the development team gives an update on the status of the development in progress.
Among other things, we've been preparing for the Agoras Live release and managed to further improve TML in various ways.





Tau business update & Q&A for November (Episode 37)


---> To the update <---

Highlights Include:
- New Agoras logo revelation
- Branding & website content development
- Scientific writer outreach
- Interview recording between Ohad, Prof. Franconi & a YouTuber
- Hiring in progress: Blockchain developer, cryptographer, TML developer
- Community member of the month: Fran de la Torre



 Tau development update for November (Episode 38)


---> To the update <---

Highlights Include:
TML IDE update (https://tml.idni.org/)
- Agoras Live backend refactoring
- Fixed arithmetic built-ins
- Continued work on persistence (saving and reading back BDDs to disk)
- Implementation of a persistent canonical union find data structure for 2cnf universe
- Initiation of work on Earley parser for TML



 Video Interview on Tau: The most powerful blockchain built with Logical AI (Episode 38)


---> To the Interview <---

We're happy to share with you the interview between Ohad, Prof. Franconi and the host Smitha Kolan about Tau, Agoras & Logical AI.


Let's return some love to Smitha and her audience by liking the video and leaving a positive comment.



Podcast: Ohad Asor and Prof. Franconi Explain Logical AI and How to Trade Knowledge


---> To the Podcast <---

Ohad Asor and Prof. Enrico Franconi recently joined the Bitcoin.com News Podcast to explain the advanced technology behind Tau.






m4nki
Hero Member
*****
Offline Offline

Activity: 1039
Merit: 510



View Profile
January 06, 2022, 01:07:01 PM
 #3322



Tau business update and Q&A for December (Episode 39)


---> To the update <---

Highlights Include:
Interview release: https://youtu.be/DfnaQ2y2rxY
- Bitcoin.com podcast on Tau: https://news.bitcoin.com/tau-chain-founder-ohad-asor-and-prof-franconi-explain-logical-ai-and-how-to-trade-knowledge/
- Completed Cointelegraph article (to be posted in January)
- Content development for new website
- Further lookout for scientific writers
- Onboarding of Smitha (YouTuber) in progress
- Structural & marketing planning for 2022
- Community members of the month: SysD & Anon



Tau development update for December (Episode 40)


---> To the update <---

Highlights Include:
- Agoras Live web application fully developed, ready for testing.
- TML 1.0 ready for release & testing (https://tml.idni.org/)
- Continued work on Earley parser
- Continued work on enhancing Tau's logical framework to be able to specify programs

m4nki
Hero Member
*****
Offline Offline

Activity: 1039
Merit: 510



View Profile
January 12, 2022, 03:03:02 PM
 #3323

The transcripts for the December Update videos are live now:

Tau ($AGRS) Business Update and Q&A | December 2021 (Ep. 39):
https://tauchain.medium.com/tau-agrs-business-update-and-q-a-december-2021-ep-39-7bb83fbcb827

Tau ($AGRS) Development Update | December 2021 (Ep. 40):

https://tauchain.medium.com/tau-agrs-development-update-december-2021-ep-40-29c682f0709d


Provide your questions for the next monthly update:
http://bit.ly/TauchainQuestionForm

Thank you! 🙏

KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
April 13, 2022, 03:39:59 PM
 #3324

TML shortest code ever ⚡️🌏🛰💯
🔗 https://www.youtube.com/watch?v=GfBQoAD2v3w

🧐Quora discussion
🔗 https://rb.gy/kusyif
💎Floyd Warshal's Algorithm is an example of dynamic programming and was published in its currently recognized form by Robert Floyd in 1962. It comprises 3 nested for loops used to find all pair shortest path problems, used to construct transitive closures.
💎Amazingly, TML (Tau Meta Language) can also do the same with only 2 lines of code.
tc(?x ?y):-e(?x ?y).
tc(?x ?y):-tc(?x ?z), e(?z ?y).
🧀Test it.
🔗 tml.idni.org
regression tests/intro/09_TRANSITIVE_CLOSURE.tml
😼Published codes
🔗 github.com/IDNI/TML
🌐Website of tml
🔗 tau.net/
📄Abstract: Draft for Community Review
🔗https://[Suspicious link removed]/gWJZj9sN
👨‍🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
April 13, 2022, 03:41:43 PM
 #3325

01 Introduction Learn TML ⚡️🌏🛰💯
🔗https://www.youtube.com/watch?v=e-jiHP6h8kk

💡Key Pointers:💻Logic programs comprise logic clauses.
❌ TML has no logic clause.
✔️ In TML, clauses can be FACTS or RULES and
✔️ In TML, clauses are ended by a period '.' like sentences in English.

🧀Test it.🔗 tml.idni.org

😼Published codes🔗 github.com/IDNI/TML

🌐Website of tml🔗 tau.net/

📄Abstract: Draft for Community Review🔗https://[Suspicious link removed]/gWJZj9sN

👨‍🏫Tutorial Videos of TML🔗https://rb.gy/9ahenx
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
April 13, 2022, 03:43:13 PM
 #3326

02 FACTS Learn TML Part 1 ⚡️🌏🛰💯
🔗 https://www.youtube.com/watch?v=8JStexOWilg

💡Key Pointers:  
✔️ Facts define RELATIONS between entities.
✔️ Fact clauses are considered to be true.
💯We learned about
🚀1. Entities
🚀2. Relations
🚀3. Facts
🚀4. Tautologies
🚀5. Contradictions
🤔 For the next video, we will learn how to input Facts to TML.
🧀Test it.🔗 tml.idni.org
📄Abstract: Draft for Community Review🔗https://[Suspicious link removed]/gWJZj9sN
😼Published codes🔗 github.com/IDNI/TML
🌐Website of tml🔗 tau.net/
👨‍🏫Tutorial Videos of TML🔗https://rb.gy/9ahenx
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
April 13, 2022, 03:48:53 PM
 #3327

02 FACTS Learn TML Part 2 ⚡🌏🛰️💯
🔗https://www.youtube.com/watch?v=1gKULSSRD0M

💡Key Pointers:   
✔️ We need to input more facts for TML to understand the difference between hydrogen and cheese, and other more complicated relationships.
❌ TML is not a language to represent an opinion.
✔️TML is a language for translators, we call Human-Machine-Human seamless communication.

💯We learned some keywords
🚀1. Arity
🚀2. Relation Symbol
🚀3. Syntax
🚀4. Translators
🚀5. Different graphs

🤔 For the next video, we will learn how to think about relations.
1. Relation as table
2. Facts as rows
3. Entities as columns

🧀Test it.
🔗 tml.idni.org
📄Abstract: Draft for Community Review
🔗https://[Suspicious link removed]/gWJZj9sN
😼Published codes
🔗 github.com/IDNI/TML
🌐Website of tml
🔗 tau.net/
👨‍🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx
✈️Telegram community
🔗t.me/tauchain
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
May 09, 2022, 08:37:19 AM
 #3328

🔥VISUALIZED: TML Negation, Deletion, and Decidability in 6 lines of codes  🛰️
https://www.youtube.com/watch?v=wrODIpFY5-w

💡Key Pointers:
✔️ Negation
✔️ Deletion
✔️ Decidability

🤖Artificial Intelligence must be decentralized, power to the people.

💯Many thanks to
💎Ohad & the team for making this technology possible.
💎Tomas who created this wonderful TML Playground.
📷Photo by Skitterphoto from Pexels

👨‍🏫Subscribe to more of my tml tutorial videos at
🔗https://www.youtube.com/channel/UCHmYERrMpeCc6mp9zK8UiTw

🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀

🧀Test it.
🔗 tml.idni.org
📄Tau-chain & Agoras Whitepaper: Draft for Community Review
🔗https://rb.gy/6ga4rt
😼Published codes
🔗 github.com/IDNI/TML
🌐Website of tml
🔗 tau.net/
✈️Telegram community
🔗t.me/tauchain
Reddit community
🔗r/tauchain

🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀🚀


💎Download the tml codes.
🔗https://rb.gy/oh3zpj
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
May 09, 2022, 08:39:06 AM
 #3329

⚡️Visualized: Perform Transitive Closure in 2 lines of Code
https://studio.youtube.com/video/a8bQeRKEHYg/edit

shortest code ever ⚡️🌏🛰💯
🔗 https://rb.gy/6l9vlq

🧐Quora discussion
🔗 https://rb.gy/kusyif

💎Floyd Warshal's Algorithm is an example of dynamic programming and was published in its currently recognized form by Robert Floyd in 1962. It comprises 3 nested for loops used to find all pair shortest path problems, used to construct transitive closures.
💎Amazingly, TML (Tau Meta Language) can also do the same with only 2 lines of code.

tc(?x ?y):-e(?x ?y).
tc(?x ?y):-tc(?x ?z), e(?z ?y).

🧀Test it.
🔗 tml.idni.org
regression tests/intro/09_TRANSITIVE_CLOSURE.tml

😼Published codes
🔗 github.com/IDNI/TML
🌐Website of tml
🔗 tau.net/
📄Abstract: Draft for Community Review
🔗https://[Suspicious link removed]/gWJZj9sN
👨‍🏫Tutorial Videos of TML
🔗https://rb.gy/9ahenx

Many thanks to
📷Photo by Nothing Ahead from Pexels

#communication #translators #language #tml #tau #tauchain #coding #technology #blockchain #governmenttechnology #democracy #prolog #datalog #agoras #knowledgeeconomy #knowledgesharing #knowledgeispower
m4nki
Hero Member
*****
Offline Offline

Activity: 1039
Merit: 510



View Profile
October 24, 2022, 11:23:53 AM
 #3330

Tune in at 4pm CET today for the premiere of an exciting interview between Ohad, Prof. Franconi & David Shapiro discussing Tau, its theoretical foundations and its implications for our decentralized future:

https://youtu.be/H5t9LwkuFXM

KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 08, 2022, 11:46:26 AM
 #3331

Tau's Tokenomics

My next series of YTshorts is a playlist titled Tau's Tokenomics. It will start later. 🚀 Stay tuned.

Subscribe to get the latest videos.  Smiley

https://www.youtube.com/channel/UCHmYERrMpeCc6mp9zK8UiTw
 
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 08, 2022, 12:05:57 PM
Last edit: December 10, 2022, 08:03:36 AM by KeyMaster
 #3332

T1 - Debates 🚀
Will Agoras Live be implementing any gamification elements to take advantage of tokenomics?

🎥 https://www.youtube.com/watch?v=9Ahg0c6bAbQ&list=PLeBSjZu0y6vWIiueYhvNXPsuRWKvTd6v6 👈

#Tokenomics #Tauchain #debates #gamification tau.net
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 10, 2022, 08:02:45 AM
 #3333

T2 - Festinger's Cognitive Dissonance 🚀
People have a deep psychological need to remain consistent and get into psychological stress when they see contradictions.

🎥 https://www.youtube.com/watch?v=Sd8VGJA_8aw&list=PLeBSjZu0y6vWIiueYhvNXPsuRWKvTd6v6&index=2 👈
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 10, 2022, 08:03:54 AM
 #3334

T3 - Verified by Logic 🚀
Q: Will the Agoras team consider consulting with an economics professor to improve the tokenomics?  If you are entering into a bear market, I’m concern the team might ran out of resources and Agoras isn’t an attractive long-term store of value.

🎥 https://www.youtube.com/watch?v=j4dCepuOSWw&list=PLeBSjZu0y6vWIiueYhvNXPsuRWKvTd6v6&index=3 👈
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 10, 2022, 04:13:54 PM
 #3335

Food for Thought #1:

What if Tau mainnet was launch during the time Albert Einstein was still alive and he did upload his opinions into the Tau Client. So even today, we can still get the full picture of his opinions about how he view the world since his thoughts was uploaded into the blockchain. We could also easily accept his views since there are no contradictions. More than that, it's not only Albert Einstein's viewpoint that we can see but all other great people with great insights who were never famous yet gave great contributions to the field of science and all other fields. 

» Tauist Andrew

Good day to all! Stay safe. 🚀
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 11, 2022, 06:36:32 AM
 #3336

T4 – User Preference 🚀
Q: How are block producers incentivized without a native cryptocurrency on Tauchain?

🎥  https://www.youtube.com/watch?v=vWNDmXxBUaQ&list=PLeBSjZu0y6vWIiueYhvNXPsuRWKvTd6v6&index=4 👈

#Tauchain #agoras #cryptocurrency #incentives #miners #blockchain #tokenomics tau.net

KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 12, 2022, 02:22:15 AM
 #3337

T5 – Medium of Exchange 🚀
How will AGRS token be an integral part of Tauchain for which fiat or any other token couldn’t suffice in form of payment or working for Tau/TML?

🎥  https://www.youtube.com/watch?v=Gs66K2hQvnQ&list=PLeBSjZu0y6vWIiueYhvNXPsuRWKvTd6v6&index=5 👈

#Tauchain #agoras #tokenomics #payment #token #AGRS tau.net
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 13, 2022, 05:51:33 AM
 #3338

Tokenomics YTShorts 6 – By-product of Discussions 🚀
We have a social human mechanism for a technological creature to evolve. What do you mean by social human mechanism?

🎥  https://www.youtube.com/watch?v=_Bu2v84I2xo&list=PLeBSjZu0y6vWIiueYhvNXPsuRWKvTd6v6&index=6 👈

#Tauchain #AGRS #byproduct #tokenomics #discussions #social tau.net
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 14, 2022, 06:05:26 AM
 #3339

Paying for Computation on the BDD Network: The Future of TML 🚀

🎥  https://www.youtube.com/watch?v=cNlvQIptrQo&list=PLeBSjZu0y6vWIiueYhvNXPsuRWKvTd6v6&index=7 👈

#SmartContracts #TML #BDDOperations #ComputationCaching #PaymentForComputations #NetworkNodes #CertificationOfComputations #CheatingPrevention
KeyMaster
Newbie
*
Offline Offline

Activity: 89
Merit: 0


View Profile
December 15, 2022, 04:26:18 AM
 #3340

T8 – Spreading the Word about Tau: Reaching the Optimal Time for Marketing  🚀
How will Ohad allocate his time after TML and the discussion platform are launched?
🎥  https://www.youtube.com/watch?v=n1cdq6WPvIg&list=PLeBSjZu0y6vWIiueYhvNXPsuRWKvTd6v6&index=8 👈
#Tauchain #Agoras #byproducts #popularity tau.net
Pages: « 1 ... 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 [167] 168 169 170 »
  Print  
 
Jump to:  

Powered by MySQL Powered by PHP Powered by SMF 1.1.19 | SMF © 2006-2009, Simple Machines Valid XHTML 1.0! Valid CSS!