Notices by Cayetano Santos (csantosb@sigmoid.social)

@lynn You can still recommend #guix to people, by just replacing the official savannah repository by this official mirror at #codeberg, with a much better uptime

guix pull --url=https://codeberg.org/guix/guix-mirror

@lynn @kimapr @csantosb You’re referring here to the graphical installer, I guess. I never used it, myself. Maybe someone can tell how to replace the default initial pulling url.

We're living in a #distopy.

#julialang

The #guile #lsp server just landed to #guix.

https://codeberg.org/guix/guix-mirror/commit/ed325ce878

guix install guile-lsp-server

Happy hacking !

#guix as an immutable, transactional operating system 🤔

https://eu-os.gitlab.io/faq#eu-project

Ever wanted to contribute to #guix or #emacs commons ? A bit scary about the #email based workflow ? Afraid of having to manipulate thousands of emails locally ?

No worries: https://yhetil.org, a public-inbox based service, provides a nice web front end to browse for patches, issues and bugs you may contribute to fix: thread overview, outlining, reply links, thread download in #mbox format, everything you need to start contributing is there.

#guixtips #emailrenaissance #emailisnotdead

@simendsjo

Indeed !

Ongoing discussions at #guix-devel list:

https://yhetil.org/guix-devel/87cyfw79h0.fsf@inventati.org/T/#t

Mailing lists vs Github

https://begriffs.com/posts/2018-06-05-mailing-list-vs-github.html

> Pros and Cons of Two Styles of OSS

#emailrenaissance #emailisnotdead

@civodul @mousebot I can hardly believe my eyes ... not yet in #guix repos ? Let’s fix that !

@civodul Great work, indeed ! Substitutes are an absolute must have when it comes to dealing with non trivial #guix packages.

There is one question people ask to me when it comes to contributing to guix: do I have to send a patch to this channel, or to guix itself ? What the difference is exactly ? Sure, binary blobs are not allowed in guix but other than this, are there any other factors affecting this choice ? 🤔

On using #sourcehut #ci as #guix testing farm.

https://infosec.press/csantosb/sourcehut-as-guix-test-farm

#modernhw

A #guix crash course.

https://infosec.press/csantosb/guix-crash-course

#ghdl (in its #clang variant), a #freesofware #vhdl analyzer, compiler, simulator and synthesizer, is part now of #guixscience channel. It may be used as any other #guix package with a simple

guix install ghdl-clang

This means too that pre-built substitutes are available online.

#modernhw

@fresseng@bw.heraut.eu @fresseng@fediscience.org

"La complexité incarne, dans l’histoire de l’humanité, le premier symbole de la décadence. Les nouveaux problèmes ne sont plus résolus en tentant de les analyser, mais en ajoutant une couche de complexité au-dessus d’anciennes solutions déjà trop compliquées".

Tout simplement génial @ploum.

#bikepunk

#ci testing of a #vhdl project in the #sourcehut build farm.

It runs a #ghdl simulation using the #osvvm verification library, creating a #guix local profile from a manifest file to handle all dependencies. Requirements are pulled from a custom repository. All #reproductible thanks to pinned guix channels.

https://builds.sr.ht/~csantosb/job/1363181