A

AndrewOnizuka

12 Followers
AllVideosLiveChannelsAbout
    L1 Discover the Power of TML: Detecting Contradictions and Facilitating Natural Communication
    0:39

    L1 Discover the Power of TML: Detecting Contradictions and Facilitating Natural Communication

    TML18: The Advantages of TML: A Declarative Language for Logical Statements #shorts
    0:19

    TML18: The Advantages of TML: A Declarative Language for Logical Statements #shorts

     2  views
    TML17: Experience the Power of TML with the Complete IDE at tml.tau.net #shorts
    0:55

    TML17: Experience the Power of TML with the Complete IDE at tml.tau.net #shorts

    TML16: Protect Your Programs with Tau: Advanced Code Verification and Detection of Harmful Content
    0:36

    TML16: Protect Your Programs with Tau: Advanced Code Verification and Detection of Harmful Content

     1  view
    TML15: Discover the Power of TML: An Execution Engine for The Tau Language with Proof of Execution
    0:52

    TML15: Discover the Power of TML: An Execution Engine for The Tau Language with Proof of Execution

     189  views
    TML14: Evolving and Coexisting Languages with the Internet of Languages: A Compiler-Based Approach
    0:36

    TML14: Evolving and Coexisting Languages with the Internet of Languages: A Compiler-Based Approach

     10  views
    Tau Language Part 2 (Update) #shorts
    0:43

    Tau Language Part 2 (Update) #shorts

    Tau Language Part 1 (Update) #shorts
    0:46

    Tau Language Part 1 (Update) #shorts

     15  views
    TML13: The Internet of Languages with Proof of Execution #shorts
    0:37

    TML13: The Internet of Languages with Proof of Execution #shorts

     19  views
    TML12: Limitations and Drawbacks #shorts
    0:58

    TML12: Limitations and Drawbacks #shorts

    Project Roadmap of Tau (Sep 2022)
    0:32

    Project Roadmap of Tau (Sep 2022)

    TML11: PSPACE Complete and Capture PSPACE #shorts
    0:36

    TML11: PSPACE Complete and Capture PSPACE #shorts

    TML10: TML vs. Datalog: A Comparison of Declarative Languages #shorts
    0:16

    TML10: TML vs. Datalog: A Comparison of Declarative Languages #shorts

     2  views
    TML9: Translators Getting More Out of Your Code #shorts
    0:28

    TML9: Translators Getting More Out of Your Code #shorts

    TML8: A General Tool for Knowledge Representation and Format Translation #shorts
    0:26

    TML8: A General Tool for Knowledge Representation and Format Translation #shorts

    TML7: A Logical Language for Knowledge Representation Translation #shorts
    0:11

    TML7: A Logical Language for Knowledge Representation Translation #shorts

    TML6: The Philosophy Behind TML: A Language Built for Quality and Ease of Testing #shorts
    0:30

    TML6: The Philosophy Behind TML: A Language Built for Quality and Ease of Testing #shorts

     6  views
    TML5: Why TML is the Simplest Programming Language Yet #shorts
    0:19

    TML5: Why TML is the Simplest Programming Language Yet #shorts

    TML4: Solving the Formal Language Problem with the Internet of Languages #shorts
    0:40

    TML4: Solving the Formal Language Problem with the Internet of Languages #shorts

     1  view
    TML3: Why a Universal Language is Impossible: Introducing the Internet of Languages
    0:19

    TML3: Why a Universal Language is Impossible: Introducing the Internet of Languages

    TML2: Introducing the Internet of Languages: A Solution for Language Evolution and Compatibility
    0:34

    TML2: Introducing the Internet of Languages: A Solution for Language Evolution and Compatibility

    TML 19:Testing the Power of TML on a Smartphone #shorts
    0:58

    TML 19:Testing the Power of TML on a Smartphone #shorts

     6  views
    TML1: A Meta-Language for Collaborative Decision Making and Self-Definition #shorts
    0:37

    TML1: A Meta-Language for Collaborative Decision Making and Self-Definition #shorts

     1  view
    Evolving blockchain that does not break basic premises. #shorts
    0:27

    Evolving blockchain that does not break basic premises. #shorts

     1  view
    TML 20: The Internet of Languages (mobile phone) #shorts
    0:45

    TML 20: The Internet of Languages (mobile phone) #shorts

     4  views