ruffsl
I’m a robotics researcher. My interests include cybersecurity, repeatable & reproducible research, as well as open source robotics and rust programing.
- 56 Posts
- 34 Comments
ruffsl@programming.devOPto
Programming@programming.dev•Why TERNARY LOGIC Makes More Sense Than Boolean Logic - CodeolencesEnglish
5·10 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·10 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.devOPto
Android@lemmy.world•nix-on-droid: Nix-enabled environment for your Android device - GitHubEnglish
1·11 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
Selfhosted@lemmy.world•Using Read Aloud browser extension with self hosted TTS Voice modelsEnglish
4·1 year agoDoes anyone know of an Android app to install an additional 3rd party TTS engine that can then be configured to point to a custom Open-AI/Fast-API endpoint for self hosting higher quality voices that are not easily run/fit on mobile hardware?
ruffsl@programming.devto
Technology@lemmy.world•Let Google know what you think about their proposed restrictions on sideloading Android apps. - Android developer verification requirements [Feedback Form]English
16·1 year agoSome poignant questions for these new platform requirements:
- How do you anticipate this being used against journalists and advocacy groups?
- What research and statistical quantification will be done to evaluate the amount of harm these restrictions can inflict?
- What precautions or safeguards will users have against malicious state actors or capitulating corporations?
- How can developers protect themselves from liable damages due to service interruptions caused by third party verification?
- Do you foresee legal restrictions in rollout due to national security concerns from differing nation states?
ruffsl@programming.devOPto
Selfhosted@lemmy.world•Introducing UniFi OS Server for MSPsEnglish
3·1 year agoI think it stands for Managed Service Providers.
ruffsl@programming.devOPto
Selfhosted@lemmy.world•Introducing UniFi OS Server for MSPsEnglish
4·1 year agoI’m still using an old UC Gateway, doubt my homelab will outgrow it.
ruffsl@programming.devto
Linux@lemmy.ml•Realizing Arch isn't for me after updating broke VLCEnglish
1·1 year agoOne thing I appreciate about NixOS is the ability to use overlays and override package sources. For example, overlays can be used to selectively install unstable and stable packages alongside each other:
While there may be caveats, this approach has been working for me just fine, as I can install VSCode from unstable to get the most recent monthly releases as they roll out, but then pin the rest of my desktop environment to stable to limit anything else shifting underneath me unexpectedly.
ruffsl@programming.devOPto
Selfhosted@lemmy.world•🔒 Setting Up Headscale & Tailscale on NixOS: A Zero-Trust Networking Guide for ❄️ NixOS - YouTubeEnglish
91·1 year agoLooks like they introduce the use Traefik with NixOS here:
How does
Traefikcompare to a reverse proxy likeCaddy?
ruffsl@programming.devto
Linux@lemmy.ml•Why does Arch seem to have a cult like following?English
3·1 year agoIf there was a simple Debian based distro that I could declaratively manage via a single config file, I think I’d try it. I.e. not using Puppet or Chef that can only bootstrap a system state, but something to truly manage a system’s entire life cycle, including removing packages and anything littering the system file tree. But since there isn’t, I’m using NixOS instead.
Having a DSL to declare my entire system install, that I can revision control like any other software project, has been convenient for self documenting my setup and changes/fixes over time. Modularizing that config has been great for managing multiple host machines synchronously, so both my laptop and desktop feel the same without extra admin work.
Nixpkgs also bolsters a lot of bleeding edge releases for the majority of FOSS packages I use, which I’m still getting used to. And because of how the packaging works, it’s also trivial to config the packages to build from customer sources or with custom features. E.g. enabling load monitoring for Nvidia GPUs from
btopthat many distros don’t ship by default.
ruffsl@programming.devOPto
Programmer Humor@programming.dev•What It Took To Build A 64-Bit Linux Distribution From Scratch From Windows XP (FULL MOVIE) - YouTubeEnglish
6·1 year agoFor the faint of heart, such vicarious pain may require theatrical intermission(s).
ruffsl@programming.devOPto
Selfhosted@lemmy.world•What's on my Home Server 2025 – NixOS Edition - YouTubeEnglish
2·1 year agoI’m not the original author, even with the YouTube title being as is, but what do you mean? Perhaps relying that the desired services exist as nix packages, or that nix packages have desired defaults or exposes desired config parameters?
There are two other nix media server config projects I can think of, but I think this approach mostly facilitates the install, but not the entire initial config setup, given that a lot of the stack’s internal state is captured in databases rather than text config files. So simplifying the backup and restoration of such databases seems the next best thing to persist your stack configs with nix.
ruffsl@programming.devto
Asklemmy@lemmy.ml•What are some tech products that you want that you can't seem to find?English
3·2 years agoOn top of that, it’d be nice for the Bluetooth spec to roll out a higher bitrate version of HFP, as it’s common 16 kHz monaural configuration is awful when listening to multimedia while on video calls, like for remote watch parties or just listening to music or playing video games while hanging out on discord. I ended up just buying a USB to TRRS adapter with pass through Power Delivery in order to use my Android device with proper AV quality.
ruffsl@programming.devOPto
Programmer Humor@programming.dev•Untagging images from AWS ECR (without deleting be likeEnglish
4·2 years agoTagging an image is simply associating a string value to an image pushed to a container registry, as a human readable identifier. Unlike an image ID or image digest sha, an image tag is only loosely associated, and can be remapped later to another image in the same registry repo, e.g
latest. Untagging is simply removing the tag from the registry, but not necessarily the associated image itself.
ruffsl@programming.devOPto
Programmer Humor@programming.dev•Top 6 Best NixOS Tips & Tricks - VimjoyerEnglish
3·2 years agoI fell for it. It took me a minute into the game time to figure what was up and double check today’s date.
ruffsl@programming.devOPto
Linux@lemmy.ml•HDMI Forum Rejects Open-Source HDMI 2.1 Driver Support Sought By AMD - PhoronixEnglish
4·2 years agoI’m using a recent 42" LG OLED TV as a large affordable PC monitor in order to support 4K@120Hz+HDR@10bit, which is great for gaming or content creation that can appreciate the screen real estate. Anything in the proper PC Monitor market similarly sized or even slightly smaller costs way more per screen area and feature parity.
Unfortunately such TVs rarely include anything other than HDMI for digital video input, regardless of the growing trend connecting gaming PCs in the living room, like with fiber optic HDMI cables. I actually went with a GPU with more than one HDMI output so I could display to both TVs in the house simultaneously.
Also, having an API as well as a remote to control my monitor is kind of nice. Enough folks are using LG TVs as monitors for this midsize range that there even open source projects to entirely mimic conventional display behaviors:
I also kind of like using the TV as simple KVMs with less cables. For example with audio, I can independently control volume and mux output to either speakers or multiple Bluetooth devices from the TV, without having fiddle around with repairing Bluetooth peripherals to each PC or gaming console. That’s particularly nice when swapping from playing games on the PC to watching movies on a Chromecast with a friend over two pairs of headphones, while still keeping the house quite for the family. That kind of KVM functionality and connectivity is still kind of a premium feature for modest priced PC monitors. Of course others find their own use cases for hacking the TV remote APIs:
ruffsl@programming.devto
linuxmemes@lemmy.world•There is no such thing as too many fans...English
2·3 years agoYou could get a fiber optic display/HDMI cable, a fiber optic USB cable, and the USB hub, then just move the desktop tower into another room and run the cables through the walls or ceilings to your display setup. Might only be $100 or so cheaper than then a used business thin client, but at least you could still do something 4K 120Hz HDR 12bit over some distance without compromise. E.g:
ruffsl@programming.devOPto
Web Development@programming.dev•Author of an April Fool's RFC Internet Standard hosts AMA on AskLemmyEnglish
2·3 years agoThe first link you listed (viewing the remote community from our local instance) shows
0 subscribersfrom the sidebar. From my understanding, no one from our instance is then subscribed to that remote community, so our instance has no reason to index those posts. Although I could be wrong, and it could be that no one from our local instance is subscribed to any community on the remote instance. I’m unsure if only instance federation or community subscription is necessary for merrioring/indexing remote posts.










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?