infinisil

16 ms·

31.
by infinisil 9y ago
NixOS [1] actually has really great nginx integration with just a single line [2]: enableACME = true; This automatically does the ACME thing and sets up systemd units to renew the certificate. Have been using it a while for my (sub
32.
by infinisil 9y ago
The linked version works fine for me, Windows 10, Firefox 56.0.2
33.
by infinisil 9y ago
You might want to check out Brave [1] which does pretty much exactly what you described: > Set up automatic micro-donations. Brave will automatically divide a monthly donation among the top sites you visit. See also their blogpost about
34.
by infinisil 9y ago
What's a concrete example of this?
35.
by infinisil 9y ago
The blogpost just highlights one nice aspect of it, there's more though: - The really powerful NixOS module system, which let's you specify your system declaratively and rather simply: Which programs should be installed, what syst
36.
by infinisil 9y ago
Funnily enough, NixOS has had its initial release in the same year as Gobolinux, 2003. I'm not sure how Gobolinux organizes files exactly, but with NixOS, the hash in /nix/store/<hash>-packagename is produced by co
37.
by infinisil 9y ago
> Do they encrypt known CP files with the FileVault key and then compare? This shouldn't work because if they had the key (which should be encrypted with the password) then they could also just decrypt the rest. Somebody on IRC said
38.
by infinisil 9y ago
Nix also doesn't
39.
by infinisil 9y ago
I haven't ever written professional software, but I just took a software engineering course and what I learned is that what technology stack to use is none of the clients business.
40.
by infinisil 9y ago
> Languages are easy. Not always true, my favorite example being Idris. (but then again, it's all relative to what you know already)
41.
by infinisil 9y ago
If you have any trouble/questions, drop in on #nixos in Freenode
42.
by infinisil 9y ago
What do you think is the benefit of encrypting /boot? I can't imagine having anything sensible on there.
43.
by infinisil 9y ago
I believe the author meant it to sound sarcastic
44.
by infinisil 9y ago
Fun fact: Converting to a unit is exactly the same as dividing by it (temperatures are the exception), so this works too: ≫ sqrt(mu0/eps0) / ohm sqrt(mu0 / eps0) / Ω = 376.73 Also seems like the con
45.
by infinisil 9y ago
Yeah, speed isn't the primary focus, more of a byproduct I don't understand what this has to do with a free internet, routing doesn't have any affect on that
46.
by infinisil 9y ago
ETHZ is developing a new kind of internet architecture: https://scion-architecture.net/ It's deployed in some places and working already. Citing from the webpage: > SCION is the first clean-slate Internet architectu
47.
by infinisil 9y ago
Git integration is nice because: - You never ever lose anything. Updated the wrong password? No problem, just `git reset` - Having everything in it's own file let's you merge changes made on different machines (I use this all the
48.
by infinisil 9y ago
Yeah it's called 'passforios'. I couldn't live without it, it's really well made as well.
49.
by infinisil 9y ago
I meant that I need an iOS client as in pass has one (and I'm using it) but passmgr doesn't
50.
by infinisil 9y ago
Would need a whole bunch more features for me to want to switch from pass (passwordstore.org), which has already great git integration, command completion, stores arbitrary contents (not just username, password and url), a whole bunch of ex
51.
by infinisil 9y ago
Another +1 for a Linux version. Is there some similar tool avaialble on Linux for now?
52.
by infinisil 9y ago
Have you considered using IPFS for distribution?
53.
by infinisil 9y ago
I believe it should be easy to integrate this into xmonad by creating a few functions for that, which is the real beauty of it. The xmonad-contrib package [1] is a collection of such extensions, this one could very much join them. [1]: htt
54.
by infinisil 9y ago
That's where formal proofs come into play, because you need to somehow show that the implementation actually does what the definition states. Since Haskell isn't a proof checker you can't use it for this. The newish and very
55.
by infinisil 9y ago
At my university there is ongoing research into a next-generation internet architecture: https://www.scion-architecture.net/
56.
by infinisil 9y ago
I really hope they'll catch that train, it may be their last chance to get onto tomorrows graphics stack
57.
by infinisil 9y ago
You may be interested in NixOS' way. This is all what you need in your configuration.nix to get a webserver running with an SSL certificate from Let's Encrypt, including automatic refreshes before expired and everything: ser
58.
by infinisil 10y ago
Yes! - Idris' `String` type is not just a list of characters, here [1] you can see some relevant functions, I'm still trying to find the definition of `String` though. - Functions can be overloaded in Idris, which enables declar
59.
by infinisil 10y ago
To be honest, I have now more faith in their product after the incident :D
60.
by infinisil 10y ago
I believe filecoin is going to be a part of IPFS [1] at some point in the future, but development hasn't started yet. I really hope all the decentralized technology is going to blow up. [1]: http://ipfs.io/

More ›