civodul

civodul, 3 months ago to random

Dear LLVM, maybe you shouldn’t make strong assumptions about what you’ll find in /opt/rocm, /usr/local, and whatnot.

https://github.com/ROCm/llvm-project/blob/f3e174a1d286158c06e4cc8276366b1d4bc0c914/clang/lib/Driver/ToolChains/AMDGPU.cpp#L274

civodul, 3 months ago to guix

“Identifying software”
https://guix.gnu.org/en/blog/2024/identifying-software/

#Guix developer perspective on what it means to identify software, in particular from an #infosec perspective.

It was initially written as a response to a CISA request for comments but contains insight useful in broader contexts.

civodul, 3 months ago to guix

New section on getting started with #Guix System:
https://guix.gnu.org/manual/devel/en/html_node/Getting-Started-with-the-System.html

civodul, 3 months ago to guix

#Guix Packager 📦 supports a couple more languages and build systems as of… today!
https://guix-hpc.gitlabpages.inria.fr/guix-packager/

Kudos to Philippe Virouleau for the good hack.

civodul, 3 months ago to random

Guile-Git 0.6.0 is out!
https://gitlab.com/guile-git/guile-git

What’s new 👇
https://gitlab.com/guile-git/guile-git/-/blob/35a9701c5ff3191482e581e58d83cc635c525d34/NEWS

#Guile

civodul, 3 months ago to random French

Entretien très clair et structuré avec Friot sur le salaire à vie (26 min) :
https://www.arte.tv/fr/videos/113629-009-A/et-si-on-etait-paye-a-ne-rien-faire/

civodul, 3 months ago to random

I find writing doc, especially introductory doc, super rewarding: you know that without it an entire audience will never get to use your thing.

(Probably sounds obvious but it’s easy to overlook that when we stay in circles of tech folks not afraid of and with enough time on their hands to dive into software to understand it.)

civodul, 3 months ago to random

#Skribilo—the pandoc of Scheme (ahem, almost), the Scribble of #Guile!—now has a CommonMark front-end:
https://lists.nongnu.org/archive/html/skribilo-users/2024-02/msg00000.html

That means you can give it Markdown input and it’ll render it as HTML, LaTeX, Lout, or Info. And it recognizes #Haunt-style headers in the input!

civodul, 3 months ago to guix

Thanks to Timothy Sample, bzip2 tarballs are now added to the #Disarchive database—meaning #Guix can actually recover them. Example:
https://hpc.guix.info/package/valgrind

civodul, 3 months ago to random

C++ + ‘emojify-mode’ = 👋

civodul, 3 months ago to guix

Excited to announce the sixth Guix-HPC Activity Report! 👇
https://hpc.guix.info/blog/2024/02/guix-hpc-activity-report-2023/

Read it to learn about what we’ve been doing use #Guix in support of #HPC, #ReproducibleResearch, and #OpenScience.

civodul, 3 months ago to random

I do LaTeX a bit like I do JavaScript (though I rarely do JS): I type stuff in a search engine, copy one-liners, and add packages to get the job done.

In a way, I feel like LaTeX/Lout is a bit like JavaScript/Scheme: a choice between a wealthy environment and semantic clarity.

civodul, 3 months ago to random

The year is 2024; PDF is 30 years old.

Using ‘gs’ to select/split pages and merge documents requires a PhD in PostScript (or Forth?) and in IEEE-754 to deal with rounding errors.

Every other tool out there (mutool, pdfbook2, pdfjam, podofo, etc.) gets you almost there, but not quite.

If you have tips, I’m all ears!

civodul, 3 months ago to guix

Friends, #Guix is going to be able to use the new “ExtID” interface of @swheritage 👇
https://issues.guix.gnu.org/68741

If that sentence doesn’t make sense to you, another way to put it is that Guix will be able to recover source code using content addresses (nar SHA256 hashes) in all the non-tarball cases. Which is a significant improvement!

#ReproducibleResearch

civodul, 3 months ago to guix

“Guix Days 2024 and FOSDEM recap” (Steve George)
https://guix.gnu.org/en/blog/2024/guix-days-2024-recap/

Great summary of the many friendly and fruitful discussions we had last week!

#Guix #FOSDEM

civodul, 3 months ago to privacy

I recently learned that, without authentication, a bank card can send information such as: the card holder’s name, the expiration date, the last three transactions (or more depending on the model; this is used to allow payment and control in public transports).

All this can be done “contactless” for NFC cards.

I’m not sure the consequences on #privacy are widely understood.

Mehrad, 3 months ago to guix

Considering how old :nixos: #Nix and :guix: #Guix are, I'm relatively a very very new user, but in this short amount of time I have faced some critical challenges when trying to incorporate their reproducibility into my projects.

I'm tempted to call them Cursed of Reproducibility in [(N)(Gu)]ix. I'm putting my ideas together to write a blog post with examples in both Nix and Guix.

The reason I use Nix and Guix is to freeze time in the project and keep thing constant and deterministic.

🧵👇

civodul, 4 months ago to random

LLVM ported to the #Hurd on x86_64:
https://github.com/llvm/llvm-project/pull/78065/files

civodul, 4 months ago to random French

💡 Le saviez-vous ? Une université française typique paye de l’ordre de 250 000 € par an pour Zoom (avec un investissement initial en matériel Zoom de plusieurs M€).

Soit l’équivalent d’au moins 2 ÉTP qui pourraient maintenir BigBlueButton, Jitsi ou similaire.

#ESR #Autonomie #ServicePublic

civodul, 4 months ago to random

The ‘siunitx’ LaTeX package and Wikipedia are trying to convince me that an accepted typographical convention in English is to separate digits with “narrow gaps” instead of commas, like “12 000” instead of “12,000” (twelve thousands):
https://en.wikipedia.org/wiki/Wikipedia:Manual_of_Style/Dates_and_numbers#Grouping_of_digits

I don’t remember ever seeing narrow gaps for grouping in English but is it… common? preferred?

(LC_NUMERIC for en_* in glibc uses commas.)

civodul, 4 months ago to random

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