Stream: Coq users

Topic: Coq's Winter 2022 Hackaton


view this post on Zulip Emilio Jesús Gallego Arias (Jan 17 2022 at 17:09):

Hi all, for now we will use this topic to discuss the upcoming Coq Working Group and Hackaton next month.

view this post on Zulip Mycroft92 (Jan 18 2022 at 15:05):

Hi, I just need to add my details to the participant section to register? Is there no other way where I can hide my email?
I just added my (real) name for now.

view this post on Zulip Emilio Jesús Gallego Arias (Jan 18 2022 at 16:31):

Hi @Mycroft92 , your name is just fine! Affiliation and email are optional, you can also add your Zulip nick so people could map these

view this post on Zulip Ali Caglayan (Jan 18 2022 at 16:34):

Here is the link to the page anyone else interested: https://github.com/coq/coq/wiki/CoqWG-2022-02

view this post on Zulip Tomás Díaz (Jan 21 2022 at 16:04):

@Emilio Jesús Gallego Arias what are you (more or less) covering in your "Coq Internals Seminar" ?

view this post on Zulip Emilio Jesús Gallego Arias (Jan 21 2022 at 16:26):

@Tomás Díaz I will post a TOC, good idea; I hope to cover what happens when you do coqc foo.v

view this post on Zulip Emilio Jesús Gallego Arias (Jan 21 2022 at 16:26):

that is to say, what are the components involved in processing and type-checking a .v file

view this post on Zulip Emilio Jesús Gallego Arias (Jan 21 2022 at 16:27):

a kind of general overview of the system, a map if you want, so people can get an idea of where is what

view this post on Zulip Emilio Jesús Gallego Arias (Jan 21 2022 at 16:27):

but of course I'm open to suggestions, so I'll post the TOC and wait for feedback in the wiki

view this post on Zulip Tomás Díaz (Jan 21 2022 at 16:29):

nice, ty

view this post on Zulip Karl Palmskog (Jan 21 2022 at 19:02):

we look forward to an "elaborate" architectural digram :wink:

view this post on Zulip Karl Palmskog (Jan 21 2022 at 19:04):

can we use the Big Blue Button videoconf via Renater or Inria? Would be helpful for sure (in my opinion best system I've used for this kind of workshop)

view this post on Zulip Karl Palmskog (Jan 21 2022 at 19:09):

I'd like to request a "Coq PR tutorial" to understand the contribution process and automation better. Would be nice if one or more of the core team members could be available as PR mentors for PRs of reasonable size/scope discussed upfront, i.e., they commit to advise a PR and shepherd it to merge (or make a call to abort, if things go wrong)

view this post on Zulip Karl Palmskog (Jan 21 2022 at 19:11):

sadly I might need advice on something as trivial as adding a project to CI

view this post on Zulip Ana de Almeida Borges (Jan 21 2022 at 19:15):

Adding a project to CI seems like the kind of thing that could get its own tutorial, although perhaps a nice written tutorial would suffice (I don't know if that already exists).

view this post on Zulip Karl Palmskog (Jan 21 2022 at 19:15):

there is already quite a lot of documentation, but then wrenches get thrown in like build system issues

view this post on Zulip Karl Palmskog (Jan 21 2022 at 19:17):

but I was actually hoping to get help on first porting a plugin (possibly several) to master, then adding it to CI. Obviously the first part is the hardest

view this post on Zulip Emilio Jesús Gallego Arias (Jan 21 2022 at 23:39):

Requests sound nice, pleace folks add them to the wiki page so we can try to find someone interested in them

view this post on Zulip Evariste G (Jan 22 2022 at 15:33):

Hi! I'd like to get some help with jscoq, and the Hackathon seems like a good opportunity for it. Is this subject suitable for the event? If yes, shall I go ahead and add it to the wiki? Thanks!

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

Hi @Evariste G , it is absolutely suitable! Please add your request to the wiki, and provide a bit of detail

view this post on Zulip Emilio Jesús Gallego Arias (Jan 24 2022 at 19:51):

@Ali Caglayan , seems like time we should send some kind of reminder, right?

view this post on Zulip Emilio Jesús Gallego Arias (Jan 26 2022 at 20:35):

@Ali Caglayan would you like send it coq-club? I think it is your turn :D

view this post on Zulip Emilio Jesús Gallego Arias (Jan 26 2022 at 20:35):

I'm gonna take care of twitter :D

view this post on Zulip Emilio Jesús Gallego Arias (Jan 26 2022 at 20:36):

Should we say we'd try to make the program like Feb 2nd?

view this post on Zulip Emilio Jesús Gallego Arias (Jan 26 2022 at 20:36):

or maybe a bit later?

view this post on Zulip Ali Caglayan (Jan 26 2022 at 20:42):

I think we can make the program for then.

view this post on Zulip Ali Caglayan (Jan 31 2022 at 13:21):

We have a dedicated stream for the event now: https://coq.zulipchat.com/#narrow/stream/314095-Coq-Hackathon.20and.20Working.20Group.2C.20Winter.202022

view this post on Zulip Karl Palmskog (Feb 14 2022 at 16:07):

heads up that the hackathon is starting tomorrow Feb 15 morning CET time, first presentation is 15:00 CET: https://github.com/coq/coq/wiki/CoqWG-2022-02

Please join the stream and write on the wiki if you plan to attend.

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

Thanks @Karl Palmskog , we will send a mail reminder soon

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

Indeed all join!


Last updated: Mar 29 2024 at 12:02 UTC