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
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner