Officially a PhD student in the eyes of the law (the Idris typechecker). Ask me a question about any area of computer science and I can provide a wrong answerpic.twitter.com/yEw3UehT6n
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
Being the only PL person at Stanford?
I humbly accept the ACM Doctoral Dissertation Award for "Attending PLATEAU Enough Times That Your Advisor Catches the Hint About Your Actual Research Interests"
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.