1min chapter

web3 with a16z crypto cover image

Programming Languages & Crypto

web3 with a16z crypto

CHAPTER

The Psychology of the Programmer

In my dissertation I was looking at goal directed stock analysis so it's like hey I want the efficiency of the stock analysis to scale. This is a useful thing to do because one of the big issues with stock analysis is just really slow, especially when you run on giant multi million line programs. So I was working on new theory and the subfield of static analysis called abstract interpretation to make abstract interpretation more goal directed and property directed for both better efficiency and better precision. Ooh fascinating, you mentioned in your background that you were also interested in psychology of things when you think about designing your PhD your work until now. Can you quickly close the thread about the psychology of the programmer because you didn

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