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

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

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

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, to guix
@civodul@toot.aquilenet.fr avatar

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

PierreSenellart, to random French
@PierreSenellart@lipn.info avatar

Le MESR se satisfait de la signature d'un accord donnant 33 M€ à Elsevier chaque année https://www.enseignementsup-recherche.gouv.fr/fr/signature-d-un-accord-global-de-lecture-et-de-publication-avec-l-editeur-elsevier-95958

33 M€, c'est 6 fois le budget annuel total (mondial !) d'arXiv.

En 2023, Elsevier a publié 630 k articles https://www.relx.com/~/media/Files/R/RELX-Group/documents/reports/annual-reports/relx-2023-annual-report.pdf et arXiv 200 k articles https://arxiv.org/stats/main

civodul,
@civodul@toot.aquilenet.fr avatar

@PierreSenellart @p4bl0 Et combien de fois le budget de HAL ? Quelle honte. Alors qu’on pourrait soit nationaliser soit contourner (remplacer par un service public) Elsevier et les autres…

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

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

Yup! Time to consider doing it!

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

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.

daviwil, to random
@daviwil@fosstodon.org avatar

Having a serious business meeting with the CTO at LibrePlanet @dthompson

civodul,
@civodul@toot.aquilenet.fr avatar

@daviwil @dthompson Looks serious indeed. :-) Enjoy!

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

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

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

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

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

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

👍 to hacker kpcyrd for developing this!

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

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,
@civodul@toot.aquilenet.fr avatar

Incidentally, that’s another illustration that retrofitting namespaces in an ambient-authority monolithic kernel is tricky.

This is on contrast with the Hurd, where per-process views are an inherent part of the design.

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

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

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

Good news for declarative config fans: finally there’s a 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.

wingo, to random

risible lack of detail. if there were something there there, it would be front and center https://openssf.org/blog/2024/04/15/open-source-security-openssf-and-openjs-foundations-issue-alert-for-social-engineering-takeovers-of-open-source-projects/

civodul,
@civodul@toot.aquilenet.fr avatar

@wingo OpenSSF and Linux Foundation want to grab supply chain security money from the US federal government; the xz backdoor is an opportunity for them to demonstrate that “something needs to be done” and that they’re well positioned to “do something”.

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

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,
@civodul@toot.aquilenet.fr avatar

;; OCaml example translated to Scheme.
(use-modules (ice-9 match) (srfi srfi-71))

(define (self-convolution lst)
(define (visit suffix)
(match suffix
(()
(values lst '()))
((head . tail)
(let ((input output (visit tail)))
(values (cdr input)
(cons (cons head (car input))
output))))))

(let ((_ lst (visit lst)))
lst))

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