Notices by Ludovic Courtès (civodul@toot.aquilenet.fr)

Just realized that Texinfo turned 40 this year.

HTML is “only” 33 years old.

One year with Codeberg
https://guix.gnu.org/en/blog/2026/one-year-with-codeberg/

#Guix #Codeberg #FreeSoftware

41℃ here today with predictions for at least 4 consecutive days above 40℃ max (above 27℃ min) and a peak at 44℃.

Everything’s gonna be fine.

“Twelve Ways to Be Wrong About AI-Assisted Coding” (by @gvwilson)
https://third-bit.com/2026/05/20/twelve-ways-to-be-wrong/

Insightful post on the limitations of common methods to assess the “productivity boost” or “usefulness” of LLM-assisted coding.

This blog post is amazing 👇
https://coopi.neocities.org/posts/nix-flakes-vs-guix

#Nix #Guix

“Unlawful by design: Exposing the human rights costs of generative AI” 👇
https://www.amnesty.org/en/documents/pol40/0996/2026/en/

“While these technologies promise sophisticated automation and efficiency, they rely on data collection and model training practices that abuse privacy rights, enable discrimination, and threaten freedom of expression and thought.”

(HT yarlb)

My friends, reading the comments on GCD 008 is a full-time job!

It’s a lot of work, a lot of soul searching and questioning, but I enjoy the many thoughtful comments and the civil discussion.

#Guix folks: discussion on GCD008 “Standing up for human crafting” is now open 👇
https://codeberg.org/guix/guix-consensus-documents/pulls/13

I was reminded that the thing called “list” in Python is actually implemented as a vector, with O(1) random access and O(n) insertion:
https://wiki.python.org/moin/TimeComplexity

As a vehicle for teaching, it sounds terrible.

“[P]rograms must be written for people to read, and only incidentally for machines to
execute”
— Abelson in SICP

“Writing code has never been the goal. Building meaningful software is.”
— Chris Lattner in https://www.modular.com/blog/the-claude-c-compiler-what-it-reveals-about-the-future-of-software

“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

I’ve been happily using fj.el on and off for months; I’ve tried emacs-forgejo by Thanos Apollo for the past two days (HT @csantosb) and I find it pretty amazing.

🧵

@SRAZKVT It’s “just” a layer on top of LaTeX, Lout, etc., but maybe give Skribilo a try:
https://nongnu.org/skribilo/

And for music scores, LilyPond, of course. :-)

@janneke

There’s been climate-change deniers; now there’s those who deny the ecological footprint of LLMs.

The backlash was already visible in tech circles with the fact that in recent years environmental considerations are rarely even mentioned in discussions on the pros and cons of LLMs.

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

“[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.

#SoftwareHeritage, #Nix, and #Guix cited as tools to improve the #reproducibility of research artifacts:
https://cacm.acm.org/news/is-there-a-way-to-solve-the-reproducibility-problem/

@Profpatsch Yeah well, it’s a questionable categorization; I guess their goal is to distinguish between those forbid/allow/boast-about use of LLMs.

I dislike the pointing-fingers aspect of it, but I find the links to policies etc. quite valuable.

@abucci I’m also of the opinion that, even from a purely free software perspective, putting aside the many ethical concerns (environmental and social), integrating those opaque services as part of the development workflow is a problem.

I mean, “we” fought against the use of BitKeeper, and later GitHub, for free software development—among the many things people were critical about. And now all this would go through just fine?

@Profpatsch

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).