2min chapter

web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

CHAPTER

Governing Programming Languages

The prover for core move really reasons at the level of objects and global storage unless about like transactions because transactions are to core move concept so that's a direction we may take the prover eventually. It doesn't yet on the other hand it doesn't need to understand like say the counter this always increasing like that's a sweet object but it doesn't needs to understand anything about the sweet to be able to prove that. Like maybe there's governance models for programming languages that work better for blockchains. Interested in thinking about how they should be governed or maybe better, how does move evolve? Given all the huge variety of stakeholders in the importance of the design of the language and preserving its

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