Formal Verification Hangout 2 is happening EF events , hosted by dxo and myself. It is an invite-only event that focuses on deep technical discussions about FV and Ethereum. Applications open at \/ forms.gle/CLKtgqkGuj3WEm… See you in Istanbul!

Unironically extremely bullish. Big respect, can’t have been an easy decision.

Running a little FV uncof event together with Alexander Hicks on Tuesday. Come hang out if you’re at Devcon :) lu.ma/olr85i0g

Why is the EVM the only part of L1 that is supposed to ossify. Are we supposed to just accept compilers being shit forever?

After years of talking about this, it's finally here: Prolog on Ethereum. Prototype integrated with revm alongside R55 (P55? Peth?). It's cursed, utterly hacky, and it works end-to-end. Wen Prolog L2? github.com/r55-eth/r55/bl…

Web3 is going just great

vectorized.eth Imagine where Ethereum would be if we 100x the Solidity Developer Experience. Completely achievable!

Compilation speed and stack too deep are our number one priorities and we have very good progress that we are excited to ship asap. Claiming that the language is fine as is from a features POV honestly just feels like a lack of ambition tbh. We can and will do so much better.

Solidity is getting a new type system. I’ve been putting a lot of work into this and it’s so satisfying to see it taking shape. Still kinda blows my mind how powerful these primitives are and how much can be done with so little.

Very nice post. Pretty compelling case for how the kind of desugar everything approach we’re taking for core solidity exposes complexity and enforces semantic rigour. blog.polybdenum.com/2024/06/07/the…