Emilio Jesús Gallego Arias (Feb 15 2022 at 09:37): 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
Paolo Giarrusso (Feb 15 2022 at 10:19):cc @Gregory Malecha
Gregory Malecha (Feb 15 2022 at 11:17):I can talk today from 9:30-10:30 ET (3:30-4:30 Paris)
Gregory Malecha (Feb 15 2022 at 11:19):Also, 11:30-1:30 (5:30-7:30 Paris)
Gregory Malecha (Feb 15 2022 at 12:47):Tomorrow is not good for me, but I will have some availability on Thursday
Emilio Jesús Gallego Arias (Feb 15 2022 at 13:11):after my presentation today is fine for me (6pm paris) wonder about others
Emilio Jesús Gallego Arias (Feb 15 2022 at 13:11):@Pierre-Marie Pédrot @Gaëtan Gilbert @Enrico Tassi
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
Emilio Jesús Gallego Arias (Feb 15 2022 at 13:40):what about Thu?
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
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
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
Paolo Giarrusso (Feb 15 2022 at 14:08):Otherwise we can talk without @Gregory Malecha — I understand well the technical content of the proposal :-)
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.
Gregory Malecha (Feb 15 2022 at 14:11):For example, I could do 2-3pm or 5-7pm Paris time
Matthieu Sozeau (Feb 15 2022 at 15:25):I'd be interested to talk about it tomorrow or thursday
Jason Gross (Feb 15 2022 at 15:29):I'm also interested in participating (and free starting ~6:30am PST / 15:30 CET)
Gregory Malecha (Feb 16 2022 at 13:12):11:30-12:30 ET (5:30-6:30 Paris) still works for me today
Pierre-Marie Pédrot (Feb 16 2022 at 13:15):should be fine for me
Emilio Jesús Gallego Arias (Feb 16 2022 at 13:20):You'll have push to 6pm due to the core sessions
Emilio Jesús Gallego Arias (Feb 16 2022 at 13:20):no breakouts while core sessions
Enrico Tassi (Feb 16 2022 at 14:38):OK for me
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.
Gregory Malecha (Feb 16 2022 at 16:06):can someone paste the breakout link here when it starts?
Gregory Malecha (Feb 16 2022 at 17:20):are we likely to discuss now?
Pierre-Marie Pédrot (Feb 16 2022 at 17:20):it's going to be too short, isn't it?
Gregory Malecha (Feb 16 2022 at 17:20):yeah, i think so
Maxime Dénès (Feb 16 2022 at 17:21):is there any other option to schedule this discussion?
Gregory Malecha (Feb 16 2022 at 17:21):can we put something on the calendar for tomorrow?
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
Gregory Malecha (Feb 16 2022 at 17:22):I'm free 10-11am tomorrow
Enrico Tassi (Feb 16 2022 at 17:22):Tomorrow I'll have to leave at 5PM (or we can all babysit together ;-)
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...
Gregory Malecha (Feb 16 2022 at 17:22):I can do something early on Friday
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? :)
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
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
Pierre-Marie Pédrot (Feb 16 2022 at 17:24):@Maxime Dénès I have secretive private channels
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
Gregory Malecha (Feb 16 2022 at 17:24):which day of the week is it?
Pierre-Marie Pédrot (Feb 16 2022 at 17:25):+1 for the coq call
Enrico Tassi (Feb 16 2022 at 17:25):info: https://github.com/coq/coq/wiki/Coq-Calls
Gregory Malecha (Feb 16 2022 at 17:26):ok. I can try to make that work next week.
Enrico Tassi (Feb 16 2022 at 17:29):https://github.com/coq/coq/wiki/Coq-Call-2022-02-23
Enrico Tassi (Feb 16 2022 at 17:29):If it turns out to be a problem, we can move it to the following week
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: Jun 11 2023 at 00:30 UTC