web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

00:00

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

Transcript
Play full episode

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app