Emilio Jesús Gallego Arias (Feb 07 2022 at 21:39): Emilio Jesús Gallego Arias (Feb 07 2022 at 21:39):Hi folks, anyone up to give a Nix session?
Emilio Jesús Gallego Arias (Feb 07 2022 at 21:39):I know a few people is interested on it, myself included
Emilio Jesús Gallego Arias (Feb 07 2022 at 21:40):I had trouble understanding the current Nix setup
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?
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:19):I think just a demo would be great
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:19):my own sessions except for the diversity one are not prepared at all
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:19):but more like interacting
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 ^^'
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:22):For me I have two things I'd like to see:
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:22):the second one is way more important for me
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
Emilio Jesús Gallego Arias (Feb 15 2022 at 09:22):I mean pure Coq developments, using math-comp, metacoq, etc...
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...
Cyril Cohen (Feb 15 2022 at 09:23):Sure, I can do that (I could also replay the demo of the last coq workshop ;) )
Cyril Cohen (Feb 15 2022 at 09:23):(sorry, kidding, live and interactive is better)
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"?
Cyril Cohen (Feb 15 2022 at 10:38):Maybe on Thursday morning like 10am Paris time ?
Cyril Cohen (Feb 16 2022 at 15:29):Should I add it to the program?
Ali Caglayan (Feb 16 2022 at 15:30):That's fine to add :-)
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
Théo Zimmermann (Feb 17 2022 at 09:00):Hello, which break out room should we use?
Cyril Cohen (Feb 17 2022 at 09:03):Let's go to number one?
Théo Zimmermann (Feb 17 2022 at 09:08):@Karl Palmskog @Kenji Maillard We are about to get started.
Cyril Cohen (Feb 17 2022 at 09:18):https://github.com/math-comp/math-comp/wiki/Using-nix#error-when-installing-nix
Cyril Cohen (Feb 17 2022 at 09:57):https://github.com/coq-community/coq-nix-toolbox/
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.
Emilio Jesús Gallego Arias (Feb 17 2022 at 12:58):Hi folks you recoreded the session?
Théo Zimmermann (Feb 17 2022 at 12:59):Unfortunately not because it happened in a breakout room.
Last updated: Jun 11 2023 at 01:30 UTC