I'm really enjoying #POPL2018. Come say hi to talk about making C safer, or Solver-Aided Synthesis, or to remark on how cool Idris is.
I would, but I'm in a pub in Leith. It seems everyone is having lots of fun there though!
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 would, but I'm in a pub in Leith. It seems everyone is having lots of fun there though!