Ali Caglayan (May 25 2022 at 11:15): Ali Caglayan (May 25 2022 at 11:15):Sure, I would be interested.
Ali Caglayan (May 25 2022 at 11:43):@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
Ali Caglayan (May 25 2022 at 11:58):Also if anybody else wants to add some topics please do, only talking about build systems will probably be quite dull.
Matthieu Sozeau (May 25 2022 at 14:00):I'll be a little late, please start without me
Maxime Dénès (Jun 29 2022 at 09:17):Is there a Coq call today?
Matthieu Sozeau (Jun 29 2022 at 11:13):Apparently not
Emilio Jesús Gallego Arias (Jun 29 2022 at 12:07):Not very conveneint for me
Emilio Jesús Gallego Arias (Jun 29 2022 at 12:07):so I propose that if there are no topics we postpone
Erik Martin-Dorel (Jun 29 2022 at 12:20):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
Matthieu Sozeau (Jun 29 2022 at 12:21):If I’m not mistaken, Coq is already on it
Erik Martin-Dorel (Jun 29 2022 at 12:21):OK, good news then, but I know that this has to be renewed every year…
Erik Martin-Dorel (Jun 29 2022 at 12:22):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 :-/
https://about.gitlab.com/pricing/faq-efficient-free-tier/#user-limits-on-gitlab-saas-free-tier
Matthieu Sozeau (Jun 29 2022 at 12:23):Yes, good point, I will check when it expires
Matthieu Sozeau (Jun 29 2022 at 12:25):We renewed last september, it experis on september 29th 2022 precisely
Erik Martin-Dorel (Jun 29 2022 at 12:28):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 :'-|
Matthieu Sozeau (Jun 29 2022 at 12:30):The application was pretty short :)
Erik Martin-Dorel (Jun 29 2022 at 12:31):OK ^^
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.
Théo Zimmermann (Jun 29 2022 at 12:58):If we need to meet briefly, I'm available.
Matthieu Sozeau (Jun 29 2022 at 14:04):I'm available as well
Théo Zimmermann (Jun 29 2022 at 14:53):Application for coq-community done :check:
Erik Martin-Dorel (Jun 29 2022 at 14:58):Thanks @Théo Zimmermann !
I added a summary in the wiki here: https://github.com/coq/coq/wiki/Coq-Call-2022-06-29
Erik Martin-Dorel (Jun 29 2022 at 14:58):And I'll ask Cyril Cohen before doing the same application for docker-mathcomp…
Matthieu Sozeau (Jul 20 2022 at 13:04):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.
Théo Zimmermann (Jul 20 2022 at 14:01):I won't be there on August 17th, but I will be there the week after.
Matthieu Sozeau (Aug 24 2022 at 11:49):It seems won’t be a call today, which is good since I’m again on holidays :)
Gaëtan Gilbert (Aug 31 2022 at 08:37):bit late to decide to have a call today isn't it?
Emilio Jesús Gallego Arias (Aug 31 2022 at 11:29):@Gaëtan Gilbert seems so
Enrico Tassi (Aug 31 2022 at 12:49):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.
Théo Zimmermann (Aug 31 2022 at 13:00):The page was created by @Pierre-Marie Pédrot at 8:06.
Théo Zimmermann (Aug 31 2022 at 13:01):I have no problem not having a meeting today, but I won't be available next week unfortunately.
Pierre-Marie Pédrot (Aug 31 2022 at 13:17):We have to take a decision for the findlib fix, otherwise this will defer the release
Pierre-Marie Pédrot (Aug 31 2022 at 13:17):I'm not a specialist of this part of the code so I can't just merge it
Enrico Tassi (Aug 31 2022 at 13:58):I can join
Gaëtan Gilbert (Aug 31 2022 at 21:59):any results from the pr process discussion?
Maxime Dénès (Sep 01 2022 at 07:00):Nothing concrete, AFAICT
Maxime Dénès (Sep 01 2022 at 07:02):But we mentioned:
Matthieu Sozeau (Sep 07 2022 at 12:59):There'll be no call today.
Matthieu Sozeau (Sep 14 2022 at 13:05):Again, no call today for lack of subjects. I'll make a page for next week with topic RM for 8.17.
Karl Palmskog (Sep 20 2022 at 22:38):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
Matthieu Sozeau (Sep 21 2022 at 06:45):Fixed
Théo Zimmermann (Sep 21 2022 at 07:47):The Coq Call is today, as usual
Karl Palmskog (Sep 21 2022 at 09:44):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)
Karl Palmskog (Sep 21 2022 at 09:47):either this, or towards the end maybe?
Gaëtan Gilbert (Sep 21 2022 at 09:55):if you mean the vscoq item on the wiki then yes
Karl Palmskog (Sep 21 2022 at 09:56):OK thanks
Théo Zimmermann (Sep 21 2022 at 09:59):I'd be surprised it just take a minute or two, but we'll see :grinning:
Karl Palmskog (Sep 21 2022 at 10:01):spoiler: I'm just going to raise and wave a figurative flag and ask what can we/I can do to help
Paolo Giarrusso (Sep 21 2022 at 17:45):who's going to follow up re VsCoq? Notes are super-terse but potentially exciting
Karl Palmskog (Sep 21 2022 at 17:51):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
Emilio Jesús Gallego Arias (Oct 19 2022 at 11:47):Hi folks, turns out there is a double seminar today so I may arrive half an hour late, hopefully earlier
Emilio Jesús Gallego Arias (Oct 19 2022 at 13:16):So maybe it is better to postpone my topics for next week?
Emilio Jesús Gallego Arias (Oct 19 2022 at 14:51):I'm back from the seminars, I guess we had no call today?
Théo Zimmermann (Oct 19 2022 at 14:52):There was one, but it was very short given that there was just one topic left to discuss.
Emilio Jesús Gallego Arias (Oct 19 2022 at 14:56):Ok, I will update the wiki, sorry for today, it was an extraordinary seminar I learned about yesterday night
Gaëtan Gilbert (Oct 24 2022 at 12:55):IIUC this week is holidays for some people, should we postpone?
Théo Zimmermann (Oct 24 2022 at 15:04):I would be happy to skip the Coq Call this week.
Emilio Jesús Gallego Arias (Oct 24 2022 at 17:00):Happy to postpone too
Pierre-Marie Pédrot (Oct 24 2022 at 17:04):ditto
Théo Zimmermann (Nov 02 2022 at 15:04):Are we affected by the rendez-vous issue that made the MathComp developers switch to Zoom this morning?
Gaëtan Gilbert (Nov 02 2022 at 15:04):what's the issue?
Emilio Jesús Gallego Arias (Nov 02 2022 at 15:05):yes
Emilio Jesús Gallego Arias (Nov 02 2022 at 15:05):It keeps crashing on me
Théo Zimmermann (Nov 02 2022 at 15:05):For me too.
Emilio Jesús Gallego Arias (Nov 02 2022 at 15:07):where do we go?
Théo Zimmermann (Nov 02 2022 at 15:08):https://meet.jit.si/coq-call ?
Emilio Jesús Gallego Arias (Nov 02 2022 at 17:13):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
Emilio Jesús Gallego Arias (Nov 09 2022 at 11:16):Very unfortunately I have an scheduling conflict today that I can't move, pushed my topics to next week
Théo Zimmermann (Nov 09 2022 at 13:49):With no topics left on the agenda, let's cancel today's call.
Gaëtan Gilbert (Nov 16 2022 at 16:20):that was a kinda abrupt end :)
Emilio Jesús Gallego Arias (Nov 16 2022 at 16:27):Are you folks gonna add some notes? If not I will
Janno (Nov 16 2022 at 16:28):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.)
Jason Gross (Nov 16 2022 at 16:29):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.)
Théo Zimmermann (Nov 16 2022 at 16:31):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.
Jason Gross (Nov 16 2022 at 16:32):Given advance notice, I think I should be able to generally attend coq calls these days
Théo Zimmermann (Nov 16 2022 at 16:32):Are you back on the East coast?
Jason Gross (Nov 16 2022 at 16:55):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).
Emilio Jesús Gallego Arias (Nov 16 2022 at 19:00):Ok, notes added, topics pushed to next call
Jason Gross (Nov 16 2022 at 20:09):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
Gaëtan Gilbert (Nov 18 2022 at 11:58):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
Théo Zimmermann (Nov 18 2022 at 11:59):Emilio added them...
Emilio Jesús Gallego Arias (Nov 18 2022 at 12:59):There are no fake links, but placeholders
Emilio Jesús Gallego Arias (Nov 18 2022 at 13:00):until the call of the 14th which is the next I'll join and where I postponed my topcis
Emilio Jesús Gallego Arias (Nov 18 2022 at 13:00):doesn't make sense?
Enrico Tassi (Nov 18 2022 at 13:01):Coq-Call-2022-12-07 (likely not Coq Call, math-comp workshop)
Why?
Emilio Jesús Gallego Arias (Nov 18 2022 at 13:02):Why what?
Enrico Tassi (Nov 18 2022 at 13:05):I don't see why the call should be canceled.. but if it will for that reason, why the placeholder then?
Enrico Tassi (Nov 18 2022 at 13:06):I guess we can keep the entry actually pointing to a page and kill the other links
Emilio Jesús Gallego Arias (Nov 18 2022 at 13:06):Sure, I guess you can edit it to say: (maybe not Coq Call due to math-comp workshop?)
Emilio Jesús Gallego Arias (Nov 18 2022 at 13:06):Sure for the rest, it is a wiki folks, go ahead and tweak stuff
Emilio Jesús Gallego Arias (Nov 18 2022 at 13:07):The placeholder is because it indeed happens, but also because we have been putting placeholders like this for calls that don't happen
Emilio Jesús Gallego Arias (Nov 18 2022 at 13:07):then we edit them the day of the call to remove the link if the call doesn't happen
Théo Zimmermann (Nov 18 2022 at 13:14):The way we have proceeded so far was to not put the link to the webpage until someone creates it with some agenda.
Emilio Jesús Gallego Arias (Nov 18 2022 at 13:25):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
Cyril Cohen (Nov 23 2022 at 13:20):I had put a point on today's coq call page but I prefer to raise the question on zulip
Matthieu Sozeau (Nov 23 2022 at 13:28):Ok, so no call today. I’ll be back next week!
Ali Caglayan (Nov 29 2022 at 21:09):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.
Ali Caglayan (Nov 30 2022 at 15:43):The link Guillaume shared: http://gallium.inria.fr/~scherer/research/constructor-unboxing/constructor-unboxing-jfla.pdf
Matthieu Sozeau (Dec 14 2022 at 11:48):There’ll be no call today as no topics were raised.
Jason Gross (Dec 14 2022 at 15:08):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:
Emilio Jesús Gallego Arias (Dec 14 2022 at 15:13):Yup
Jason Gross (Dec 14 2022 at 15:36):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.)
Emilio Jesús Gallego Arias (Dec 14 2022 at 15:48):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: Apr 20 2024 at 00:02 UTC