brokenix

@brokenix@emacs.ch

data Free f a = Pure a | Free (f (Free f a))
⊢ V : C ✓
classical logic corresponds to the mechanism of first-class continuation under the Curry-Howard isomorphism
all partial functions are computable
emacsclient --eval '(my-refresh-foo-bar)'

This profile is from a federated server and may be incomplete. Browse more on the original instance.

donuts,
donuts avatar

It's an immutable distro akin to Fedora Silverblue, which means it's theoretically extremely solid but you can't easily change the base system.

And while I haven't tried it myself, the thing that seems to set VanillaOS apart from something like Silverblue is that is built around the idea of containing various subsystems based on other distros (like an Ubuntu subsystem and an Arch subsystem), which should make it easy to install packages from a variety of distro (or even the AUR, for another example) on top of a very solid, static base system. Under the hood it uses a container management tool called Distrobox to achieve that, but it seems to be pretty nicely abstracted for user simplicity.

I daily drive Fedora Silverblue and I do something similar with distrobox for things that don't make sense to install as Flatpaks. In other words, on my system I have an immutable base system (with optional package layering, rollbacks, rebasing, etc.), then flatpaks or appimages for most simple applications (firefox, blender, krita, etc.), and finally distrobox to handle various dev environments and music production environment (which relies on wine and a lot of plugins).

VanillaOS is something like that, but out of the box, and aiming to be GUI-user friendly.

Met a nice lady at the grocery store

Today at the grocery store a sweet older lady approached me and asked if I knew anything about computers. I said yes I do, and she produced a mouse saying that her son set up Linux mint for her and she was wondering if the mouse was compatible. It needed kernel version 2.6 or newer so I said that the mouse should work, guessing...

squiblet,
squiblet avatar

My mother did way better with Ubuntu than Windows (also, that was 2010-2014 and Ubuntu seemed a bit better back then)

  • All
  • Subscribed
  • Moderated
  • Favorites
  • JUstTest
  • GTA5RPClips
  • DreamBathrooms
  • InstantRegret
  • magazineikmin
  • khanakhh
  • Youngstown
  • ngwrru68w68
  • slotface
  • everett
  • rosin
  • thenastyranch
  • kavyap
  • tacticalgear
  • megavids
  • cisconetworking
  • normalnudes
  • osvaldo12
  • ethstaker
  • mdbf
  • modclub
  • Durango
  • tester
  • provamag3
  • cubers
  • Leos
  • anitta
  • lostlight
  • All magazines