Samuel Dionne-Riel

Oh, and there are fields in the DMI informations, the OEM Strings, that *may* be useful depending on the vendor: ``` $ sudo nix-shell -p dmidecode --run "dmidecode -t 11"...

Definitely! Detecting the hardware components in the device is 100% better than hoping the device has that hardware. Just think of the Asus example, they use the same model name...

The main problem is having build machine to build for `armv7l`. Most AArch64 providers only have machines supporting 64 bit systems. Furthermore, the builds **have** to happen on an armv7l...

Mainly yes. It depends how nixbuild.net does it. If they simply flipped the option to run 32 bit on aarch64 systems there's always some possibility of getting ambiant impurities in....

I've been thinking about it. While I agree with the idea of centralizing the Mobile NixOS history, I will not "fake" that these news happened in the flow of the...

I'm sorry to dump this here, but this is not aimed at you, @thilobillerbeck. This again shows that the execution of handling the technicalities of building the website shouldn't be...

@roberth part of nix.dev https://github.com/nix-dot-dev/nix.dev/blob/master/source/tutorials/building-and-running-docker-images.rst

Getting `nix.*` at the TLD is going to cost a bunch; squatted on the not-scam TLDs, and short names are premium elsewhere. While yes, redirects can handle that, it "pollutes"...

Notes about the reasons this is broken: 9 divides poorly by 2. With the way this is laid out, this is distributing the last elements that are "unbalanced" compared to...

I wonder if like *Nix*, we should have a `More...` option in the navigation, where we could link to alternative images, including figuring out a way to produce useful links...