Skip Navigation

ruffsl

@ ruffsl @programming.dev

Posts
160
Comments
102
Joined
3 yr. ago

I'm a robotics researcher. My interests include cybersecurity, repeatable & reproducible research, as well as open source robotics and rust programing.

  • Why I switched to NixOS (And why you should, too) - Márcio Sobel

    Jump

  • I'm not the author, but I agree it feels nice on mobile, and the dark and light mode is a nice touch. I think it takes a hint from the browser system settings too.

  • Linux 7.1 To Overcome Reporting Limitation For Multiple Batteries Per HID Device

    Jump

  • Wireless ear buds come to mind. Plus the charging case, that could be three separate batteries per headset audio device. I don't like the idea of wireless earbuds personally, but they are admittedly prevalent in the consumer market. The thumbnail should have depicted those.

  • Why Flatpak Won and Snap and AppImage Didn't. - Cameron Knauff

    Jump

  • Agreed, much prefer running apps via nix. Although I did have to fall back to flatpak install the bottles, but that is a bit of a special case where the software explicitly requires itself to be sandboxed or behaves less as expected otherwise.

  • Locate Nix Packages Like A Pro | Search All Packages for All Files with nix-index - Vimjoyer

    Jump

  • I really appreciate the comma command.

  • Nix / NixOS @programming.dev
    ruffsl @programming.dev

    Locate Nix Packages Like A Pro | Search All Packages for All Files with nix-index - Vimjoyer

  • Linux @programming.dev
    ruffsl @programming.dev

    Why Flatpak Won and Snap and AppImage Didn't. - Cameron Knauff

  • Nix / NixOS @programming.dev
    ruffsl @programming.dev

    Nix is Simpler Than You Think | Derivations & Packages - Vimjoyer

  • Selfhosted @lemmy.world
    ruffsl @programming.dev

    (XMPP Setup Guide) Discord Was Never the End Game - TonyBTW

  • Nix / NixOS @programming.dev
    ruffsl @programming.dev

    (XMPP Setup Guide) Discord Was Never the End Game - TonyBTW

  • Rust @programming.dev
    ruffsl @programming.dev

    Rust Ruined My Career (I Can't Go Back) - Let's Get Rusty

  • Nix / NixOS @programming.dev
    ruffsl @programming.dev

    The dark and murky past of NixOS (NixCon 2019)

  • NixOS Review: The Most Powerful Linux Distro in 2026?

    Jump

  • I only have 3 installs of NixOS already, two for work (a server and laptop), and a third for a personal use (desktop). I largely started out by copying a public config from the community. Now I just copy a few kilobytes between the three from time to time via git repo to keep all my kernels, kernel modules, patches, net config, package versions, and system users/groups permissions in sync via lock files. And my user dot files too, but you don't need nix for that last one.

    If I have to do something multiple times, like copying a distro across even a few systems more than once, then I figured I'd just revision control it via lockfiles like any other software project.

    That all said, NixOS is a hell of a rabbit hole; great for lazy admins and hobby tinkering alike:

    https://xkcd.com/1319/

    The top graph reflects my stable work install for robot software development,but the bottom graph is my personal install for hobbies and home lab.

  • Linux @programming.dev
    ruffsl @programming.dev

    NixOS Review: The Most Powerful Linux Distro in 2026?

  • Gentoo Linux Begins Codeberg Migration In Moving Away From GitHub, Avoiding Copilot

    Jump

  • Moving nixpkgs development from GitHub would be ambitious, as that repo already pushes their infrastructure limits with enterprise level support.

    https://discourse.nixos.org/t/nixpkgs-core-team-update-2026-01-22/74585

    I suspect the Nix org would need to garner many more sponsors to fund the hosting expenditures for an equivalent forge with matching CI/CD, PR automation, and geo redundancy. Would be nice to see.

  • Modularize your NixOS modules using the dendritic approach

    Jump

  • I love the comma command. Great for things I only use every blue moon and am fine with being cleaned up by garbage collection.

  • Quick guide on using the Eduroam university internet on Linux

    Jump

  • Wow, hello fellow Rose alum! Class of 2013 here, so don't I remember if IT was advertising an Eduroam SSID back then, but the standard issued corporate HP laptops had decent Linux support, or at least someone in the class cohort would find and disseminate a workaround by the time the next LTS kennel rolled around.

    Definitely agree on seeking out a local LUG on campus. As originally an EE while at RHIT, I didn't know about LUGs until I continued on to grad school for CS at GT, which had a very active LUG with invited guest speakers and even senior student led lectures.

    Looks like the hosting for lugatgt.org is now down, hope they're still going, or perhaps merged with ALE of Atlanta.

    https://vtluug.org/wiki/List_of_Linux_and_Unix_Users_Groups

  • Docker versus Nix: The quest for true reproducibility - The New Stack

    Jump

  • The article veers off about Flox, but I'm unsure what Flox adds over stock Nix?

  • NixOS is the best operating system I absolutely cannot recommend to anyone - Anurag Singh

    Jump

  • I never want to go back to an OS I can't diff or track under revision control. I just love being able to solve an issue once and move on without worrying about if I'll forget all the minutiae of changes I made to my customized system when it eventually comes to migrating workstations or replicating across my computers.

  • Bluetooth scan not finding any devices

    Jump

  • Congrats on solving your issue, and thanks for updated the post with the solution! It's really slick how NixOS makes adding a kernel patch to your config no more complex than it would take patching any dot file. Hope the up streaming of your device info goes smoothly.

  • Bluetooth scan not finding any devices

    Jump

  • Encountered an odd Bluetooth issue last week with a motherboard that had a combined Bluetooth and Wi-Fi radio chip set. Wi-Fi worked, but the Bluetooth hardware wasn't even detected. This was after migrating from a Windows install with known working Bluetooth drivers on the same motherboard.

    Found a solved thread for the same motherboard SKU where power cycling after disconnecting the desktop power supply from AC for 30 sec resolved it. Didn't believe it, but tried it anyway and it worked. Guessing the Windows driver must have put the Bluetooth transceiver in a funny state that the mainline Linux kernel couldn't recover, but resting the chipset with a through power cycle with internal voltage supplies zeroed made the difference in re-initializing the hardware.

    Just a wild suggestion...

  • How to Install Linux From Scratch - tony

    Jump

  • Not sure if something like that would even support x86 or C99, so would probably still need an older mainframe and early GCC source tree. Could probably get by with a virtual emulator for the former.

  • Nix flakes explained: what they solve, why they matter, and the future

    Jump

  • How to Install Linux From Scratch - tony

    Jump

  • Proxy SSL cert on WSL NixOS

    Jump

  • You should be able to rebuild offline if the minimal change set is self contained enough, as in purely local. Did you update any other inputs? I guess you could be missing some kind of extra TLS or CA store dependency for adding custom CAs, but that doesn't seem likely for regular NixOS install. I use flakes instead of channels, so I wouldn't know what else may be blocked you. A stdout log may showcase your error more clearly.

  • Proxy SSL cert on WSL NixOS

    Jump

  • I think you may need a successful switch to actually apply the addition of the proxy CA to your root CA store before attempting any other changes that could require reaching out across the network. At least that was the order of operations I had to follow to remove an offline remote cache before attempting any package updates.

  • Do I dare say it 🥺

    Jump

  • I'm in search for the same white whale. There's quite a bit of documentation for multi-seat configurations for Linux, i.e. supporting the use of multiple screens and keyboards for separate simultaneous logins.

    However I'd like to remote into a separate game scope session with its own human interface inputs and virtual audio and video outputs, as the same primary user normally logged in active desktop environment session. I'd like it so the remote and local sessions would not interfere with each other state, but without necessitating multiple Linux users for each session use case.

    That last bit is what makes it more tricky and very niche. Supporting essentially multiple desktop environments probably demands separate user debus sockets. Using c groups via containers makes that viable, but like you, I also like to avoid containers and extensive volume mounts.

  • Why TERNARY LOGIC Makes More Sense Than Boolean Logic - Codeolences

    Jump

  • I top linked the most recently published video mostly for the introductory breakdown in ternary logic equivalence, but the interview with the ternary researcher, Dr Bos, also linked in the description above includes a number of corrections and accurate description of the subject.

    Yeah, definitely not a lost art or anything, as physical ternary signals already have applications in communication like high data rate interfaces. Still, would be interesting to see ternary expand into logic domains with emerging developments in TCMOS research.