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
Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network - page 4. (Read 309533 times)
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
🔗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
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
🔗 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
January 12, 2022, 11:03:02 AM
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! 🙏
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! 🙏
January 06, 2022, 09:07:01 AM
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
December 17, 2021, 09:43:18 AM
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.
September 30, 2021, 02:59:31 AM
Please provide your questions for the monthly Q&A using this link:
http://bit.ly/TauchainQuestionForm
The recording will happen tomorrow, October 1st.
Thank you! 🙏
http://bit.ly/TauchainQuestionForm
The recording will happen tomorrow, October 1st.
Thank you! 🙏
September 08, 2021, 01:47:04 PM
Tau development update - August 2021
---> To the update (August 2021) <---
Highlights Include:
- TML IDE improvements
- Type system improvements
- Proof extraction implementation finished
- Fixing and testing of the Agoras Live review system
- Second order logic implementation close to be finished
September 08, 2021, 02:22:53 AM
Tauchain Business Update and Q&A - August 2021
---> To the Business Update (August 2021) <---
Highlights Include:
-Revelation of the new Tau logo
-Influencer outreach progressing
-Press outreach progressing
-Exchange listing being finalized
-Community Member of the Month: When_Lambo_When_Moon
September 08, 2021, 02:20:35 AM
but: a big problem is that they want 30 agrs for withdrawel, which is crazy, atm thats more than 15$. i think maybe it's a charge that is leftover from omni/btc. i sent a support ticket and they told me they will consider my request for cheaper withdrawel. no idea if they will change that, though, but 15$ for erc-20 is way to much I feel.
so be advised not to sent a few agrs to be swapped and draw them out afterwards, there will be nothing left
Thanks. We reached out to Whitebit about this matter and they've reduced the fee from 30 to 20 AGRS.
September 06, 2021, 09:54:30 AM
Very surprised about the Bittrex relisting. Congratulations!
Market Cap seems to be about 48M USD if my calculations are correct. Which puts AGRS at about rank 539 on Coinmarketcap.
Will be watching this coin closely.
Also, the OP might need to be updated. Its a bit confusing to read.
Market Cap seems to be about 48M USD if my calculations are correct. Which puts AGRS at about rank 539 on Coinmarketcap.
Will be watching this coin closely.
Also, the OP might need to be updated. Its a bit confusing to read.
Yes, the OP will be updated.
September 06, 2021, 09:54:10 AM
total of 42m or 44m agoras tokens? can you fix your infographics or something added? now I'm confused. 
Fixed. Thanks. The total supply is 42m.
August 23, 2021, 09:29:20 PM
Very surprised about the Bittrex relisting. Congratulations!
Market Cap seems to be about 48M USD if my calculations are correct. Which puts AGRS at about rank 539 on Coinmarketcap.
Will be watching this coin closely.
Also, the OP might need to be updated. Its a bit confusing to read.
Market Cap seems to be about 48M USD if my calculations are correct. Which puts AGRS at about rank 539 on Coinmarketcap.
Will be watching this coin closely.
Also, the OP might need to be updated. Its a bit confusing to read.
August 23, 2021, 11:43:30 AM
total of 42m or 44m agoras tokens? can you fix your infographics or something added? now I'm confused.
August 11, 2021, 04:31:20 AM
📢 Agoras (AGRS) is now listed on ProBit! 📢
We’re happy to announce that you can now trade Agoras (AGRS) on the ProBit exchange. ProBit Global is a Top 20 crypto exchange worldwide servicing crypto enthusiasts with unlimited access to trade and buy Bitcoin, Ethereum and 600+ altcoins in 1000+ markets. Therefore, the addition of ProBit as an exchange is an important step for us to establish an easy-to-use gateway in particular for the Asian community to trade AGRS and thus become an integral part of the Tau community.
Read more:
https://tauchain.medium.com/agoras-agrs-is-now-listed-on-probit-667f4f206fd1
August 04, 2021, 07:52:02 AM
Tauchain Development Update - July 2021
---> To the Development Update (July 2021) <---
Highlights Include:
- Agoras Live demo & completed payment system redesign
- TML Performance improvements
- Syntax highlighting implementation
- Continued work on 2cnf extraction
August 02, 2021, 08:41:07 AM
Tauchain Business update and Q&A - June 2021
---> To the Q&A and Business Update (June 2021) <---
Highlights Include:
- Exchange listings in progress
- PR content plan outline
- Aggregation of marketing channels
- Winner of the Tau Supporter Program
Tauchain Development Update and Q&A - June 2021
---> To the Development Update (June 2021) <---
Highlights Include:
Update and implementation of new features within Agoras Live
- TML: Continued work on Z3 engine integration
- Finished work on static type system with local type inference
- Continued work on integrating the Sudoku demo in TML
Q&A and Business Team Update - July 2021
---> To the Q&A and Business Update (July 2021) <---
Highlights Include:
Highlights include:
- Rebranding (in particular logo design) nears completion
- Evaluation of options to improve tokenomics
- Exchange listing(s) imminent
- Pitch refinements
- AGRS smart contract audit on the way
- PR process implementation started
- Outreach to related media outlets and reporters
- Community Member of the Month: Ethan Chen
Tauchain Monthly Video Update - April 2021
---> To the Monthly Video Update (April 2021) <---
Highlights Include:
- Payment implementation over Binance Smart Chain for Agoras Live
- Agoras Live is now in testing stage
- Work on Tau mainnet implementation began
Tauchain Development Update - May 2021
---> To the Development Update (May 2021) <---
Highlights Include:
- Agoras Live nears completion (Live Demo: https://youtu.be/CecjQEBWz7c?t=824)
- Progress on finding a language that is able to reason about consistency of sentences in the same language in a self-referential way
- Performance improvements for BDD implementation related to its hashing algorithm
- Further TML Optimizations
Q&A and Business Team Update - May 2021
---> To the Q&A and Business Update (May 2021) <---
Highlights Include:
- Tau Pitchdeck completed. Handing it to designers
- Use cases development & finalization of branding brief
- Working on getting a T1 exchange listing
- Working on onboarding an Asian marketing partner
Buying a nice bag for $500 soon . Agoras is such a favorite of mine. Will do so well
Tauchain Monthly Video Update - March 2021
---> To the Monthly Video Update (March 2021) <---
Highlights Include:
- Team addition: Prof. Benzmüller
- Team addition: Prof. Saul
Jump to: