Posts
- 2021-12-12 | Compiler and correctness
- 2021-11-01 | Test = examples or theorem ?
- 2021-10-25 | Guix and long-term archiving
- 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