Scotland, United Kingdom
Joined May 2011
- Tweets10.7K
- Following10.1K
- Followers14.2K
- Likes14.7K
Stevie Ray retweeted
π¨ RUSSIA CUTS THE WIRE! β‘
π·πΊ Russia: "Russia has severed all undersea fiber-optic data cables and blacked out all satellite communications routing to Western Europe, effective immediately."
π¬π§ UK Prime Minister: "You cannot drag the civilized world into the dark ages over a diplomatic standoff! This is an act of total economic warfare!"
π·πΊ Vladimir Putin: "You disconnected our banks and froze our citizens' assets. Why should we allow our infrastructure to carry the voice of those who try to silence us?" π₯π
π¬π§ UK Prime Minister: "This is a direct assault on international law! We will respond with unprecedented military and cyber sanctions!"
π·πΊ Vladimir Putin: "Sanctions require a network. A network, however, requires light through our cables."
Stevie Ray retweeted
BREAKING: πΊπΈ $5 trillion JP Morgan is expanding its JPM Coin to Ethereum.
First, banks ignored crypto and now they are going all in.
Stevie Ray retweeted
$ETH gave its highest monthly close in 2026 and best Q3 in Ethereumβs history.
This is absolutely massive.
Stevie Ray retweeted
$ETH JUST BROKE THROUGH THE $2,600 LIQUIDITY ZONE. π
The level weβve been watching has been reclaimed, and ETH is now holding above the zone.
$2,600 BREAK β
RECLAIM β
NEXT TARGET β $3,400 π―
If the breakout holds, the next major liquidity sits around $3,400.
ETH CONTINUES TO STRENGTHEN. ππ₯
Stevie Ray retweeted
Ethereum is going FASTER! β‘οΈ
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.
Stevie Ray retweeted
They could have launched it on any other chain but they chose Ethereum
Why? Because there is nothing better than $ETH
Stevie Ray retweeted
BREAKING: $ETH just closed above $2,600 for the first time in nearly 8 months.
ETH is now up +40% in the last 33 days.
Stevie Ray retweeted
Pump $ETH
