Tannr 🦾🤖
@intent_dev
Followers
2K
Following
1K
Media
79
Statuses
3K
CTO of @khalani_network | dad | phil of math & mind | powered by neuromodulation, peptides & heavy weights
Joined April 2018
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.
2
11
50
@ekzhang1 1. It's a new startup. He's citing past accomplishments because the *first* set of employees are basically betting on the founders' likelihood of success. 2. It's short and to the point; not wasting your time with beating around the bush. 3. If this info were not included in the.
2
1
243
Here is my short tutorial on @rustlang :.1. Read the book.2. Read rust in action.3. Read RfR.4. Read the nomicon .5. Utilize Programming Rust as gr8 reference. Ty to authors of above, who made it possible for me to write such a short tutorial.
4
17
167
Been fun working with @not_pablinux for @NervosNetwork's hackathon. We stuck to L1 so we could show how powerful UTXOs on CKB are & to test our utxo-dapp framework, Trampoline by @IAMM_Network. Tempest enables ez bonding curves, dexentralized exchange & configurable tokenomics
6
26
104
1/ Building on @NervosNetwork just got way easier. Easy install & start of local node (pre-installed w/ pw-lock, sudt, nft & more). Fullstack dapp generation w/ 'create-ckb-dapp'. Fully configured for the local chain, indexer, and smart contracts. Soon to be open sourced.
6
30
99
I have a friend (prev Web2 dev) who I've personally trained the last 3 months in smart contracts. He's a rare combo of high skill, high ability, low experience (in web3, that is). He's ready for interviews. DM me if u could use a top tier SC dev at a jr dev price. #web3.
4
3
88
Sad to see people hating on @VictorTaelin purely because he unabashedly shares his random thoughts. Even geniuses are frequently wrong. He’s just not afraid to be wrong publicly. I’ve worked with him in the past and I’ll say this: he is highly intelligent, very humble, and his.
I have not seen a statement with worse understanding of the both kernels / systems programming and LLMs than this one.
6
4
93
Pretty cool how @NervosNetwork VM is designed. The implementation simply exposes an interface for a particular host to register syscalls. CKB-VM is just an extensible RISC-V simulator (w/ full ELF support). Could be used for many different types of chains with ease.
2
25
85
$CKB is the mitochondria of the digital economy, powering all cells on the network. Mitochondrial health is crucial to a good life. Take ur coq10 and hold ur $CKB and reap the benefits of a long and fulfilling life. (Not financial advice… or medical advice… make sure to.
1
20
85
We talk about @NervosNetwork’s Cell Model all the time internally at @khalani_network. CKB is such an elegant system and learning to think in terms of Cells unlocked so many new mental models that, incidentally, are quite relevant for intents.
3
19
83
CKB ecosystem is barreling forward with impressive new projects. $CKB has been a sleeping giant for a long time. The developments that are now coming out of @NervosNetwork community set themselves apart from many other ecosystems' large swathe of superficial & derivative.
🎉 Exciting news! JoyID Passkey has launched the first Coins Dex! 🚀. Now, you can trade any RGB++ assets on BTC layer 2 (CKB) on JoyID Coins Dex. 👉 Experience smooth trading with 0 Gas and 0 fees! Join us now! . 🌟 #BTC #JoyID #RGBPP #CKB #Seal
3
18
82
@trent_vanepps @marcandu Quickly grabbed a recording of him talking & then getting rug pulled because I fully expected it to be taken down. Not photoshopped indeed.
4
12
72
Big updates to Trampoline (dapp framework for @NervosNetwork) tonight:.- Drop-in Simulation chain for complex tests.- Contract & Generator API allows tx creation w/ contract pipelines for composable txs & partial tx updates.- Way more info in README.
1
27
72
@Kollect_NFT @tempest_labs is happy to help. We have the resources to keep the platform running & would like to do so for the sake of the community. DM me if interested and let’s keep CKB bullish.
7
10
57
How to build a solver network in the future:.1. Write a Validity spec.2. Publish it on @khalani_network .3. Sit back and relax as your solver network springs to life, operating across all chains & autonomously collaborating with every other solver network & every other #intent.
3
21
58
Just like Tempest economic design infuses value into $CKB, this fun activity infuses value into the awesome community of $CKB holders! If you love @NervosNetwork, participate & become part of a project that demonstrates what CKB makes possible for the first time in L1 history.
👋 Hey @NervosNetwork community, we've got an early weekend treat for you!. 🪂 Exclusively for loyal $CKB holders, you'll receive an early bird #airdrop of our future @tempest_labs tokens. Let's kickstart the future of #autonomous Dapp building together:
2
17
54
@trueblocks is probably best-in-industry tool for indexing chain data. @tempest_labs very own @not_pablinux is building an extensible indexer for @NervosNetwork's L1; a big piece of the puzzle for solvers. Trueblocks' design is very thoughtful & useful source of inspiration.
3
12
52
Generalized UTXO platforms like @NervosNetwork have been providing native account abstraction for many years. We just didn’t name it because it’s so implicit and so simple from a UTXO-centric perspective.
1
6
51
1/ I’m running a CKB giveaway. All participants must be following me to qualify. Retweet: 2 points.Like: 1 point.Follow @NervosNetwork: 3 points. You earn 1 entry in the competition per point. For each like and retweet, the reward will increase by $1USD worth of $CKB.
10
24
43
Made a huge dent in enabling composable transactions via smart contract pipelines for @NervosNetwork scripts. Lot's left to do, but we've got the very important pipe() method implemented. Check out this test using SUDT contract #dApp #crypto #blockchain.
1
10
44
Reminds me of @tempest_labs decentralized network of programmable automatons. Smart contracts on Tempest are:.- Declarative.- Context-aware.- Reactive to events on-chain (w/o being called). Creating the abstraction of an independently functioning entity that does your bidding.
Programmers will command armies of software agents to build increasingly complex software in insane record times. Non-programmers will also be able to use these agents to get software tasks done. Everyone in the world will be at least John Carmack-level software capable.
1
13
42
Everyday I learn about new collaborations emerging between @khalani_network and other really cool projects. It is a proud day for a founder when the company is growing beyond what can be held in a single person’s mind. This is also when company building as a skill in itself.
2
4
43
The path forward for mass Web3 adoption is with intents. Intents need solvers. Collaborative solving = solver composability. Composability off-chain is something @khalani_network team have been thinking about for years, because its need arises in some form in any.
7
15
44
I'm currently writing solidity code for recursive intent verification and it turns out that, again, this would be much easier on @NervosNetwork's Cell model lol.
2
6
40
@khalani_network will implicitly realize the full potential of intent-centric protocols. But for the world’s first blockchain of intelligence, intents are just the tip of the iceberg. Link below 👇.
6
16
42
hello, world.
We're excited to announce our $2.5M Seed Round led by @etherealvc to unleash the full potential of intents with our decentralized solver platform!. This milestone will help us expand our team, push forward R&D, and bring Khalani to full-scale production.
3
4
42
Common knowledge is the best foundation for intent centric protocols.
1
7
38
A while ago, I looked at the programming models of different L1’s and concluded that the @NervosNetwork’s was the most flexible. Plenty of changes across the industry have since come to pass, so I’m looking again. Which L1’s are innovating at the programming model level?.
8
7
34
A good example of this is what @knwang and I are building at @khalani_network . Khalani takes the best properties of verification centric network and then imbues it with the interoperability and composability that one would expect from a smart contracts platform. The dev.
I specifically avoid trying to keep up to date with the latest developments in nearly all blockchain verticals. A far more valuable way to spend one’s limited time is to focus deeply on fundamental principles related to a fundamental problem. Most “innovations at the edge” stop.
1
7
39
1/5 Intent Abstraction (IA). The one abstraction to rule them all, as promised. We won't need to keep slapping "abstraction" at the end of every blockchain term anymore 😁 (probably). So, why do we need IA, and what is it anyway?. We need IA because intents are already beginning.
3
9
36
Future of @creditcoin can bring to the industry entirely new capabilities for devs. Crucially, these capabilities *complement* use of other stacks & other chains (enabling incremental adoption is so important).
3
17
38
1/ It is commonly accepted that a Layer 1 will not scale to handle the volume of transactions handled by networks such as Visa. Common in discussions abt tx throughput, we often compare diff systems without acknowledging that they differ in their definition of a tx.
5
10
35
hello world.
Today, we’re excited to announce Khalani Network. Khalani is the first decentralized solvers infrastructure for intent-driven generative coordination. Read the full announcement here: 🧵.
4
4
36
Many intent-centric protocols today emerge from Ethereum (on chain execution) ecosystem. Thus, things like off-chain state transition generation + on-chain verification seem like novel ideas. But those who come from UTXO world know that this is how things began, and extended.
3
11
32
Evaluation = proof checking .Solving = proof search . Intents = questions.Transactions = answers . Theory modules = ideas .Composition = creativity. @khalani_network = a worldwide, logical thinking machine.
0
9
36
Building & composing tokens & token systems with @IAMM_Network is as simple as creating a transaction on @NervosNetwork embedded with its description. The protocol takes care of the rest, from auto generated dapp capabilities to interoperability across platforms to indexing.
2
7
30
It’s hard to appreciate security and safety despite the work they require. It’s easy as an outsider to mistake it as moving slowly & lacking innovation. B/c all that additional R&D results in the absence of certain outcomes over long time horizons as opposed to shiny new feature.
4
6
29
Validity is unlike any programming language we've ever seen! . Built by @khalani_network, it's thoughtfully designed for #intent protocols, solvers, smart contracts, and other security-critical software, enabling builders across industries. Validity uniquely blends the.
3
7
30
The “Intent-Driven Automaton” is the native object on @khalani_network . Our automatons can imbue the “AI agents” or “autonomous agents” of other ecosystem’s with verifiability without relying on economic designs like stake/slash systems to keep them honest. We can also.
0
6
29
Don’t follow @khalani_network unless you’re ready to develop Khalaninsomnia. Khalaninsomnia is a condition affecting many Khalanians. A form of sleep-onset insomnia caused by the purest form of bullishness. Unlike standard sleep-onset insomnia, Khalaninsomnia is not associated.
1
5
30
Real blockchain communities are made of Cells . @NervosNetwork.
real blockchain communities have a soul.
0
3
29
"TokenCAD: JS Tool for Complex Systems Modeling & Cryptoeconomics". Only couple days old. Inspired by @cadcad_org. Soon, I hope it can be used as a pedagogical tool as well as an accessible & shareable way for professionals to collab. @observablehq
1
8
30
I fully believe in what I’m working on. It is now the default state of my mind to think over the problems we meet and the solutions w/ which to meet them. So grateful to find my life’s work in the act of writing queries to an image-generating AI & auctioning them as NFTs.
2
4
29
I wonder how many crises in DeFi would be mitigated by TLA+ specs, *basic* incentives analysis & *starter* @cadcad_org models. Only takes a few weeks of study to get started. By my calculations, the precise num of crises averted is: a shit ton. Don’t be lazy w/ other people’s $.
4
4
29
Welcome to the post-blockchain era, and the off-chain frontier where. Intents are the new transactions.Proofs are the new calldata.Credible accounts are the new smart accounts.Commitments are the new liquidity pools.Auctions are the new bonding curves.Solvers are the new.
1
7
28
Well, supply won’t decrease, but the ratio of new $CKB to existing $CKB continually decreases due to decreasing block rewards and the fact that secondary issuance is fixed.
People complain about the supply of $CKB but don't take enough time to research what it is. Nervos was built to be scarce over time. The supply will decrease & the value will increase. Those not grasping this simple yet powerful concept will be the one's tweeting they sold early.
2
2
25
1/3 CABstraction and Intents. Chain abstraction.Account abstraction.Balance abstraction. Chain abstraction is needed because the multi-chain experience is fragmented and full of friction. Account abstraction is needed because the Account model we are used to partitions accounts.
1
4
27
True decentralized software that’s immune to political forces and pressures must be capable of autonomous execution, maintenance free evolution & composition, and preservation of safety properties in an unpredictable environment.
1
5
24
Honestly I haven't looked at @reachlang in a long while. It's still one of the most intriguing approaches to tackling some of the problems that crop up at the programmability layer in decentralized applications.
2
2
26
@optimizoor This pretty much happened to me. Received an offer for a position a little while ago with extremely high pay + signing bonus. Asked if we could switch to Foundry in 2023. They said it wasn't likely. I declined the opportunity.
6
0
25
interactive Common Knowledge note Books. such an interface will usher in an age of unmatched dev experience for generalized #UTXO . ez, simple, collaborative, fun, and fast.
1
2
23
We will utilize @khalani_network technology to create some of the most flexible credible accounts conceivable.
The Fellowship of the OneBalance is growing 🫡. We are excited to announce new members, to join the mission: that an industry wide shift towards the use of Credible Accounts is essential to consolidate fragmented user experience, improve scalability, and most importantly, achieve
0
3
21
"You can't talk about intents without talking about solvers" - @robbie_rollup . Indeed.
Onchain solving is one of the few sectors of crypto which is still the wild wild west. For today's pod, we sat down with @knwang of @khalani_network to discuss the concept of intents and the intent-centric worldview in the context of chain abstraction. We discussed the
0
5
22
My username is now @intent_dev, because I spend most of my time in development and I spent all of my development time dedicated to intent software.
1
4
22
@NervosNetwork Kudos to Pablito - a developer on our team at @IAMM_Network - for making this happen! . It all started when we were setting up our CKB developer environment on a new machine. It took a lot of effort and time! What started as an internal tool we realized could help many others.
1
2
21
Very excited that my application was accepted to attend the first course in the new TE Academy from @tokengineering, where we will apply methods to design ecosystems which can be directly translated into systems designs & simulated with @cadcad_org !.
3
7
21
Job Opening. Looking for a senior applied researcher to join the research team at @khalani_network. Primary responsibilities:.- Assist with partnership integrations through a rigorous process of requirements gathering, feasibility analysis, protocol design & formal.
2
7
21
I think @IAMM_Network's bonding curve will be the first example ever of a bonding curve deployed on a UTXO-style blockchain (@NervosNetwork).
1
4
21
Counterparty discovery is important for end users in verification-centric (intent-centric) protocols. Collaborator discovery is important for next-gen solving so that all those off-chain resources don’t exist perpetually in silos. @khalani_network is the only decentralized.
2
2
19
I will always be a member of @NervosNetwork ‘s developer community which grows in strength everyday, regardless of my career direction & regardless of my official place of employment. We tend to be modest at Nervos & avoid fluff. i believe that CKB will outlive us all.
2
4
20
One way to describe @khalani_network is as an infinite dimension orderbook with a decentralized matching engine where solvers (matchmakers) subscribe to and focus on specific dimensions. They can collaborate within the same dimensions if that dimension is scalar; they can.
“Intents are limit orders, solvers are market makers.”. This viewpoint is correct as long as we also accept expanded meanings of both “orders” and “markets”. Solvers are generic and programmable market makers of . - assets (this is how most people think now) .- time preference.
1
6
19
2
0
18
1
2
17
If you still thinks “intents are just limit orders” or “intents are just token swaps” then you’re either ignoring the majority of developments in the space, have pathological confirmation bias, or are afraid that rise of intent technology will simultaneously mark the beginning.
4
4
20
Automation has officially taken a massive step forward. Get ready for WTF moments of the very best kind. IYKYK… @khalani_network.
3
4
19
Intents are just a stepping stone towards the truly game changing programming model for the next iteration of the internet.
1
3
18
Here it is as a spec within IAMM asset (still in closed alpha):. Transfer: .sum(previous(x.amount | x.type = self.type)) <= .sum(next(y.amount | y.type = self.type)). Mint:.changed(sum(x.amount | x.type = self.type)) .and prev(y | y.owner = self.args.owner). it fits in a tweet.
4
4
18
One reason the VM is called "Validity" is because it only executes logically valid code. The spec *is* the code & executions self-certify their own correctness. I really value safety and correctness in decentralized software. I also understand that formal verification has a high.
0
6
18
Cofounder appreciation post! Don’t underestimate the importance of leaning on your co-founder when you need to. @knwang is provably good for my health… let’s see before and after talking with him. Before (red) - after (green and blue)
4
2
16
I enjoy writing software the most when I’m judging myself on the basis of its quality the least… . I also find that the quality of code is greatest when it was enjoyable to write.
1
2
15
Common knowledge rollups are summarizers as opposed to accumulators.
2
1
16
Excited to speak about protocol design for NFTs at this year. How do we make #NFTs better? No more tokens-as-dangling-pointers. No more rigidity: NFTs should be flexible enough that you don't need a new platform just to put a hat on your cryptopunk.
118 new Speakers announced for 2021. This year's 2 day 2 stage IN-PERSON event will now be held on November 2-3 at the Edison Ballrooms and rooftop. Read more: #NFTNYC2021 #NFTs.
2
5
18
Token Development on CKB Part 2: Advanced Programming Concepts is out! Learn about the intricacies of @NervosNetwork's programming model:
3
9
15
Ownership & Interoperability are both important aspects of self-sovereign identity & data. @ceramicnetwork 's @identityindex protocol built by the @3boxdb team is looking like a really strong approach here. We now have the tools to build web3 w/o UX or DevEx sacrifice.
0
5
18
Intents enable nice improvements for human UX. But what can be achieved when intents are utilized for solver-solver interactions unlocks far more. But we need much more than just collections of constraints to unlock autonomous, collaborative reasoning :).
0
3
15
I specifically avoid trying to keep up to date with the latest developments in nearly all blockchain verticals. A far more valuable way to spend one’s limited time is to focus deeply on fundamental principles related to a fundamental problem. Most “innovations at the edge” stop.
3
3
15
Appreciate the love.
@tempest_labs is a next generation platform for #DeFi. Featuring a public code and solver marketplace, where #Developers can earn royalties and block rewards passively. This is a massive incentive to attract top developers. #Crypto #web3 #ETH #CKB
0
1
12
New version of Athena #proof language playground up. Put some pretty interesting examples in: .1. Proving abstract math properties.2. Rewriting & equations proofs.3. Automated theorem proving.… and more. Try some #FormalVerification right in your browser
0
3
15
In an intent-centric architecture, proofs, rather than messages, are the most natural medium through which software systems interact and compose. Make sure to choose the right proof system! The downstream consequences are plentiful!.
1
3
15