@civodul@toot.aquilenet.fr avatar

civodul

@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

This profile is from a federated server and may be incomplete. Browse more on the original instance.

civodul, to random
@civodul@toot.aquilenet.fr avatar

From a garbage collection viewpoint, installing Nix on Guix is akin to embedding Guile in OCaml.

daviwil, to random
@daviwil@fosstodon.org avatar

I'd love to start talking more about making a living as an independent hacker/creator but I've sometimes felt a vibe that this topic isn't so welcome on the Fediverse.

Any thoughts on the best way to approach this?

My goal would be to share what I've learned to help others do the same!

civodul,
@civodul@toot.aquilenet.fr avatar

@daviwil I don’t have advice to give but I think it’s an interesting topic that I’m sure many are interested in here.

civodul, to guix
@civodul@toot.aquilenet.fr avatar

Fellow hacker Ricardo Wurmus takes a break, maybe that’s an opportunity for you to help ?
https://lists.gnu.org/archive/html/guix-devel/2024-05/msg00227.html

If you’d like to give a hand on and packaging, on mentoring, packaging, or Cuirass CSS+JS, get in touch with Ricardo!

civodul,
@civodul@toot.aquilenet.fr avatar

Incidentally, two things are worth noting here IMO:

  1. It’s great to send a heads-up before actually stepping down, with a list of projects up for grabs—as opposed to simply disappearing as is all too common. That’s a much appreciated sign of commitment and humanity.

  2. It’s OK to retire or take a break in free software, we all do eventually; no volunteer should work 365 days a year until they experience burnout.

daviwil, to emacs
@daviwil@fosstodon.org avatar

🔴 Today on #SystemCrafters Live, we will write a custom Org export backend that will convert Org Mode documents to Scheme! The goal is to produce equivalent documents in the Skribe format used by Skribilo for Scheme-hackable document production.

Is this a good or bad idea? We'll find out!

Join us here: https://systemcrafters.net/live

🕐 in your time zone: https://time.is/compare/1800_in_Athens

#gnu #emacs #org #guile #scheme #skribilo

civodul,
@civodul@toot.aquilenet.fr avatar

@daviwil Fun! Can’t wait to see the result. :-)

civodul, to random
@civodul@toot.aquilenet.fr avatar

“Is Stack Overflow Obsolete? An Empirical Study of the Characteristics of ChatGPT Answers to Stack Overflow Questions”
https://arxiv.org/html/2308.02312v4

More evidence that ChatGPT & co. are, indeed, mansplaining-as-a-service—in addition to being a resource drain.

civodul, to random French
@civodul@toot.aquilenet.fr avatar

Depuis 1999 on doit se faire recenser à ses 16 ans par le ministère des armées.
https://archives.defense.gouv.fr/jdc/parcours-citoyennete/recensement.html

Tout ça pour aller à la Journée Défense et Citoyenneté (JDC), recevoir « enseignements sur les enjeux et objectifs généraux de la défense nationale, et sur les différentes formes d'engagement ».
https://www.service-public.fr/particuliers/vosdroits/F871

Une tribune appelle à permettre la déclaration d’objecteur·euse de conscience à la JDC :
https://www.humanite.fr/en-debat/armee-francaise/objecteur-de-conscience-a-la-journee-defense-et-citoyennete-cest-possible

Ce serait bien, de démilitariser.

civodul, to guix
@civodul@toot.aquilenet.fr avatar

Call for contributions to the infrastructure 👇
https://lists.gnu.org/archive/html/guix-devel/2024-05/msg00183.html

Many areas where you can help, with different time commitments and prerequisites: funding & spending, hardware hosting, system administration, and coding.

civodul,
@civodul@toot.aquilenet.fr avatar

@daviwil Yes, we probably need that (thanks for your help!).

But first things first: we need to be able to spend the money we already have, and for that we need more people and a clearer organization.

futurile, to guix

Video of the interview with founder @civodul is available. A great chat about the deployment model, his interested in and software. Lots of interesting chat about motivation in , and - as well as the Plan9-ification of Guix!!

https://youtu.be/339dRDf4c6E?si=u3pP_j_eg5PPi04y

civodul,
@civodul@toot.aquilenet.fr avatar

@kolev The “Plan9ification of Guix” is a phrase coined I think by Juliana (or @cwebber?) to describe what could be done by using Goblins in Guix.

And Juliana is going to work precisely on this:
https://spritely.institute/news/spritely-nlnet-grants-december-2023.html

@futurile

civodul, to guix
@civodul@toot.aquilenet.fr avatar

Glad to be joining the fine 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

civodul,
@civodul@toot.aquilenet.fr avatar

Of course I’m joining remotely, but from a place that’s at least as rainy as London. ☔

civodul, to guix
@civodul@toot.aquilenet.fr avatar

Public Service Announcement: Several #Guix web sites and services are currently down.
https://lists.gnu.org/archive/html/info-guix/2024-05/msg00000.html

civodul,
@civodul@toot.aquilenet.fr avatar

#Guix services and web sites are back, except qa.guix.gnu.org and packages.guix.gnu.org.

To be continued…

ekaitz_zarraga, to random
@ekaitz_zarraga@mastodon.social avatar

So yeah, @stikonas and myself bootstrapped GCC 4.6.4 for (with C++ support)

Read more:

https://ekaitz.elenq.tech/bootstrapGcc14.html

civodul,
@civodul@toot.aquilenet.fr avatar

@ekaitz_zarraga @stikonas Yay, congrats!

Maybe I missed an episode, but why bring another libc into the mix?

civodul,
@civodul@toot.aquilenet.fr avatar

@ekaitz_zarraga I see, thanks for explaining!

I think it’s great that you found a solution that works. For Guix at least, we also need to look at the bigger picture and see how to best address it with a whole-system approach.

To me that probably means tweaking Meslibc (which, of course, is easier said than done).

@stikonas @janneke

civodul, to random
@civodul@toot.aquilenet.fr avatar

✨ Log rotation service for the 🐑 #Shepherd:
https://lists.gnu.org/archive/html/guix-devel/2024-05/msg00159.html

Like in the early Unix of the 70’s, but with 2024 vibes! (And parens!)

civodul, to guix
@civodul@toot.aquilenet.fr avatar

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

civodul,
@civodul@toot.aquilenet.fr avatar

Third-party channels bring tens of thousands more packages.

For scientific usage: https://hpc.guix.info/channels
General purpose: https://toys.whereis.xn--q9jyb4c/channels

civodul,
@civodul@toot.aquilenet.fr avatar

How much should the package collection in Guix proper grow, though?

There are consistency, QA, and sustainability challenges.

civodul,
@civodul@toot.aquilenet.fr avatar

@shtwzrd @daviwil Indeed, it’s really tricky: now that core packages like librsvg (and soon Linux) depend on Rust, you can’t just move Rust packages out of Guix.

The same goes for most language packages. For example, Pandoc is used by a variety of packages, and it pulls in lots of Haskell packages.

CRAN and Bioconductor might be good candidates, but then the difficult part would be dealing with compatibility and ensuring interested parties have a say.

civodul,
@civodul@toot.aquilenet.fr avatar

@jas @daviwil @shtwzrd Good points. The separation as channels is both a technical and a social challenge (Conway’s law).

As for the minimal computing base, I find it sad that apart maybe from the BSDs, nobody is focusing on building a “system”. We end up with glibc depending on Python, GCC requiring a recent C++ compiler, etc.

Guix is focusing on building a system to a large extent, and perhaps the answer is to “own” its basic components.

civodul,
@civodul@toot.aquilenet.fr avatar

@khleedril I’m afraid we can’t: sooner or later, the innermost ring starts depending on some outer ring (glibc depending on Python, librsvg on Rust, etc.), and you end up with a single ring.

civodul, to random
@civodul@toot.aquilenet.fr avatar

I realize that for years, it’s been hard for me to answer questions like “what are you working on these days?”.

I feel like a large part of my day-to-day activity has been responding to stimuli: patches, support requests from work, emergency community/technical/infra support, conferences, meetings, the occasional academic paper, etc.

There’s still a long-term theme (several, even), but my everyday activity is largely chaotic.

civodul, to random
@civodul@toot.aquilenet.fr avatar

Finn Landweber wrote a pretty cool variant of the ‘guix git authenticate’ method:
https://codeberg.org/flandweber/git-verify

Highlights: Haskell instead of Scheme, JSON instead of sexps, SSH instead of OpenPGP, additional features such as per-file authorizations and unsigned merge commits.

👍

#Git

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • megavids
  • thenastyranch
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • ngwrru68w68
  • provamag3
  • magazineikmin
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • JUstTest
  • All magazines
    •