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: Feb 06 2023 at 19:03 UTC