Stream: Coq Hackathon and Working Group, Winter 2022

Topic: jsCoq Hacking Session


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

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

view this post on Zulip Evariste G (Feb 09 2022 at 18:49):

Cool, thanks! My schedule is pretty flexible. Anytime except (Tue 15h, Wed 16h, Thurs 18h) work for me.

view this post on Zulip Shachar Itzhaky (Feb 10 2022 at 20:30):

@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)

view this post on Zulip Evariste G (Feb 10 2022 at 20:31):

Ah sorry, I forgot to specify the timezone. Yes, this France time!

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

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?

view this post on Zulip Evariste G (Feb 15 2022 at 13:57):

Today or Wed after the main sessions work fine for me, thanks :)

view this post on Zulip Shachar Itzhaky (Feb 17 2022 at 10:57):

Oh sorry there were so many messages in this stream... did you get a chance to meet?

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

I was unfortunately busy, maybe we can try today? I just came from the doctor so need to catch up

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

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]

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

so we are a bit more focused

view this post on Zulip Hanneli Tavante (Feb 17 2022 at 13:46):

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?

view this post on Zulip Shachar Itzhaky (Feb 17 2022 at 19:53):

hi, I am available Fri and Mon

view this post on Zulip Hanneli Tavante (Feb 17 2022 at 20:52):

(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 ?

view this post on Zulip Shachar Itzhaky (Feb 18 2022 at 14:00):

yeah ok I can do that

view this post on Zulip Hanneli Tavante (Feb 18 2022 at 14:40):

Emilio suggested organizing a new jscoq session; it would be good to see who else is interested and try to match the times :)

view this post on Zulip Shachar Itzhaky (Feb 21 2022 at 14:20):

Oh are you meeting right now though?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 21 2022 at 14:30):

Hi folks, indeed sorry I had to be offline for the weekend and lost track of this

view this post on Zulip Emilio Jesús Gallego Arias (Feb 21 2022 at 14:30):

I'm good to meet now

view this post on Zulip Emilio Jesús Gallego Arias (Feb 21 2022 at 14:30):

@Hanneli Tavante what do you think?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 21 2022 at 14:31):

well I guess that if you are busy at 16h it is not going to work

view this post on Zulip Emilio Jesús Gallego Arias (Feb 21 2022 at 14:31):

Maybe we can chat on the jsCoq channel for a bit


Last updated: Jan 29 2023 at 15:02 UTC