@lateinteraction@cohenrap Yeah, symbolic recursion is such elegant way to put the whole idea!
My point is the key diff "comapred to prior methods" (e.g. Claude Code subagents) is the "symbolic" part, as recursion is already quite commonly used.
@lateinteraction@cohenrap My take is
1.2. treat everything with unbound size as a variable instead of expanding it by default.
3. models need to be instructed/post-trained for this paradigm.
And I believe these are the ONLY foundamental diffs from Claude Code subagents
https://t.co/ZBVHV4NYLb
Decided to join in on the hackathon fun at ETH NYC!
Creating an ML-empowered AMM on the Vanna Blockchain @0xVannaLabs to quote dynamic spreads to reduce LVR in AMMs.
Protect. Liquidity. Providers.
@billionxdev@tensorfi
I am excited to share that my team zkAlpha at ETHGlobal Paris won 7 prizes and ~9k USD in total (including @Filecoin grand prize and @1inch best use of smart contracts) out of 1400+ attendees and 321 projects.
I would also like to express my sincere appreciation to @Antalpha_Labs for hosting me and allowing me to meet so many interesting individuals during my time in Paris. The experience was nothing short of amazing!
Teaching GPT-3 about KZG commitments.
I crashed it at the end (as probably most human interlocutors would do long before), but the ability to take in new instructions/information on the spot is absolutely astonishing!
The age of AI starts now. No more winters I would predict.
Must watch video lecture on the foundations of BFT and Blockchains on a simple variant of Tendermint!
@Tim_Roughgarden takes one of the most complicated topics in distributed computing and breaks it down to simple components with both clear intuition and strong rigor
I have the same discovery during my research on the protocol. An additional fact is that since @StargateFinance uses the "defaultConfig" that can be set by the owner address (a @gnosisSafe multisig proxy).
@LayerZero_Labs has launched, and @StargateFinance has >3B$ TVL, but have any apes actually read the docs or looked at the code?
TLDR: The team can rug LP’s even when the oracle is honest with many of the contracts owned by an EOA.
New Narwhal-based project now available! Bullshark, a partially-sync consensus embedded into Narwhal. Similar commit rule and resilience to (crash-)faults to Tusk, but 33% lower latency and no DKG/coin needed. https://t.co/WyysR42Hu7
with @LefKok, A. Spiegleman, N. Giridharan
A quick tutorial on how barycentric evaluation of polynomials works (useful in ZK-SNARK protocols, data availability sampling and many other Ethereum-related use cases):
https://t.co/FGyPr4vFpe
The community likes to complain about the huge staking required to be a @Polkadot parachain, ignorant of the fact that the security of PoS systems are based on the value of the stake. Curious about what they'll say if the @cosmos ecosystem collapses for its sloppy security 😅😅.