> entering their Google credentials outside a browser Google doesn’t fully trust

FIFY

As the user, I fully trust my Epiphany browser.

Yes, that’s the whole point of dependent types: types can depend on (runtime) values.

I found nix-pills more useful than the manual: https://nixos.org/nixos/nix-pills/index.html

That’s exactly what we are using jsonnet for at my company. Introducing jsonnet in our CloudFormation work has given great results with almost zero up front cost (compare with other CloudFormation DSLs). This reminds me I should finish writing that blog post about it :)

Totally possible, I do this. Also I have a different key per host (using %h in IdentityFile)

Do you use pass-phrases with your per-host keys? I wanted to do this, but was unable to make it manageable. ssh-agent will only try so many keys before moving on.

No, I don't use key pass-phrases.

I couldn't connect

Also money is easier to store than favours

Money is favors owed recorded on paper.

But perhaps not as valuable

Depends who owes you favours ;)

Prof Graham Farr of Monash University told Tutte's personal story at my show once. http://thelaborastory.com/stories/william-thomas-tutte/

Wouldn't that give you big selection bias?

Yes, so we have to say you are better than 75% of other users instead of 75% of humans. Do you have any advice in this area?

I'm curious on how you use ipcluster on top of pbs

If you mean the practicalities of how to use it, they describe it a bit here http://ipython.org/ipython-doc/dev/parallel/parallel_process... .

If you mean how have I used it specifically, I've used it to do a variety of things. Ranging from recreating what was described in the original post to using it as an ad hoc MPI replacement. I find it's handy for managing jobs that have some coupling (and so aren't easily suited to running via the features of the batch system), but aren't tightly coupled enough to warrant the suffering of having to write MPI-based code.