Re:Asian American Discrimination in Harvard Admissions [pdf]
by _wt8k on Saturday April 25, 2020 @12:45AM
(#22975651)
I want to learn more about HoTT and constructive math, but I probably have to go to CMU to go deep into that.
At Northeastern, I'll probably explore systems programming languages (I know that Amal Ahmed published a foundations of Rust paper) and gradual typing.
Re:Asian American Discrimination in Harvard Admissions [pdf]
by xiaolingxiao on Saturday April 25, 2020 @09:47AM
(#22978062)
Hah I was interested in something similar at one point. The PL community is pretty small, if you go to one of these Haskell hackathons you'll meet plenty of them. There used to be one held at Penn (Hack-phi) but that may have ended. Boston Haskell hackathon is still going I believe, and there's many meetups in NY. So going to these places and meet tons of people is one way to secure your own uck. And I echo what the other person has said, your narrow focus on niche topic may have put you in a harder category. Admission officers have very specific buckets they put you in, in this category you may have been competing against math wizes from abroad.
You can make your luck by being open minded to things you don’t know and seeking out mentors. I went to UPenn and confirm the PL GRoup is solid, and the prof in the PL group are really kind people as well. Do you have a particular thing you want to work on in PL?