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 Difficult
They'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

The easiest path would be to stay where I am. There are no lack of research directions or lab community here
But...... but......

Sign in to participate in the conversation

A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.