Toots for csantosb@sigmoid.social account

Written by Cayetano Santos on 2025-01-30 at 08:08

... and its corresponding paper, "Reproducibility of Build Environments through Space and Time"

https://hal.science/hal-04430009

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2025-01-30 at 08:08

An interesting post, about #NixOS and #reproducibility

https://luj.fr/blog/is-nixos-truly-reproducible.html

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2025-01-28 at 21:09

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

=> View attached media

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2025-01-22 at 14:44

Just discovered an effort towards using #guix as ci/cd environment with #github.

https://github.com/metacall/guix?tab=readme-ov-file

This adds to the existing images under #gitlab and #sourcehut

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2025-01-21 at 15:30

Atelier francophone gnu #emacs: une rencontre mensuelle où découvrir, échanger et partager autour de notre environnement de travail favori. Prochaine rencontre, le 5 février prochain.

Plus de détails: https://emacs-doctor.com/

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2025-01-16 at 16:41

[#]wallabagel, a read it later #wallabag client, is in its way to become the next big thing in the #emacs ecosystem. Not yet there, but getting closer.

https://github.com/chenyanming/wallabag.el

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2025-01-16 at 15:47

"We’re banking on a technology we don’t have the resources to power sustainably, expecting it

to save us from a problem it’s actively contributing to"

https://energytransition.org/2024/10/how-ai-is-fuelling-the-climate-crisis-not-solving-it/

[#]ai #ClimateCrisis

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-12-17 at 17:19

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

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

[#]modernhw

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-12-17 at 15:55

"#Guix for #FPGA" is the title for my abstract submission to participate on next year’s 2nd FPGA Developers' Forum (FDF) meeting at #cern 🤞.

https://indico.cern.ch/event/1467417/overview

[#]modernhw

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-12-09 at 16:30

Best practices to #OpenSource #FPGA designs.

Presented at #cern's 1st FPGA Developers' Forum Meeting by Javier Serrano

https://youtu.be/azN_dR3MSy4?si=ed4bP1jEvtYB03T-

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-12-09 at 11:35

On combining #guix, #ghdl, #vunit and #sourcehut to perform #ci testing of digital electronic designgs in #vhdl for #fpga, using exclusively #freesoftware.

https://infosec.press/csantosb/ci-sourcehut

[#]modernhw

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-12-05 at 22:55

On free writing with #emacs, #orgmode, #WriteFreely

... and a bit of #guix 📦.

https://infosec.press/csantosb/on-writting-freely

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-12-03 at 16:18

It is possible now to run your #vhdl syntheis using #ghdl and @yosyshq with:

guix ghdl-clang ghdl-yosys-plugin -- yosys yourscrip

No mess with dependencies or host configuration, only #guix is necessary.

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

[#]modernhw

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-12-01 at 13:03

Roadmap and Recommendations for #OpenSource #EDA in #Europe by @fossifoundation

https://fossi-foundation.org/resources/eu-roadmap

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-11-30 at 19:47

A #guix crash course.

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

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-11-26 at 20:17

"Choosing non-free platforms is an individualist, short-term investment which prioritizes your project’s apparent access to popularity over the success of the FOSS ecosystem as a whole. On the other hand, choosing #FOSS platforms is a collectivist investment in the long-term success of the FOSS ecosystem as a whole, driving its overall growth. Your choice matters."

https://drewdevault.com/2022/03/29/free-software-free-infrastructure.html

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-11-26 at 14:03

"#sourcehut will automatically submit builds when a patch to a repo with .build.yml is sent to a mailing list".

Thanks to nightly #guix images being built back again in a daily basis, one may test patches automatically before merge.

Better and better.

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-11-20 at 12:38

[#]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

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-11-11 at 13:02

[#]guix user and contributor survey:

https://guix.limesurvey.net/

=> More informations about this toot | View the thread

Written by Cayetano Santos on 2024-11-05 at 20:30

[#]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

[#]modernhw

=> More informations about this toot | View the thread

=> This profile with reblog | Go to csantosb@sigmoid.social account