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

  • 145 Posts
  • 124 Comments
Joined 2 years ago
cake
Cake day: June 9th, 2023

help-circle
  • 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.


  • 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.




































  • I haven’t dug into Guix yet, so is the config more of a markup and less of Turing complete language? That sounds like it’d be easier to grock or optimize an LSP for.

    I have heard that Guix takes a stronger stance with respect to unfree software. I don’t think any of the official nix Hydra infrastructures build for unfree packages, but they are packaged and indexed into nixpkgs. Has Guix been difficult at all in that regard, i.e. using proprietary drivers or closed libraries for work or personal hardware?



  • Well let me at least leave why I think Nix is not it at the moment:

    • Software Center - browsing search.nixos.org isn’t quite the same in terms low friction and discoverability
      • You already have to know what you’re looking for, and it can’t make system config on your behalf
      • Debian or conventional package managers usually offer a native GUI for package selection and deployment
    • System Defaults - the minimality of a basic default install can cause a lot of papercuts
      • the default boot partition is rather small given the OS’s prepecity to add new kernels with new generations
      • and without any garbage collection service enabled by default, user first encounter switch failures due to this
    • External Binaries Compatibility - Linux also suffers from this in general as compared to MacOS or Windows
      • in addition to being much more niche, reuse of existing binaries from more prevalent distros becomes complicated
      • the desktop ISO could suggest a nix-ld config with default libs most binary distributes expect, easing in new users
    • The Nix language - much more complex than conventional cong markup langs, being more of a turing complete DSL
      • partial working LSP impare introspection while writing, and the runtime error messages are poorly formatted
      • most desktop users (in debian or fedora) have little need to learn their OS’s packaging schemas, but NixOS users do

  • What are we doing here? This isn’t even an argument.

    Correct, this isn’t an argument, or at least I’m not trying to argue.
    All I wanted to learn what exact properties you though makes for a better desktop OS.

    I’m in agreement that NixOS isn’t the best for mainstream desktop user base, but like any decent inquiry or survey, if I just preemptively bias someone’s responses with my own observations on NixOS defecenties, then there wouldn’t be as much of a case to before ask what they think other Linux Distro do better in the first place.

    Not everyone who strikes up a convo online for a debate, and not all (but quite a few) who ask questions are trolls.