Minutes March 24 2021 - math-comp/math-comp GitHub Wiki

Participants: Assia, Christian, Cyril, Enrico, Kazuhiko, Reynald

Nix setup

• Plans to record a "Ready to review a PR under 3min" video by Cyril. Assia volunteers to serve as guinea pig.

• Cyril gives a quick glimpse in the future of mathcomp nix-based CI which will make dependencies available to everyone

  What about overlays? More Q&A after recording the demo.

Random topic:

Talking about making "a come and merge your mathcomp extension week."

Dev meeting organization

• Reynald will do the light logistics for dev meetings, unless someone else volunteers

• Should we create a private Zulip stream for mathcomp-dev?

  Why is such a mailing list private in the first place:

  • to make strategic discussions
  • Kazuhiko: useful when talking about a new paper

  Conclusion: let's create a private channel, Cyril will create it.

External communication

Adding papers to https://math-comp.github.io/papers.html

• did the participants add their recent papers?
• make a regular public call for people to check and add their work?

Followup on the plans about fostering activity on mathcomp

Cf this pad

Quick discussion:

• Lack of contributors comes back often
• Christian insists on not sacrificing the quality (which makes expert time required)
• A linter would helps to guarantee some quality standards a relieve experts from this task:
  • We agree it would be nice to have an engineer working on that,
  • Cyril believes it's essential to get a linter before deploying a communication strategy to contributers, otherwise it would cost too much time to expert to do the linting by hand.
• Nix setup is designed to save expert time.