m4nki
|
|
December 17, 2021, 01:43:18 PM |
|
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
|
|
January 06, 2022, 01:07:01 PM |
|
|
|
|
|
m4nki
|
|
January 12, 2022, 03:03:02 PM |
|
|
|
|
|
KeyMaster
Newbie
Offline
Activity: 89
Merit: 0
|
|
April 13, 2022, 03:39:59 PM |
|
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
Activity: 89
Merit: 0
|
|
April 13, 2022, 03:41:43 PM |
|
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
Activity: 89
Merit: 0
|
|
April 13, 2022, 03:43:13 PM |
|
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
Activity: 89
Merit: 0
|
|
April 13, 2022, 03:48:53 PM |
|
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
Activity: 89
Merit: 0
|
|
May 09, 2022, 08:37:19 AM |
|
🔥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
Activity: 89
Merit: 0
|
|
May 09, 2022, 08:39:06 AM |
|
⚡️Visualized: Perform Transitive Closure in 2 lines of Code https://studio.youtube.com/video/a8bQeRKEHYg/editshortest 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/9ahenxMany 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
|
|
October 24, 2022, 11:23:53 AM |
|
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
Activity: 89
Merit: 0
|
|
December 10, 2022, 04:13:54 PM |
|
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. 🚀
|
|
|
|
|
|
|
|
|
|