2min chapter

web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

CHAPTER

How Do You Use the Move Prover Today?

The move standard libraries all verify it and someone who didn't know just like submitted a PR to a file that had a bunch of specs and then they add a new function they just wrote specs. The language takes a lot of basic mistakes off your plate but then for you as the programmer there's always going to be correctness conditions that are specific to your application. So we're really trying to push the limit as far as we can to make this just something an everyday programmer can use instead of having to be an expert.

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