infinisil

The linked version works fine for me, Windows 10, Firefox 56.0.2

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 it [2] and the FAQ [3].

[1]: https://brave.com/ [2]: https://www.brave.com/introducing-brave-payments/ [3]: https://www.brave.com/faq-payments/

What's a concrete example of this?

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 systemd services should run, use grub for booting, allow this ssh key to login to this user, enable the IPFS daemon, etc. All options (for the 17.09 release) are available here: https://nixos.org/nixos/options.html

- System generations: Upon changing an option in your system config, you run `nixos-rebuild switch` which will build, activate the new system and add it to the system generations. All of these are bootable from your bootloader! So if something breaks miserably, you can just rollback to a previous one that worked. New kernel breaks on your hardware? No problem, just roll back.

- If you have a new nixos machine, you don't need to run a bunch of odd commands to have it set up. Since the config is declarative, everything you set up is right there, and all you need is a `nixos-rebuild switch` to make it work.

- Wanna test some configuration but are too afraid to use your machine? Just build a VM with it by doing `nixos-rebuild build-vm`. Like with everything else with nix, this fetches all dependencies, no need to install them manually.

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 combining every input that might influence the package. By input I mean for example:

- The source: git revision / source url / etc.

- All dependencies, which means if a dependency of a dependency of this package changes, it gets a new hash

- Build instructions, including build flags

This wouldn't be possible with a more conventional file structure.

> 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 that maybe the encrypted filesystem saves hashes of the files unencrypted, but not sure if Apple's FileVault does this.

Nix also doesn't

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.

> Languages are easy.

Not always true, my favorite example being Idris. (but then again, it's all relative to what you know already)

If you have any trouble/questions, drop in on #nixos in Freenode

What do you think is the benefit of encrypting /boot? I can't imagine having anything sensible on there.

I believe the author meant it to sound sarcastic

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 constants (!) got changed a bit since you executed this

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

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 architecture designed to provide route control, failure isolation, and explicit trust information for end-to-end communications.

Also it will reduce latency, increase throughput and more, as mentioned in the papers.

The project has really been getting traction in recent years, it may just become our new internet base layer.

Currently the people at ETHZ are working on verifying router hardware mathematically to guarantee SCION's properties.

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 time, I'm not keeping every machine always up-to-date). If everything's in a single file, any change would result in a hard to resolve merge conflict.

- All the other git goodness, including file history (e.g. when was the last time I changed this password), mutliple users (e.g. a shared family store), and more

While some of these are debatable and git isn't really made for binary data, I still think it's a very good fit.

Yeah it's called 'passforios'. I couldn't live without it, it's really well made as well.

I meant that I need an iOS client as in pass has one (and I'm using it) but passmgr doesn't

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 extensions and clients (I need an iOS client), can generate passwords, and more.

Also I think the 6 seconds for pasting the password before the clipboard is cleared is a bit too short, pass has 45 seconds which is a bit too much, maybe something between 15-30 seconds would be optimal, or better yet: Let the user configure it.

Another +1 for a Linux version. Is there some similar tool avaialble on Linux for now?

Have you considered using IPFS for distribution?

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]: https://hackage.haskell.org/package/xmonad-contrib

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 promising looking language Idris [1], which is very similar to Haskell, can actually do this because of having dependent types. Upon a quick search I found this great example [2] of a proof that insertion sort does indeed return the list sorted, all in the type system. I can really recommend Type Driven Development [3], a recently released book on development in Idris.

[1]: https://www.idris-lang.org/

[2]: https://github.com/davidfstr/idris-insertion-sort

[3]: https://www.manning.com/books/type-driven-development-with-i...

At my university there is ongoing research into a next-generation internet architecture: https://www.scion-architecture.net/

I really hope they'll catch that train, it may be their last chance to get onto tomorrows graphics stack

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:

    services.nginx = {
      enable = true;
      virtualHosts."example.com" = {
        root = "/webroot";
        enableACME = true;
      };
    };

http://nixos.org/nixos/options.html#services.nginx

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 declaring a field with the same name on different records.

I'm not sure what you mean with modules and namespacing though

[1] https://www.idris-lang.org/docs/current/prelude_doc/docs/Pre...

To be honest, I have now more faith in their product after the incident :D

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/

Whoops, yeah that's what I meant to say