web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

00:00

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.

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