ruffsl
I’m a robotics researcher. My interests include cybersecurity, repeatable & reproducible research, as well as open source robotics and rust programing.
- 295 Posts
- 320 Comments
ruffsl@programming.devto
Linux@programming.dev•Nix flakes explained: what they solve, why they matter, and the futureEnglish
1·23 days agoWould be good to cross post this to:
https://programming.dev/c/nix
ruffsl@programming.devOPto
Linux@programming.dev•How to Install Linux From Scratch - tonyEnglish
2·29 days agoI could imagine bootstrapping via Bell Labs Unix from the 90’s would be more authentic, yet demanding LFS experience. I wonder how far back computer historians could bootstrap up to a modern compiler for integrity and verification purposes?
https://www.owlfolio.org/research/bootstrapping-trust-in-compilers/
https://www.theregister.com/2025/11/07/unix_fourth_edition_tape_rediscovered/
I’ve observed some notable improvements when benchmarking with the CachyOS kernel on NixOS via Chaotic’s Nyx using moderately old hardware:
https://programming.dev/post/38304031
Haven’t yet tried replicating the same comparison on newer hardware, but would be interested to see what others have tested. Any observations?
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.
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.
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.
ruffsl@programming.devOPto
Programming@programming.dev•Why TERNARY LOGIC Makes More Sense Than Boolean Logic - CodeolencesEnglish
5·2 months agoI 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.
ruffsl@programming.devOPto
Programming@programming.dev•Why TERNARY LOGIC Makes More Sense Than Boolean Logic - CodeolencesEnglish
41·2 months agoThis is discussed around the 27 min mark of the video with Dr. Steven Bos, particularly in maintaining voltage thresholds for signal propagation when using multiple devices, in context of logic, memory, and communication use cases. Interestingly, for example, GDDR7 and USB 4.2 already use physical ternary signals.
Edit: signal to noise ratio is also discussed at the 40min mark, also with respect to increasing information density vs complexity from higher symbol bandwidth, or terms of radix vs frequency.
ruffsl@programming.devto
Programming.dev Meta@programming.dev•Server migration has been completedEnglish
9·2 months agoThank you for all the work that goes into maintaining this instance!
ruffsl@programming.devOPto
Linux@programming.dev•Experimenting with CachyOS kernel on NixOS via Chaotic's Nyx - NixOS DiscourseEnglish
1·2 months agoAppreciate the heads up. Looks like they use merge bots to auto update the package version JSON files for git packages, making for a very large/frequent commit history. Was that what made bisecting imposable?
I also see they pin the nixpkgs input, but do others normally modify that nixpkgs input to follow their global nixpkgs from their own system flake, or does that invalidate the use of Nyx community cache?
ruffsl@programming.devOPto
Linux@programming.dev•Experimenting with CachyOS kernel on NixOS via Chaotic's Nyx - NixOS DiscourseEnglish
31·3 months agoCompiling the Linux kernel from scratch takes over an hour on this laptop. Given I’m tracking the unstable channel on a rolling distro means doing that several times a week. Ain’t nobody got time for that. Or at least I don’t…
ruffsl@programming.devOPto
Linux@programming.dev•Experimenting with CachyOS kernel on NixOS via Chaotic's Nyx - NixOS DiscourseEnglish
2·3 months agoI don’t have resources to locally build an optimized kennel for every update for each of my systems, thus my interests in keeping with a community cache.
I didn’t do much here, just swapped the kernel via config and ran some benchmarks. I posted as I was more curious to hear of what engineering trade offs may be at play, and what experience folks have had in daily driving CatchyOS’s kernel patch sets.
ruffsl@programming.devOPto
Linux@programming.dev•Experimenting with CachyOS kernel on NixOS via Chaotic's Nyx - NixOS DiscourseEnglish
2·3 months agoI wasn’t sure if these results were specific to my older hardware, or more generalizable to newer systems.
ruffsl@programming.devto
Linux@programming.dev•Adding Linux GPU Benchmarks: Best Distributions for Gaming Tests, ft. Wendell of Level1 TechsEnglish
3·3 months agoIndeed perhaps. I’d really like to see something like a Content-addressed Storage model from snix get upstreamed. That could really revolutionize bandwidth requirements for nix package updates and store sizes. Imagine downloading only the binary diffs for updates to packages like large modern browsers, IDEs, election apps, etcs, that mostly share common files across versions and packages. Suddenly, daily driving a rolling distro on the bleeding edge would be no more taxing on networks or disks than your average infrequent Debian update.
ruffsl@programming.devOPto
Android@lemmy.world•nix-on-droid: Nix-enabled environment for your Android device - GitHubEnglish
1·3 months agoI haven’t gotten around to testing this yet, but I think they just share the Android app proot scaffolding. I wasn’t too satisfied with the proot performance on Android in general using Termux, as with interpreted runtimes like python, the system call overhead really shows itself. That of course doesn’t change here with nix-on-droid.
ruffsl@programming.devOPto
Linux@programming.dev•CtrlOS - NixOS with 5-Year Enterprise SupportEnglish
1·3 months agoSounds like their target customers are commercial service providers and industrial device manufacturers using NixOS, but need to support stable deployments for longer than NixOS’s current 6 month release cycle. Probably not to applicable for individual desktop users, but they still plan on hosting a public channel and cache for newer releases.
ruffsl@programming.devOPto
Nix / NixOS@programming.dev•CtrlOS - NixOS with 5-Year Enterprise SupportEnglish
11·3 months ago@Ategon@programming.dev , this project’s logo reminds me of your fun community icon artwork here.
ruffsl@programming.devOPto
Linux@programming.dev•I Tried Fedora KDE as a Beginner (It's AMAZING) - Switch and ClickEnglish
41·3 months agoIBM acquired the company behind Fedora Linux. Although I doubt they had any corporate influence in the production of this particular vlog.
I wonder if they would have had better luck with Kubuntu or KDE Neon? Perhaps if they’re still on KDE by the time KDE releases their Arch distro variant, they could test that too on their hardware.
ruffsl@programming.devOPto
Linux@programming.dev•I Tried Fedora KDE as a Beginner (It's AMAZING) - Switch and ClickEnglish
10·3 months agoGiven the amount of trouble shooting demonstrated throughout the video, don’t think the marketing was entirely positive…























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.