Did I seriously just consider giving a controversial type theory talk with Phillip Wadler in the audience? Apparently so…
@djspiewak I can't think what would have stopped you: you gave a talk on compilers with @odersky in the audience...
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
Did I seriously just consider giving a controversial type theory talk with Phillip Wadler in the audience? Apparently so…
@djspiewak I can't think what would have stopped you: you gave a talk on compilers with @odersky in the audience...