Premium Only Content
Exceeds the Limits of Other Formal Languages #Catala #Legalise #Tau #Taunet #Taulanguage
Question: What does Ohad make of programming languages like Catala: A Programming Language for the Law and Legalize, a Non-Turing complete language? Is Tau’s language used for smart contracts as powerful or comparable?
Answer: All known formal languages, whether they deal with law or not are unable to express the law of changing the law which has to do with asking about statements in the language itself, whether they contradict other statements, and so on and we are the only one who were able to crack this important problem. So, I don’t expect a Catala or Legalist to be able to do such a thing.
Further, we also adapted to speak about the time ordering of statements. So not only whether it’s true or not, but the way they appear in time and this is important for software specification purposes. So I would expect that on this front, the languages are very different whether everything expressible in Catala or Legalize can be expressed in the languages that we work on, I don’t know.
As long as the languages are decidable and this is a propositional clause, so you can take the conjunctions, disjunction, and negation of any sentence, then we can add our support language to speak about its own sentences as well as ordering in time of sentences, as a language extension to that language. So our solution is really open-ended and applies to virtually all languages. So in principle, there’s no limitation to adapting everything that those two languages can express in our setting.
#TauInnovation #TauLanguage #LegalTechInnovation #ProgrammingRevolution #FormalLanguages #SelfReferenceSolved #TemporalOrdering #DecidabilityMatters #ExpressiveProgramming #SoftwareSpecification #InnovationInCode #LawAndTech #ProgrammingBreakthrough #OpenEndedSolutions #FutureOfCoding #LimitlessAdaptability #LanguageEvolution #TauInAction #TechAdvancement #CodeBeyondLimits #CatalaVsTau #LegalizeVsTau #ProgrammingParadigmShift #NextGenLanguages #InfinitePossibilities #TimeAwareCoding #RevolutionizingSyntax #LawInCode #SmartContractsElevated #TauInnovatesProgramming #TauNet #Tauchain #agoras #Tau
Tau Official Website: https://tau.net/
Tau Official Telegram: https://t.me/tauchain
Tau Official Discord: https://discord.gg/fuTA5ymZ
Tau Official Development Updates: https://github.com/IDNI/TML
TML Playground: https://tml.tau.net/
Twitter: https://twitter.com/AndrewOnizuka
Facebook: https://www.facebook.com/profile.php?id=100073737020446
Instagram: https://www.instagram.com/andrewonizuka/
Reddit: https://www.reddit.com/user/Andrew_Onizuka
-
1:35:04
Winston Marshall
2 days ago“This Wasn’t Accidental!” Maajid Nawaz SPEAKS OUT on R*PE Gangs and The REAL Cover-Up
16.3K36 -
23:46
barstoolsports
3 hours agoSurviving Barstool Drama Spills Over Into The Office | Stool Scenes
18.6K2 -
LIVE
Shield_PR_Gaming
4 hours ago01/18/25. Let's chill with MMORPG and then some shooters!! Read Description! You know you want to!!
457 watching -
1:09:39
Tactical Advisor
3 hours agoTrump Inauguration & New Gun Releases | Vault Room Live Stream 014
18.4K1 -
11:27
Adam Does Movies
16 hours ago $5.63 earnedWolf Man Movie Review - Does It Bite?
45K9 -
11:57
inspirePlay
20 hours ago $8.18 earnedLongest Drive Wins! Elite Long Drivers Battle in Par 4 Elimination
65.8K12 -
8:44
RTT: Guns & Gear
22 hours ago $5.13 earnedStreamlight TLR RM2 Laser - G | The Best PCC Light
51.8K5 -
36:38
Athlete & Artist Show
1 month ago $3.11 earnedNCAA Hockey Was A Joke, TNT Hockey Panel Is The Best In Sports
40.5K2 -
1:00:08
Trumpet Daily
1 day ago $5.93 earnedBanning Mystery of the Ages - Trumpet Daily | Jan. 17, 2025
27K36 -
15:10
Chris From The 740
1 day ago $3.49 earnedEAA Girsan Disruptor X 500-Round Review: Is It Reliable?
43.8K4