1/ Excited to share that I've just received my third Ethereum Foundation academic grant, this time under the 2025 Academic Grants Round 🎉 The project will combine fuzzing, reinforcement learning, and formal methods for Ethereum consensus

I got tenure at UCSB! 🎉 12 years ago, I knew almost nothing about PL. Thank my superstar advisor, Isil, for teaching me how to do real research (and sat through those 10-hour pre-PLDI meetings from sunrise to sunset). We were the best partners on almost everything. I was also extremely lucky to be mentored by THE BEST PL folks on this planet, Alex Aiken, Ras Bodik, and Emina Torlak, who shaped my research taste. To my amazing students—Yanju, Junrui, Hongbo, @trackoor, Bryan, Nicholas, and many others—you are the best part of this job. To my collaborators—Osbert Bastani, Ruben Martins, Yuan Tian, Chenglong Wang, Yuepeng Wang, Xinyu Wang, @lukejdpearson (also my investor, lol)—thank you for making research a true joy. To my UCSB colleagues and the anonymous letter writers—thank you for the incredible words and believing in me. And to my wife—thank you for standing by me through those tough years and every crazy decision along the way. I couldn’t have done this without all of you. Here’s to the next chapter. 🚀

Thank our supporters and my amazing team. What we’ve done so far is just the beginning.

INTRODUCING: Thunderbolt Station ⚡️ Earn real revenue on the faster Bitcoin. Stage 1 is now open to institutions and qualified users.

Is @0xNorby teaching Thunderbolt or swimming? Both would be blazing fast

What happens when $BTC meets $USD1. Super proud of my team, and this is only the beginning. 🙌⚡️

According to my finance team, we got 70+ months of runway as of Jun ’25. No pony shows, no pump-and-dump stunts—those games kill trust. We’re here to build Bitcoin infra with real-world utility and stick around to scale it. Let’s keep shipping. ⚡️

Made in California

✨ Academia and industry jointly create the financial disruption See these presenters at FBC'25: @JaiMassari @lightspark @UCBerkeley @malleshpai @Consensys @RiceUniversity @captain8299 @nubit_org @UCSBengineering

Bitcoin’s Lightning Network promised scalability, but structural constraints still limit its reach. We explore how rethinking the off-chain paradigm—from routing to programmability—may reshape #BTC’s real-world utility. Our deep dive is now live 👇