
I'm a robotics researcher. My interests include cybersecurity, repeatable & reproducible research, as well as open source robotics and rust programing.
Tree-sitter Explained - Vimjoyer
1mon 29d ago in nix@programming.dev from youtube.comTragic mistake... Anthropic leaks Claude’s source code - The Code Report
2mon 17d ago in programming@programming.dev from youtube.comWhy I switched to NixOS (And why you should, too) - Márcio Sobel
2mon 19d ago in linux@programming.dev from blog.marciosobel.devThere have been an influx of them in my RSS feeds, I wonder if there's been a You Tube or Tick Tock video that went viral about Nix some time earlier.
Why I switched to NixOS (And why you should, too) - Márcio Sobel
2mon 19d ago in nix@programming.dev from blog.marciosobel.devI'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.
The only sane way to use Linux - Amit Prasad
2mon 19d ago in linux@programming.dev from amit.prasad.meThe only sane way to use Linux - Amit Prasad
2mon 19d ago in nix@programming.dev from amit.prasad.meLinux 7.1 To Overcome Reporting Limitation For Multiple Batteries Per HID Device
2mon 25d ago in linux@programming.dev from www.phoronix.comWireless 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.
Ultimate NixOS Desktop: Niri, Noctalia Shell, and the Dendritic Pattern - Vimjoyer
2mon 25d ago in linux@programming.dev from youtube.comUltimate NixOS Desktop: Niri, Noctalia Shell, and the Dendritic Pattern - Vimjoyer
2mon 25d ago in nix@programming.dev from youtube.comWhy I love NixOS
2mon 26d ago in programming@programming.dev from www.birkey.coWhy I love NixOS
2mon 26d ago in linux@programming.dev from www.birkey.coLocate Nix Packages Like A Pro | Search All Packages for All Files with nix-index - Vimjoyer
3mon 7d ago in nix@programming.dev from youtube.comI really appreciate the comma command.
Why Flatpak Won and Snap and AppImage Didn't. - Cameron Knauff
3mon 7d ago in linux@programming.dev from youtube.comAgreed, 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.
NixOS Review: The Most Powerful Linux Distro in 2026?
3mon 27d ago in nix@programming.dev from www.youtube.comI 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:
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.
Gentoo Linux Begins Codeberg Migration In Moving Away From GitHub, Avoiding Copilot
3mon 19h ago in linux@programming.dev from www.phoronix.comMoving 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.
Quick guide on using the Eduroam university internet on Linux
4mon 4d ago in linux@programming.devWow, 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.
Docker versus Nix: The quest for true reproducibility - The New Stack
4mon 9d ago in nix@programming.dev from thenewstack.ioThe article veers off about Flox, but I'm unsure what Flox adds over stock Nix?
Modularize your NixOS modules using the dendritic approach
4mon 10d ago in nix@programming.dev from pc-hass.deI love the comma command. Great for things I only use every blue moon and am fine with being cleaned up by garbage collection.




