Mathstodon

54 posts45 participants0 posts today

fuumaDocumentation in operating systems is cool. It is possible to extend and rewrite utilities as time goes on, as <a href="https://masto.hackers.town/tags/freebsd" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#freebsd</a> proves. You can still have cool utilities, like <a href="https://masto.hackers.town/tags/containers" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#containers</a> and <a href="https://masto.hackers.town/tags/zfs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#zfs</a> and <a href="https://masto.hackers.town/tags/hypervisors" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#hypervisors</a>, good docs for them and a consistent base system. I dunno where I am going with this, other than wishing I didn't have to peruse the Arch wiki and the Gentoo wiki for everything when I get stuck, and instead could just "man xyz" and get good answers, speaking as <a href="https://masto.hackers.town/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nixos</a> user.

Haskell WeeklyHorizon Haskell (Road To GHC 9.14) Playlist<a href="https://www.youtube.com/playlist?list=PL5S993hswMpSEXZpYFt4o0PzPpxZQ_UOu" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.youtube.com/playlist?list=PL5S993hswMpSEXZpYFt4o0PzPpxZQ_UOu</a>Discussions: <a href="https://discu.eu/q/https://www.youtube.com/playlist?list=PL5S993hswMpSEXZpYFt4o0PzPpxZQ_UOu" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://discu.eu/q/https://www.youtube.com/playlist?list=PL5S993hswMpSEXZpYFt4o0PzPpxZQ_UOu</a><a href="https://mastodon.social/tags/haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#haskell</a> <a href="https://mastodon.social/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nixos</a> <a href="https://mastodon.social/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programming</a>

Paul MeyerFor many, overlays, and fixed-point functions as underlying concept, are hard to gasp in <a href="https://infosec.exchange/tags/Nix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Nix</a>.I found the documentation to be actually quite good in this case, checkout the function docs of <a href="https://noogle.dev/f/lib/fix" rel="nofollow noopener noreferrer" target="_blank">fix</a> and <a href="https://noogle.dev/f/lib/extends" rel="nofollow noopener noreferrer" target="_blank">extends</a> (and read in this order). Both have great examples/steps that guide you through, which was really helpful to me.<a href="https://infosec.exchange/tags/Nix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Nix</a> <a href="https://infosec.exchange/tags/NixOS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NixOS</a> <a href="https://infosec.exchange/tags/nixpkgs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nixpkgs</a>

Determinate Systems, Inc.Ready to streamline your <a href="https://hachyderm.io/tags/Nix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Nix</a> deployments? 🚀Join our upcoming webinar to learn how FlakeHub features like private flakes, SemVer, resolved store paths, and binary cache can simplify your <a href="https://hachyderm.io/tags/NixOS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NixOS</a>, Home Manager & nix-darwin workflows, no matter whether your infra is treated as a pet or cattle!Register here: <a href="https://buff.ly/XizuHjI" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://buff.ly/XizuHjI</a>

gmodenanix-flatpak is now available on flakestry: <a href="https://flakestry.dev/flake/github/gmodena/nix-flatpak" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://flakestry.dev/flake/github/gmodena/nix-flatpak</a><a href="https://hachyderm.io/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nixos</a> <a href="https://hachyderm.io/tags/flatpak" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#flatpak</a>

ZeStig :emacs: :nix: :rust: :gnu: :archlinux:<a href="https://mastodon.social/@ubuntushell" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@ubuntushell</a> meanwhile <a href="https://fedia.social/tags/nixos" rel="nofollow noopener noreferrer" target="_blank">#nixos</a> <a href="https://fedia.social/tags/unstable" rel="nofollow noopener noreferrer" target="_blank">#unstable</a> rocking the \pi alpha 😌

Jux 🏳️‍⚧️& - 88x31 in the NEW juxgd.codeberg.pagedoes anyone know how i can inherit environment variables with home manager from an external flake? like if i have a flake in my computer and all it does is add env variables can i import that into my home manager flake and have any env vars that i add there inherit the ones from the other flake? <a href="https://catodon.social/tags/nixos" rel="nofollow noopener noreferrer" target="_blank">#nixos</a> <a href="https://catodon.social/tags/nix" rel="nofollow noopener noreferrer" target="_blank">#nix</a> <a href="https://catodon.social/tags/homemanager" rel="nofollow noopener noreferrer" target="_blank">#homemanager</a>

ZeStig :emacs: :nix: :rust: :gnu: :archlinux:<a href="https://mk.absturztau.be/@Linux" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@Linux</a> hell yeah! Welcome to the party! <a href="https://fedia.social/tags/nixos" rel="nofollow noopener noreferrer" target="_blank">#nixos</a>

Linux Is Best<a href="https://hachyderm.io/@marcus" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@marcus@hachyderm.io</a> <a href="https://mathstodon.xyz/@Pol" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@Pol@mathstodon.xyz</a> Wonderful. Now I just need to wait for that to make it into the repos and I will be able to install NixOS on another PC. <a href="https://mk.absturztau.be/tags/NixOS" rel="nofollow noopener noreferrer" target="_blank">#NixOS</a> <a href="https://mk.absturztau.be/tags/Nix" rel="nofollow noopener noreferrer" target="_blank">#Nix</a> <a href="https://mk.absturztau.be/tags/Linux" rel="nofollow noopener noreferrer" target="_blank">#Linux</a> <a href="https://mk.absturztau.be/tags/iVPN" rel="nofollow noopener noreferrer" target="_blank">#iVPN</a>

Linux Is BestI think the one thing I am not happy concerning NixOS is the lack of a GUI VPN (not Flatpak). I, know how to use the terminal, but I can repeat how to use it until I am blue in the face, and pass out, but that knowledge and wisdom will wash over the other person who needs it. They'll hear me, but forget the moment I walk out of the room. If it is not graphical, they're not learning it. <a href="https://mk.absturztau.be/tags/NixOs" rel="nofollow noopener noreferrer" target="_blank">#NixOs</a> <a href="https://mk.absturztau.be/tags/Nix" rel="nofollow noopener noreferrer" target="_blank">#Nix</a> <a href="https://mk.absturztau.be/tags/Linux" rel="nofollow noopener noreferrer" target="_blank">#Linux</a> <a href="https://mk.absturztau.be/tags/iVPN" rel="nofollow noopener noreferrer" target="_blank">#iVPN</a> <a href="https://mk.absturztau.be/tags/VPN" rel="nofollow noopener noreferrer" target="_blank">#VPN</a>

Linux Is BestThere are a lot of people who tend to share their NixOS Configuration files. I think they mean to be helpful, but usually, they filled with so much bloat and random customization, without any documentation on what is optional. So let's change that and share something simple. This is pretty much the stock KDE install with the media codecs included, Mesa, Vulkan, Flatpak, and Bluetooth enabled. That's it. The "bonus" was the few OpenVPN packages and iVPN packages (which you can remove if you don't need). <a href="https://mk.absturztau.be/tags/NixOS" rel="nofollow noopener noreferrer" target="_blank">#NixOS</a> <a href="https://mk.absturztau.be/tags/Nix" rel="nofollow noopener noreferrer" target="_blank">#Nix</a> <a href="https://mk.absturztau.be/tags/Linux" rel="nofollow noopener noreferrer" target="_blank">#Linux</a>

Linux Is BestI am now using, NixOS, by the way. 😜 <a href="https://mk.absturztau.be/tags/NixOS" rel="nofollow noopener noreferrer" target="_blank">#NixOS</a> <a href="https://mk.absturztau.be/tags/Nix" rel="nofollow noopener noreferrer" target="_blank">#Nix</a> <a href="https://mk.absturztau.be/tags/Linux" rel="nofollow noopener noreferrer" target="_blank">#Linux</a>

Linux Is BestThe inconsistencies in NixOS is what drives me nuts. gst-plugins-ugly not defined, but gst_all_1.gst-plugins-ugly works So you would think kdePackages.xdg-desktop-portal-kde, but nope, xdg-desktop-portal-kde Sometimes the friendly name, sometimes the long geeky name. Pick one and stick with it throughout the system please. - Preferably the friendly name, it'd be easier to recall. <a href="https://mk.absturztau.be/tags/NixOS" rel="nofollow noopener noreferrer" target="_blank">#NixOS</a> <a href="https://mk.absturztau.be/tags/Linux" rel="nofollow noopener noreferrer" target="_blank">#Linux</a>

Honnip<pre><code>> curl -s https://api.github.com/repos/NixOS/nixpkgs | jq .stargazers_count 20000 </code></pre>20000✨<a class="mention hashtag" rel="nofollow noopener noreferrer" href="https://c.honnip.page/tags/NixOS" target="_blank">#NixOS</a> <a class="mention hashtag" rel="nofollow noopener noreferrer" href="https://c.honnip.page/tags/nixpkgs" target="_blank">#nixpkgs</a>

Knut 🏳️‍🌈 🇳🇴🧸Today...and I trying to get <a href="https://mstdn.social/tags/guix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#guix</a> on my laptop....again. I like the premise of <a href="https://mstdn.social/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nixos</a>, and having used for an extended time, it really has been lovely. But I HATE the Nix language. HATE IT! it's like a weird crackhead language. And I'm finding I'm doing more with Scheme and Clojure these days.

Linux Is BestThis is good. I was worried their recent change, last month, would be awful. NixOs in March announced The NixOS Foundation. <blockquote>" The NixOS Foundation is a registered non-profit organisation at the Chamber of commerce (Kamer van Koophandel) in Utrecht, The Netherlands. The KvK number is 63520583. "</blockquote>Please, for the love of my sanity, stay in the Netherlands. <a href="https://mk.absturztau.be/tags/NixOS" rel="nofollow noopener noreferrer" target="_blank">#NixOS</a> <a href="https://mk.absturztau.be/tags/NixLinux" rel="nofollow noopener noreferrer" target="_blank">#NixLinux</a> <a href="https://mk.absturztau.be/tags/Linux" rel="nofollow noopener noreferrer" target="_blank">#Linux</a> <a href="https://mk.absturztau.be/tags/Netherlands" rel="nofollow noopener noreferrer" target="_blank">#Netherlands</a> <a href="https://mk.absturztau.be/tags/UsJurisdiction" rel="nofollow noopener noreferrer" target="_blank">#UsJurisdiction</a>

KFears<a href="https://mastodon.scot/@joat" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@joat</a> <a href="https://mastodon.social/@dylancode" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@dylancode</a> I've been using NixOS for years, and I'm afraid I agree.NixOS still is the best general usecase distro I've used, but I got vendorlocked into a technology that has largely been developed by awful people. And I hate being vendorlocked into such a thing, because now I can't quit, and I have no hope of it ever getting better.I tried to fix it, but I just can't. I don't have the mental to force people to do the right thing when their salary depends on doing the wrong thing.<a href="https://mstdn.games/tags/NixOS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NixOS</a> <a href="https://mstdn.games/tags/Nix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Nix</a>

Bhavani Shankar 💭I wanted to automatically switch power profiles to: 1. performance when AC power is plugged in 2. balanced on battery power 3. powersave below 40% battery Kde has it but gnome doesn't. Every 6 months, gnome breaks essential extensions like clipboard manager. It also takes months to make it into distros like nixos because of all the extra work of porting their unstable apis. Did anyone switch to kde and how is your experience? <a class="hashtag" href="https://fe.disroot.org/tag/gnome" rel="nofollow noopener noreferrer" target="_blank">#gnome</a> <a class="hashtag" href="https://fe.disroot.org/tag/kde" rel="nofollow noopener noreferrer" target="_blank">#kde</a> <a class="hashtag" href="https://fe.disroot.org/tag/linux" rel="nofollow noopener noreferrer" target="_blank">#linux</a> <a class="hashtag" href="https://fe.disroot.org/tag/nixos" rel="nofollow noopener noreferrer" target="_blank">#nixos</a> <a class="hashtag" href="https://fe.disroot.org/tag/plasmamanager" rel="nofollow noopener noreferrer" target="_blank">#plasmamanager</a> <a class="hashtag" href="https://fe.disroot.org/tag/desktop" rel="nofollow noopener noreferrer" target="_blank">#desktop</a>

IodineHello <a href="https://kind.social/tags/nixos" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#nixos</a>, there’s a package I use that was updated in January. The update broke my system, and unstable is 2 releases behind. The package maintainers did not respond to my email. Do you have any suggestions for getting this package updated in nixpkgs?

Answer: yes, but it's pretty cursed.Declarative and reproducible RNG in my <a href="https://mastodon.mit.edu/tags/NixOS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NixOS</a> config and other <a href="https://mastodon.mit.edu/tags/Nix" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Nix</a> crimes in my latest post! <a href="https://unnamed.website/posts/rng-cosine-nix/" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://unnamed.website/posts/rng-cosine-nix/</a>

Recent searches

Search options

Administered by:

Server stats:

#nixos