Gregory's Server
#Guix, the package manager that doesn’t need a SAT solver to figure out its dependency graph.
|
Call for contributions to the #Guix infrastructure 👇 Many areas where you can help, with different time commitments and prerequisites: funding & spending, hardware hosting, system administration, and coding.   @civodul > Improve infra monitoring For balancing traffic there is HAProxy in the (gnu packages high-availability) module which misses written service. That module contains base packages for clustering as well, all missing services.  @civodul perhaps we need to organize a fundraising drive for infra costs? I can help organize and promote that! Public Service Announcement: Several #Guix web sites and services are currently down. Glad to be joining the fine #Guix London Meetup crowd led by @futurile and @fabionatali for a discussion about Guix, Guile, and life at 7PM CEST today!
Show previous comments
 @civodul @futurile @fabionatali  @civodul @futurile @fabionatali That's really good news indeed. I registered to the online meeting and notified my colleagues from Russian Guix community about the oncoming meeting too; maybe some of them will be joining as well.  Recently (past week?), #Guix proper passed the 30K package limit, all free software! Third-party channels bring tens of thousands more packages. For scientific usage: https://hpc.guix.info/channels It’s 2024. The ACM and its friends are still ripping public money, asking authors for $1,000 to make their paper “open access”. One word: parasites. @redstarfish @civodul It’s even more disgusting than that because #acm.org is a restricted access #Cloudflare site. Some people are allowed to reach it and some are not. Good news for declarative config fans: finally there’s a #Guix System service to deploy home environments! Thanks to Richard Sent for implementing it, based on code by @abcdw.   It’s now possible to create a #Guix System instance where the default ‘guix’ command sees the channels of your choosing: This is particularly useful if you want to create a ready-to-use system image. @civodul Hi, thamks. That's great news! When and how does that "guix" get "pulled" please? @civodul Also, I can't use the custom system channels yet because my Guix is several months behind. How do I disable authentication for the pull, please?  @civodul @jas4711 As I use the extended GNU build system for my own personal projects, I find it a bit frustrating that the PO files would not be present in the source tree, but I understand that if they were, then we would have a big bunch of undesirable “Update PO translation” commits. As for Gnulib more specifically, I have noticed that in several places, you can safely commit (semi-)generated files, and rely on syntax-check to detect when they should be updated.  @civodul @jas4711 I've been carrying and developing reproducible source tarball patches for Autotools and GNU Mes for quite some time, party courtesy of Timothy Sample. I'm embarrassed and confused that after over 10y of Reproducible Builds, GNU and Autotools still need to get used to these ideas (and don't seem to make any progress at all). My friends, I made a terrific (terrible?) discovery that goes by the name ‘sdlpop’: I spent hours on this as a kid and it was great, even though I’m not sure I ever went past level 2 (I didn’t today). “Adventures on the quest for long-term reproducible deployment” On addressing build reproducibility problems on “old” packages, in particular time-related, to ensure #ReproducibleBuilds and #ReproducibleResearch with #Guix. “Guix Days 2024 and FOSDEM recap” (Steve George) Great summary of the many friendly and fruitful discussions we had last week! “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 #HPC environments. 📺 Videos of the Nov. 2023 Workshop on Reproducible Software Environments for Research and High-Performance Computing are on-line! 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! 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. 👍 Virtual build machines to the rescue of software archaeologists: 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.  Also, running builds in the future can help detect time bombs before they happen so that you can fix it now, before it is a more bothersome problem! I am interested in using this to introduce problems... Looking forward to playing with this, thanks! Nice guide to running podman “rootless” on #Guix System: While going through my email backlog, I stumbled upon this cute #Guix visit card by @luis_felipe. Fancy! @civodul I saw that on one of the mailing lists recently, really excellent design. The Guix community is lucky to have @luis_felipe |
@civodul I mean, while true, isn't it bit too simple way to put it? My understanding is that Guix does not need SAT solver because basically any single dependency is hard-coded version (via its package definition).
If your pip --freeze produced requirements.txt is full of only pkg==1.2.3 style records, you also technically do not require SAT solver to figure it out, no?
Actually, *most* linux package manager do not require SAT solver no? At least pacman and apk do not have it afaik. Which one does out of curiosity?
@civodul I mean, while true, isn't it bit too simple way to put it? My understanding is that Guix does not need SAT solver because basically any single dependency is hard-coded version (via its package definition).
If your pip --freeze produced requirements.txt is full of only pkg==1.2.3 style records, you also technically do not require SAT solver to figure it out, no?