web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

00:00

Programming Languages - I Love the Work and I Love My PhD

In my PhD I spent a lot of time studying real programs looking at bugs and then building these tools that try to look at code without running it. The thing in general is undecidable you're always fighting the halting problem but you can get arbitrarily close to getting a perfect result in practice without ever reaching in theory. In 2018 I got a chance to put these ideas to work when I was asked to join the Leber project to build a global scale payment network and then I got a blockchain mandate.

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