GNU social JP
  • FAQ
  • Login
GNU social JPは日本のGNU socialサーバーです。
Usage/ToS/admin/test/Pleroma FE
  • Public

    • Public
    • Network
    • Groups
    • Featured
    • Popular
    • People

Notices by Ludovic Courtès (civodul@toot.aquilenet.fr), page 4

  1. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Monday, 27-Jan-2025 05:19:52 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • Post-Release Administrivia

    @gugurumbe I wouldn’t say the survey presented lack of non-free software as a problem, but it’s true that it explicitly listed it as an option, particularly for drivers.

    I’m not a maintainer but I don’t expect nor desire a change in what Guix provides: it should all be free software, and it’s fine to have third-party channels providing non-free software.

    The question of non-free firmware could be discussed separately though, like it was in Debian.

    In conversation about 4 months ago from toot.aquilenet.fr permalink
  2. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Monday, 27-Jan-2025 05:11:10 JST Ludovic Courtès Ludovic Courtès
    in reply to

    On this topic, while I was looking for something else :-) I found that Lix (and Nix?) has what they call “installables”, which ‘nix run’ runs in a container:
    https://git.lix.systems/lix-project/lix/src/branch/main/lix/nix/run.md

    ‘nix run’ seems to have the same goal as the wrapper produced by ‘guix pack -R’: mapping the store at the right place in the application’s namespace. It’s not about running an application with the least authority.

    In conversation about 4 months ago from toot.aquilenet.fr permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: git.lix.systems
      lix/lix/nix/run.md at main
      from lix-project
      lix - A modern, delicious implementation of the Nix package manager, focused on correctness, usability, and growth — and committed to doing right by its community
  3. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Monday, 27-Jan-2025 05:02:02 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • kris

    @kris I suppose some of the interface that’s currently private could move to (guix least-authority) for example. It’s just that providing a clean Scheme-level interface requires more thought.

    In conversation about 4 months ago from toot.aquilenet.fr permalink
  4. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Sunday, 26-Jan-2025 06:49:20 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • Janneke

    @janneke QubesOS goes way beyond that, but in a way it’s a step in that direction, sure!

    In conversation about 4 months ago from gnusocial.jp permalink
  5. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Sunday, 26-Jan-2025 06:48:02 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • Fabio Natali

    @fnat Sort of, yes. With ‘guix shell’ you end up with long command lines that you have to figure out by yourself (passing the right ‘--share’ and ‘-E’ flags, etc.).

    Here ‘guix container run’ can guess based on the dependencies of what you want to run.

    In conversation about 4 months ago from gnusocial.jp permalink
  6. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Sunday, 26-Jan-2025 00:42:25 JST Ludovic Courtès Ludovic Courtès

    ‘guix container run’ for least-authority program execution:
    https://issues.guix.gnu.org/75595

    Yay? Meh?

    #Guix

    In conversation about 4 months ago from toot.aquilenet.fr permalink

    Attachments


  7. Embed this notice
    Guy Dupont (gvy_dvpont@mastodon.social)'s status on Thursday, 23-Jan-2025 16:30:22 JST Guy Dupont Guy Dupont

    Playing with the idea of "different perspectives on the same story"!

    A QR code that sends you to a different source based on the angle.

    In conversation about 4 months ago from mastodon.social permalink Repeated by civodul

    Attachments


  8. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Thursday, 23-Jan-2025 22:00:12 JST Ludovic Courtès Ludovic Courtès

    The #Guix Consensus Document (GCD) process is open for deliberation to all team members until Feb. 5th 👇
    https://issues.guix.gnu.org/74736#91

    Exciting times!

    In conversation about 4 months ago from toot.aquilenet.fr permalink

    Attachments


  9. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Thursday, 23-Jan-2025 19:39:38 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • Janneke
    • Jeroen Baten

    @janneke @JeroenBaten Interesting! Sounds similar to Stow, which was from about the same period no? Or to “environment modules” (still widely used in HPC), which dates back to the mid-1990s.

    In conversation about 4 months ago from gnusocial.jp permalink
  10. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Thursday, 23-Jan-2025 07:38:51 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • Jeroen Baten

    @JeroenBaten What’s cadappl?

    In conversation about 4 months ago from gnusocial.jp permalink
  11. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Tuesday, 21-Jan-2025 22:47:24 JST Ludovic Courtès Ludovic Courtès

    Meet #Guix at #FOSDEM!
    https://guix.gnu.org/en/blog/2025/meet-guix-at-fosdem-2025/

    In conversation about 4 months ago from toot.aquilenet.fr permalink

    Attachments


    1. https://toot.aquilenet.fr/system/media_attachments/files/113/866/651/104/214/119/original/ec19e14da55bb075.png
    2. Domain not in remote thumbnail source whitelist: guix.gnu.org
      Meet Guix at FOSDEM — 2025 — Blog — GNU Guix
      Blog posts about GNU Guix.
  12. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Tuesday, 21-Jan-2025 17:00:21 JST Ludovic Courtès Ludovic Courtès

    En route pour le CINES. 🖧💪

    In conversation about 4 months ago from toot.aquilenet.fr permalink
  13. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Tuesday, 21-Jan-2025 08:11:09 JST Ludovic Courtès Ludovic Courtès

    @zimoun With teams and ‘CODEOWNERS’, you get notified only for things relevant to you.

    And then, we have to admit that the messaging interface for issues/PRs rich, with automatic connections among them and with commits.

    There’s also a search function for issues, available via ‘fj-list-issues-search’ (or ‘s’ from the issue list).

    In conversation about 4 months ago from toot.aquilenet.fr permalink
  14. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Sunday, 19-Jan-2025 05:45:11 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • Cuicas

    @Cuicas Gnus (with scoring and all the bells and whistles) and server-side filtering (Sieve).

    In conversation about 4 months ago from toot.aquilenet.fr permalink
  15. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Sunday, 19-Jan-2025 00:31:27 JST Ludovic Courtès Ludovic Courtès

    As I use ‘M-x fj-view-notifications’, I start dreaming of a time where I’d no longer miss comments on patch reviews and at the same time regain control of my mailbox.

    OK, I’m probably overly optimistic. Still…

    In conversation about 4 months ago from toot.aquilenet.fr permalink
  16. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Saturday, 18-Jan-2025 05:38:20 JST Ludovic Courtès Ludovic Courtès

    There’s a patch adding a Hetzner backend to ‘guix deploy’:
    https://issues.guix.gnu.org/75144

    I think that’s pretty cool.

    #Guix

    In conversation about 4 months ago from toot.aquilenet.fr permalink

    Attachments


  17. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Saturday, 18-Jan-2025 05:01:29 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • Lizzie Crowdagger :neocat_floof_flag_trans:
    • Vio

    @crowdagger Mais donc oui, peut-être « pensé » ?

    @VioB

    In conversation about 4 months ago from gnusocial.jp permalink
  18. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Saturday, 18-Jan-2025 05:00:02 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • Lizzie Crowdagger :neocat_floof_flag_trans:
    • Vio

    @crowdagger Je me suis toujours demandé d’où venait ce mot, mais Wiktionary a une théorie :
    https://en.wiktionary.org/wiki/thunk#Etymology_3

    @VioB

    In conversation about 4 months ago from toot.aquilenet.fr permalink

    Attachments

    1. No result found on File_thumbnail lookup.
      thunk - Wiktionary, the free dictionary
  19. Embed this notice
    Lizzie Crowdagger :neocat_floof_flag_trans: (crowdagger@corneill.es)'s status on Saturday, 18-Jan-2025 04:53:11 JST Lizzie Crowdagger :neocat_floof_flag_trans: Lizzie Crowdagger :neocat_floof_flag_trans:
    in reply to

    Du coup j'ai eu un doute mais oui c'est possible (j'ai pas réussi à le faire avec defmacro parce que skill issues)

    (define true (lambda (t f)
    t))
    (define false (lambda (t f)
    f))

    (define-syntax if
    (syntax-rules ()
    ((_ pred t f)
    ((lambda (a b)
    ((pred a b)))
    (lambda () t) (lambda () f)))))

    (if true (display "True\n") (display "False"))
    ; N'affiche que "True", la branche else n'est pas évaluée

    (if false (display "True\n") (display "False"))
    ; Idem pour "False"
    In conversation about 4 months ago from gnusocial.jp permalink Repeated by civodul
  20. Embed this notice
    Ludovic Courtès (civodul@toot.aquilenet.fr)'s status on Saturday, 18-Jan-2025 04:47:36 JST Ludovic Courtès Ludovic Courtès
    in reply to
    • mousebot
    • Cayetano Santos

    @csantosb Definitely, we should do that! I had to fix a couple of minor issues this morning, but really, I’m totally sold.

    @mousebot

    In conversation about 4 months ago from toot.aquilenet.fr permalink
  • After
  • Before

User actions

    Ludovic Courtès

    Ludovic Courtès

    GNU, Guix, Guile, reproducible research, etc.

    Tags
    • (None)

    Following 0

      Followers 0

        Groups 0

          Statistics

          User ID
          8358
          Member since
          2 Sep 2022
          Notices
          470
          Daily average
          0

          Feeds

          • Atom
          • Help
          • About
          • FAQ
          • TOS
          • Privacy
          • Source
          • Version
          • Contact

          GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.

          Creative Commons Attribution 3.0 All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.