Social media / Twitter account about manifesto HOT 10 CLOSED

@ejgallego Do you think it makes sense to use a private mailing list as the e-mail address for this Twitter account? If yes, then we can set up one on Inria's sympa server.

Note that here it seems you are proposing a "coq-community" Twitter account, but to me it would make more sense to just focus on a "Coq-lang" Twitter account (which could indeed be community-managed). Thus similar to https://twitter.com/OCamlLang.

from manifesto.

In the Coq call today we decided that we will create a twitter account indeed; will close this issue when the account goes live.

from manifesto.

The account has now gone live: https://twitter.com/CoqLang

Hence, I'm closing this issue.

from manifesto.

Emilio, I fully support that! IMVHO, professional accounts like the intended one could make Twitter a better place.

from manifesto.

I'm fine with there being a Twitter account, but I'll probably stay away myself unless we can figure out some automation for posting about new releases and the like.

from manifesto.

I guess more input here is needed, at least from @Zimmi48 , @herbelin , @ybertot (and who else? )

A technical detail needed to implement this is what should the mail address associated to the twitter account be. Ideally we would setup an institutional email @inria.fr ? Using gmail, etc... poses significant risk in case of account blockage.

from manifesto.

I must confess I'm not familiar with using twitter, so I don't feel competent to answer, but that looks like a good idea.

from manifesto.

I also think a general Coq Twitter account, formally held by (an email address based at) INRIA, with community-driven content, makes a lot of sense.

from manifesto.

Indeed a possibility would be to have a Coq "marketing" team, we have discussed this a few times; I am OK with that [and added an item for the next Coq Call] but keep in mind that putting that under the Coq umbrella has some downsides, in particular the management of the account may become less agile, etc...

Let's see what the results for the call are.

from manifesto.

putting that under the Coq umbrella has some downsides, in particular the management of the account may become less agile, etc...

Agreed, that's why I was suggested a CoqLang account, but still community-managed.

from manifesto.