Jason Gross (Feb 08 2022 at 19:00): Jason Gross (Feb 08 2022 at 19:00):It looks like https://proofassistants.stackexchange.com/ just opened for people who signed up for the beta. Should the bot post questions asked on this?
Théo Winterhalter (Feb 08 2022 at 19:05):Maybe once it reaches public beta in 2-4 weeks (as they seem to imply in the email)?
Théo Zimmermann (Feb 08 2022 at 19:15):The bot should automatically pick up on the new Proof Assistants SE when the site becomes public. Possibly, it risks posting all the new questions that were posted in the private beta at once.
Théo Zimmermann (Mar 15 2022 at 17:52):It appears that the beta is finally public. I noticed because the bot has started picking up new questions from this site :tada:
Théo Zimmermann (Mar 15 2022 at 18:42):We should probably prepare announcements for Twitter, Coq-Club and Discourse.
Théo Zimmermann (Mar 15 2022 at 18:53):See https://github.com/coq/www/pull/193 for a proposed website update.
Théo Zimmermann (Mar 16 2022 at 11:53):I'm thinking that to make sure that a large part of the community learns about the new Proof Assistants Stack Exchange eventually, it would even make sense to advertise it with a banner on Discourse and on the website, like we did for the Coq Community Survey.
Théo Zimmermann (Mar 16 2022 at 13:58):Banners on the Coq website and the Coq Discourse :check:
Théo Zimmermann (Mar 16 2022 at 14:34):Pinned tweet on CoqLang :check:
Théo Zimmermann (Mar 16 2022 at 14:34):I think I'll leave it to others to announce on Coq-Club.
Last updated: Sep 30 2023 at 07:01 UTC