2min chapter

web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

CHAPTER

EVM Tooling - What's Left for Tooling?

Move tooling still has a goal but to be desired like what needs to be built still are we going to see major changes happening. We're very early in tooling so I'll talk about a few things I'm excited about coming up where one is a package system and package manager think of like and it creates that I owe or MPM or whatever your favorite. Yeah, like what's left for tooling EVM tooling is so great. Noah had already mentioned earlier about DASION but we never actually shared context for listeners about formal verification. Can you briefly talk about formal verification and why the pervert matters?

00:00

Get the Snipd
podcast app

Unlock the knowledge in podcasts with the podcast player of the future.
App store bannerPlay store banner

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode

Save any
moment

Hear something you like? Tap your headphones to save it with AI-generated key takeaways

Share
& Export

Send highlights to Twitter, WhatsApp or export them to Notion, Readwise & more

AI-powered
podcast player

Listen to all your favourite podcasts with AI-powered features

Discover
highlights

Listen to the best highlights from the podcasts you love and dive into the full episode