Posts
- 2024-12-11 | Guix: a factory for containers?
- 2024-11-01 | Visiting a future of GNU
- 2024-09-27 | Lettre à Régis
- 2024-06-19 | Back from ACM Rep 2024
- 2024-04-11 | Rewriting Guix fixed-output past derivation
- 2024-03-28 | Back from Reproducible Days organized by French network
- 2024-03-17 | Billet d’humeur sur la bureaucratie
- 2024-03-15 | Does Guix matters for High-Performance Computing?
- 2024-02-05 | Revisiting Guile sorting
- 2024-01-31 | Back from Software Heritage meeting
- 2023-12-21 | Redoing our paper in Nature Scientific Data (Oct. 2022)
- 2023-12-14 | Talk in bioinfo seminar of Pasteur Institute
- 2023-11-02 | Guix: an intuition about G-expression
- 2023-11-01 | Guix: Quasiquote and G-expression
- 2023-10-31 | RFC proposal for Guix
- 2023-10-30 | Toward RFC for Guix?
- 2023-10-01 | Is Guix full-source bootstrap a lie?
- 2023-06-23 | Redoing one paper from ReScience C back on 2020
- 2023-06-17 | Lettre aux acquittés
- 2023-06-14 | Une autre semaine aux Assises : jour III
- 2023-06-13 | Une autre semaine aux Assises : jour II
- 2023-06-11 | Juré aux Assises, que m'en reste-t-il ?
- 2023-06-10 | Un quantum de prison sans la connaître ?
- 2023-06-09 | Juré 6, une semaine à la Cour d'Assises
- 2023-06-05 | Comment ça fonctionne une Cour d'Assises ?
- 2023-06-04 | Lettre à Alain Guyard (auteur de La zonzon)
- 2023-06-03 | Cour d'Assises : convoqué numéro 43
- 2023-03-03 | Guix: intrinsic vs extrinsic identifier: toward more robustness?
- 2023-02-23 | Talk in seminar of IRILL
- 2023-02-08 | Back from Software Heritage anniversary at UNESCO
- 2023-02-06 | Back from Guix Days and FOSDEM (Brussels)
- 2022-12-01 | Talk in bioinfo seminar of IBENS
- 2022-11-29 | Café Guix: introducing Scheme
- 2022-11-28 | Derivative, dual numbers and Guile
- 2022-11-20 | Back from Capitole du Libre (Toulouse)
- 2022-11-08 | Back from BlueHats, satellite to OSX 2022
- 2022-07-07 | Café Guix: extend Guix using
--load-pathand then channel - 2022-06-25 | Back from INRAE Montpellier
- 2022-05-22 | Back from JRES
20212022 – mini-tuto about Guix - 2022-04-15 | Café Guix: what about long term?
- 2021-12-12 | Compiler and correctness
- 2021-11-01 | Test = examples or theorem ?
- 2021-10-25 | Guix and long-term archiving in action
- 2021-10-12 | How to add a package to Guix
- 2021-09-23 | Why GuixHPC matters
- 2021-09-17 | Reproduce Docker images produced by Guix
- 2021-09-09 | Which problems Scientist has that Guix solves
- 2021-04-01 | Hotchplotch, yum, pop, slurp!
- 2021-02-03 | A pedestrian introduction to Monad and Guix
- 2020-12-20 | Boui-boui ? boui, boui-boui!
- 2020-11-12 | Quick presentation of GNU Guix
- 2020-04-14 | Emacs + Org + Guix + GitLabCI = this website ♥
(updated 2021-02-19) - 2019-12-12 | Back from BlueHats satellite to POSS 2019
- 2019-03-04 | Calcul de Dérivées via les nombres duaux
