hgl
Joined 12 years ago
Joined 12 years ago
However, since we are talking about installing NixOS declaratively, and it's done through nixos-anywhere, which will install it[0] to the ram unfortunately.
[0]: https://github.com/nix-community/nixos-anywhere/blob/abb0d72...
For git, you commented "for checking out github.com/stapelberg/configfiles". I wonder if you sometimes install NixOS locally from the installer? If so, I can understand having those packages around can be very useful.
It seems for the author, the custom installer is mainly used for accepting user SSH public key, terminfo, and maybe also locale.
Almost none of the packages the author listed get used, including zsh. Since NixOS is installed via nixos-anywhere, it runs a bash script to do everything, and all the script's dependencies will be pulled by nix.
For people who don't want to build a custom installer, or their cloud environment doesn't allow one, you can simply host a script somewhere and download and run it on the remote machine to add your SSH public key and other customizations, including partitioning the disk.
Note that the author used disko to partition the disk declaratively. Disko won't work for a machine with very limited ram, because disko runs in the installer, and needs to install tools to the ram to do the partition.
I wrote a nix configuration library[1] that also does NixOS installation (uses nixes-anywhere under the hood), where you can choose between using disko, a default script[2] that handles 90% of the use cases (using only the default tools available on a vanilla NixOS installer, so nothing gets installed to the ram), or your own script.
[1] https://github.com/hgl/nixverse
[2] https://github.com/hgl/nixverse/blob/main/load/partitionScri...
I don't know how they do it, but I have tried using a completely new IP and private browsing, getting a new account, and posting in r/CatAdvice that r/NewToReddit says is newcomer friendly, but still got shadow banned.
> But if we avoid hard things
I don't see how you can justify the former by arguing the latter. These two are orthogonal. If I were that teenager, I think what I really would want to ask is that why it has to be calculus instead of some other things that is also hard but with obvious real world application like writing a small 3D game engine.
And my answer to that question is you probably shouldn't if your were in an ideal education system. You would be taught what interesting interactions you could have with the physical world, and be induced to discover calculus or some other math tools that helps you understand how the interactions really work and demonstrates you really need such tools. You're more likely to grasp them when you're driven by curiosity.
Don’t get me wrong, I’m actually incredibly excited about AR, I just can’t imagine how it becomes mainstream. It can of course be mainstream if it’s just like glasses and has all day battery, but it still seems pretty far away.
I personally like this addition, because it no longer requires all queries be shoehorned into query strings. You can use any syntax you like, be it SQL or GraphQL etc.
It immediately makes me think a LLM that can generate a customized GUI for the topic at hand where you can interact with in a non-linear way.