anyway there are Research Directions for me to think about now
Trying to apply to an American place and a European place at the same time is DifficultThey're not gonna line up
Talking about dependent type theory like oh. Apparently I do know things now I guess
When I went to POPL 2020 I was like I know 0 things. I don't know anything. But now it's like hey! I know like 1 thing, maybe 2 thing
Don't know why I would take the harder path. Like getting into an American university would probably be easier than getting a grant across the ocean lol
But... I wanna... 🥺
The easiest path would be to stay where I am. There are no lack of research directions or lab community hereBut...... but......
@ionchy jon europe arc
@132ikl @ionchy europe pros: not americaeurope cons: europe
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.