Free idea: a few years ago, someone told me they'd like to see a Nobel Prize equivalent for Ethereum, but it hasn't happened yet. The chain will turn 10 years old in ~18 months, which seems like great timing for this! It gives enough time to make it happen properly, too 😄

deterministic simulation testing! we have a distributed system with traffic coming in from every node, nodes verify, order and execute incoming payloads and asynchronously persist the system runs on a 500ms or less clock and it is all extremely async - so to get to the next level we need to make sure that our fuzzers can reliably hit bugs and create regression tests that we know arent flakes

Last Sunday, Vitalik released the full version of Snowmoon. An underpinning concept to many of the ideas in the story is something V calls “Coordination Quotient.” Coordination Quotient is his invention, there’s no pre-existing literature on that exact idea! In simple terms, CQ is a cure for the prisoner’s dilemma or tragedy of the commons. A community with high CQ is capable of defying its respective social or economic nash equilibrium. High CQ basically says that even if we are individually incentivized to act selfishly, we are effective at *choosing* to act in the collective interest without external forces pressuring us to. My personal analogy is that a society with a perfect Coordination Quotient wouldn’t need formal laws or a governing body to function at scale because it would be so good at acting in good faith and achieving sophisticated positive-sum goals.

just lost a drawn 3 connected pawns vs rook endgame even tho i keep saying that in some positions 2 connected pawns beat a rook i'm a fraud

Validity txs are pretty cool if I do say so myself. Very versatile. You can do stuff like perform limit orders at the EVM level by checking a slot using a validity predicate and requiring that to be in the next flashblock.

This reads as @class_lambda wants to capture @ethereum and wants to kill the opposition first by starvation.

This is wild for Crypto x AI. > Be @fradamt > OG Ethereum researcher now at @ethlabs_org > A named author on 18 EIPs (Ethereum Improvement Proposals) > Work on Ethereum consensus where even a tiny bug can break agreement across the entire network and put billions of dollars at risk > Can't exactly vibe code it and say "we'll patch it Monday" if something breaks.. > mustbecareful.jpg > Add AI agents and a mathematical proof checker (lean) to his workstream > Agents work overtime to find out where something breaks, produce counterexamples and proposes fixes too > No "trust me bro" involved in the process; everything must be verified through formal mathematical proofs (formal verification) > Basically like saying "show your work" except you can't bullshit the teacher > Turns out all of this makes protocol design way faster > Emerge from the AI-assisted crypto research trenches with a fully formally verified spec targeting 4-8x speed bumps in Ethereum finality. TLDR: Development of frontier technologies that cannot afford to go wrong, ever, just got way faster.

We can probably get 8 second slots and 2-3 minutes finality by early 2028 already, if we play our cards right and get faster slots done in Hegotá. Let’s get a fast cryptographic world computer!