I'm a robotics researcher. My interests include cybersecurity, repeatable & reproducible research, as well as open source robotics and rust programing.
Nix / NixOS @programming.dev Three Years of Nix and NixOS: The Good, the Bad, and the Ugly - Pierre Zemb
Linux @programming.dev nix-on-droid: Nix-enabled environment for your Android device - GitHub
Nix / NixOS @programming.dev nix-on-droid: Nix-enabled environment for your Android device - GitHub
Nix / NixOS @programming.dev nixpacks: App source + Nix packages + Docker = Image
Linux @programming.dev NixOS is the endgame of distrohopping - Joshua Blais
Nix / NixOS @programming.dev NixOS is the endgame of distrohopping - Joshua Blais
Selfhosted @lemmy.world Using Read Aloud browser extension with self hosted TTS Voice models
Programmer Humor @programming.dev Vibesort: GPT powered sorting using structured output
Nix / NixOS @programming.dev Announcing Nix-manipulator (Nima): structured edits for Nix that keep formatting - NixOS Discourse
Nix / NixOS @programming.dev Mastering Dependency Management with Nix in Machine Learning Projects · matthid
Nix / NixOS @programming.dev Closing the Nix Gap: From Environments to Packaged Applications for Rust - devenv
Nix / NixOS @programming.dev Sidebar links should be updated
Nix / NixOS @programming.dev Why NixOS is the Future - programming.dev
Linux @programming.dev Why NixOS is the Future - YouTube
Linux @programming.dev Stop Killing Processes! Make Ctrl+C Meow Instead… (with Signals) - YouTube
Linux @programming.dev The BEST Shell You’re Not Using - Fish - YouTube
Git @programming.dev The future of large files in Git is Git - Tyler Cipriani
Programming @programming.dev Real-Time C/C++/Rust Build Visualizer ・ Daniel Hooper
Nix / NixOS @programming.dev Angle brackets in a Nix flake world
Rust @programming.dev Effortless Rust Development with Nix | Devshells, Packaging & Beyond - YouTube










Mainly the official git CLI for controlling branches and sub modules, and sometimes the GitHub CLI if quickly checking out a pull request from a forked repo.
Also use the source control tab in VSCode rather often, as it's really convenient to review and stage individual line changes from its diff view, and writing commit messages with a spell check extension.
If it's a big diff or merge conflict, I'll break out the big guns like Meld, which has better visualizations for comparing file trees and directories.
About a decade ago, I used to use SmartGit, then tried GitKraken when that came around, but never really use much of the bells and whistles and wasn't keen on subscription pricing. Especially as the UX for GitHub and other code hosting platforms online have matured.