social.dk-libre.fr is a Fediverse instance that uses the ActivityPub protocol. In other words, users at this host can communicate with people that use software like Mastodon, Pleroma, Friendica, etc. all around the world.

This server runs the snac software and there is no automatic sign-up process.

Search results for tag #nix

[?]HoldMyType »
@xameer@mathstodon.xyz

there is no direct link in any resultant binary for nix to pick up on during installPhase, so we need to mark these as propagated manually, no?

We'd patch or generate elisp to hardcode the locations

would force a rebuild of any emacs package used, would it not?

Yes, that is the entire point of Nix.
Globally mutable state , runtime deps and interactive features , that make repl all the way more beautiful interactive tool , written with no global var
(Locks or channels)
Dynamic scoping can complicate the translation to Nix expressions because it requires understanding the context in which variables are called, making it difficult to analyze code without considering the entire call stack. This non-local behavior can lead to unexpected results and makes static analysis more challenging compared to lexical scoping, which is more predictable and easier to optimize

discourse.nixos.org/t/scoping-
reddit.com/r/emacs/comments/rs

    Viraptor boosted

    [?]Michael Stapelberg 🐧🐹😺 »
    @zekjur@mas.to

    Jane Street has migrated to in 2024!

    Photo of the Jane Street talk

    Alt...Photo of the Jane Street talk

      lux :flag_nonbinary:🦊ΘΔ boosted

      [?]KFears »
      @KFears@mstdn.games

      Sigh, so apparently Tom Berek of Steering Committee is now working for Anduril. You know, that same Anduril that caused an open letter denouncing MIC sponsoring community events. I don't see how it's acceptable for SC members to work for Anduril, especially in the wake of the whole, you know...

      The failure to provide an update to his conflict of interest (and two SC members stating their personal opinions that they don't see much of an issue) is a breach of trust. This means, once again, that the community has to organize by themselves, and demand accountability from people in power. To this end, please spread this information far and wide, and give @nyanbinary a hug. And go support your local and representatives.

      Original post: discourse.nixos.org/t/sc-membe
      Archive: web.archive.org/web/2025090621

        [?]Yann Büchau :nixos: »
        @nobodyinperson@fosstodon.org

        1 ★ 0 ↺

        [?]oldsysops »
        @oldsysops@social.dk-libre.fr

        @oldsysops@social.dk-libre.fr so news from N1.
        he's down the rabbit's hole im tweaking this new system.
        so he choose
        arch Linux (not the easiest way)
        hyprland for the desktop
        caelestia for the theme
        nix for the config

        he choose by following some YouTube howto maybe not the most adviced choice (but he keep this way)

        I call this "Linux by the north path..."


          [?]Klaus Frank »
          @agowa338@chaos.social

          How do I install a package from my local checkout of my (modified) fork of the nixpkgs repo so that doing "nixos-rebuild switch" will overwrite these changes?

          Currently the docs just say to use "nix-env -f . -iA libfoo" but so far everyone told me to NEVER NEVER EVER run "nix-env" as this will "fuck up the entire system in a way that nixos-rebuild won't fix".

            [?]Klaus Frank »
            @agowa338@chaos.social

            Is there some documentation for which "NixOS tests in nixos/tests" I've to run when I'm trying to make a PR to nixpkgs for a single package?

            At most I was able to find how to run a test but not anything in regards to which one(s).

            Also as there are literally countless dedicated tests and I don't want to accidentally run one that locally rebuilds every single package the trial-and-error approach also kinda isn't fitting.

            Also which of these does the CI/CD (also) run?

              [?]Klaus Frank »
              @agowa338@chaos.social

              googling for how to update the checksum in a is surprisingly difficult. You get more incorrect solutions than search results.

              Why can't you just use a normal sha256 of the exact file downloaded from the url that is literally right above it?

                Debacle boosted

                [?]Karl Voit :emacs: :orgmode: »
                @publicvoit@graz.social

                "To start with was one of my worst IT ideas so far."

                Read about the reasons why did not work out for me on:

                Good bye NixOS, Hello (Again)!
                karl-voit.at/2025/08/30/end-of

                I say bye to the great Nix community here! 👋 You were the best part of my Nix experience. 🙇

                Edit: I published an extended version on 2025-08-31 with additional content and links.

                  Lien Rag boosted

                  [?]AntoineÐ »
                  @AntoineD@kwak.cab

                  Est‑ce qu’une personne fan de serait d’accord de m’assister dans la mise en place du Spicetify-Nix svp ?

                  Ça fait des heures que je suis dessus, j’arrive à changer les couleurs de spotify mais pas le thème… 🤯

                  Merci ​:pleading_legacy:

                    [?]"Musty Bits" McGee »
                    @arichtman@eigenmagic.net

                    [?]joany »
                    @joany@mastodon.bsd.cafe

                    [?]Yann Büchau :nixos: »
                    @nobodyinperson@fosstodon.org

                    @thelinuxcast Nobody even mentioning :sailfishos: , a good mobile Linux made by @jolla, which ticks so many of the mentioned "it's not there yet" boxes:

                    - well-integrated subsystem (e.g install from or )
                    - a battle-tested UI (that one is proprietary though)
                    - installable on very cheap phones
                    - ...

                    I really should've joined and talked about it. And since you mentioned it: Yes, I do in fact use the :nixos: package manager on it 😉

                      [?]nico »
                      @n@social.tourmentine.com

                      [?]Sharlatan »
                      @sharlatan@mastodon.social