LEARNTAU
LEARNTAU
  • 448
  • 35 906
What is the plan for implementing certifying entities, and how can the community help?
Q: Do you have a strategic plan on how to accurately implement the Tau provisional patent where certifying entities are needed to certify user credentials? How can the community help?
Thank you for the question: Sir Andrew
#TauLanguage #CertifyingEntities #Decentralization #CommunitySupport #CredentialVerification
Tau Official Website: tau.net/
Tau Official Telegram: t.me/tauchain
Tau Official Discord: discord.gg/fuTA5ymZ
Tau Official Development Updates: github.com/IDNI/TML
TML Playground: tml.tau.net/
Twitter: AndrewOnizuka
Facebook: profile.php?id=100073737020446
Instagram: andrewonizuka
Reddit: www.reddit.com/user/Andrew_Onizuka
มุมมอง: 9

วีดีโอ

What are Tau Language’s compilation needs and its support for advanced logical frameworks?
มุมมอง 2014 ชั่วโมงที่ผ่านมา
Q: What are Tau Language’s compilation needs and its support for advanced logical frameworks? Thank you for the question: Logic Seeker #TauLanguage #CPlusPlus #LogicalFrameworks #LanguageExtension #CompilerTools Tau Official Website: tau.net/ Tau Official Telegram: t.me/tauchain Tau Official Discord: discord.gg/fuTA5ymZ Tau Official Development Updates: github.com/IDNI/TML TML Playground: tml.t...
Q: How does Tau ensure correct-by-construction software?
มุมมอง 1219 ชั่วโมงที่ผ่านมา
Q: How does Tau Language ensure “correct-by-construction” software? Thank you for the question: Logic Seeker #TauLanguage #CorrectByConstruction #SoftwareEngineering #AutomatedProgramming #LogicalAI Tau Official Website: tau.net/ Tau Official Telegram: t.me/tauchain Tau Official Discord: discord.gg/fuTA5ymZ Tau Official Development Updates: github.com/IDNI/TML TML Playground: tml.tau.net/ Twitt...
Q: Are there significant bugs in Tau Language?
มุมมอง 54วันที่ผ่านมา
Q: Hi team! Are there any significant bugs in Tau Language? Also, will Tau team offer demos that surpass the capabilities of current LLM based software by the end of the year? Thank you for the question: Matthaus #TauLanguage #LogicalAI #BugFixing #LLMComparison #DynamicSoftware Tau Official Website: tau.net/ Tau Official Telegram: t.me/tauchain Tau Official Discord: discord.gg/fuTA5ymZ Tau Off...
Shapes Demo: From Logical Specifications to Executable Software
มุมมอง 126วันที่ผ่านมา
Timestamp 0:00:14 Why Tau Logical AI is different from other AI? 0:02:10 Definition of Tau Logical Specifications 0:04:33 Tau Language RELP Executing the Generated Software 0:12:19 Challenges of Writing Logical Specifications 0:15:29 Detailed Explanations of the 5 Logical Specifications Description: In this tutorial, we showcase the power of Tau Language to create executable software directly f...
Q: What are global operators in Tau Language?
มุมมอง 1514 วันที่ผ่านมา
Q: What are Global operators on Tau language? Thank you for the question: Sir Andrew #TauLanguage #TemporalLogic #GlobalOperators #Quantifiers #LogicalAI Tau Official Website: tau.net/ Tau Official Telegram: t.me/tauchain Tau Official Discord: discord.gg/fuTA5ymZ Tau Official Development Updates: github.com/IDNI/TML TML Playground: tml.tau.net/ Twitter: AndrewOnizuka Facebook: faceb...
What does the greater than and less than symbols mean in Tau Language?
มุมมอง 2914 วันที่ผ่านมา
Q: What does the less than and greater than symbols mean for Tau language? Thank you for the question: Sir Andrew #TauLanguage #BooleanAlgebra #MathematicalLogic #StoneRepresentationTheorem #LogicAI Tau Official Website: tau.net/ Tau Official Telegram: t.me/tauchain Tau Official Discord: discord.gg/fuTA5ymZ Tau Official Development Updates: github.com/IDNI/TML TML Playground: tml.tau.net/ Twitt...
Good/Bad splitters and Strong Normalization
มุมมอง 1314 วันที่ผ่านมา
Q: For the layman, good splitters are for refining and bad splitters are for expanding and strong normalization ensures the resulting logical formulas are sound. Would you agree? Thank you for the question: Sir Andrew #TauLanguage #LogicalAI #StrongNormalization #FormulaSplitting #MechanizedReasoning Tau Official Website: tau.net/ Tau Official Telegram: t.me/tauchain Tau Official Discord: disco...
Can Tau Language specify decentralized business models or Game Theory?
มุมมอง 1421 วันที่ผ่านมา
Q: Can Tau Language be extended to support specification of decentralized business models or Game Theory from discussion requirements? Thank you for the question: Dana E #TauLanguage #DecentralizedBusinessModels #GameTheory #SoftwareSpecification #LogicalAI Tau Official Website: tau.net/ Tau Official Telegram: t.me/tauchain Tau Official Discord: discord.gg/fuTA5ymZ Tau Official Development Upda...
Zero Coding with Tau: Specifying Correct Software with Logical AI #noneedcode
มุมมอง 19821 วันที่ผ่านมา
This video demonstrates how to use the Tau Language REPL to create correct-by-construction software through AI program synthesis. The video will showcase the Tau language's ability to automatically generate a program that meets given specifications. o1[t]=0 states that the output o1 at all time points (t) has to be 0. The video will highlight: ● The simplicity of specifying software behavior in...
1.4 Logical Connectives Complementation and Exclusive OR and its possible real life applications
มุมมอง 3328 วันที่ผ่านมา
Timestamp 0:00:09 Opening the demo for Tau Language Syntax 0:04:34 Practice: Logical Connective (Complementation: ' ) 0:14:28 Practice: Logical Connective (Exclusive OR: ) 0:17:05 Real World Possible Application: Two Layer Safety Mechanism The Real World Possible Application is only a means to explain the concept and give you a glimpse of what is the possibility of logical formulas used in our ...
The Barber Paradox : Tau Language Demo
มุมมอง 197หลายเดือนก่อน
Timestamp: 0:00:01 Introduction 0:01:47 Definition of Syntax 0:03:00 Definition of formulas 0:06:15 How to download and run 0:09:05 Start to run and analyze 0:11:11 Practice analysis: AND and OR logical connectors 0:25:35 Boolean Functions and Tau Formula 0:36:07 Q1: Can such a barber exists? 0:38:00 Q2: Is it impossible for this barber to exist? 0:40:26 Conclusion This video is for educational...
1.3 Logical Connectives AND and OR and its possible real life applications
มุมมอง 51หลายเดือนก่อน
This video is for educational purposes only. To learn more, visit Tau Forum tau.forum/index.php?board=14.0 To get the latest update, go to our Telegram group channel. The link is below. Tau Official Website: tau.net/ Tau Official Telegram: t.me/tauchain Tau Official Discord: discord.gg/fuTA5ymZ Tau Official Development Updates: github.com/IDNI/TML TML Playground: tml.tau.net/ Twitter: twitter.c...
Basic Tutorial Series - Tau Lang REPL : Basic Logical Connectives AND, OR, and NOT
มุมมอง 73หลายเดือนก่อน
This video is for educational purposes only. To learn more, visit Tau Forum tau.forum/index.php?board=14.0 To get the latest update, go to our Telegram group channel. The link is below. Tau Official Website: tau.net/ Tau Official Telegram: t.me/tauchain Tau Official Discord: discord.gg/fuTA5ymZ Tau Official Development Updates: github.com/IDNI/TML TML Playground: tml.tau.net/ Twitter: twitter.c...
Basic Tutorial Series - Tau Lang REPL : How to Navigate Formulas using History Functions
มุมมอง 76หลายเดือนก่อน
This video is for educational purposes only. Install Tau REPL Linux Windows OS th-cam.com/video/7r0KH75kj28/w-d-xo.html To see the demo_1.1-basic_syntax_and_history github.com/IDNI/tau-lang/blob/main/demos/demo_1.1-basic_syntax_and_history.tau To learn more, visit Tau Forum tau.forum/index.php?board=14.0 To get the latest update, go to our Telegram group channel. The link is below. Tau Official...
Community Engagement and Development in TauNet 🚀
มุมมอง 16หลายเดือนก่อน
Community Engagement and Development in TauNet 🚀
Optimality in Tau Specifications vs. Machine Learning 🚀
มุมมอง 12หลายเดือนก่อน
Optimality in Tau Specifications vs. Machine Learning 🚀
Generating Network Specifications with Tau Language 🚀
มุมมอง 15หลายเดือนก่อน
Generating Network Specifications with Tau Language 🚀
Bridging Natural Language and Tau with LLMs 🚀
มุมมอง 18หลายเดือนก่อน
Bridging Natural Language and Tau with LLMs 🚀
Integrating Neural Network Training with Tau: A Trade-off Between Expressiveness and Reasoning 🚀
มุมมอง 31หลายเดือนก่อน
Integrating Neural Network Training with Tau: A Trade-off Between Expressiveness and Reasoning 🚀
Install Tau REPL Linux Windows OS 🚀
มุมมอง 65หลายเดือนก่อน
Install Tau REPL Linux Windows OS 🚀
Decentralized Oracle and Bridge on TauNet Testnet: Theoretical Possibility, Practical Uncertainty 🚀
มุมมอง 23หลายเดือนก่อน
Decentralized Oracle and Bridge on TauNet Testnet: Theoretical Possibility, Practical Uncertainty 🚀
Initial Participation in Tau Testnet: No Minimum Agoras Required 🚀
มุมมอง 15หลายเดือนก่อน
Initial Participation in Tau Testnet: No Minimum Agoras Required 🚀
Tau's Impact on Cybersecurity: Correct-by-Design Software for Enhanced Security 🚀
มุมมอง 27หลายเดือนก่อน
Tau's Impact on Cybersecurity: Correct-by-Design Software for Enhanced Security 🚀
Logic's Reach and the Unknown 🚀
มุมมอง 14หลายเดือนก่อน
Logic's Reach and the Unknown 🚀
Tau's Performance: Empirical Evaluation and Optimization 🚀
มุมมอง 132 หลายเดือนก่อน
Tau's Performance: Empirical Evaluation and Optimization 🚀
Optimizing Tau with the Tau Solver: Challenges and Possibilities 🚀
มุมมอง 172 หลายเดือนก่อน
Optimizing Tau with the Tau Solver: Challenges and Possibilities 🚀
Vision for UI Specification in Tau Language 🚀
มุมมอง 152 หลายเดือนก่อน
Vision for UI Specification in Tau Language 🚀
Q: Could a custom Tau LLM improve accessibility for users unfamiliar with formal logic?
มุมมอง 192 หลายเดือนก่อน
Q: Could a custom Tau LLM improve accessibility for users unfamiliar with formal logic?
How can advancements in LLMs like ChatGPT accelerate Agoras development?
มุมมอง 192 หลายเดือนก่อน
How can advancements in LLMs like ChatGPT accelerate Agoras development?

ความคิดเห็น

  • @AK-bl6ro
    @AK-bl6ro 12 วันที่ผ่านมา

    Nice

    • @LEARNTAU
      @LEARNTAU 12 วันที่ผ่านมา

      @@AK-bl6ro thanks! More to come :-)

  • @tetraktys6540
    @tetraktys6540 25 วันที่ผ่านมา

    Thanks, I'm interested in learning more about this practically. But what is the AI aspect here? I don't see where or why.

    • @LEARNTAU
      @LEARNTAU 25 วันที่ผ่านมา

      Hi, thanks! I will go deeper and explain in more details in the next videos to come.

    • @tetraktys6540
      @tetraktys6540 25 วันที่ผ่านมา

      @@LEARNTAU Sweet. I'm hopeful for this in general.

  • @PopPrints-w1k
    @PopPrints-w1k หลายเดือนก่อน

    Logical AI all da wayy

  • @ZakBRV
    @ZakBRV หลายเดือนก่อน

    Impresive!

    • @LEARNTAU
      @LEARNTAU หลายเดือนก่อน

      thanks!

  • @MrMentalpuppy
    @MrMentalpuppy หลายเดือนก่อน

    Great video! Very well explained 👏

    • @MrMentalpuppy
      @MrMentalpuppy หลายเดือนก่อน

      The example towards the end really helps

  • @danielibarra8103
    @danielibarra8103 หลายเดือนก่อน

    The text on the website used to many buzz words, “innovative” , blah blah . This technology is hard to understand and these vague terms make it harder. You guys need to explain this new technology as simple as possible. So simple an 8th grader can understand what’s going on. As someone who bought AGRS and been reading for a bit. I still don’t totally understand what’s the technology behind it. TAU made a logical programming language that allows you to create something that can write its own code? You guys need to take out the buzz words. And just explain it as simply as possible. And need to explain how each piece of technology works with the next one and what the main vision is. Creating something that codes itself?

  • @tomdexter5029
    @tomdexter5029 4 หลายเดือนก่อน

    5 months and just 26 views and no comments or likes until now? Of course, if you talk crap like "Tau is the best because I think Tau is the best", why would anyone be interested? Circular reference is a clear failure of logic.

    • @LEARNTAU
      @LEARNTAU 4 หลายเดือนก่อน

      Tau Language is soon to be released.

    • @danielibarra8103
      @danielibarra8103 3 หลายเดือนก่อน

      once it is released the power will be realized

  • @karupatti_cafe
    @karupatti_cafe 6 หลายเดือนก่อน

    $AGRS #tau 🚀🚀🚀

  • @theblahofblah1681
    @theblahofblah1681 6 หลายเดือนก่อน

    What are these new industries?

    • @LEARNTAU
      @LEARNTAU 6 หลายเดือนก่อน

      I believe it would start in the software industry. Check this out th-cam.com/video/CCDWDRvmjSc/w-d-xo.html

  • @TheRealDonPapaya
    @TheRealDonPapaya 9 หลายเดือนก่อน

    Right! We already “trust” our hierarchies but that’s exactly the problem

  • @TheRealDonPapaya
    @TheRealDonPapaya 9 หลายเดือนก่อน

    I get it!!

  • @joshmcmichael9659
    @joshmcmichael9659 9 หลายเดือนก่อน

    May contexts in which contradictory opinions are allowed be determined by the principle: “Contradictory opinions which are purely subjective may be simultaneously valid, however objective facts (e=mc^2), and inter-subjective opinions (“vanilla is the best ice cream flavor”, “the defendant is innocent”) cannot be simultaneously true.”?

  • @xethnics6299
    @xethnics6299 10 หลายเดือนก่อน

    Only youtube video is not enough to grow regular updates and testnet date should be released as soon as possible rather than delaying its already been so many years hope its on the track👊

  • @aland3485
    @aland3485 10 หลายเดือนก่อน

    *Promo SM* 😜

  • @Lavaca006
    @Lavaca006 10 หลายเดือนก่อน

    Good evening Very interesting content. It would be nice to launch again a new playlist of this type. Adding new information about the potential of lotics on machine learning.

    • @LEARNTAU
      @LEARNTAU 10 หลายเดือนก่อน

      Will do more in the future.

  • @elionaserjani7595
    @elionaserjani7595 10 หลายเดือนก่อน

    Excellent🎉

  • @elionaserjani7595
    @elionaserjani7595 11 หลายเดือนก่อน

    Great ....🎉

    • @LEARNTAU
      @LEARNTAU 11 หลายเดือนก่อน

      Yes. Tau is great! 🙂

  • @elionaserjani7595
    @elionaserjani7595 ปีที่แล้ว

    Is true😊

  • @infr7544
    @infr7544 ปีที่แล้ว

    Great stuff is there any chance you can post the whole latest Twiiter x spaces discussion up to TH-cam it`s nice to have it for people on youtube to listen to and play in the backround wilst doing other things etc. These small clips are great but take alot of effort going from one clip to the next whilst doing other things. Thanks

  • @infr7544
    @infr7544 ปีที่แล้ว

    Great stuff, will a TH-cam Video of the latest twitter spaces be made available here, it was a graet discussion ?

    • @LEARNTAU
      @LEARNTAU ปีที่แล้ว

      Yes, give me more time. thanks for the support.

  • @EmersonDickie
    @EmersonDickie ปีที่แล้ว

    Who would the seller be in this case? Isn't TAU (the language) the one who has the knowledge?

    • @LEARNTAU
      @LEARNTAU ปีที่แล้ว

      The one who sells is the owner of the knowledge. This fact is strengthened by the recent provisional patent released. "🌐 Discover more about Tau Net and Agoras and read the full patent details here: drive.google.com/file/d/1F54OzMIcDQGE5cpP9gWy1WcLb0S_jVXl/view?usp=sharing It lays the foundation for a system where users can confidently engage, contribute, and steer the network, free from concerns of centralized control or bot interference." Cheers!

  • @elionaserjani7595
    @elionaserjani7595 ปีที่แล้ว

    How many years still to go??Do you think this guy will finished one day ??or years to come ,still 🤔😒

    • @EmersonDickie
      @EmersonDickie ปีที่แล้ว

      dude are you going to post this under every clip?

  • @elionaserjani7595
    @elionaserjani7595 ปีที่แล้ว

    ❤❤❤

  • @andrewgreeb916
    @andrewgreeb916 2 ปีที่แล้ว

    There's a reason g2a is based out of Hong Kong as they are doing stuff that is not legal just about anywhere else.

  • @LEARNTAU
    @LEARNTAU 2 ปีที่แล้ว

    A compiler-based approach refers to a method of creating or implementing a software system in which the source code of a program is transformed into machine code (executable instructions) by a compiler. This means that the source code is written in a high-level programming language and is then transformed into machine code that can be executed on a specific type of computer. The compiler-based approach is a common way to implement software systems because it allows developers to write code in a more human-readable format, which can make it easier to develop and maintain the software. At the same time, the compiled machine code is usually more efficient and can run faster than the original source code.

  • @elionaserjani7595
    @elionaserjani7595 2 ปีที่แล้ว

    He is just the bestttt. .😊😊

  • @elionaserjani7595
    @elionaserjani7595 2 ปีที่แล้ว

    He is the bestttt..💥💥💥💥

  • @tauchainagoras6044
    @tauchainagoras6044 2 ปีที่แล้ว

    Great content!

  • @MrMentalpuppy
    @MrMentalpuppy 2 ปีที่แล้ว

    It's amazing how mathematics, philosophy, and logic all interact with eachother.

    • @LEARNTAU
      @LEARNTAU 2 ปีที่แล้ว

      It's also amazing how language can coexist and evolve with time.

  • @MrMentalpuppy
    @MrMentalpuppy 2 ปีที่แล้ว

    Beautiful, ty friend!

  • @ikiphoenix9505
    @ikiphoenix9505 2 ปีที่แล้ว

    Thanks ! Hope you will adress strings and grammars in next videos. Keep going !