The post itself shows that it is non-trivial to even boot this hardware with Nix.
my code is possible if people want it :) the real value of NixOS is hardware and OS config can be turned into libraries!
And then Linux in general is notorious for having issues with USB WiFi adapters. More info on that can be found here https://github.com/morrownr/USB-WiFi