Sometimes my twitter timeline is magical! /cc @cattheory @pasiphae_goalspic.twitter.com/HdbsFiPthx
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
Sometimes my twitter timeline is magical! /cc @cattheory @pasiphae_goalspic.twitter.com/HdbsFiPthx
I genuinely laughed out loud at this
Not for anything large or that I want to maintain, but sometimes for things I don't expect to last very long, or playing with some kinds of ideas...
Not at all! Languages are much, much bigger than just their type systems, and everybody's doing cool and different stuff. I mostly use dynamic languages, but also think the stuff you do is absolutely incredible.
I mostly say this sort of thing occasionally because no matter how much effort I might put into dependent types, and how much I think they're a good thing, there's so much other stuff to know. Best to keep an open mind.
Remember also that @headinthebox likes VisualBasic
try doing it for your day-job though : /
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.