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
Ludovic Courtès
Ludovic Courtès
npub13ahs...4c8l
GNU, Guix, Guile, reproducible research, etc.
Email: ludo@gnu.org
OpenPGP: 3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5
Lingvoj: fr en eo es ca
Web: https://people.bordeaux.inria.fr/lcourtes/
@Cayetano Santos added two new publications on #ReproducibleResearch on the #Guix publication page 👇
① A just-published paper showing container image generation for materials science;
② A 2024 survey on #reproducibility in #HPC.
#OpenScience
Publications — GNU Guix
A list of written publications about GNU Guix.
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!


Aquilepouet
Ludovic Courtès (@civodul@toot.aquilenet.fr)
Attaché : 1 image
The message count, especially for “Today’s messages”, is an eye-opener.
I’ll have to unsubscribe from a bunch of thi...

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 has landed 👇
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! 🤯
Commercial Support — GNU Guix
Available Guix-related commercial services
#Fibers 1.4.1 is out, fixing an embarrassing regression introduced in 1.4.0:
… and we’re still looking for a (co-)maintainer. Don’t be shy, make yourself known!
Codeberg.org
fibers
Concurrent ML-like concurrency for Guile
Just stumbled upon this report from the #reproducibility in #HPC workshop that took place before #SC25 👇
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!
🧵
Zenodo
Report on Challenges of Practical Reproducibility for Systems and HPC Computer Science
This report from the NSF-sponsored REPETO project synthesizes findings from the November 2024 Community Workshop on Practical Reproducibility in HP...
I’ve been a happy #Codeberg “supporting member” (no voting rights) for a couple of weeks now!
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.) 👍
Join Codeberg e. V.
#Guix migration to #Codeberg complete! 🎉

Codeberg.org
guix
Transactional package manager, declarative GNU/Linux distribution, reproducible deployment tool, and more!
#Guix migrating to Codeberg 👇
Migrating to Codeberg — 2025 — Blog — GNU Guix
Blog posts about GNU Guix.