my goal with entering academia was to learn enough theory to go back to improve the state of trustworthy software in industry. after ~8 years of phd + postdoc im both nervous and excited to say that im moving to NYC mid next month for a gig involving PL design + implementation
Conversation
Replying to
Congratulations! In industry or academia?
Also I still need to learn more of your stuff on zero-cost reuse for dependent types. That stuff looks super interesting.
Oh cool great stuff! Always good to see what’s going on in industry - lots of good ideas to be iterated on.
2