Stream: jsCoq

Topic: jsCoq Hacking event


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

Hi @Shachar Itzhaky @Hanneli Tavante

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

I'm moving the discussion here as the hacktahon is over; so indeed we finally didn't have time to meet last week, but we discussed about doing a half a day event in the next weeks, focused solely in jsCoq hacking

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

The hackathon was too disperse and with too many topics as to be effective it seems

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

I know a few people that would be interested in joining such an event

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

Ok I am in favor yeah. I feel some remorse for not having participated in the hackathon at all, I agree it is too erratic when most people are not in Paris.

view this post on Zulip Hanneli Tavante (Feb 21 2022 at 14:47):

+1 I'm happy to participate in a focused working day for jsCoq :)

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

I would be happy if we can (1) Come up with some kind of Quick Start guide to help newcomers run their own version of jsCoq even if they are not familiar with Node/NPM, (2) Refactor the jsCoq landing page a little bit. Esp. I think that we should also have a simpler example and maybe one that does not use ssreflect (sorry @Emilio Jesús Gallego Arias) as to be accessible to a wider audience.

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

So maybe we can open the wiki page (@Hanneli Tavante you did that already right) and add our topics

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

I have quite a few, will ping the students that wrote to me by mail

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

Indeed the dev workflow can be improved a lot, we also face a few challenges w.r.t. maintenance which I will try to detail

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

and the event would be great to actually for all of us to meet and discuss a bit about the platforms and the chanllenges

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

going back to the topic of this thread, I suggest we ping informally most people interested, fill the wiki page

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

and try to open the scheudling pool for end of the week

view this post on Zulip Hanneli Tavante (Feb 21 2022 at 15:07):

Emilio Jesús Gallego Arias said:

So maybe we can open the wiki page (Hanneli Tavante you did that already right) and add our topics

https://github.com/coq/coq/wiki/jsCoq--and-CoqDB-Working-Day

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

Thanks @Hanneli Tavante

view this post on Zulip Hanneli Tavante (Feb 24 2022 at 22:05):

What is the best way to set a date for the event?

view this post on Zulip Emilio Jesús Gallego Arias (Feb 25 2022 at 00:08):

What do you think of making an announcement first, and having a doodle on it?

view this post on Zulip Hanneli Tavante (Feb 25 2022 at 01:47):

Sounds good; where do you plan to announce it?

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

@Hanneli Tavante I think we could use discuss and coq-club, what do you think?

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

I am very busy until March 1st as I need to submit my tenure paperwork, bear with me not being very responsive

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

but once I do that I have plenty of time

view this post on Zulip Théo Zimmermann (Feb 25 2022 at 14:08):

discuss

Note that Discuss is Discourse. It's an OCaml-thing that it is called Discuss.

view this post on Zulip Hanneli Tavante (Feb 25 2022 at 15:03):

Sure, let's work on it when you have time after Mar 1st. Good luck @Emilio Jesús Gallego Arias !

view this post on Zulip Emilio Jesús Gallego Arias (Mar 17 2022 at 14:52):

Ok folks, I am free of full-time grant writing, so I think we can start to think of setting up a date and preliminary program

view this post on Zulip Emilio Jesús Gallego Arias (Mar 17 2022 at 14:53):

Should we use a poll for the date?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 17 2022 at 14:53):

Should we announce the poll in the usual places?

view this post on Zulip Hanneli Tavante (Mar 17 2022 at 14:55):

By usual places do you mean here at Zulip + mailing list + Twitter?

view this post on Zulip Emilio Jesús Gallego Arias (Mar 17 2022 at 14:55):

Yes, I think so, also discourse

view this post on Zulip Emilio Jesús Gallego Arias (Mar 17 2022 at 14:58):

We need to tweak the wiki page a bit first I guess, but we can take as a model the announcement for the Hackathon

view this post on Zulip Emilio Jesús Gallego Arias (Mar 17 2022 at 14:59):

Hanneli I think I'd be great if you would like to take the lead on the announcements, for Twitter just tag @coqlang and we'll retweet

view this post on Zulip Hanneli Tavante (Mar 17 2022 at 15:00):

Cool, I'll send a draft message here in a few hours; if it looks good I'll go ahead and send it

view this post on Zulip Hanneli Tavante (Mar 17 2022 at 15:02):

Ideally we'll need to suggest dates+times where you are also available @Emilio Jesús Gallego Arias. Do you have any preference? If not, I'll go for end of March + Early April afternoon time Central Europe

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

@Hanneli Tavante that timeline suits me very well

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

I don't have anything important

view this post on Zulip Hanneli Tavante (Mar 17 2022 at 21:47):

Message draft
==========

Hi everyone,

The previous Coq Hackathon and workgroup, held on Feb 15th-17th 2022, was great, and we plan to have an extra half-day day session to cover jsCoq and CoqDB.

We will add the session details in this dedicated page. At this time, we would like to define the date for this upcoming event. Please edit the When section in the Wiki and add your name after the options that are most convenient for you.

We are looking forward to seeing you in our next work session! If you have any questions, do not hesitate to ask them in our Zulip

view this post on Zulip Hanneli Tavante (Mar 17 2022 at 21:47):

\cc @Emilio Jesús Gallego Arias ^

view this post on Zulip Emilio Jesús Gallego Arias (Mar 18 2022 at 12:15):

Thanks @Hanneli Tavante , how about actually doing a doodle instead of the wiki?

The draft looks good to me, find a pass here (feel free to take my edits or not, they are just suggestions)

A problem we have is that "CoqDB" doesn't exist yet, so I'll try to explain what it is, hence a bit of more deep reword than I usually do.

========

Hi everyone,

we happy to announce a half-day jsCoq hacking event. The format is inspired by the previous Coq Hackaton which we think worked great.

A particular topic of interest we aim to discuss, and not directly related to jsCoq is the topic of building a "CoqDB", an attempt to develop a unified framework where information about Coq objects and metadata can be handled.

Please fill the planning poll with the dates that would work best for you, and the wiki page to add your own suggestions / ideas / requests.
We are looking forward to seeing you in this event! If you have any questions, do not hesitate to ask them in our Zulip

view this post on Zulip Hanneli Tavante (Mar 18 2022 at 14:45):

@Emilio Jesús Gallego Arias
==================
Hi everyone,

The previous Coq Hackathon and workgroup, held on Feb 15th-17th 2022, was great, and we plan to have an extra half-day session.

You can find more details on our dedicated page. At this time, we would like to define the date for this upcoming event. Please use this Doodle to select the option(s) that is (are) most convenient for you.

In this upcoming session, we plan to work on two topics: jsCoq (see the Wiki section here) and the initial implementation of "CoqDB", an attempt to develop a unified framework where information about Coq objects and metadata can be handled (see the Wiki section here).

We are looking forward to seeing you in our next work session! If you have any questions, do not hesitate to ask them at Zulip

view this post on Zulip Emilio Jesús Gallego Arias (Mar 18 2022 at 15:33):

@Hanneli Tavante looks good thanks, tho I'd maybe rephrase the starting sentence

view this post on Zulip Emilio Jesús Gallego Arias (Mar 18 2022 at 15:33):

IMHO we should start with the goal of the message: "we are happy to announce X"

view this post on Zulip Emilio Jesús Gallego Arias (Mar 18 2022 at 15:34):

to praise the previous workshop seems a bit secondary to me

view this post on Zulip Emilio Jesús Gallego Arias (Mar 18 2022 at 15:34):

in terms of people understanding what the message is about

view this post on Zulip Emilio Jesús Gallego Arias (Mar 18 2022 at 15:34):

actually I also think that "an extra half-day session" is too vague, this is mainly a jscoq event I think

view this post on Zulip Emilio Jesús Gallego Arias (Mar 18 2022 at 15:34):

we could say as you did jscoq + coqdb

view this post on Zulip Emilio Jesús Gallego Arias (Mar 18 2022 at 15:35):

but we have the problem that coqdb nobody knows what it is

view this post on Zulip Hanneli Tavante (Mar 18 2022 at 15:40):

==========
Hi everyone,

We are organizing an upcoming Coq Hackathon and workgroup session to work on two topics: jsCoq (see the Wiki section here) and the initial implementation of "CoqDB", an attempt to develop a unified framework where information about Coq objects and metadata can be handled (see the Wiki section here).

At this time, we would like to define the date for this upcoming event. Please use this Doodle to select the option(s) that is (are) most convenient for you.

We are looking forward to seeing you in our next work session! If you have any questions, do not hesitate to ask them at Zulip

view this post on Zulip Hanneli Tavante (Mar 18 2022 at 22:06):

^ if this looks goo, I'll send it out on Mon @Emilio Jesús Gallego Arias

view this post on Zulip Emilio Jesús Gallego Arias (Mar 19 2022 at 16:55):

Looks very good to me thanks!

view this post on Zulip Hanneli Tavante (Mar 21 2022 at 13:57):

Cool, announcements sent at the mailing list, discourse and Twitter! (\cc @Emilio Jesús Gallego Arias && @Evariste G )

view this post on Zulip Emilio Jesús Gallego Arias (Mar 21 2022 at 17:48):

Thanks @Hanneli Tavante , twitter is done, should we also add https://coq.discourse.group/ ?

I can take of if if you are busy.

view this post on Zulip Hanneli Tavante (Mar 21 2022 at 17:51):

I sent a message earlier on, but I think it's held for moderation (apparently)
[Edit: Ah yes, the user account is on hold :sweat_smile:]

view this post on Zulip Emilio Jesús Gallego Arias (Mar 21 2022 at 17:55):

Oh! Let me look into that

view this post on Zulip Hanneli Tavante (Mar 21 2022 at 17:58):

thanks!

view this post on Zulip Emilio Jesús Gallego Arias (Mar 21 2022 at 18:08):

Hanneli Tavante said:

thanks!

Thanks to you!

view this post on Zulip Hanneli Tavante (Mar 23 2022 at 14:51):

@Shachar Itzhaky We are planning an upcoming session to work on jsCoq, and I see you were mentioned in previous threads about it. Do you think you could make it to one of these timeslots? https://doodle.com/meeting/participate/id/lejjXAWe

view this post on Zulip Shachar Itzhaky (Mar 23 2022 at 15:04):

thanks @Hanneli Tavante , I cannot quite fit the entire 3 hours into my schedule but I may be able to attend a part of the time. I can do most of the Thu 3-6p so I'll mark that, if you choose the others I might join for ~1hr.

view this post on Zulip Hanneli Tavante (Mar 23 2022 at 15:12):

Thanks! I think we can make this work :)

view this post on Zulip Yves Bertot (Mar 31 2022 at 12:04):

Hello, is there some connection information somewhere?

view this post on Zulip Hanneli Tavante (Mar 31 2022 at 12:04):

Yes! @Yves Bertot Zoom link

view this post on Zulip Hanneli Tavante (Mar 31 2022 at 13:40):

Session starting shortly here

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

Hi folks, we have tweked the program a bit.

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

Please have a look at the wiki page

view this post on Zulip Hanneli Tavante (Mar 31 2022 at 13:41):

https://github.com/coq/coq/wiki/jsCoq--and-CoqDB-Working-Day

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

we will be starting the 5:10pm session at 5pm instead


Last updated: Jan 30 2023 at 16:03 UTC