I had the same confusion. Even without considering NixOS, "learnix" is awkward to pronounce and somewhat pretentious.
I would suggest the name "Leanix" if the author is willing to rename.
It rhymes with Minix which is the OG curriculum for a POSIX kernel, and is "lean" in many senses of the word.
In any case an excellent writeup. It's detailed enough to implement in any programming language.