Notices by Cayetano Santos (csantosb@sigmoid.social)

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