Notices by Cayetano Santos (csantosb@sigmoid.social)

@zwol @krans @equinox @shepherd @civodul A build system in Guile

https://codeberg.org/lapislazuli/blue

I got it, here we go:

https://systemcrafters.net/emacs-tips/presentations-with-org-present/

by @daviwil.

Other than this, you have several other options starting from org, from building beamer slides to exporting to reveal.js.

Fully #freesoftware based support for GateMate FPGAs from Cologne Chip [0] just landed in #guix.

It includes #yosys for synthesis, #openFPGALoader for device flashing and #nextpnr for placement and routing.

guix shell -C -m manifest.scm -- make

The whole toolchain runs in a #sourcehut #ci pipeline.

https://builds.sr.ht/~csantosb/job/1588460#task-test

#gatemate #fpga

[0] https://indico.cern.ch/event/1587509 for details on #gatemate #fpga.

@janneke @regtur @ekaitz_zarraga @guix @reproducible_builds @bjc

Tried with https://github.com/LaurieWired ?

@janneke
Emacs-team merge took place yesterday, does it fixes the issue ?
@monkey1 @civodul

#Guix for #fpga talk accepted during upcoming #orconf 2025.

https://fossi-foundation.org/orconf/2025#guix-for-fpgas

@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