Hi folks, this is the thread for the jsCoq hacking session, first step is to fix a time that works well for everybody interested. cc @Shachar Itzhaky @Evariste G , see the current schedule at https://github.com/coq/coq/wiki/CoqWG-2022-02#schedule
Cool, thanks! My schedule is pretty flexible. Anytime except (Tue 15h, Wed 16h, Thurs 18h) work for me.
@Evariste G is this France time? I can do Tue 17h and Wed anytime except 16h France time. (I'm in Israel, so 1 hour ahead of you guys)
Ah sorry, I forgot to specify the timezone. Yes, this France time!
Maybe let's try to find a time on Wed? Also Evariste and I can meet maybe today after the core sessions for a bit?
Today or Wed after the main sessions work fine for me, thanks :)
Oh sorry there were so many messages in this stream... did you get a chance to meet?
I was unfortunately busy, maybe we can try today? I just came from the doctor so need to catch up
but thinking Hanneli a bit about what we discussed yesterday, maybe it would make more sense to organize a whole "jsCoq hacking day" [really half a day]
so we are a bit more focused
Yeah, sorry, it did not happen. We ended up in different session topics. What about trying some extra session in one of these options (all CET - Paris time): Fri 18th at 16h, or Mon 21st at 16h, or Tue 22nd at 15h?
hi, I am available Fri and Mon
(oops it looks like I'll have something else at 16h CET) - what about Mon at 15h? does it work for you @Shachar Itzhaky @Emilio Jesús Gallego Arias ?
yeah ok I can do that
Emilio suggested organizing a new jscoq session; it would be good to see who else is interested and try to match the times :)
Oh are you meeting right now though?
Hi folks, indeed sorry I had to be offline for the weekend and lost track of this
I'm good to meet now
@Hanneli Tavante what do you think?
well I guess that if you are busy at 16h it is not going to work
Maybe we can chat on the jsCoq channel for a bit
Last updated: Jan 29 2023 at 15:02 UTC