Even this one?pic.twitter.com/F09cYTrhTr
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
As I say, it's irrational :).
Even as someone who dislikes people being jerks about FP, this bot seems like a real bad idea.
From what I can tell, it's made a lot of very nice people very nervous. Which is, I hope, the opposite of the intention.
i have problem with 'elitist'.. To me elitist is to use jargon and are not willing to explain/link resources when asked. But I don't know how a bot would capture that difference.
I doubt it's really a bot :). To me it's more about mocking people for not knowing the jargon already. But this seems to be making some (IMO) nice and helpful people nervous, which is probably not part of the plan...
This dog eats monads for breakfast...I mean burritos 



As long as this dog stays away from *my* breakfast, that is fine by me :)
Some people have an irrational love for dogs, including me. So it balances out in the long run.
Choosing atom as the standard Idris editor proves lack of snobbery
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.