I think I learned an extremely important life hack today
when you want to consume information from a white paper from PL research academia and you never went through a PHD program / can't understand their greek grammars, check to see if they gave a talk on the paper instead!
Conversation
This tweet is brought to you by the rage I experienced when I first read this white paper and wasn't able to properly understand it:
cs.cornell.edu/andru/papers/u
Followed by my delight when I realized there is a talk for the same research!
5
3
70
Replying to
Yeah I saw this talk recently and thought it looked cool! Haven't yet delved into the paper though. The system defined looks pretty advanced. Not sure how much PL stuff you have looked at before but it's understandable to find the notation a bit overwhelming.
Replying to
All of my exposure to this has been through the rust community, I didn't really get into PL stuff like this at all during my CS undergrad degree. And yeah, overwhelming is a very accurate description :<
1
3
I can link you to some resources for beginning reading PL notation if it helps? It's a super handy thing to learn, and always happy to help if you need it.
1
2
Show replies

