Nostr notes by Ludovic Courtès

“It may constitute a threat to commit genocide” says Amnesty: ...

2026-04-07T21:51:23Z

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

Hey #Guix people! If you haven’t done so already, check out the ...

2026-04-04T16:33:15Z

Hey #Guix people! If you haven’t done so already, check out the proposed update of the deprecation policy by Andreas (npub16vn…387d) and Sharlatan (npub18tl…eehj) 👇
https://codeberg.org/guix/guix-consensus-documents/pulls/12

How changes in Guix proper are handled has a huge impact on whether/when/how your code (config, manifests, channels, etc.) might break.

Make your voice heard!

GenAI reaches another unexpected corner of #FreeSoftware: the ...

2026-02-25T17:49:14Z

GenAI reaches another unexpected corner of #FreeSoftware: the #Hurd
https://lists.gnu.org/archive/html/bug-hurd/2026-02/msg00133.html

Browse documentation online ✨ like never before ✨ with the ...

2026-02-11T14:09:06Z

Browse documentation online ✨ like never before ✨ with the #Guix Documentation Center!
https://doc.guix.gnu.org/

Anyone knows how to contact the fine people behind notabug.org? ...

2025-12-24T09:54:36Z

Anyone knows how to contact the fine people behind notabug.org?

There’s quite a few Guix/Guile-adjacent projects there that we should probably migrate to Codeberg, but we can’t do that properly without their help (adding Codeberg IPs to an allow-list on their side would be enough).

#NotABug #Codeberg

@npub19tf…rcxc added two new publications on ...

2025-12-21T16:56:13Z

Cayetano Santos (npub19tf…rcxc) added two new publications on #ReproducibleResearch on the #Guix publication page 👇
https://guix.gnu.org/en/publications/

① A just-published paper showing container image generation for materials science;
② A 2024 survey on #reproducibility in #HPC.

#OpenScience

This was made possible by cleaning up the mess, turning ...

2025-11-28T13:51:59Z

In reply to nevent1q…274k
_________________________

This was made possible by cleaning up the mess, turning off/reducing email notifications from forges, but most importantly, this is because mu4e provides fast access to email.

With Gnus, I was often abusing the “unread” flag to make it easier to find messages I planned to reply to as well as patches/bugs I meant to process…

For the first time in many years, I have less than 10 unread ...

2025-11-28T13:47:16Z

For the first time in many years, I have less than 10 unread emails. 🎉

When I moved to #mu4e seven months ago, I was at 20,000!
https://toot.aquilenet.fr/@civodul/114313643178812888

Folks starting to realize that “open source” does, indeed, ...

2025-11-03T15:15:56Z

Folks starting to realize that “open source” does, indeed, “miss the point” (to paraphrase rms), and that copyleft exists for a reason:
https://paragraph.com/@holonic-horizons/the-stallman-paradox-how-web3-became-the-ultimate-open-source-theater

Exciting times in #Guix land: a new “Commercial Support” page ...

2025-10-09T20:43:38Z

Exciting times in #Guix land: a new “Commercial Support” page has landed 👇
https://guix.gnu.org/commercial/

What’s truly exciting is that it lists only individuals and worker cooperatives. There’s currently four of them, all with a great track record! And most of these amazing people are on the Fediverse! 🤯

#Fibers 1.4.1 is out, fixing an embarrassing regression ...

2025-09-14T15:38:21Z

#Fibers 1.4.1 is out, fixing an embarrassing regression introduced in 1.4.0:
https://codeberg.org/fibers/fibers/releases

… and we’re still looking for a (co-)maintainer. Don’t be shy, make yourself known!

Just stumbled upon this report from the #reproducibility in #HPC ...

2025-08-21T08:56:03Z

Just stumbled upon this report from the #reproducibility in #HPC workshop that took place before #SC25 👇
https://zenodo.org/records/15306610

It is disappointing in some ways, but it’s great to see this topic being discussed—putting “reproducibility” and “HPC” together was unthinkable just a few years ago!

🧵

I’ve been a happy #Codeberg “supporting member” (no voting ...

2025-07-06T20:29:36Z

I’ve been a happy #Codeberg “supporting member” (no voting rights) for a couple of weeks now!
https://join.codeberg.org/

The overall organization and structure and the quality of the org/policy discussions I’ve seen so far are inspiring. It’s quite something to have cooperative decision-making at this scale (800+ members, though many without voting rights.) 👍

#Guix migration to #Codeberg complete! 🎉 ...

2025-05-25T15:17:34Z

#Guix migration to #Codeberg complete! 🎉
https://git.guix.gnu.org/guix

That’s what you see under ...

2025-05-16T11:18:45Z

In reply to nevent1q…fw58
_________________________

That’s what you see under https://codeberg.org/user/settings/storage_overview, right? Mine says 1 GiB.

The clone at https://codeberg.org/guix/guix-mirror takes ~600 MiB currently, which should leave 150 MiB per user (not a lot).

See also https://codeberg.org/Codeberg-e.V./requests/issues/784.

Codeberg (npub1fh7…ee83)

#Guix migrating to Codeberg 👇 ...

2025-05-11T16:34:59Z

#Guix migrating to Codeberg 👇
https://guix.gnu.org/en/blog/2025/migrating-to-codeberg/

The great #Guix migration has started. https://codeberg.org/guix

2025-05-10T14:05:59Z

The great #Guix migration has started.
https://codeberg.org/guix

📢 #Guix comrades: two weeks left to discuss and improve the ...

2025-03-28T15:39:57Z

📢 #Guix comrades: two weeks left to discuss and improve the Codeberg migration proposal! 👇
https://git.savannah.gnu.org/cgit/guix/guix-consensus-documents.git/tree/002-codeberg.md

Discussion 👉 https://issues.guix.gnu.org/76503

C is terrible and Rust is so much better, but I don’t think ...

2025-03-15T21:46:56Z

In reply to nevent1q…e30l
_________________________

C is terrible and Rust is so much better, but I don’t think memory safety is the only justification for having ‘ls’ in Rust.

Some of those active in this effort worked on replacing GCC with Clang in distros before.

Bye, copyleft. Hello, corporate interests. ...

2025-03-15T21:44:11Z

Bye, copyleft. Hello, corporate interests.
https://fosstodon.org/@gnutools/114168573791483805

If you missed it, #Guix adopted the “Guix Consensus Document” ...

2025-02-23T16:25:15Z

In reply to nevent1q…rvq7
_________________________

If you missed it, #Guix adopted the “Guix Consensus Document” (GCD) process two weeks ago:
https://git.savannah.gnu.org/cgit/guix/guix-consensus-documents.git/tree/001-gcd-process.md

This is a collective decision-making process that aims to build consensus on important decisions among contributors. It’s a major milestone for the project.

A couple of GCDs have already been submitted; looking forward to the outcome!

Formally submitted GCD 002: “Migrating repositories, issues, ...

2025-02-23T16:20:53Z

Formally submitted GCD 002: “Migrating repositories, issues, and patches to Codeberg”. 🎉
https://issues.guix.gnu.org/76503

Check it out, #Guix people, and share your thoughts!

Official #Guix mirror now available 👇 ...

2025-02-09T15:22:23Z

Official #Guix mirror now available 👇
https://codeberg.org/guix/guix-mirror

(It’s just a mirror, no pull requests or issues at this point.)

Sounds like the right stance to me for anyone who cares about the ...

2025-01-16T15:28:30Z

Sounds like the right stance to me for anyone who cares about the human beings out there and about free-software-for-freedom:
https://drewdevault.com/2025/01/16/2025-01-16-No-Billionares-at-FOSDEM-please.html

A clear statement. ...

2025-01-09T11:20:44Z

A clear statement.
https://opentermsarchive.org/en/memos/meta-dampens-hate-speech-policy/

You mean to build the image? It’s hard to tell.

2024-12-22T17:58:49Z

In reply to nevent1q…xml7
_________________________

You mean to build the image? It’s hard to tell.

“Guix Container Images for GitLab CI/CD” by @npub1ky9…k2p5: ...

2024-12-21T15:36:17Z

“Guix Container Images for GitLab CI/CD” by Simon Josefsson (npub1ky9…k2p5):
https://blog.josefsson.org/2024/12/18/guix-container-images-for-gitlab-ci-cd/

Notice that ‘.gitlab-ci.yml’ first installs Guix on Debian, then runs ‘guix pack guix’ to produce a standalone Guix image, and finally runs builds in that image.
https://gitlab.com/debdistutils/guix/container/-/blob/main/.gitlab-ci.yml?ref_type=heads

#Guix

Hey! I’ll be giving a talk at #FOSDEM about the #Shepherd and I ...

2024-12-17T15:11:31Z

Hey! I’ll be giving a talk at #FOSDEM about the #Shepherd and I can tell you I’ll be in good company!
https://fosdem.org/2025/schedule/track/declarative/

Hey #Guix folks! Anyone working on #Forgejo packaging? (I tried ...

2024-11-29T11:00:30Z

Hey #Guix folks! Anyone working on #Forgejo packaging?

(I tried ‘guix import go code.gitea.io/gitea -r’ and it ran out of disk space after cloning all these Go repos. But it’s promising!)

Nostr event nevent1qqsdetm6nn5xk939wr8u9vgrccn4cwzmy5dnwgwkrq3tpjc5w34x9ugzyz8k7r77y6whq2mnvnt8slnus44y3wtnrcjfw69xq8gmata70243g5derd7

2024-11-23T18:39:07Z

Hey, I realized it’s been 12 years of #Guix today! 🎉

How about “Guix”? :-)

2024-11-19T19:30:34Z

In reply to nevent1q…3we3
_________________________

How about “Guix”? :-)

Codeberg.org runs Forgejo: https://forgejo.org/

2024-10-17T16:37:43Z

In reply to nevent1q…9m9w
_________________________

Codeberg.org runs Forgejo: https://forgejo.org/

… speaking of which: https://sfconservancy.org/GiveUpGitHub/

2024-10-17T13:54:31Z

In reply to nevent1q…pkfk
_________________________

… speaking of which: https://sfconservancy.org/GiveUpGitHub/

Comrades, the #Guix Science channels have moved from GitHub to ...

2024-10-17T13:50:20Z

Comrades, the #Guix Science channels have moved from GitHub to Codeberg 👇
https://codeberg.org/guix-science/

Migration was very easy and complete, with pull requests migrated without loss. We have yet to see how contributors can resume work on PRs opened pre-migration, but it looks great so far!

I don’t know, but it’s an issue worth revisiting collectively ...

2024-10-16T21:19:41Z

In reply to nevent1q…luul
_________________________

I don’t know, but it’s an issue worth revisiting collectively at some point.

Forĝejo went copyleft 👍 ...

2024-10-16T21:10:09Z

Forĝejo went copyleft 👍
https://forgejo.org/2024-08-monthly-update/#forgejo-is-now-copyleft

Copyleft, federation, localization, collective decision-making: signs that the project cares about people and their autonomy.

# #Guix trick borrowed from Nix folks: the comma shell function, ...

2024-10-07T09:32:33Z

# #Guix trick borrowed from Nix folks: the comma shell function,
# fitting in a single toot, with comments.
#
# Run then given command via 'guix shell'.
function ,
{
pkg_ver="$(set -o pipefail; guix locate "$1" | grep /bin/ | head -1 | cut -f1)"
pkg="$(echo $pkg_ver | cut -d@ -f1)"
test -n "$pkg" && guix shell "$pkg" -- "$@"
}

I’m a big fan of malleable and extensible software packages à ...

2024-09-11T10:42:43Z

I’m a big fan of malleable and extensible software packages à la Emacs; I think they’re the way to provide practical freedom to users, when licenses provide freedom “de jure” only.

That one can gradually discover the code and fiddle with it blurs the user/developer distinction and reduces the dependency of one group on another.

#FreeSoftware

🧵

This 1990 UN General Assembly resolution entitled “Right of ...

2024-09-10T21:48:27Z

This 1990 UN General Assembly resolution entitled “Right of peoples to self-determination/Struggle by all available means” is worth a read:
https://www.un.org/unispal/document/auto-insert-184801/

“Reaffirms the legitimacy of the struggle of peoples for independence […]”

“Strongly condemns the constant and deliberate violations of the fundamental rights of the Palestinian people, as well as the expansionist activities of Israel […]”

Linux man-pages maintainer’s work on hiatus due to lack of ...

2024-09-06T19:48:59Z

Linux man-pages maintainer’s work on hiatus due to lack of financial support:
https://sourceware.org/pipermail/libc-alpha/2024-September/159717.html

After many months, a lot of work by many people, and countless ...

2024-08-31T14:53:11Z

After many months, a lot of work by many people, and countless twists, the #Guix ‘core-updates’ branch has been merged! 🎉

It brings updated libc, GCC, TeX Live, and more—check out ‘guix pull --news’. :-)

“Interesting” thing is that Guile-Git’s test suite allowed ...

2024-08-28T14:47:04Z

In reply to nevent1q…6pkd
_________________________

“Interesting” thing is that Guile-Git’s test suite allowed me to find a uninitialized-value bug introduced in libgit2 1.8.1 (a patch release).

#Guile-Git 0.8.0 is out, with support for libgit2 1.8. ...

2024-08-28T14:44:20Z

#Guile-Git 0.8.0 is out, with support for libgit2 1.8.
https://gitlab.com/guile-git/guile-git

Another example: “Docker is simpler than Guix (or Nix, etc.) ...

2024-08-22T12:12:17Z

In reply to nevent1q…d85u
_________________________

Another example: “Docker is simpler than Guix (or Nix, etc.) because it lets me use Bash, apt, pip, and other proven tools!”

That is a valid first impression, but the problem with Docker is elsewhere: it lets you blindly assemble software in a way that is opaque and non-reproducible.

Appreciating that this is a problem takes time and experience, whereas one can immediately have an opinion on what Dockerfiles look like.

Got another of these syntax discussions: “#Guix packaging would ...

2024-08-22T12:07:52Z

Got another of these syntax discussions: “#Guix packaging would look much easier if it used YAML like Conda!”.

This perception exists, but packaging experience shows that the difficulty, instead, lies in coping with funky build systems, providing the right dependencies, etc.

The same extends to many things in computing systems: discussions focus on the surface of things, ignoring that actual complexity stems from unprincipled assembly of whole stacks of software components.

The mess that #Anaconda’s new licensing fees is poised to ...

2024-08-20T10:22:27Z

The mess that #Anaconda’s new licensing fees is poised to create in academia should be a wake-up call.

From an #OpenScience perspective, and from the perspective of publicly-funded research, it makes no sense to trade autonomy for perceived convenience.

Time to look at commercial offerings suspiciously and to focus on building our commons.

The #Guix home page redesign by ...

2024-08-12T20:00:24Z

The #Guix home page redesign by [@luis_felipe](https://mastodon.online/@luis_felipe ) has landed, sweet!
https://guix.gnu.org/

GNU’s still here, with tons of users many of which have come to ...

2023-09-27T15:59:34Z

In reply to nevent1q…8ff3
_________________________

GNU’s still here, with tons of users many of which have come to value freedom, with projects like GCC, Emacs, and Guix alive and kicking!

However, while #FreeSoftware production and use has grown by orders of magnitude in that time span, GNU has failed to attract. Chaotic, arrogant, and divisive leadership led the project to be isolated (GFDL vs. Debian anyone?), to lose its dominant position (lack of GCC plugins fueled non-copyleft LLVM), and, worse, to alienate minorities.

I got into GNU by reading about free software, then attempting to ...

2023-09-27T15:58:59Z

In reply to nevent1q…8v5l
_________________________

I got into GNU by reading about free software, then attempting to contribute code to the Hurd ca. 2002, becoming a Guile co-maintainer ca. 2007, co-organizing a GNU Hackers Meeting in 2011, starting Guix in 2012.

I made friends along the way and learned a lot in a variety of domains—technical, political, social. From my early readings of GNU essays to my technical musings, GNU shaped part of what I am.

Today #GNU is turning 40, whee! 🎉 Despite having been involved ...

2023-09-27T15:58:37Z

Today #GNU is turning 40, whee! 🎉

Despite having been involved in GNU for 20 years, I wish I’d be more enthusiastic. It’s certainly an important milestone for #FreeSoftware but it’s kinda bittersweet for me.

🧵 #GNU40