Let me head you off: I don't intend to usurp this focussed, useful group into Twitter, but I use both. It seems stan hashtags have never been used. #stan apparently means Stalker + Fan = Stan (not good), while #mcstan has never been used (could be confused if some rapper of that name comes along) and #rstan is a little R-centric. I'm going to go with #mcstan right now, and if anyone wants to correct me so we get to some consensus, please do!
--
You received this message because you are subscribed to the Google Groups "Stan users mailing list" group.
To unsubscribe from this group and stop receiving emails from it, send an email to stan-users+...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
I've only been using it for a couple of weeks, but I think so. But shouldn't it be hmc_stan? ;-)
You received this message because you are subscribed to a topic in the Google Groups "Stan users mailing list" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/stan-users/XK-0hE4W0iA/unsubscribe.
To unsubscribe from this group and all its topics, send an email to stan-users+...@googlegroups.com.