Ludovic Courtès
civodul@toot.aquilenet.fr
<p>GNU, Guix, Guile, reproducible research, etc.</p>
Posts
-
View post
By using an LLM, one is following mainstream doctrine, supported by all the powers that be: companies and states that pour trillions into it, medias and assorted “leaders” that act as a relay for the “inevitability” and “progress” narratives. And yet, we keep reading that LLM users “fear being caught up in an anti-LLM witch hunt” and similar things. As if their choice was the one under attack.
-
View post
Like any good admin, I chose Friday evening to deploy Cuirass 1.3.6 on https://ci.guix.gnu.org and https://pulls.ci.guix.gnu.org 👇 https://codeberg.org/guix/cuirass/src/commit/9c586674283951951580c315512b89d2643e1a08/NEWS#L14-L38 It’s primarily a bug-fix release but it has a couple of noteworthy improvements made by my partners in crime at Inria, @shepherd@fosstodon.org and @vivien_kraus@h4.io . #Guix
-
View post
I’ve been working on this cute little 🐑 #Shepherd feature: settings. https://codeberg.org/shepherd/shepherd/pulls/153#issuecomment-23343229 A service would have settings, which one can inspect, change, and reset to their default value. This would allow one to fiddle with services at run time lightheartedly.
-
View post
#Guile now requires contributors to agree to a Developer Certificate of Origin (DCO) and rejects code authored or co-authored by an LLM 👇 https://codeberg.org/guile/guile/src/commit/b52c48a850765ba93d90fa35fbd3eed8356222a2/HACKING#L134-L156 Kudos to Olivier Dion for making it happen!
-
View post
So Debian adopted a resolution on the use of “generative AI”: https://www.debian.org/vote/2026/vote_002#texte Condorcet spoke: of all the options put to the vote, it must be a good compromise, an average of where the community stands. How much of a compromise is it really, though? 🧵
-
View post
“Protecting our FLOSS commons from LLMs” https://blog.codeberg.org/protecting-our-floss-commons-from-llms.html Good to see #Codeberg take a stance and remind us all of the risks LLMs pose to what we’ve been patiently building.
-
View post
Version 3 of GCD 008 on genAI use in #Guix is available 👇 https://codeberg.org/guix/guix-consensus-documents/src/commit/a0aca85d5079d740f953794f63722d76611aece9/008-genai.md Discussion 👇 https://codeberg.org/guix/guix-consensus-documents/pulls/13#issuecomment-18619856 📅 Deliberation tentatively scheduled for July 11th.
-
View post
@theesm@social.tchncs.de Wonderful! I’ve dreamed of this for so long!
-
View post
I’m chewing on this: Lisp is touted as a “programmable programming language”, removing restrictions to what programmers can express. What does it mean in a world where “programmers don’t write a line of code”, as sold by AI vendors? More generally, what’s the point of designing a programming language in that world? #nihilism
-
View post
The mechanism that makes it so that we no longer need to enter our LUKS passphrase twice is pretty cool: https://guix.gnu.org/manual/devel/en/html_node/Bootloader-Configuration.html#Automatic-LUKS-Master-Key-Passing #Guix
-
View post
“Time travel without borders” https://guix.gnu.org/en/blog/2026/time-travel-without-borders/ On the freshly implemented ability of ‘guix time-machine’ and ‘guix pull’ to download channel files without putting you at risk. #Guix
-
View post
#Guix at the annual French #ReproducibleResearch Network conference, May 19–21 👇 https://hpc.guix.info/blog/2026/05/guix-at-the-french-reproducible-research-network-conference/
-
View post
“[LLMs] could demystify the capabilities of a modern Linux workstation and bring them to a much wider audience.” https://discourse.ubuntu.com/t/the-future-of-ai-in-ubuntu/81130 Demystifying by adding an “everything machine” as a black-box on top of a complex system? I’m skeptical.
-
View post
Les vidéos des Journées du réseau #RechercheReproductible sont en ligne 👇 https://www.canal-u.tv/chaines/rfrr/journees-de-la-recherche-reproductible J’en ai discuté ici au début du mois : plein de présentations intéressantes à la fois pour comprendre l’état de la reproductibilité et confiance qu’on peut avoir dans les travaux de recherche de différents domaines et pour découvrir les initiatives pour améliorer la situation.
-
View post
Sandboxing &amp; downloading channel files: https://codeberg.org/guix/guix/pulls/6745 The way to ‘nix run’ style commands but without the ‘curl | sh’ flavor? #Guix
-
View post
Well-documented list of free software projects and their use of genAI: https://codeberg.org/small-hack/open-slopware It’s already a long list that shows what looks like uncritical adoption, both by high-profile projects (systemd, VLC, etc.) and by niche projects (GNU Mach is a prime example).
-
View post
@flomaraninchi C’est ça qu’est triste : de plus juste pouvoir ignorer le bouzin et continuer sa vie comme avant. Tout ça parce que le bouzin est en train de bouffer tout ce qui se trouve autour de nous et que trop peu ont su/ont pu le tenir à distance.
-
View post
Until ‘timerfd’ became a thing, the only way to wait for a real-time clock calendar event (the main use case being cron) was to poll the real-time clock periodically, to account for the fact that it can change at any time: https://codeberg.org/guile/fibers/pulls/177#issuecomment-13351431 🤦
-
View post
Ma baguette a pris 5 centimes depuis hier, « à cause du détroit d’Ormuz ». Saleté de détroit.
-
View post
Just watched this nice #LixCon2026 talk on Zilch: https://app.media.ccc.de/v/lixcon-2026-14-using-nix-without-the-nix-a-retrospective-on-zilch It’s a Scheme interface to talk to the Nix daemon, it has a thing called “z-expressions” to capture context in staged code, client-side build hooks… sounds familiar, we should talk! :-)
-
View post
📢 Hear, hear! #Guile birds of a feather session online on Monday, April 6th, 1PM UTC! https://lists.gnu.org/archive/html/guile-devel/2026-04/msg00002.html Kudos to Olivier Dion for this great initiative—and for all the energy put into Guile!
-
View post
Des doubleureuses ont gagné contre des boîtes d’IA générative qui permettaient de reproduire leurs voix, sans autorisation : https://www.franceinfo.fr/culture/cinema/clonage-de-voix-par-ia-25-doubleurs-francais-obtiennent-le-retrait-de-contenus-litigieux_7915544.html La bonne nouvelle, c’est une prop. de loi pour inverser la charge de la preuve : ce serait aux boîtes de prouver qu’elles n’ont pas entraîné sur les données incriminées 👇 https://www.senat.fr/leg/ppl25-220.html #IAgen
-
View post
Où l’on parle d’un renard, de cybernétique, de cerveaux électroniques et d’intelligence artificielle (1961). https://www.ina.fr/ina-eclaire-actu/video/caf88038611/albert-ducrocq-la-cybernetique-1ere-partie
-
View post
“It may constitute a threat to commit genocide” says Amnesty: https://www.amnesty.org/en/latest/news/2026/04/iran-president-trumps-apocalyptic-threats-of-large-scale-civilian-devastation-demand-urgent-global-action-to-prevent-atrocity-crimes/ Drop “may”? It’s unambiguous, and so was Gallant’s speech on Oct. 9th, 2023.
-
View post
This latest report by Albanese, obviously well documented, sheds light on aspects we don’t hear much about and puts them in perspective: https://www.un.org/unispal/document/torture-and-genocide-report-francesca-albanese-a-hrc-61-71/ Well worth a look.
-
View post
The 🐑 #Shepherd was at #FOSDEM and now it’s on TV! 📺 https://www.gnu.org/software/shepherd/news/2025/02/the-shepherd-on-tv/ Check out my talk on the beauty (and dangers!) of #Fibers for concurrent programming and that of Juliana on porting it to #Goblins and starting the plan9ification of #Guix. 🤯
-
View post
Je vois cette pub EDF dans la rue, blue-blanc-rouge où le blanc est celui du panache de fumée d’une centrale nucléaire, avec le slogan « produire l’électricité dont la France a besoin », et je me dis que tout y est : le nucléaire décomplexé loin de la discrétion suite à Fukushima, la référence nationaliste et l’allusion guerrière. Quelle belle époque vivons nous.
-
View post
“Israeli forces using Gaza playbook in Lebanon, decimating water infrastructure” https://www.oxfam.org/en/press-releases/israeli-forces-using-gaza-playbook-lebanon-decimating-water-infrastructure
-
View post
💡 Did you know? There’s an API to get data about builds etc. from Cuirass 👇 https://codeberg.org/guix/cuirass/issues/130#issuecomment-12381921 #Guix
-
View post
Le ☕ Café #Guix de demain sera animé par @khinsen et comparera #Guix et #CONDA pour des projets scientifiques. 📅 mardi 31 mars, 13h–14h ▶ https://hpc.guix.info/events/2025-2026/caf%C3%A9-guix/ #RechercheReproductible #ScienceOuverte