• Sign in
  • Sign up
Elektrine
EN
  • EN English
  • 中 中文
Log in Register
Modes
Overview Search Chat Timeline Communities Gallery Lists Friends Email Vault VPN
Back to Timeline
  • Open on toot.aquilenet.fr

Ludovic Courtès

@civodul@toot.aquilenet.fr
mastodon 4.5.7

GNU, Guix, Guile, reproducible research, etc.

0 Followers
0 Following
Joined March 27, 2020
Email:
ludo@gnu.org
OpenPGP:
3CE4 6455 8A84 FDC6 9DB4 0CFB 090B 1199 3D9A EBB5
Lingvoj:
fr en eo es ca
Web:
https://people.bordeaux.inria.fr/lcourtes/

Posts

civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · 2d ago

What editor do you use for your #Guix and #Guile code?

Help us improve the manual’s section on editor setup 👇
https://guix.gnu.org/manual/devel/en/html_node/The-Perfect-Setup.html

View on toot.aquilenet.fr
8
0
11
0
civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · 3d ago

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

View on toot.aquilenet.fr
15
0
4
0
civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · 3d ago

It’s already tempting notably for smallish projects to resort to genAI:
@civodul@toot.aquilenet.fr

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.

View on toot.aquilenet.fr
20
0
13
0
civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · 5d ago

Hey #Guix! You maintain a channel, OS configurations, manifests, etc. and wonder about coordination with the Guix project on package removal?

Now’s the time to contribute to a proposed update of the deprecation/removal policy! 👇
https://codeberg.org/guix/guix-consensus-documents/pulls/12

View on toot.aquilenet.fr
8
0
13
0
civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · Mar 05, 2026

In case you missed it: https://www-cs-faculty.stanford.edu/~knuth/papers/claude-cycles.pdf

Anyone knows of a good farming 101 tutorial?

View on toot.aquilenet.fr
25
0
8
0
civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · Mar 05, 2026

Send SIGHUG, not SIGKILL.

View on toot.aquilenet.fr
62
0
31
0
civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · Feb 26, 2026

We went from copyright law being shaped by Disney demanding ever-increasing terms, to copyright law being effectively “optional” with OpenAI & co. lobbying so LLM output is not considered a derivative work of its inputs.

A 180° turn.

The law is still shaped by the powerful, but they now have different interests.

View on toot.aquilenet.fr
32
0
13
0
civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · Feb 25, 2026

GenAI reaches another unexpected corner of #FreeSoftware: the #Hurd
https://lists.gnu.org/archive/html/bug-hurd/2026-02/msg00133.html

View on toot.aquilenet.fr
11
0
12
0
civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · Dec 21, 2025

@csantosb@sigmoid.social added two new publications on #ReproducibleResearch on the #Guix publication page 👇
https://guix.gnu.org/en/publications/

① A just-published paper showing container image generation for materials science;
② A 2024 survey on #reproducibility in #HPC.

#OpenScience

View on toot.aquilenet.fr
5
0
7
0
civodul
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
Ludovic Courtès
Ludovic Courtès
@civodul@toot.aquilenet.fr

GNU, Guix, Guile, reproducible research, etc.

toot.aquilenet.fr
@civodul@toot.aquilenet.fr · Nov 12, 2025

A fellow hacker, knowing my passion for Rust⸮, shared these ‘sudo-rs’ vulnerabilities:
https://github.com/trifectatechfoundation/sudo-rs/security

View on toot.aquilenet.fr
4
0
6
0
313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 08:51:45 UTC