Yes, it’s a lot to read but I’m just the messenger and not capable to do a tl;dr.
Posted because the blog author is a person that I’ve seen blog posts from before, and maybe it fits with the previous posts on Lemmy about NixOS. Here a video of what the person made with NixOS booting an old Super Mario 64 game cdn.xeiaso.net/file/…/boot2mario.mp4 which shows the magic of NixOS. Related blog post xeiaso.net/blog/super-bootable-64-2020-05-06/