Posts by civodul@toot.aquilenet.fr
(DIR) Post #B6KauKqqCHq5bQ1s3s by civodul@toot.aquilenet.fr
0 likes, 0 repeats
TIL that the fashionable “feat”, “fix”, “chore” convention for commit messages is documented:https://www.conventionalcommits.org/en/v1.0.0/Seems to originate from web/JS projects?
(DIR) Post #B6NqsxatMZ9pvGobSK by civodul@toot.aquilenet.fr
1 likes, 0 repeats
I was reminded that the thing called “list” in Python is actually implemented as a vector, with O(1) random access and O(n) insertion:https://wiki.python.org/moin/TimeComplexityAs a vehicle for teaching, it sounds terrible.
(DIR) Post #B6Op4bhYZxjykVJnwO by civodul@toot.aquilenet.fr
0 likes, 1 repeats
#Guix folks: discussion on GCD008 “Standing up for human crafting” is now open 👇https://codeberg.org/guix/guix-consensus-documents/pulls/13
(DIR) Post #B6Q6Qt5gV3ZVQjm2Zk by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Demain matin, démarrage des ✨ Journées @reproductible_fr ✨ avec #Guix 👇https://jrfrr-2026.sciencesconf.org/resource/page/id/2Et en plus on peut suivre en ligne 📺 (lien dans le programme).#RechercheReproductible #ScienceOuverte
(DIR) Post #B6RunEJjRyxGV59SWe by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Coup d’envoi des #JRFRR2026 avec Maurice Brémond et Loris Mégy qui ont montré leur environnement de développement avec #Guix aux petits ognons : canaux, time-machine, instance Cuirass dédiée. 👌
(DIR) Post #B6Rv2bQPonYaVmbkki by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Et maintenant @csantosb repousse les limites de Guix en montrant son utilisation pour l’électronique, avec des paquets pour les « IP » (typiquement du code VHDL).
(DIR) Post #B6S2PjsNGOF33rfHBg by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Sorina Pop présente une évaluation de la variabilité induite par la méthode de déploiement (Docker, Guix) et le matériel (CPU avec/sans AVX-512, etc.) sur le résultat produit par un traitement de neuroimagerie.Publié par Sorina Pop et son équipe dans ACM REP 2024 👇http://dx.doi.org/10.1145/3641525.3663626
(DIR) Post #B6S4ZCvKpkTDfLgzA0 by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Mattia Bunel présente les bases de données topographiques de l’IGN (passionnant !) et de l’utilisation de Guix pour les chaînes de production géomatique.https://github.com/ignfab/ignfab-guix 👉 https://batiment3d.ign.fr/
(DIR) Post #B6SGMDdi3nVNZT1Nb6 by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Commentaire de @zimoun : il faut « inverser la charge de la preuve », càd. que les chercheureuses qui comptent sur Docker pour la #RechercheReproductible expliquent en quoi ça répond au problème. :-)
(DIR) Post #B6TxMdqf6fFu2lUHtg by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Great material from yesterday’s #Guix tutorials at #JRFRR2026:• “Publishing a reproducible result” by Marek Felšöci 👉 https://p2r.felsoci.sk/• “How to get started writing Guix packages” by @andreas 👉 https://enge.math.u-bordeaux.fr/publications/packaging.pdf
(DIR) Post #B6V8M5jtDWNMuSDhKa by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Another demonstration of the feeling of impunity of these overtly fascist criminals.https://www.youtube.com/watch?v=z9FX2nfqXns
(DIR) Post #B6W75cMkkiUwNfwGYa by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Insightful talk by one of the authors of this study: “Removing barriers to plant-based diets: Assisting doctors with vegan patients” 👇https://www.sciencedirect.com/science/article/pii/S2214804324000156#JRFRR2026 #vegan
(DIR) Post #B6YdVJ0CxDqshibdJI by civodul@toot.aquilenet.fr
0 likes, 0 repeats
I’m chewing on this: Lisp is touted as a “programmable programming language”, removing restrictions to what programmers can express.What does it mean in a world where “programmers don’t write a line of code”, as sold by AI vendors?More generally, what’s the point of designing a programming language in that world?#nihilism
(DIR) Post #B6icjyf9BFqqxHXLrk by civodul@toot.aquilenet.fr
0 likes, 0 repeats
My friends, reading the comments on GCD 008 is a full-time job!It’s a lot of work, a lot of soul searching and questioning, but I enjoy the many thoughtful comments and the civil discussion.
(DIR) Post #B6jERxuj1R2Lg8f5Rg by civodul@toot.aquilenet.fr
3 likes, 0 repeats
— Quel été…— Capitaine, c’est l’printemps.
(DIR) Post #B6pkgFsnNF6OwaNOYS by civodul@toot.aquilenet.fr
0 likes, 0 repeats
RE: https://scholar.social/@gedankenstuecke/116658488788630635This: “Most people profess belief in the scientific consensus that society’s dependence on fossil fuels is warming the climate. […] When people like me argue that this technology is unfit for adoption on the basis of its energy requirements alone, AI users will simply ignore anything that we have to say.”RT: https://scholar.social/users/gedankenstuecke/statuses/116658488788630635
(DIR) Post #B6rjMNpKPuue9VdQrg by civodul@toot.aquilenet.fr
0 likes, 0 repeats
« Notre collectif cartographie les liens d’influence des entreprises privées dans l’enseignement supérieur. » 👇https://eies.fr/#ESR
(DIR) Post #B6yT7kfQu7nt5FKDaa by civodul@toot.aquilenet.fr
0 likes, 0 repeats
Denying climate warming is socially unacceptable, at least in Europe, for now.However, what I’ve seen increasingly over the past five years or so is whataboutism and inaction discourse.This 2024 study conducted in the UK and provides an insightful classification of inaction narratives:https://doi.org/10.1016/j.gloenvcha.2024.102875
(DIR) Post #B6yViEBKqZqOxFlg5A by civodul@toot.aquilenet.fr
0 likes, 0 repeats
“Unlawful by design: Exposing the human rights costs of generative AI” 👇https://www.amnesty.org/en/documents/pol40/0996/2026/en/“While these technologies promise sophisticated automation and efficiency, they rely on data collection and model training practices that abuse privacy rights, enable discrimination, and threaten freedom of expression and thought.”(HT yarlb)
(DIR) Post #B7T5dEpd3PGrBxzGXQ by civodul@toot.aquilenet.fr
1 likes, 0 repeats
Des classes fermées, des salles de sport et clubs en tout genre fermés, des trains annulés, des gens qui suffoquent, tout ça à cause de la chaleur.Et en même temps, des cols blancs qui depuis leur bureau climatisé discutent des gains de productivité réels ou supposés de « l’IA » et de l’avenir radieux qui se dessine.C’est ça 2026.