Stream: Coq Hackathon and Working Group, Winter 2022

Topic: .vi Interfaces Proposal


view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 09:37):

Hi folks, this is the topic to organize a breakout to continue discussion of https://github.com/coq/ceps/pull/62

view this post on Zulip Paolo Giarrusso (Feb 15 2022 at 10:19):

cc @Gregory Malecha

view this post on Zulip Gregory Malecha (Feb 15 2022 at 11:17):

I can talk today from 9:30-10:30 ET (3:30-4:30 Paris)

view this post on Zulip Gregory Malecha (Feb 15 2022 at 11:19):

Also, 11:30-1:30 (5:30-7:30 Paris)

view this post on Zulip Gregory Malecha (Feb 15 2022 at 12:47):

Tomorrow is not good for me, but I will have some availability on Thursday

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 13:11):

after my presentation today is fine for me (6pm paris) wonder about others

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 13:11):

@Pierre-Marie Pédrot @Gaëtan Gilbert @Enrico Tassi

view this post on Zulip Pierre-Marie Pédrot (Feb 15 2022 at 13:39):

I don't have much time today, I'd rather do it tomorrow if possible just saw the above so no

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 13:40):

what about Thu?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 13:41):

Yeah it is not easy to schedule, next online one we will have to look for more fancy software

view this post on Zulip Emilio Jesús Gallego Arias (Feb 15 2022 at 13:41):

on the other hand we wanted to keep the impromptu nature of such events, but as people keep other commitements this may not work so well

view this post on Zulip Pierre-Marie Pédrot (Feb 15 2022 at 13:44):

I may be available on Thursday, but maybe not either, I'll have to see dynamically

view this post on Zulip Paolo Giarrusso (Feb 15 2022 at 14:08):

Otherwise we can talk without @Gregory Malecha — I understand well the technical content of the proposal :-)

view this post on Zulip Gregory Malecha (Feb 15 2022 at 14:10):

Yeah, you guys should feel free to talk without me. If there is a time tomorrow that works, I can try to be a bit more flexible.

view this post on Zulip Gregory Malecha (Feb 15 2022 at 14:11):

For example, I could do 2-3pm or 5-7pm Paris time

view this post on Zulip Matthieu Sozeau (Feb 15 2022 at 15:25):

I'd be interested to talk about it tomorrow or thursday

view this post on Zulip Jason Gross (Feb 15 2022 at 15:29):

I'm also interested in participating (and free starting ~6:30am PST / 15:30 CET)

view this post on Zulip Gregory Malecha (Feb 16 2022 at 13:12):

11:30-12:30 ET (5:30-6:30 Paris) still works for me today

view this post on Zulip Pierre-Marie Pédrot (Feb 16 2022 at 13:15):

should be fine for me

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 13:20):

You'll have push to 6pm due to the core sessions

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 13:20):

no breakouts while core sessions

view this post on Zulip Enrico Tassi (Feb 16 2022 at 14:38):

OK for me

view this post on Zulip Gregory Malecha (Feb 16 2022 at 16:05):

I have a meeting at 6:30, but I can discuss for half an hour at least.

view this post on Zulip Gregory Malecha (Feb 16 2022 at 16:06):

can someone paste the breakout link here when it starts?

view this post on Zulip Gregory Malecha (Feb 16 2022 at 17:20):

are we likely to discuss now?

view this post on Zulip Pierre-Marie Pédrot (Feb 16 2022 at 17:20):

it's going to be too short, isn't it?

view this post on Zulip Gregory Malecha (Feb 16 2022 at 17:20):

yeah, i think so

view this post on Zulip Maxime Dénès (Feb 16 2022 at 17:21):

is there any other option to schedule this discussion?

view this post on Zulip Gregory Malecha (Feb 16 2022 at 17:21):

can we put something on the calendar for tomorrow?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 16 2022 at 17:22):

By the way this week is far from optimal for me due to personal life, so I'm happy to discuss about this outside of the Hackathon too

view this post on Zulip Gregory Malecha (Feb 16 2022 at 17:22):

I'm free 10-11am tomorrow

view this post on Zulip Enrico Tassi (Feb 16 2022 at 17:22):

Tomorrow I'll have to leave at 5PM (or we can all babysit together ;-)

view this post on Zulip Pierre-Marie Pédrot (Feb 16 2022 at 17:22):

I saw that Dave Swasey is a driver of this CEP and I know for a thing he's in a plane right now, so maybe we could even get him later...

view this post on Zulip Gregory Malecha (Feb 16 2022 at 17:22):

I can do something early on Friday

view this post on Zulip Maxime Dénès (Feb 16 2022 at 17:23):

@Pierre-Marie Pédrot do you monitor the position of CEP submitters via air tags? :)

view this post on Zulip Pierre-Marie Pédrot (Feb 16 2022 at 17:23):

I won't be around on Friday, it might be a good idea to postpone this to some slightly later date to get a bit more leeway

view this post on Zulip Gregory Malecha (Feb 16 2022 at 17:24):

I am on vacation next week, but could probably negotiate a 1-hour call with my wife

view this post on Zulip Pierre-Marie Pédrot (Feb 16 2022 at 17:24):

@Maxime Dénès I have secretive private channels

view this post on Zulip Enrico Tassi (Feb 16 2022 at 17:24):

Every week we have a coq call at 4PM paris time on Wednesday, this CEP would fit one of these slots

view this post on Zulip Gregory Malecha (Feb 16 2022 at 17:24):

which day of the week is it?

view this post on Zulip Pierre-Marie Pédrot (Feb 16 2022 at 17:25):

+1 for the coq call

view this post on Zulip Enrico Tassi (Feb 16 2022 at 17:25):

info: https://github.com/coq/coq/wiki/Coq-Calls

view this post on Zulip Gregory Malecha (Feb 16 2022 at 17:26):

ok. I can try to make that work next week.

view this post on Zulip Enrico Tassi (Feb 16 2022 at 17:29):

https://github.com/coq/coq/wiki/Coq-Call-2022-02-23

view this post on Zulip Enrico Tassi (Feb 16 2022 at 17:29):

If it turns out to be a problem, we can move it to the following week

view this post on Zulip Enrico Tassi (Feb 16 2022 at 17:31):

I would make sense if at least one person behind the CEP could join, or we postpone.


Last updated: Jan 29 2023 at 15:02 UTC