civodul

civodul, 5 days ago to random

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

civodul, 7 days ago to guix

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

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

civodul, 9 days ago to random

“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, 9 days ago to random French

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, 15 days ago to guix

Call for contributions to the #Guix 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, 19 days ago to guix

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, 20 days ago to random

✨ 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, 23 days ago to guix

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

civodul, 23 days ago to random

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, 23 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

civodul, 26 days ago to random

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

civodul, 29 days ago to guix

Just stumbled upon this great explanation of #Guix records by @roptat (2022):
https://lepiller.eu/en/a-deep-dive-into-guix-records.html

#Guile #Scheme

civodul, 1 month ago to random

“Authenticate your #Git checkouts!”
https://guix.gnu.org/en/blog/2024/authenticate-your-git-checkouts/

Yup! Time to consider doing it!

civodul, 1 month ago to random

It’s 2024. The ACM and its friends are still ripping public money, asking authors for $1,000 to make their paper “open access”.

One word: parasites.

civodul, 1 month ago to guix

Detecting holes so we don’t store zeros on disk:
https://issues.guix.gnu.org/70770

#Guix

civodul, 1 month ago to hpc French

Les vidéos du forum ORAP sur #HPC & #reproductibilité de mars sont en ligne 👇
http://orap.irisa.fr/52ieme-forum-reproductibilite/

civodul, 1 month ago to random

Mapping upstream source code tarballs back to downstream distros:
https://whatsrc.org/

👍 to #ReproducibleBuilds hacker kpcyrd for developing this!

civodul, 1 month ago to random

Recommendation is now to disable network namespaces to mitigate vulnerabilities due to their interaction with unprivileged user namespaces:
https://www.openwall.com/lists/oss-security/2024/04/14/1

That’s a sad outcome.

civodul, 1 month ago to random

“Reproducible and minimal source-only tarballs”, by @jas4711:
https://blog.josefsson.org/2024/04/13/reproducible-and-minimal-source-only-tarballs/

Great work providing reproducible tarballs (similar to what @janneke did for Guix), source-only tarballs, and setting up continuous integration to detect non-reproducibility across a variety of Linux distros. 👍

#ReproducibleBuilds

civodul, 1 month ago to guix

Good news for declarative config fans: finally there’s a #Guix System service to deploy home environments!
https://guix.gnu.org/manual/devel/en/html_node/Guix-Services.html#Guix-Home-Service

Thanks to Richard Sent for implementing it, based on code by @abcdw.

civodul, 1 month ago to random

The “there and back again” (TABA) pattern, to traverse a list both ways in one go (!):
https://fi.episciences.org/9356/pdf

I learned about it minutes ago, better late than never!

civodul, 1 month ago to emacs

#Emacs not doing proper kerning when using variable-width fonts (not to mention ligatures and such) is a bummer.

Do people know of solutions/workarounds?

civodul, 1 month ago to random French

Trouvé ça sur mon bureau aujourd’hui.

civodul, 1 month ago to random

“Scientific publishing has a language problem” (July 2023)
https://www.nature.com/articles/s41562-023-01679-6

I don’t subscribe to the conclusion that LLMs will save us, but the description of the problem is spot on.

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.