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
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