My friends, I made a terrific (terrible?) discovery that goes by the name ‘sdlpop’:
https://packages.guix.gnu.org/packages/sdlpop/1.22/
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).
One of the achievements of the workshop: ~15 people showed up at the install party with their laptop and left with a working installation, and ~70 attended the #Guix intro tutorial and following packaging intro, now knowing enough to get started.
We’re talking about people new to Guix, working in a variety of domains, and who’d often not self-identify as developers.
My friends, I’ve spent an unreasonable amount of time debugging a #ZeroMQ issue whereby a router socket swallows a message: ‘zmq_msg_send’ succeeds but there’s no corresponding ‘sendto’ call in the strace log.
How would you go about debugging this?
(Other questions I ask myself: How did I end up here? Why am I even doing this⁈)
@1772be87 Wild guess: ‘#include_next’ doesn’t work because there’s nothing next (only one entry in ‘CROSS_C_INCLUDE_PATH’).
If that’s the case, then you can try to work around it with: export CROSS_C_INCLUDE_PATH=$CROSS_C_INCLUDE_PATH:$CROSS_C_INCLUDE_PATH.
@07a0992c Le but de la programmation en maths devrait être d’accompagner les apprentissages de maths (et vice versa éventuellement).
En montrant les affectations et autres effets de bord, on s’éloigne des maths et on risque de rendre la compréhension difficile pour des personnes qui découvrent la programmation.
(Le choix du langage importe peu, c’est vraiment le choix des idiomes dont je parle.)
@634bd1cc I guess many math teachers discovered programming recently and had mandatory Python training where they had to endure imperative idioms themselves. So now they’re just propagating that pain, maybe thinking that it’s a fundamental part of programming.
It’s terrible because it’s such a distraction and a pain when programming could instead be a great companion for math classes!
Les maths sont illustrées par du Python (et inversement) en première. C’est chouette !
Sauf que, à une semaine de la rentrée, on leur parle déjà d’affectation avec des exemples où on change la valeur des variables en cours de route et on doit réfléchir à leur valeur à la fin.
Je crois vraiment que la programmation fonctionnelle a des vertus pédagogiques dont il faudrait tirer parti au lycée.
@ed2912d5 So far we were still mostly cross-compiling everything but @634bd1cc fixed native compilation of many packages (substitutes are coming). @634bd1cc also did a lot of work to switch to user-level drivers recently (netdde and rumpdisk).
One of the next steps is indeed adding x86_64 support, and @38aae3b0 was quite excited about it, having already upgraded glibc with that goal in mind.
So… exciting times!
Folks happily running #Apptainer/#Singularity images generated by ‘guix pack’ with native MPI performance on #HPC clusters:
https://issues.guix.gnu.org/65801#2
Not really a surprise because that’s a major goal of our Open MPI packaging, but always pleasant feedback.
A colleague of mine provided participants at a #EuroMPI tutorial with relocatable #Guix packs (tarballs) of the relevant software stack, which worked well to ensure they’d all get the right environment. Nice use case!
“The five pillars of computational reproducibility: Bioinformatics and beyond”
https://ziemann-lab.net/public/5pillars/5pillars.html
Good to see that one of these pillars is “compute environment control”, which is still all too often overlooked by scientists.
(HT to zimoun!)
#OpenScience #ReproducibleResearch #Guix
We’ll see how it goes, but my guess is that Rhombus will be as successful at making Racket popular as Hop.js was at making multitier web programming popular (Hop.js replaced Scheme with JavaScript as its source language, https://hop.inria.fr).
@0376c6e8@59893ad8 Also: “since handling static information (such as types) is also a necessary part of growing macros beyond Lisp, Rhombus includes support in its expansion protocol for communicating static information among bindings and expressions”.
Reminds me of Turnstile, which does a great job of using macros to express static type info:
https://docs.racket-lang.org/turnstile/
After weeks (months?) of neglecting guix-devel email and/or taking vacations, I learn that something unbelievable happened: *all* of #TeX Live has been imported in #Guix, as 4K+ individual packages, including “collections” and “schemes” (≅ meta-packages):
https://guix.gnu.org/manual/devel/en/html_node/Using-TeX-and-LaTeX.html
Thumbs up to Nicolas Goaziou for this achievement!
The tutorials will cover a range of topics, not limited to Guix, and I expect this to be a good fit for fellow research software engineers but also for anyone willing to get started or to improve their #Guix skills.
Really happy that we’ll have talks covering the use of #Guix in widely different (often non-geeky!) contexts: physics, bioinfo, medicine, psychology, linear algebra… not to mention feedback from #HPC sysadmins.
Excited to unveil the preliminary program of the 1st Workshop on Reproducible Software Environments for Research and High-Performance Computing!
https://hpc.guix.info/events/2023/workshop/
Experience reports by people with a variety of backgrounds, tutorials… time to register!
📅 Nov. 8–10, 2023
🗺 Montpellier, France
#OpenScience #ReproducibleResearch #HPC #Guix
Really happy that we’ll have talks covering the use of #Guix in widely different (often non-geeky!) contexts: physics, bioinfo, medicine, psychology, linear algebra… not to mention feedback from #HPC sysadmins.
“sqlelf: Explore ELF objects through the power of SQL”
https://github.com/fzakaria/sqlelf
SQL lacks the expressive power of GNU Poke for these things, but this looks like an interesting and useful way to inspect ELF files.
Oddbean new post about login | logout
Notes by Ludovic Courtès | export