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
I think the greatest benefit of conferences is to get exposed to diverse, unusual ideas, and to talk to people you can't usually meet.
I'll be at #NeurIPS2018 starting Tuesday night. If you're working on an approach to program synthesis that's off the beaten path, let's chat.
In Montreal now. Reminder that you can contact me if you want to meet to chat about your research.
What is your e-mail id?
It's on my GitHub profile.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
