civodul

civodul, 1 year ago to random

The 🐑 #Shepherd 0.10.0 is out!
https://lists.gnu.org/archive/html/guix-devel/2023-05/msg00180.html

It’s a major overhaul of the internals leading to (I think!) a more pleasant user experience.

#FreeSoftware #Guile #GNU

civodul, 2 months ago to random

In Nixpkgs, the ‘shepherd’ package is not what I’d expect.
https://github.com/NixOS/nixpkgs/blob/nixos-unstable/pkgs/by-name/sh/shepherd/package.nix

civodul, 1 year ago to random

What would it take to implement ‘signalfd’ for the #Hurd?

Signals are implemented as RPCs to the process. Should the ‘msgport’ thread in libc implement an RPC that would return an io port, such that read/write/select on that io port would work as on a Linux signal FD?

Or should we instead go for a completely different, simpler, Hurd-specific interface?

WDYT @bugaevc?

civodul, 1 year ago to random

1990: GNU/Hurd makes /usr a symlink to /

2004: Nix does away with the FHS

2013: Guix removes /bin/sh from its build environment

2023: Debian comrades argue about “merged /usr” and its feasibility 👉 https://bugs.debian.org/1035904

civodul, 5 months ago to random

Hey @bugaevc! We’re updating glibc to 2.38 in Guix. Off the top of your head, what’s missing from 2.38 for proper x86_64-gnu support?

Cc: @janneke @jpoiret

civodul, 2 months ago to random

🐑 #Shepherd ⏰ timers 👇
https://lists.gnu.org/archive/html/guix-devel/2024-03/msg00247.html

civodul, 7 months ago to random

Just gave a short introductory talk about Guix for the Software Sustainability SIG of the Netherlands eScience Center, following an introduction to Nix.

The audience doesn’t use either tool so far so now I’m curious to know if they’ll want to leave CONDA & co. for Guix or Nix!

civodul, 4 months ago to random

Wirth’s “Plea for Lean Software” (1995) resonates with me.
https://cr.yp.to/bib/1995/wirth.pdf

The problem is more acute than ever. Sure, there are applications today that couldn’t exist 10 or 20 years ago; and yes, interfaces have improved.

Yet common tasks (messaging, web browsing, document authoring, software development) are not all that different but require much larger amounts of resources.

🧵

civodul, 7 months ago to emacs

Dear #Emacs folks, believe it or not, it wasn’t until today that I looked at ‘project.el’!

Very nice, though I’m disappointed that it wouldn’t pick the ‘vc’ backend when it should, and that searching isn’t as good as with Counsel + Ivy.

Perhaps I’m missing tips and tricks?

civodul, 1 year ago to random

IT: We noticed connections to our services over Tor; it’s a likely sign of malicious activity.

me: Nope, I do use Tor and it’s a sign of privacy protection.

civodul, 5 months ago to guix

One thing I’d like to discuss at the upcoming #Guix Days is infrastructure maintenance and sustainability.
https://libreplanet.org/wiki/Group:Guix/FOSDEM2024

We’ve accumulated a number of valuable services (ci.guix.gnu.org, qa.guix.gnu.org, data.guix.gnu.org to name a few) but maintaining them requires work, commitment, and money.

How can we collectively keep that afloat? How do we adjust the scope of what the project runs?

civodul, 24 days ago to guix

Recently (past week?), #Guix proper passed the 30K package limit, all free software!
https://repology.org/repository/gnuguix

civodul, 11 months ago to random

“reUpNix: Reconfigurable and Updateable Embedded Systems”
https://dl.acm.org/doi/pdf/10.1145/3589610.3596273

Covers many interested topics, often relevant to both #Nix and #Guix, such as the problem of package sizes—looks like the authors found effective tricks in this area!

civodul, 7 months ago to random

10:30PM. Reviewing a patch that adds a package for an implementation of APL in Java.

Feeling useful and productive.

civodul, 1 year ago to random

#Fibers provides synchronous ‘put’ and ‘get’ operations on channels (inherited from Concurrent ML?).

This can be problematic if the sender doesn’t trust the receiver: the receiver can trivially DoS the sender. I wonder how Spritely comrades deal with this? @cwebber @tsyesika @dthompson

This was a hot topic among μkernel designers: https://srl.cs.jhu.edu/courses/600.439/shap03vulnerabilities.pdf

civodul, 7 months ago to random

I wonder: there was JavaScript and people would write compilers that emit JavaScript from some other high-level language.

Now there’s Wasm, which is supposedly a better compiler target, but it took a lot of effort to add GC to Wasm, and even that isn’t fully baked AIUI. Also, IIUC, browsers implement JS mostly separately from Wasm, too.

Weren’t we better off just emitting JS, incidental complexity and all?

(I’m asking this as a newbie, bear with me!)

civodul, 2 months ago to random

“Towards reproducible minimal source code tarballs?” by @jas4711:
https://blog.josefsson.org/2024/04/01/towards-reproducible-minimal-source-code-tarballs-please-welcome-src-tar-gz/

I think “make dist”-generated tarballs are just one part of the xz debacle (and not the most frightening part), but at least we can do something about them: when they’re the byproduct of a build process, we can build them from source (like Debian does); when they add something that’s not in the VCS (such as .po files), we can at least ensure a reproducible build process as Simon advocates here.

civodul, 1 year ago to random

My dream: a #Goblins-backed #Guix build daemon, used as the foundation of a Goblins-backed Cuirass/Build Coordinator/Data Service. A bunch of focused actors (microservices? :-)) working hand in hand.

We’d pass “read” capabilities to packagers so they can inspect their state, and “admin” capabilities for developers and maintainers to fiddle with the build queue, query an evaluation, etc.

civodul, 8 months ago to random

Les maths sont illustrées par du Python (et inversement) en première. C’est chouette !

Sauf que, à une semaine de la rentrée, on leur parle déjà d’affectation avec des exemples où on change la valeur des variables en cours de route et on doit réfléchir à leur valeur à la fin.

Je crois vraiment que la programmation fonctionnelle a des vertus pédagogiques dont il faudrait tirer parti au lycée.

civodul, 4 months ago to random French

💡 Le saviez-vous ? Une université française typique paye de l’ordre de 250 000 € par an pour Zoom (avec un investissement initial en matériel Zoom de plusieurs M€).

Soit l’équivalent d’au moins 2 ÉTP qui pourraient maintenir BigBlueButton, Jitsi ou similaire.

#ESR #Autonomie #ServicePublic

civodul, 2 months ago to guix

It’s now possible to create a #Guix System instance where the default ‘guix’ command sees the channels of your choosing:
https://guix.gnu.org/manual/devel/en/html_node/Customizing-the-System_002dWide-Guix.html

This is particularly useful if you want to create a ready-to-use system image.

civodul, 6 months ago to scheme

Recent discussions with Ricardo Wurmus about the picture language got me willing to give it another try.

7yo and I made this “bonhomme”; it was me doing most things at the keyboard (especially for the hair!), but little by little they started to get a feel of what to modify to achieve their goals and how to create more shapes. Fun!

#Guile #Scheme

Guile REPL showing basic shapes being combined, using the picture language.

civodul, 1 year ago to random

It’s been 30 years and 1 day since #Lout was first released:
https://groups.google.com/group/comp.sources.misc/msg/38e344608db9f22e

If you’ve never heard about it (likely!), Lout is a purely functional #typesetting system (think TeX/LaTeX) that offers a lot in one MiB!
https://download.savannah.nongnu.org/releases/lout/lout-3.40-user.ps.gz

civodul, 2 months ago to guix

#Guix quiz!

What happens when you run literally the following command:

guix download --commit=9ffefd780d7379b5eef35ca92176a98bc462c7db \
http://example.org/whatever

?

civodul, 24 days ago to guix

Glad to be joining the fine #Guix London Meetup crowd led by @futurile and @fabionatali for a discussion about Guix, Guile, and life at 7PM CEST today!
https://libreplanet.org/wiki/Group:Guix/PatchReviewSessions2024