Stream: coq-community devs & users

Topic: Advertising coq-community


view this post on Zulip Karl Palmskog (Aug 19 2020 at 10:41):

I also think we are terrible at advertising the community at the moment, I could definitely see some more work to get the word out, publishing blog posts or even articles

view this post on Zulip Théo Zimmermann (Aug 19 2020 at 10:41):

This will probably be two different files though (since GitHub supports multiple files in workflow/). One for opam, using docker-coq-action, one for Nix, using the Cachix actions.

view this post on Zulip Karl Palmskog (Aug 19 2020 at 10:46):

tagline:

more popular on GitHub than Standard ML!

view this post on Zulip Karl Palmskog (Aug 19 2020 at 10:50):

I think snagging (transferring) a few more high-profile projects would help as well

view this post on Zulip Théo Zimmermann (Aug 19 2020 at 10:54):

Karl Palmskog said:

tagline: more popular on GitHub than Standard ML!

What is? And is surpassing "Standard ML" really that impressive?

view this post on Zulip Théo Zimmermann (Aug 19 2020 at 10:55):

Karl Palmskog said:

I think snagging (transferring) a few more high-profile projects would help as well

I don't think it is absolutely required (although more projects are always welcome) given that it's already becoming hard to decide which six five projects should get highlighted by getting "pinned".

view this post on Zulip Karl Palmskog (Aug 19 2020 at 10:56):

Théo Zimmermann said:

Karl Palmskog said:

tagline: more popular on GitHub than Standard ML!

What is? And is surpassing "Standard ML" really that impressive?

Coq is, according to this report: https://redmonk.com/sogrady/2020/02/28/language-rankings-1-20/

And that it's not impressive is the joke.

view this post on Zulip Karl Palmskog (Aug 19 2020 at 10:59):

surpassing Haskell on GitHub would probably be the most meaningful (if neigh-impossible) goal/milestone

view this post on Zulip Karl Palmskog (Aug 19 2020 at 11:12):

maybe getting endorsements from high-ranking members of the more general community would help:

[Some] highly-cited CS professors agree, you should use Coq

view this post on Zulip Anton Trunov (Aug 19 2020 at 13:03):

I think we'd have hard time trying to surpass OCaml, which is (sadly) not nearly as popular as Haskell

view this post on Zulip Karl Palmskog (Aug 19 2020 at 13:08):

no lowball goals here, please :wink:


Last updated: Feb 05 2023 at 14:02 UTC