Sure, I would be interested.
@Enrico Tassi I've tried to condense my points into a somewhat parseable document for the call today: https://github.com/coq/coq/wiki/Coq-Call-2022-05-25
Also if anybody else wants to add some topics please do, only talking about build systems will probably be quite dull.
I'll be a little late, please start without me
Is there a Coq call today?
Not very conveneint for me
so I propose that if there are no topics we postpone
I have one topic to suggest actually:
applying to https://about.gitlab.com/solutions/open-source/join/
Actually there is not much to discuss (so maybe a Coq call is unneeded), I'd just like to discuss the text of the application itself, before:
(assuming the fact different maintainers apply for different namespaces is better)
Théo and Matthieu, could we talk together to do so? e.g. today at 16:00 if you're available
If I’m not mistaken, Coq is already on it
OK, good news then, but I know that this has to be renewed every year…
and this has a big impact, beyond the number of CI/CD minutes:
namely, after September 1st, namespaces for regular Free projects will only have 5 members maximum :-/
Yes, good point, I will check when it expires
We renewed last september, it experis on september 29th 2022 precisely
OK :+1: BTW, do you know if you kept some of the application text you had posted last time?
(if it can helps somehow for the coq-community application…)
As I can confirm that coq-community is not enrolled yet… and it'll be blocking for us soonish :'-|
The application was pretty short :)
BTW @Théo Zimmermann and Matthieu, do you think we could meet up briefly in the Coq weekly call video room today?
or it's better to think of another slot, or just chat in a private Zulip stream for example.
If we need to meet briefly, I'm available.
I'm available as well
Application for coq-community done :check:
Thanks @Théo Zimmermann !
I added a summary in the wiki here: https://github.com/coq/coq/wiki/Coq-Call-2022-06-29
And I'll ask Cyril Cohen before doing the same application for docker-mathcomp…
It seems we won't have another Coq Call before the end of (french) holidays time, I'll setup a page for August 17th (where at least I will be there) for a "back to work" session.
I won't be there on August 17th, but I will be there the week after.
It seems won’t be a call today, which is good since I’m again on holidays :)
bit late to decide to have a call today isn't it?
@Gaëtan Gilbert seems so
I did check this morning and the page was there, so I've added an item. I've no problem moving it to next week.
The page was created by @Pierre-Marie Pédrot at 8:06.
I have no problem not having a meeting today, but I won't be available next week unfortunately.
We have to take a decision for the findlib fix, otherwise this will defer the release
I'm not a specialist of this part of the code so I can't just merge it
I can join
any results from the pr process discussion?
Nothing concrete, AFAICT
But we mentioned:
There'll be no call today.
Again, no call today for lack of subjects. I'll make a page for next week with topic RM for 8.17.
a bit of confusion about the next call - the URL says Sept 21, but the content says Sept 22: https://github.com/coq/coq/wiki/Coq-Call-2022-09-21
The Coq Call is today, as usual
I have a very short Coq Call item today Sept 21 that probably doesn't require more than a minute or two. Any chance I could talk about that early in the call? (Conflicting meeting)
either this, or towards the end maybe?
if you mean the vscoq item on the wiki then yes
I'd be surprised it just take a minute or two, but we'll see :grinning:
spoiler: I'm just going to raise and wave a figurative flag and ask what can we/I can do to help
who's going to follow up re VsCoq? Notes are super-terse but potentially exciting
my bottom line: I asked for a decision on some sort of interim maintenance of VsCoq while we wait for this: https://github.com/coq-community/vscoq/wiki/VsCoq-1.0-Roadmap
however, some of the people involved were not able to attend the Call, so we have to wait for their opinions
Hi folks, turns out there is a double seminar today so I may arrive half an hour late, hopefully earlier
So maybe it is better to postpone my topics for next week?
I'm back from the seminars, I guess we had no call today?
There was one, but it was very short given that there was just one topic left to discuss.
Ok, I will update the wiki, sorry for today, it was an extraordinary seminar I learned about yesterday night
IIUC this week is holidays for some people, should we postpone?
I would be happy to skip the Coq Call this week.
Happy to postpone too
Are we affected by the rendez-vous issue that made the MathComp developers switch to Zoom this morning?
what's the issue?
It keeps crashing on me
For me too.
where do we go?
Notes of the call added at https://github.com/coq/coq/wiki/Coq-Call-2022-11-02 , discussion was a bit complex on some subject please don't hesitate to amend the notes
Very unfortunately I have an scheduling conflict today that I can't move, pushed my topics to next week
With no topics left on the agenda, let's cancel today's call.
that was a kinda abrupt end :)
Are you folks gonna add some notes? If not I will
I'd be interested to learn what came out of the performance working group discussion point. (I was going to join the meeting but I couldn't make it.)
I'm also quite interested in the performance working group discussion notes. (I forgot to check the agenda before missing the call, but would have shown up if I had seen this.)
We didn't reach that point. However, we discussed quite a bit about fiat-crypto and CI more generally and it would be nice to schedule a call where we can discuss this again that you can attend.
Given advance notice, I think I should be able to generally attend coq calls these days
Are you back on the East coast?
I'm on the East Coast until around the end of December, then back on the West Coast (but hopefully will be keeping a schedule that still lets me attend).
Ok, notes added, topics pushed to next call
Fiat-crypto failing for a long time, we can't afford to fix it
I think it should be fixed by https://github.com/coq/coq/pull/16809 + https://github.com/coq/coq/pull/16801
why are there a bunch of fake links on https://github.com/coq/coq/wiki/Coq-Calls ? eg https://github.com/coq/coq/wiki/Coq-Call-2022-11-23
Emilio added them...
There are no fake links, but placeholders
until the call of the 14th which is the next I'll join and where I postponed my topcis
doesn't make sense?
Coq-Call-2022-12-07 (likely not Coq Call, math-comp workshop)
I don't see why the call should be canceled.. but if it will for that reason, why the placeholder then?
I guess we can keep the entry actually pointing to a page and kill the other links
Sure, I guess you can edit it to say: (maybe not Coq Call due to math-comp workshop?)
Sure for the rest, it is a wiki folks, go ahead and tweak stuff
The placeholder is because it indeed happens, but also because we have been putting placeholders like this for calls that don't happen
then we edit them the day of the call to remove the link if the call doesn't happen
The way we have proceeded so far was to not put the link to the webpage until someone creates it with some agenda.
Yup, we can remove the links; I was afraid if I didn't put the link it could be interpreted as "no call"? I dunno, it is not common we do like the other day
I had put a point on today's coq call page but I prefer to raise the question on zulip
Ok, so no call today. I’ll be back next week!
I've added a topic about OCaml 5.0 to the Coq call for tomorrow so we can discuss what to do about OCaml 5.0 support.
The link Guillaume shared: http://gallium.inria.fr/~scherer/research/constructor-unboxing/constructor-unboxing-jfla.pdf
There’ll be no call today as no topics were raised.
I thought there was going to be a performance working group discussion? (It seems there was one scheduled for today, but it was removed by @Emilio Jesús Gallego Arias on Dec 5 or 6 at https://github.com/coq/coq/wiki/_compare/983221be98158ed1907d8b8cf33ccdb5a73ab75d...d902d6c7806ab5c1988561b7d972c489187f4897 along with:
Is there going to be a performance working group topic at some point? (I'm also curious about the motivation for putting it on the call in the first place, the motivation for taking it off, etc.)
Jason Gross said:
Is there going to be a performance working group topic at some point?
I don't know.
(I'm also curious about the motivation for putting it on the call in the first place, the motivation for taking it off, etc.)
Performance is something I've been interested since a long time (back to my start with Coq), so I thought I'd be a nice idea to discuss more. I took it off because I am not motivated anymore.
Last updated: Jun 09 2023 at 07:01 UTC