web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

CHAPTER

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.

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