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
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.
1
1
thanks, in industry :)
1
1
Replying to
Oh cool great stuff! Always good to see what’s going on in industry - lots of good ideas to be iterated on.