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

Three weeks with daily peaks above 40℃, fires leading to the evacuation of 110,000 people after just 3 days, the Bordeaux metropolitan area now under heavy smog…

If we don’t put an end to capitalism, capitalism will put an end to us.

#JeRecrute (pas moi mais Inria) pour faire du #Guix en #HPC et du #LogicielLibre 👇
https://jobs.inria.fr/public/classic/fr/offres/2026-10201

📢 Deliberation on GCD 008 on genAI use in #Guix has started; final document:
https://codeberg.org/guix/guix-consensus-documents/src/commit/a24520c4147ffd67bb696c71f15ed4fb8521a791/008-genai.md

Discussion:
https://codeberg.org/guix/guix-consensus-documents/pulls/13

Guix team members: you have until July 27th 23:59 AoE to tell whether you support, accept, or disapprove the proposal!

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/