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

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

Slogans by @spritelyinst comrades:

“Lisp is clay” (@cwebber)
“The Plan9ification of Guix” (@juliana)

(I’m sure there were more but those are those that stroke me the most.)

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

One concrete outcome of FOSDEM + Guix Days: the Foundation has a brand new web site design!
https://foundation.guix.info/

Kudos to Ricardo for the lightning-flash hacking.

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

It’s fair to say that the talk by @cwebber was much anticipated, and it delivered! Totally sold to the user-liberating, networked, + vision!!
https://fosdem.org/2024/schedule/event/fosdem-2024-2331-spritely-guile-guix-a-unified-vision-for-user-security/

👏

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

Very convincing talk and live demo (!) by Arun showing how Guix-Forge lets you self-host a forge in a few lines of System configuration:
https://fosdem.org/2024/schedule/event/fosdem-2024-2560-self-hosting-and-autonomy-using-guix-forge/

Yay for more autonomy!!

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

Inspiring and energizing talk by @ekaitz_zarraga about full-source on RISC-V with and related tools, showing just how much human support matters!
https://fosdem.org/2024/schedule/track/declarative-and-minimalistic-computing/

👍

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

Learning about DB48X, a revival of HP48, the extraordinary calculator that had me become a nerd in high-school!!
https://fosdem.org/2024/schedule/event/fosdem-2024-1990-how-much-math-can-you-fit-in-700k-/

3y battery life and 700k memory, yet a Scheme-like numerical tower, nice 2D graphics… inspiring.

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

Neat talk by Rutger van Beusekom about , a language that lets you verify formal semantics based on interface and behavior definitions:
https://fosdem.org/2024/schedule/event/fosdem-2024-1872-how-to-create-the-universal-operating-system/

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

Attending the talk by my colleague Philippe Swartvagher, showcasing (and more!) as a foundation for workflows. Wo0t!
https://fosdem.org/2024/schedule/event/fosdem-2024-2651-making-reproducible-and-publishable-large-scale-hpc-experiments/

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

What a day! Coming back from a pleasant evening at OFFDEM, having not just nice vegan food but also insightful discussions with Nix comrades ranging from the build daemon to governance issues.

I’m very grateful for this initiative Nix friends, and looking forward to more Nix/Guix collaboration!

civodul,
@civodul@toot.aquilenet.fr avatar

I forgot to mention an important thing: the “GuixOS” (sic) stickers brought by a playful Nix comrade, featuring a blend of the Nix and Guix logos. 👀

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

About to wrap up the Days and heck, it’s been great!!

Insightful discussions today about governance, funding, the , the contribution workflow, Hoot… Looking forward to implementing some of the ideas that have been proposed.

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

Excited to be at the Days with both new and familiar faces!!

On the agenda so far: an awesome demo of Spritely Goblins by @cwebber, a Guix status update by @efraim, and an overview of qa.guix.gnu.org by @cbaines.

Next up: splitting up in smaller groups to discuss organizational and technical issues.

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

“HIP and come to ”
https://hpc.guix.info/blog/2024/01/hip-and-rocm-come-to-guix/

New blog post on the 100+ Guix packages contributed by AMD, our preliminary tests on one the French national supercomputers, and how it can benefit going forward to both AMD and the French and European environments.

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

📺 Videos of the Nov. 2023 Workshop on Reproducible Software Environments for Research and High-Performance Computing are on-line!
https://hpc.guix.info/events/2023/workshop/program/

Videos include short interviews with the speakers. Tutorial material is also available from that page.

Many thanks to the speakers and to the video team at Institut Agro!

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

Starting from a few days ago, Software Heritage records nar SHA256 hashes of directories, meaning that can now query content by hash without further ado:
https://issues.guix.gnu.org/68741

That’s a great step forward, fixing an impedance mismatch between Guix and SWH.

👍 to the amazing folks at @swheritage!!

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

Back in November at the workshop in Montpellier, Arun told me: “Was it on purpose that you designed services as a propagator network?” Nope, it’s accidental!

It wasn’t clear to me what made him say so, but it’s starting to click.

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

All* of in a channel, thanks to the incredible Ricardo Wurmus:
https://hpc.guix.info/channel/guix-bioc

  • Actually everything not already in Guix, minus a few big data packages.
civodul, to random
@civodul@toot.aquilenet.fr avatar

It’s wonderful: mastodon.el now automatically resolves URLs to Mastodon posts, such that you can view these posts and interact with them without ever leaving the comfort of Emacs. 👍

civodul,
@civodul@toot.aquilenet.fr avatar

@brab Yes, as long as you don’t hit ‘q’ in your ‘mastodon-home’ buffer, it just sits there.

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

Virtual build machines to the rescue of software archaeologists:
https://issues.guix.gnu.org/68677

Not just archaeologists actually: it’s something you need to rebuild packages that include “time traps” (fail to build after some time). It’s relatively rare, but when you need them, you’d rather have a simple way to work around the problem.

bugaevc, to random
@bugaevc@floss.social avatar

I cannot overstate just how important the GCC Rust project is for, like, the future of computing, and everything.

And yet, under any post on LWN / HN / Reddit, 90% of discussion is people demanding justification for the project's existence. Because how dare they develop a compiler that someone doesn't see a use case for?!

civodul,
@civodul@toot.aquilenet.fr avatar

@bugaevc I’m old enough to have seen the rise and fall of GCJ (Java in GCC), in which Red Hat invested a large number of person-years (and not random persons I should say!).

I wonder if GCC-Rust will have the same fate, which I interpret as failure due to social issues. Rust has developed an anti-copyleft, anti-GNU, arrogant culture (how would one qualify the “RIIR” slogan? the claim on “memory safety”?). That might be enough for GCC-Rust to remain a niche.

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

Meet at !
https://guix.gnu.org/en/blog/2024/meet-guix-at-fosdem-2024/

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

“Building packages targeting psABIs”
https://guix.gnu.org/en/blog/2024/building-packages-targeting-psabis/

@efraim shares clever tricks on how to ship optimized code using ’s /lib/hwlibc-hwcaps search.

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

The package browser at https://hpc.guix.info/browse now shows the status of source code archival at .

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

“Modifying Guix packages using package transformations” (Dec. 2023)
https://www.futurile.net/2023/12/05/guix-package-transformations/

Another great tutorial-like blog post by Futurile actually part of an entire series on packaging.

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