_ibu9

25 ms·

1.
by _ibu9 9y ago
Nix the package manager is great. Poorly documented, but it works as expected. I've also had uneventful experiences using NixOS on a server. On the other hand, trying to use NixOS on my laptop has been struggle after struggle. Every up
2.
by _ibu9 9y ago
The whole point is if this (or something similar) was well known then you wouldn't have to use shitty typeless stuff like JSON...
3.
by _ibu9 9y ago
By criticizing Unix I did not mean look at Windows etc.... There are systems which take the good parts of the Unix philosophy (composability, uniformity) but abandon the bad parts (text, hierarchical files, mutability, the name based permis
4.
by _ibu9 9y ago
Most of this seems fairly uncontroversial. This, however > But a lot of service workers are doing jobs that are unlikely to ever be fully automated. Nobody wants a robot for a teacher or a nanny, for example. And even if we get software
5.
by _ibu9 10y ago
> the advantage of Docker is that you can slap an image together by doing essentially what you were doing - running a couple of apt install commands, pip install -r requirements.txt, copy a few files and it's done. This is exactly w
6.
by _ibu9 10y ago
Yeah Docker and friends exist basically because the industry is blissfully unaware of nice things like Nix.
7.
by _ibu9 10y ago
The missing explanation is that `smaller` is a third argument to the function. It's type is a proof that x <= y. Since it is in curly brackets with the auto keyword, the compiler will fill in this proof in many cases, like when the