@zimoun@social.sciences.re

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

📣 #Guix presentation at at #FLiSol 2026 🤩

You are in Brazil? you want to know more about Guix?

Checkout the details with MiniDebConf in Campinas.

FLiSol: Festival Latino-americano de Instalación de Software Libre

https://flisol.info/FLISOL2026
https://campinas.mini.debconf.org/
https://campinas.mini.debconf.org/talks/17-uma-introducao-a-gnu-guix/

social.sciences.re

8

0

7

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Reading post: « Git mirror and #Nix flakes – a practical approach to supply chain security »

🤔 I’m not convinced that mirroring is “the Right Thing” here; it sounds to me as some “worse and holed is maybe better”.

Instead of mirrors for tackling the upstream troubles, it seems more elegant to have an archive that collects all the public code and then fallback to it when needed.

Guess what? #Guix does that using #SoftwareHeritage!

https://www.softwareheritage.org/2025/05/21/software-heritage-guix-deployment

https://blog.networld.to/git-mirrors-and-nix-flakes-a-practical-approach-to-supply-chain-security/

social.sciences.re

7

0

5

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

« Don’t trust, verify » by #curl author – must-read!

« Software and digital security should rely on verification, rather than trust. I want to strongly encourage more users and consumers of software to verify curl. And ideally require that you could do at least this level of verification of other software components in your dependency chains. »

🤔 It reminds me « Identifying software » #Guix blog post. 🤩

Check them out!

https://guix.gnu.org/en/blog/2024/identifying-software/
https://daniel.haxx.se/blog/2026/03/26/dont-trust-verify/

social.sciences.re

Mastodon -- Sciences.Re

8

0

9

0

Simon Tournier @zimoun@social.sciences.re

· 7mo ago

Read on #Guix science channel about #Bazel:

« The offending upstream commit is here: github.com/tensorflow/tensorflow@e85860e838

There is no way to build Tensorflow without a bundled Python toolchain. The only way I see is to trick it into "downloading" our provided Python toolchain from a file:// URL.

I find this battle against upstream's approach towards reproducibility exhausting. »

🤔 Could you stop to say: “yeah Guix is great but I don’t use because it doesn’t provide what I need”…

…and instead explicitly say: “my research outcome is more important than doing it correctly”.

https://codeberg.org/guix-science/guix-science/issues/593#issuecomment-11048234
#ReproducibleResearch #OpenScience

social.sciences.re

9

1

9

0

Simon Tournier @zimoun@social.sciences.re

· 7mo ago

📣 Hey #Guix, #GCD 007: Teams, Special Teams and Memberships

Authored by @gnu_slash_gabber@social.tchncs.de

Please comment this Guix Consensus Document by reviewing on Codeberg
https://codeberg.org/guix/guix-consensus-documents/pulls/11

The Discussion period started on Sat, 28 Feb 2026.
The Discussion period ends, at best, on:

Monday, 30 March 2026*

Do not wait the last minute for commenting! Please remember:

1. Be clear and explicit about what you are suggesting
2. Remain focused: do not change the scope
3. Ensure progress
4. Aim for finalization
5. Review is a discussion

The aim of the process is to get a document we all can live with.

*Day: Décadi 10 Germinal an 234 de la Révolution, jour du Couvoir :-)

social.sciences.re

8

0

7

0

Simon Tournier @zimoun@social.sciences.re

· 8mo ago

Replying to

@baleine@piaille.fr Awesome! 😍 A HUGE thanks for all the people involved. 🤩 Special mention for the #Guix release team, super great job for the first output of GCD 005 “Regular and efficient releases“. 😁

8

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

The politics of language design by Pierre-Étienne Meunier in #LixCon2026 « Create your own language only if you need something new in language design » « OCaml already exists and is the best language for that particular job » Yeah, I would have loved instead of Nix language 😱 and Guix Scheme DSL 🤨 to have OCaml. 🤩 5/6

3

6

2

0

Simon Tournier @zimoun@social.sciences.re

· 8mo ago

Replying to

@janneke@todon.nl @shepherd@fosstodon.org @cwebber@social.coop Somehow, it reminds me a story I’ve heard inside the OCaml community: « Each X years, someone decides that the current build-system isn’t good enough and thus rewrites a new one – Make, OCamlBuild, OMake, Dune – but then it hits some no free lunch theorem. » Well, I’ven’t look yet to the details and my question would be: Where does blue fit in the picture of “Build systems à la carte” [1]? That’s said, it looks promising and I’m curious to know if some part of blue could be reused and plugged into another promising tool: ravanan. 😁 https://forge.systemreboot.net/ravanan/ 1: https://dl.acm.org/doi/10.1145/3236774

forge.systemreboot.net

ravanan – README

5

6

1

0

Simon Tournier @zimoun@social.sciences.re

· 8mo ago

« #SoftwareHeritage expands mirror network to Spain »

These distributed nodes are designed to ensure data redundancy and load distribution, protecting the archive’s accessibility against technical, commercial, or geopolitical disruptions.

https://www.softwareheritage.org/2026/02/05/software-heritage-mirror-network-spain/
#SWH #OpenSource #ReproducibleResearch

social.sciences.re

Mastodon -- Sciences.Re

5

0

5

0

Simon Tournier @zimoun@social.sciences.re

· 4mo ago

Replying to

@civodul@toot.aquilenet.fr My favorite quote from the post resuming the today’s computing world: « […] and many more are all about deploying software of unknown origin like there’s no tomorrow. »

2

0

2

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@abcdw Nice First April fool! 😁

3

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

@raito I agree. This is what I’ve tried to express with the second point: « Guix is like the indian Dabbawala service using “barecodes” everywhere. It doesn’t prevent stories as The Lunchbox. » 😁 Yeah, “shit in, shit out”. Somehow, the “shit” cannot be compromised by the supply chain and if any it’s detectable. However being detectable often produces the false feeling of protecting against “shit out”. 🫣 @luj @civodul

2

1

0

Simon Tournier @zimoun@social.sciences.re

· 4mo ago

Replying to

@olasd@mastodon.opportunis.me « on average it took ⏱️ 16 minutes before spotting a 🐟 fish » Une autre façon de méditer. 😉

1

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@civodul Re « plus juste pouvoir ignorer le bouzin et continuer sa vie comme avant » et « trop peu ont su/ont pu le tenir à distance » 🤔 N’y-a-t-il pas un “paradoxe“ ? 🙃 Sur cette histoire, j’ai un peu l’impression que l’on – je m’inclus ! – fait comme avec les trucs relatifs au Parlement Européen : on ne s’en préoccupe pas trop, on continue sa vie en ignorant les bouzins qui nous paraissent bien lointain. Puis ensuite paf quand une directive européenne est traduite dans le droit français, alors hop là on fait oulala non non ! Ouais mais oups, trop tard… 🫣 Pour mémoire le rapport Villani sur l’IA qui a fait grand bruit est sorti en 2018… donc presque 10 ans ! On* – je m’inclus – aurait dû se secouer un peu plus et aujourd’hui bah oui il nous reste à tousser de #IAGismePassif en espérant ne pas se faire bouffer par les crabes. Bref, je te rejoins, tout ça est bien triste… Et pour moi il n’y a plus grand chose à faire à part demander poliment à son entourage d’éviter le tabIAg en ma présence . Cette tristess est de la #solastIAlgie, non ? *On : je m’inclus parce que je n’ai pas fait grand chose sur le sujet ces 10 dernières années ; et je ne me permettrai pas de t’y inclure, car je ne suis pas le comptable. 🧐 https://www.enseignementsup-recherche.gouv.fr/fr/rapport-de-cedric-villani-donner-un-sens-l-intelligence-artificielle-ia-49194 https://fr.wikipedia.org/wiki/Solastalgie @flomaraninchi

enseignementsup-recherche.gouv.fr

2

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

« il suffirait de mettre en place une taxation sur les ultra-riches, type taxe Zucman, avec un taux de 0.2%, vous avez 4 milliard et vous avez de quoi financer l’audiovisuel public »

– Matthieu Pigasse

https://youtu.be/KGkGs4JwV60?t=8475

2

0

4

0

Simon Tournier @zimoun@social.sciences.re

· 4mo ago

Replying to

@khinsen@scholar.social About manifest, I think adding the feature to have: guix shell -m swh:1:cnt:1234abcd is very nice and straightforward to implement. However, I agree that loading the manifest inside an isolated Guile environment need to only be optional and never the default, IMHO. @civodul@toot.aquilenet.fr

1

0

Simon Tournier @zimoun@social.sciences.re

· 4mo ago

Replying to

@khinsen@scholar.social About -m manifests.scm, yeah it could super useful to have.

• About downloading from SWH, it’s straightforward.

• About loading inside an isolated environment, well manifest.scm file might provide complex Scheme code dealing with package transformations or inferiors. So, I don’t know if it’s doable or wanted.

@civodul@toot.aquilenet.fr

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

@civodul Heh! « Like Guix, it is built on top of Scheme […] • Solid, reusable, Nix daemon protocol core • Intercompatible with Nixpkgs and other, arbitrary, Nix expressions. » 🤔 It could be nice to also be intercompatible with Guix, isn’t it? https://puck.moe/zilch/docs/

puck.moe

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

RE: @arretsurimages@mamot.fr

On (ré)écoutera la très bonne émission Concordance des temps de France Culture sur le sujet du maccarthysme pour avoir les idées claires sur les parallèles et différences dans cette commission d'enquête de l'Assemblée Nationale.

Émission de 2024.

Héui, l'histoire ne se répète pas, elle bégaie.

https://www.radiofrance.fr/franceculture/podcasts/concordance-des-temps/le-maccarthysme-fracture-americaine-9302914

PS: émission mentionnée par un député pendant les auditions.

mamot.fr

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

@raito Indeed there is often a mismatch between what users expect and tools tackle. I think, both Guix and Nix, are often “unclear” on this topic. Somehow, reproducible builds is maybe not the first wagon about supply chain security. Moreover, about Guix and supply chain security, I sometimes feel the same situation as 42 long and complex password written on a piece of paper close to the keyboard. 😉 @luj

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

@hipsterelectron Oh, thanks for the reference!

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

The politics of language design by Pierre-Étienne Meunier in #LixCon2026

« Fake supply chain security, even worse than no supply chain security at all? »

…Yeah:

The builds aren’t guaranteed reproducible by design, I mean, it’s the exactly same as Debian, etc. About Nix I don’t know the details, please read Nix’s expert @luj blog post: https://luj.fr/blog/is-nixos-truly-reproducible.html

About Guix, it’s currently poorly monitored, to my knowledge.

3/6

Julien Malka

Is NixOS truly reproducible?

Build reproducibility is often considered as a de facto feature provided by functional package managers like Nix. Although the functional package manager model...

1

19

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@AbigeMuscas Le plus simple pour éviter cet écueil était l’alternative : Soit prendre Luchaire père et fille historique et donc montrer qu’ils comprennaient l’horreur et refusaient de la voir par vénalité dans une variante de la banalité du mal à la sauce décadence. Soit construire des personnages fictifs pour montrer le clair-obscur, les choix contraints qui les uns après les autres mènent au pire, tout en se considérant à chaque étape “innocent” et du “bon” côté. Mais bon ça reste qu’un film. 🙃 Content d’avoir discuter cinéma. 😀

1

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@AbigeMuscas Je rejoins Philosophie magazine : « Pour mener à bien l’entreprise néomarxiste revendiquée, c’est-à-dire pour décrypter les enjeux matériels et financiers de l’époque, il aurait fallu prendre quelques risques. Développer un point de vue, filmer vraiment depuis quelque part. Or on sent le film embarrassé, multiplier les pistes d’interprétation possibles pour se blinder contre les critiques redoutées, en concédant des points à tout le monde et en faisant de la critique morale de l’argent une sorte d'argument-plancher rassembleur. » https://archive.is/I6iZZ @ciredutempsEsme @burgervege

archive.is

1

2

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@burgervege Dans le Guardian : « The hardest thing, Giannoli says, was to strike “a balance between fascination and indignation.” When he consulted the historian of fascism, Pascal Ory, he recalls, “I told him I wanted to ask him a lot of questions because nobody would forgive me if I told just one lie.” Ory agreed but had a word of advice, Giannoli adds: “Neither would anybody forgive me if I told the truth.” » Ahah! Donc pour ne dire ni mensonge, ni vérité, Giannolli a raconté une autre Histoire. 😜 https://www.theguardian.com/film/2026/apr/05/les-rayons-et-les-ombres-rays-and-shadows-xavier-giannoli-jean-dujardin

theguardian.com

1

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@AbigeMuscas Ce n’est pas leur histoire qui est racontée (où l’on s’arrangerait nécessairement pour que la fiction fonctionne comme dans tous les biopics). C’est vraiment une autre histoire que la leur. Pour mémoire, des vichystes comme Henry du Moulin de Labarthète qui était directeur de cabinet de Pétain lui-même n’ont été ni fusillé, ni soumis à des années d’indignité nationale, et même il a été réintégré au corps de l’inspection des finances en 1948. Les Luchaire père et fille, c’est la crème, le haut du panier. Pas simplement un escroc pacifiste et une écervelée fille-de qui se sont compromis. https://fr.wikipedia.org/wiki/Henry_du_Moulin_de_Labarth%C3%A8te 2/3 @burgervege @ciredutempsEsme

fr.wikipedia.org

1

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@AbigeMuscas Bref, je n’ai rien compris au film. 😀 Soit Giannolli se base sur Luchaire père et fille et va dans la perversion du mal, dans une variante de la banalité du mal à la sauce décadence. Soit Giannolli se base des personnages fictifs et va dans l’escalade, la perte de contróle, la fable de La Fontaine avec la grenouille dans la marmite, etc. jusqu’à l’horreur. Là, le « je suis innocente » fil conducteur tient. Bref, ce film est tout empêtré pour ne finir par ne rien dire… ce qui laisse trop de place à des implicites suspects. 3/3 @ciredutempsEsme @burgervege

1

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@burgervege Pour rajouter sur la torsion historique, il faut aussi lire l’article de Julien Luchaire adressé à son fils Jean Luchaire paru en… 1933 ! « Le cas de conscience devant Hilter » Et en 1940, la femme de Julien Luchaire d’origine allemande-polonaise publie la brochure « Les Atrocités Allemandes en Pologne ». En passant Corinne Luchaire a joué dans une pièce de théâtre en 1937 écrite par son grand-père Julien Luchaire. Tenter de rajouter de la « complexité » et de la « nuance » à partir de personnages historiques mouillés jusqu’au cou, c’est le même révisionnisme que Zemmour ravivant la thèse du glaive et du bouclier concernant Pétain. https://www.retronews.fr/journal/leveil-des-peuples/04-juin-1933/1/460cb08f-6170-49aa-babb-7643da937c62

retronews.fr

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

@civodul Oh, I didn’t know the service was still up. Good! 🤩

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

@6d03 🤔 Guix (Guile/Scheme) isn’t lazy to my knowledge and it computes derivations, I guess. 😁 https://arxiv.org/pdf/1709.00833

arxiv.org

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@julienfalgas@piaille.fr Dans ce tableau, le “Modèle d’économie politique” me semble aussi une distinction, non ? @ced@mapstodon.space @antoinechambertloir@mathstodon.xyz @flomaraninchi@pouet.chapril.org @danslesalgorithmes@piaille.fr

0

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

The politics of language design by Pierre-Étienne Meunier in #LixCon2026

« Fake supply chain security, even worse than no supply chain security at all? »

…Yeah:

Guix/Nix packages stuff: it means it provides tooling for auditing and verifying if the binary matches the identified source; and for the whole chain of dependencies. But there is no guarantee it’s fully error-free – we’re able to point where the error if any comes from. It’s already a lot!

Guix is like the indian Dabbawala service using “barecodes” everywhere. It doesn’t prevent stories as The Lunchbox. 😉

https://en.wikipedia.org/wiki/Dabbawala https://en.wikipedia.org/wiki/The_Lunchbox 4/6

en.wikipedia.org

0

7

0

Simon Tournier @zimoun@social.sciences.re

· 6mo ago

Replying to

@AbigeMuscas Bref, comme vous dites, le film vaut pour Nastya Goloubeva et la reconstitution. Il me semble assez clair que Giannolli a voulu faire un film-critique sur le plan de la morale : la vénalité, l’amour de l’argent, et tous les vices qui s’y associent. Dans la veine de qu’il a déjà fait. Mais en picorant ou tordant certains éléments historiques, Giannolli déplace, probablement contre son projet, vers un plan politique et donc crée des implicites suspects. C’est dommage. On n’avait pas besoin d’une sorte de révisionnisme. @burgervege @ciredutempsEsme

0

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

🤔 is AI the acronym of “A Ism”?

https://en.wikipedia.org/wiki/-ism

en.wikipedia.org

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

Tiens donc, mais qui aurait pu prédire cette « affaire Grasset » ?

iTélé devenu CNews, la transformation de Canal, la grève historique au JDD, la transformation de Fayard, etc.

Le groupe Bolloré ne se cache pas de sa machine idéologique de propagande. Vincent Bolloré la détaille même sous serment lors de son audition par la commision d’enquête parlementaire sur le fonctionnement, la neutralité et le financement de l’audiovisuel public.

Alors bon, c’est quoi le truc en particulier avec Grasset pour en faire des tartines ? Une proximité avec Olivier Nora parce que c’est un mec sympa ?

2/3

0

1

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

🤔 To some extent, ideas behind Elpe reminds me propellor (Haskell) Joey Hess’s talk in linux conf au 2017: https://youtu.be/kzXXcr8TyJY https://nest.pijul.com/pmeunier/elpe 6/6

0

Simon Tournier @zimoun@social.sciences.re

· 4mo ago

Replying to

@khinsen@scholar.social About loading manifest.scm inside isolated Guile environment, it might be more annoying than expected. For instance, channels.scm files are usually very boilerplate and already two reports: https://codeberg.org/guix/guix/issues/8519 https://codeberg.org/guix/guix/issues/8573 Well, an option for being able to isolate might be helpful but it should not be the default for manifest.scm file, IMHO. @civodul@toot.aquilenet.fr

Codeberg.org

channels.scm file stopped working with unhelpful error

With #6745 merged and `~/.config/guix/channels.scm` containing ```scheme (list (channel (name 'guix) (branch "master") (url "/home/florian/src/guix") (introduction (@@ (guix channels) %guix-channel-introduction)))) ``` now I get an error: ```console $ gu...

0

2

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

The politics of language design by Pierre-Étienne Meunier in #LixCon2026 « Fake supply chain security, even worse than no supply chain security at all? » Indeed, it’s a question for #Nix and #Guix. Yeah 1. … and then 2. … 2/6

0

20

0

Simon Tournier @zimoun@social.sciences.re

· 7mo ago

Replying to

@olasd@mastodon.opportunis.me 64, 32, 16, 8, 4, 2, 1 🚀 💥

0

Simon Tournier @zimoun@social.sciences.re

· 5mo ago

Replying to

Surtout, je ne pige pas quel serait le problème dans cette « affaire Grasset » :

• des éditeurices ne veulent pas bosser pour Bolloré. • des auteurices ne veulent pas contribuer à l’emprire Bolloré. • des libraires ne veulent pas exposer les bouzes Bolloré. • des lecteurices ne veulent pas filer du pognon â Bolloré.

Donc il y a des tas de possibilités pour faire sans Bolloré, non ?

Ah oui c’est sûr qu’il faut accepter de sortir de sa zone de confort et qu’il faut prendre des risques… Bah oui résister n’est pas facile !

3/3

0

Simon Tournier @zimoun@social.sciences.re

· 4mo ago

Replying to

@khinsen@scholar.social @civodul@toot.aquilenet.fr The alternative isn’t an option for me. Well, I discuss it here: https://codeberg.org/guix/guix/issues/8573 😁 Concretely, what I’d prefer is something as reepca suggested when reviewing: Having a DSL for the trusted-channels.scm file and thus be able to declare (or extend) more things that would be considered as trusted.

Codeberg.org

`guix pull` using "Channels with Substitutes" is broken because isolation

Hi @guix/core, Follow up of https://codeberg.org/guix/guix/pulls/6745#issuecomment-14713695 The manual describes [Channels with Substitutes](https://guix.gnu.org/manual/devel/en/guix.html#Channels-with-Substitutes) > The following snippet in ‘channels.scm’ will ensure that ‘guix pull’ us...

0

Simon Tournier @zimoun@social.sciences.re

· 4mo ago

Replying to

@civodul@toot.aquilenet.fr Yes, only channel files are isolated, not manifests. 😁 Maybe I misread, @khinsen@scholar.social suggested* in this thread to have something similar for the manifests. So I’m pointing that a remote manifest.scm file could be very nice – especially exploiting SWH. However, I’m not convinced the isolation for manifest file would be desirable; at least by default. *suggested also here 2 months ago: https://codeberg.org/guix/guix/pulls/6745#issuecomment-11227999 😁

Codeberg.org

Allow `pull` and `time-machine` to download channel files

This implements a proposal [discussed a while back](https://lists.gnu.org/archive/html/guix-devel/2024-01/msg00201.html): supporting invocations like `guix time-machine -C https://example.org/channels.scm`.<br><br>To do that, this patch set first changes `pull` and `time-machine` to evaluate chan...

0

1

0