Viewing profile — typish

"ipfs dht findprovs " gives the hash of the nodes serving it. I'm not sure how to get from that to an IP.

They could take an approach similar to how Freenet does dynamic things. See here for details: http://draketo.de/light/english/freenet/communication-primit... Freenet has a similar …

I'm not sure what you mean. When I said that this is what Inferno provides I was referring to the parent posts request for their ideal computing model, not comparing to the Microso…

Without a solution to everyone needing to pay for a certificate and identify themselves this seems a bit premature. Maybe browsers will relax the "This is an evil self signed certi…

Also interesting is their F* language: http://fstar-lang.org/ "F* is a new higher order, effectful programming language (like ML) designed with program verification in mind. Its ty…

This is something Plan 9 or Inferno ( http://inferno-os.org/ ) would give you. You can run the main OS someone and mount the resources on other devices - including display, net and…

That's not what Arstechnica is saying (regarding the recompile - they just need to publish to the store): "Unlike Islandwood, which will require developers themselves to recompile …

It's a similar isolating feeling on Pitcairn. There's no air access so I arrived via a two day boat trip from Mangareva. Once there my boat left leaving me with no way off for the …

When the outside world came into contact with the Pitcairn settlement there was one mutineer left, John Adams. There were Tahitian women alive as well who were part of the Bounty s…

Liquid Haskell might be what you are looking for: http://goto.ucsd.edu/~rjhala/papers/real_world_liquid.pdf An example from that paper: type Nat = {v:Int | 0 d:Pos -> {v:Nat | v Th…

I visited Pitcairn Island a few years ago, staying with an island couple. It's a great place to explore and I found the islanders friendly and welcoming. There is an aspect of wari…