Articulating the ineffable. Programming language theory 
cognitive psychology. PhD @Stanford
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
gonna start making clickbait versions of PL papers "Could YOU understand the Hindley-Milner type inference algorithm?" <10 lowres screenshots of inference rules>https://www.dailymail.co.uk/news/article-8623713/Could-understand-level-grades-algorithm.html …
btw the article is actually incredible — it’s still overly technical, but massive respect for trying to demystify a complex algorithm that’s having an immediate negative impact on the average UK family
