Elektrine lite

← Feed

Ludovic Courtès

civodul@toot.aquilenet.fr

<p>GNU, Guix, Guile, reproducible research, etc.</p>

Posts

  • Post #4039157

    “Protecting our FLOSS commons from LLMs” https://blog.codeberg.org/protecting-our-floss-commons-from-llms.html Good to see #Codeberg take a stance and remind us all of the risks LLMs pose to what we’ve been patiently building.

  • Post #3619655

    Version 3 of GCD 008 on genAI use in #Guix is available 👇 https://codeberg.org/guix/guix-consensus-documents/src/commit/a0aca85d5079d740f953794f63722d76611aece9/008-genai.md Discussion 👇 https://codeberg.org/guix/guix-consensus-documents/pulls/13#issuecomment-18619856 📅 Deliberation tentatively scheduled for July 11th.

  • Post #2870241

    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

  • Post #2538645

    The mechanism that makes it so that we no longer need to enter our LUKS passphrase twice is pretty cool: https://guix.gnu.org/manual/devel/en/html_node/Bootloader-Configuration.html#Automatic-LUKS-Master-Key-Passing #Guix

  • Post #2526544

    “Time travel without borders” https://guix.gnu.org/en/blog/2026/time-travel-without-borders/ On the freshly implemented ability of ‘guix time-machine’ and ‘guix pull’ to download channel files without putting you at risk. #Guix

  • Post #2494895

    #Guix at the annual French #ReproducibleResearch Network conference, May 19–21 👇 https://hpc.guix.info/blog/2026/05/guix-at-the-french-reproducible-research-network-conference/

  • Post #2320819

    “[LLMs] could demystify the capabilities of a modern Linux workstation and bring them to a much wider audience.” https://discourse.ubuntu.com/t/the-future-of-ai-in-ubuntu/81130 Demystifying by adding an “everything machine” as a black-box on top of a complex system? I’m skeptical.

  • Post #2119013

    #Skribilo 0.11.0 is out, featuring a new CommonMark frontend and improvements to the HTML backend 👇 https://www.nongnu.org/skribilo/ Brought to you by Arun Isaac. #Guile

  • Post #2061577

    Les vidéos des Journées du réseau #RechercheReproductible sont en ligne 👇 https://www.canal-u.tv/chaines/rfrr/journees-de-la-recherche-reproductible J’en ai discuté ici au début du mois : plein de présentations intéressantes à la fois pour comprendre l’état de la reproductibilité et confiance qu’on peut avoir dans les travaux de recherche de différents domaines et pour découvrir les initiatives pour améliorer la situation.

  • Post #1669973

    Sandboxing &amp;amp; downloading channel files: https://codeberg.org/guix/guix/pulls/6745 The way to ‘nix run’ style commands but without the ‘curl | sh’ flavor? #Guix

  • Post #1618833

    Well-documented list of free software projects and their use of genAI: https://codeberg.org/small-hack/open-slopware It’s already a long list that shows what looks like uncritical adoption, both by high-profile projects (systemd, VLC, etc.) and by niche projects (GNU Mach is a prime example).

  • Post #1464910

    Until ‘timerfd’ became a thing, the only way to wait for a real-time clock calendar event (the main use case being cron) was to poll the real-time clock periodically, to account for the fact that it can change at any time: https://codeberg.org/guile/fibers/pulls/177#issuecomment-13351431 🤦

  • Post #1464909

    Ma baguette a pris 5 centimes depuis hier, « à cause du détroit d’Ormuz ». Saleté de détroit.

  • Post #1464907

    Just watched this nice #LixCon2026 talk on Zilch: https://app.media.ccc.de/v/lixcon-2026-14-using-nix-without-the-nix-a-retrospective-on-zilch It’s a Scheme interface to talk to the Nix daemon, it has a thing called “z-expressions” to capture context in staged code, client-side build hooks… sounds familiar, we should talk! :-)

  • Post #1314982

    📢 Hear, hear! #Guile birds of a feather session online on Monday, April 6th, 1PM UTC! https://lists.gnu.org/archive/html/guile-devel/2026-04/msg00002.html Kudos to Olivier Dion for this great initiative—and for all the energy put into Guile!

  • Post #1314981

    Des doubleureuses ont gagné contre des boîtes d’IA générative qui permettaient de reproduire leurs voix, sans autorisation : https://www.franceinfo.fr/culture/cinema/clonage-de-voix-par-ia-25-doubleurs-francais-obtiennent-le-retrait-de-contenus-litigieux_7915544.html La bonne nouvelle, c’est une prop. de loi pour inverser la charge de la preuve : ce serait aux boîtes de prouver qu’elles n’ont pas entraîné sur les données incriminées 👇 https://www.senat.fr/leg/ppl25-220.html #IAgen

  • Post #1314980

    Où l’on parle d’un renard, de cybernétique, de cerveaux électroniques et d’intelligence artificielle (1961). https://www.ina.fr/ina-eclaire-actu/video/caf88038611/albert-ducrocq-la-cybernetique-1ere-partie

  • Post #1314979

    “It may constitute a threat to commit genocide” says Amnesty: https://www.amnesty.org/en/latest/news/2026/04/iran-president-trumps-apocalyptic-threats-of-large-scale-civilian-devastation-demand-urgent-global-action-to-prevent-atrocity-crimes/ Drop “may”? It’s unambiguous, and so was Gallant’s speech on Oct. 9th, 2023.

  • Post #1314976

    This latest report by Albanese, obviously well documented, sheds light on aspects we don’t hear much about and puts them in perspective: https://www.un.org/unispal/document/torture-and-genocide-report-francesca-albanese-a-hrc-61-71/ Well worth a look.

  • Post #1090295

    The annual Guix-HPC report was published last Friday, check it out! https://hpc.guix.info/blog/2026/02/guix-hpc-activity-report-2025 #Guix #HPC #ReproducibleResearch #OpenScience

  • Post #1085237

    The 🐑 #Shepherd was at #FOSDEM and now it’s on TV! 📺 https://www.gnu.org/software/shepherd/news/2025/02/the-shepherd-on-tv/ Check out my talk on the beauty (and dangers!) of #Fibers for concurrent programming and that of Juliana on porting it to #Goblins and starting the plan9ification of #Guix. 🤯

  • Post #1076469

    Je vois cette pub EDF dans la rue, blue-blanc-rouge où le blanc est celui du panache de fumée d’une centrale nucléaire, avec le slogan « produire l’électricité dont la France a besoin », et je me dis que tout y est : le nucléaire décomplexé loin de la discrétion suite à Fukushima, la référence nationaliste et l’allusion guerrière. Quelle belle époque vivons nous.

  • Post #855331

    “Israeli forces using Gaza playbook in Lebanon, decimating water infrastructure” https://www.oxfam.org/en/press-releases/israeli-forces-using-gaza-playbook-lebanon-decimating-water-infrastructure

  • Post #855329

    💡 Did you know? There’s an API to get data about builds etc. from Cuirass 👇 https://codeberg.org/guix/cuirass/issues/130#issuecomment-12381921 #Guix

  • Post #855328

    Le ☕ Café #Guix de demain sera animé par @khinsen et comparera #Guix et #CONDA pour des projets scientifiques. 📅 mardi 31 mars, 13h–14h ▶ https://hpc.guix.info/events/2025-2026/caf%C3%A9-guix/ #RechercheReproductible #ScienceOuverte

  • Post #818086

    If you’re into #Rstats and/or #bioinformatics, if you care about #ReproducibleResearch, consider helping out fellow #Guix hackers! https://codeberg.org/guix-science/guix-cran-scripts/ The scripts above are what powers the automated imports of CRAN and Bioconductor as Guix channels, and they need ❤

  • Post #818084

    When spending ~500 M€ of European public money on an #HPC cluster from a US company, use of said machine is subject not just to EU and national laws, but also to US export regulations and sanctions: https://lumi-supercomputer.eu/termsandpolicies/ #sovereignty

  • Post #818083

    Hey you, #retrocomputing nerds! Any idea what this is?

  • Post #663298

    It’s already tempting notably for smallish projects to resort to genAI: https://toot.aquilenet.fr/@civodul/116132543248503962 But I think a race to the bottom has started in #FreeSoftware, with this rationale: if “we” don’t use genAI in our project, then we will lose to the competition, whether free slopware or proprietary.

  • Post #660187

    Just looked at an issue in Codeberg that happened to be a duplicate of a bug filed 14y earlier on Debbugs, which itself was a duplicate of an older bug filed on Savannah. (You can tell it’s a critical bug.)