3min chapter

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

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