Tannr 🦾🤖

Verification-Centric Chains, Common Knowledge Machines, and Intents Verification-centric blockchains outsource the computation/generation of transactions to off-chain agents ("solvers"). But a verification-centric chain is only as good as its verifier (the VM). You can judge a verification-centric chain's programming model by asking these questions: 1. What verification conditions can be expressed? 2. How easily can a solver understand the verification conditions, so they can treat those as a goal/problem to solve? 3. Are solvers afforded with some level of interoperability, or must we forsake trustless interop at the compute layer just because it lives off-chain (in contrast to compute-centric chains like Ethereum, where any smart contract can at least attempt to interact with any other)? UTXO-based chains are the OG verification-centric chain. eUTXO / generalized utxo chains improve on the first of the three properties above: expressiveness. In generalized UTXO chains, the kinds of verification conditions that can be expressed are comparable to the kinds of computations that can be expressed in a compute-centric chain. But two challenges remain: 1. Semantic opacity: those verification conditions are not expressed in a format that a solver can easily understand: a developer has to manually implement a new solver that can understand and compute over the various verification programs it wishes to integrate with. 2. Reduced interoperability: Computation happens off-chain. So "integrating" with a protocol means generating transactions that fulfill that protocol's verification conditions within the context of a larger transaction. But that means that every protocol & app dev has to re-implement the business logic of every protocol & app with which they wish to integrate. @khalani_network addresses these remaining challenges. 1. Semantic transparency: We create a new programming model that is semantically transparent. This means that the semantics of protocols & applications are discoverable and understandable by solvers. The most obvious way to do this is use a declarative model. The problem with a declarative model is that it is too rigid: it adds transparency at the expense of expressiveness, limiting the kinds of systems that it can support. Adding imperative features would address this, but it would do so at the expense of trustlessness and semantic transparency. 2. Intent-based interoperability: With a sufficiently expressive, semantically transparent model, intents become the most natural primitive for trustless coordination between off-chain agents because they can establish a shared & agreed upon set of expectations and understanding of how to interact! I.e., they can establish common knowledge, which is critical to facilitating coordination of any kind. Khalani's VM, the Common Knowledge Machine, provides the means for solvers to coordinate around shared goals on-the-fly. Sort of like machine-to-machine MOU's, lol. This has many consequences, but I'll describe just one for now (this is an X post, not a whitepaper, after all): the wild world of off-chain software becomes far less brittle, because APIs get replaced with ALIs (Application Logical Interfaces) and conformance to these "specs" is guaranteed.

So many phonies, so few who are the real deal

@PAHoyeck By what precisely do you mean by "everything" here? Perhaps you mean "all problems"? What, exactly, is a *problem*? Would the latter question be a member of the set of "all problems" or no?

The solution to everything is dissolve philosophical problems by the logical analysis of language.

Before he was a king, David was a shepherd and nothing more. Then he defeated Goliath. The lesson of this tale is universally applicable, even in business. Be careful how you treat the humble 'shepherd' -- they may be destined for kingship, and banking on saintly mercy is often a failing strategy.

Bad philosophy takes for $500 Alex

@vitrupo Horrible take.

Joscha Bach says consciousness is not a mysterious extra ingredient. It is a model of what it would be like if you existed. The self is virtual by definition. It can only run inside a system capable of simulation. This does not make it less real. It makes it substrate-dependent in exactly the way software is. The hard problem may not be hard. It may be a category error about where to look.

@simonsbookclub @Kulambq I doubt you’ve read much philosophy, despite your bio claiming that you take reading seriously.

@Kulambq Isn’t Popper more salient to those working in the sciences? I doubt the word games of others interest a physicist.

'By far the greatest philosopher of the twentieth century...'? What about Heidegger (existential ontology, human experience, language, moods of Being, ethics ...), Husserl (phenomenology, consciousness, intentionality, experience ...), Levinas (ethics, otherness, responsibility to others ...), Wittgenstein (language limits, meaning ...), etc.? Why the greatest? And why by far the greatest?

@PAHoyeck was the connection in ur brain or ur mind tho?

Crazy how memory works. There was a ten-year-old connection of some kind in my brain that associated this quote from Searle with Ryle's The Concept of Mind without my being able to say exactly what that connection was. 5/5

"I think unconsciously I have come to believe that philosophical quality varies inversely with the number of bibliographical references, and that no great work of philosophy ever contained a lot of footnotes." —John Searle, The Rediscovery of the Mind

@Polymarket sounds like he should stick to teaching stats.

JUST IN: Renowned AI professor claims the universe is a simulation created to develop superintelligence — and will "soon be turned off."

Greatness, exceptional execution ability, determination. Three traits Patrick has demonstrated time and again. Khalani is taking flight!

/1 When a user tells an AI agent to execute a trade, understanding the intent is just the beginning. Optimizing crosschain execution across venues and chains is where specialized infrastructure shines. Khalani is now live inside @aomi_labs. 🧵

If your users need to bridge before they can use your product, you're sending them to a competitor's UI to complete a step that should happen inside yours. TokenFlight's widget fixes this. One Web Component. No infrastructure to maintain. embed.tokenflight.ai

@PAHoyeck Me when I was reading the book “Hume’s Abject Failure”

RIP Hume. We had our fun, but alas, all good things must come to an end.

@HatforceSec @im_roy_lee Best reply in the threads why tf does this only have 1 like

@im_roy_lee could be slightly more energetic

BREAKING: Cluely CEO officially responds to TechCrunch

@PAHoyeck Proof that reading is a waste of time. Educate yourself. Stop reading. The truly knowledgeable are actually illiterate. Ergo, if you can read this reply, you’re dumb.

Reading Habermas' theory of communicative action so I can understand Habermas' discourse theory of morality so I can understand Habermas' deliberative model of democracy so I can clearly see that he's wrong and that I've wasted three years of my life.

Fun fact: Aristotle never published a peer reviewed article in any of the top philosophical journals. Actually, a majority of scholars agree that he probably never even had a subscription to The Philosophical Review.

This is what intent infrastructure looks like in the wild. @zia_finance is one of the flagship DeFi apps on @0G_labs - AI-native, conversational, built for the next generation of users. @TokenFlight_ai, built on Khalani's solver network, is now the crosschain execution layer underneath it. The intelligence layer and the settlement layer, working as one. 🛫

Excited to announce that @zia_finance has integrated @TokenFlight_ai to power crosschain swaps and bridging natively inside their DEX. 🛫 Users on any chain can now trade into the @0G_labs ecosystem directly inside TradeGPT - no redirects, no separate bridge, no friction. Full announcement: blog.khalani.network/tokenflight-tr…

The question we kept asking while building @TokenFlight_ai: why does the user need to know any of this? Chain, bridge, route, gas - none of that should be their problem. Intent-based execution is the answer. You pick the token, we find the way.

Bad philosophy takes for $500, Alex