Stream: Coq Hackathon and Working Group, Winter 2022

Topic: Nix Session?


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

Hi folks, anyone up to give a Nix session?

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

I know a few people is interested on it, myself included

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

I had trouble understanding the current Nix setup

view this post on Zulip Théo Zimmermann (Feb 15 2022 at 09:12):

Since you are here @Cyril Cohen, did you notice the request for a Nix session? I haven't answered because I couldn't really prepare anything, but should we plan for some sort of informal Q&A session where we can help and guide new Nix / Coq Nix Toolbox users?

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

I think just a demo would be great

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

my own sessions except for the diversity one are not prepared at all

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

but more like interacting

view this post on Zulip Cyril Cohen (Feb 15 2022 at 09:19):

I'm ok with answering questions. I could also do a live demo of whatever people want, but I would need to understand what, and try the demo first ^^'

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

For me I have two things I'd like to see:

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

the second one is way more important for me

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

as my coauthors like nix a lot , so I'd like to move some ongoing developments to nix

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

I mean pure Coq developments, using math-comp, metacoq, etc...

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

I always had trouble trying to figure out how select a particular version etc...

view this post on Zulip Cyril Cohen (Feb 15 2022 at 09:23):

Sure, I can do that (I could also replay the demo of the last coq workshop ;) )

view this post on Zulip Cyril Cohen (Feb 15 2022 at 09:23):

(sorry, kidding, live and interactive is better)

view this post on Zulip Cyril Cohen (Feb 15 2022 at 09:31):

maybe it could be a hands on tutorial, "bring your project, I do it on a stub, and you do it for real"?

view this post on Zulip Cyril Cohen (Feb 15 2022 at 10:38):

Maybe on Thursday morning like 10am Paris time ?

view this post on Zulip Cyril Cohen (Feb 16 2022 at 15:29):

Should I add it to the program?

view this post on Zulip Ali Caglayan (Feb 16 2022 at 15:30):

That's fine to add :-)

view this post on Zulip Cyril Cohen (Feb 16 2022 at 16:23):

I added this to the program https://github.com/coq/coq/wiki/CoqWG-2022-02#Using-nix-for-a-Coq-package. Please try to come with nix installed
CC @Emilio Jesús Gallego Arias; @Karl Palmskog, @Kenji Maillard, @Pierre Jouvelot

view this post on Zulip Théo Zimmermann (Feb 17 2022 at 09:00):

Hello, which break out room should we use?

view this post on Zulip Cyril Cohen (Feb 17 2022 at 09:03):

Let's go to number one?

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

@Karl Palmskog @Kenji Maillard We are about to get started.

view this post on Zulip Cyril Cohen (Feb 17 2022 at 09:18):

https://github.com/math-comp/math-comp/wiki/Using-nix#error-when-installing-nix

view this post on Zulip Cyril Cohen (Feb 17 2022 at 09:57):

https://github.com/coq-community/coq-nix-toolbox/

view this post on Zulip Karl Palmskog (Feb 17 2022 at 11:09):

thanks a lot for the tutorial Cyril, Théo, in particular the high-level explanation of how things are organized. I think I will try to initialize the Nix toolbox for a few more of my projects in coq-community soon.

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

Hi folks you recoreded the session?

view this post on Zulip Théo Zimmermann (Feb 17 2022 at 12:59):

Unfortunately not because it happened in a breakout room.


Last updated: Jan 29 2023 at 16:02 UTC