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


@132ikl @ionchy
europe pros: not america
europe cons: europe

Sign in to participate in the conversation

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