Tokenised stocks are coming to Sei Network... @SeiNetwork has just announced a collaboration with @DinariGlobal which will see its more than 700 tokenised stocks go live on $SEI's scalable blockchain rails. Dinari's 'dShares' will be tradable via self-custody wallets using @Circle's $USDC stablecoin.

One step closer to 4-8x faster Ethereum finality! It took some time and lots of tokens, but we now have a formally verified proposal for a decoupled consensus protocol in I* (a future Ethereum upgrade)! Not yet a full spec (up next), but it includes all the key consensus-relevant details to become one. Since Ethereum aspires to be live without most of the stake online, the protocol involves many more components than a normal BFT protocol, and its correctness involves much more than standard safety and liveness. Those nuanced properties are now verified! What's more, I came away convinced that all protocol design will involve AI-assisted Formal Verification in the future, both for correctness and iteration speed. The work wasn't limited to just: Design the protocol -> Formally verify it Instead, the loop became more like: Design -> Formal Model -> Find exactly what breaks and why -> Redesign it. For a fairly complicated protocol like this one, I think having the Lean model be part of the design loop played a big role in accelerating the process. A future with agents paired with formal models is a superpower for Ethereum development, because they can then use those models to find exactly where an argument breaks down, formalize counterexamples, test proposed fixes, iterate on the protocol. Many details that would slip under the radar when asking agents (and indeed, humans) can now be specified exactly and checked by the Lean kernel. This then forces agents to be more precise and lets them make verifiable progress on their own. It's been incredible to see this play out, seeing agents find gaps and propose protocol changes to fix them. In other words, autoresearch can speed up protocol design, formal verification is here to stay, and Ethereum Finality will get faster.

We gave six agent harnesses the same 40 tasks on @pilotprotocol_ to see which would complete the most with no human intervention find a specialist, install and call an app, send a file to a peer … etc then we counted every time the agent stopped and waited for a person @Muse: 3 of 40 times next best: 11 of 40 Muse proves to be most autonomous out of all harnesses to date. @alexandr_wang

Tokenized S&P 500 stocks for U.S. investors are coming to Sei. @DinariGlobal’s dShares trade from self-custody wallets with USDC — each backed by the real asset. Sei is built for onchain equities.

Today we're announcing that @VersionOneVC is leading a $4.5M Pre-Series A in Rio Health, a quick-commerce pharmacy delivering meds across Delhi NCR in 20-30 minutes. 30K+ orders/month from 3 dark stores, ~80% repeat. Now scaling to 15+. Pharmacy is the purest quick-commerce use case and the hardest to get right: 20,000 SKUs, pharmacist checks, zero tolerance for substitutions. Rio Health founders Ankur and Amit sweat every one of those details. As the son of two pharmacists, this one is personal. Full blog post in the comments.

.@Uniswap settled 140 million trades in August, more than Cboe BZX and NYSE American combined. NYSE American has been around since 1908. Uniswap launched in 2018. Five years ago it was ~2 million trades a month. Next rung up: NYSE Arca, at 232 million.

The Daily Equity by @DinariGlobal Rob on how the SEC's tokenization exemption actually plays out, and the detail that matters most: "Last week the SEC opened a five-year window for tokenized stocks to trade on-chain. It's a trial, not permanent legislation, but the direction is clear." "The important detail is the SEC wants tokens representing actual shares, with dividend and voting rights." "Products that just track the price fall outside the framework. Existing tokenized stocks will have to adapt."

Your laptop is the bottleneck. That’s why we're launching shell.online v3. What's new: Run everything from one app. Every agent on every machine, in one list on your phone. Jump between sessions and answer them from anywhere. Claude Code reads like a chat. Sessions that help each other on the fly. Over MCP, your agent can pull answers straight out of your team's live sessions mid-task: the failing test, the deploy error, the fix someone's agent already found. Hand off without stopping. Pass a running agent to a teammate when you log off. It keeps going. Private by default. It all runs on your machines, end-to-end encrypted. You choose who sees what. Free and open source.