Stream: math-comp devs

Topic: Finmap coding sprint


view this post on Zulip Cyril Cohen (Nov 28 2023 at 13:54):

Dear @all Mathcomp developers and users,

From Tuesday December 12 to Friday December 15, 2023, there will be a coding sprint with the purpose of merging the contents of the repository math-comp/finmap into the core repository math-comp/math-comp, which will cause a rewriting of choiceType to accommodate this change.

This task may require a large porting effort and we would like to call to volunteers to participate in this online event.

Please register on

https://github.com/math-comp/math-comp/wiki/Finmap-coding-sprint

and indicate your availability if you intend to participate to some or all of the event.

Best wishes,

view this post on Zulip Karl Palmskog (Nov 28 2023 at 13:57):

how can volunteers help besides working directly on the code? I could probably test changes on a bunch of finmap-using projects I maintain and have lying around, if that would be useful

view this post on Zulip Cyril Cohen (Nov 28 2023 at 14:52):

Karl Palmskog said:

how can volunteers help besides working directly on the code? I could probably test changes on a bunch of finmap-using projects I maintain and have lying around, if that would be useful

That would be good indeed! I believe this is part of the porting efforts.

view this post on Zulip Karl Palmskog (Nov 28 2023 at 14:56):

OK, I will sign up to work on that kind of stuff, even though I might be distracted by other work

view this post on Zulip Ana de Almeida Borges (Nov 28 2023 at 15:03):

Is the plan to merge only the mathcomp 2.0 version or 1.* as well?

view this post on Zulip Emilio Jesús Gallego Arias (Nov 28 2023 at 15:58):

@Cyril Cohen I'll be happy to help if you folks could benefit from having a multi-project build setup (or IDE setup)

view this post on Zulip Pierre Roux (Nov 28 2023 at 19:18):

Ana de Almeida Borges said:

Is the plan to merge only the mathcomp 2.0 version or 1.* as well?

We'll definitely work on mathcomp 2. I see no fundamental reason why the work couldn't be backported to mathcomp 1, but considering the amount of work required, I guess we probably won't do it.

view this post on Zulip Cyril Cohen (Nov 29 2023 at 12:47):

Pierre Roux said:

Ana de Almeida Borges said:

Is the plan to merge only the mathcomp 2.0 version or 1.* as well?

We'll definitely work on mathcomp 2. I see no fundamental reason why the work couldn't be backported to mathcomp 1, but considering the amount of work required, I guess we probably won't do it.

There could be a fundamental reason if we exploit HB to try to get a seemless change for part of the porting effort. I guess we will evaluate during the porting sprint how much a port to mathcomp 1 would cost, but I agree with @Pierre Roux that it is unlikely we do it.

view this post on Zulip Pierre Roux (Dec 11 2023 at 09:46):

At what time do we start tomorrow?

view this post on Zulip Cyril Cohen (Dec 11 2023 at 09:52):

Should we start at 9:30 or 10:00 ?

view this post on Zulip Pierre Roux (Dec 11 2023 at 10:01):

I guess the eastmost people (Japan) should decide.

view this post on Zulip Cyril Cohen (Dec 11 2023 at 10:06):

Yes

view this post on Zulip Pierre Roux (Dec 11 2023 at 10:06):

Pinging @Reynald Affeldt

view this post on Zulip Reynald Affeldt (Dec 11 2023 at 10:08):

that does not make a big difference but indeed the sooner the better

view this post on Zulip Pierre Roux (Dec 11 2023 at 10:33):

Indeed, both sound terrible for you, so let's go for 9:30

view this post on Zulip Cyril Cohen (Dec 11 2023 at 10:37):

I could even do 8:00 but we should check with everyone...

view this post on Zulip Reynald Affeldt (Dec 11 2023 at 15:33):

Dear all,

The finmap coding sprint will happen online (https://rendez-vous.renater.fr/mathcomp).
tomorrow (2023-12-12) at 09:30 (Paris time).

Further information will be made available on MathComp's wiki [1] during the week.

The pull request to welcome our efforts is ready [2] but what will become of it
is precisely tomorrow's topic.

See you online!

  Reynald, Cyril, Enrico
--

[1] https://github.com/math-comp/math-comp/wiki/Finmap-coding-sprint
[2] https://github.com/math-comp/math-comp/pull/1138

view this post on Zulip Huỳnh Trần Khanh (Dec 12 2023 at 08:22):

8 minutes

view this post on Zulip Reynald Affeldt (Dec 12 2023 at 08:23):

waiting for an Inria host

view this post on Zulip Cyril Cohen (Dec 12 2023 at 08:23):

Give me 2 min

view this post on Zulip Reynald Affeldt (Dec 12 2023 at 11:25):

back at 13:45

view this post on Zulip Huỳnh Trần Khanh (Dec 13 2023 at 01:13):

no force push

are there branch protection rules?

view this post on Zulip Huỳnh Trần Khanh (Dec 13 2023 at 01:58):

I feel someone will ruin everything

view this post on Zulip Huỳnh Trần Khanh (Dec 13 2023 at 02:07):

btw my first name is Khanh in the future please refer to me by my first name alright

view this post on Zulip Cyril Cohen (Dec 15 2023 at 08:52):

we are online again

view this post on Zulip Cyril Cohen (Dec 15 2023 at 12:11):

back at 13:45 personnally

view this post on Zulip Cyril Cohen (Jan 10 2024 at 10:37):

Dear @all ,

We envisioned the week of Feb 12 to continue the work of integrating and refactoring finset and finmap.

Please confirm or update your availability here:
https://framadate.org/vMIPgd8mKDSQ2mSP

For the record, this is what we did during the first week:
https://github.com/math-comp/math-comp/pull/1138
and there were still a lot of unresolved questions.

Best wishes,


Last updated: Jul 23 2024 at 20:01 UTC