typish

7 ms·

1.
Reference Capabilities, Consume and Recover in Pony(bluishcoder.co.nz)
1 points by typish 9y ago|0 comments
2.
A Quick Look at the Pony Programming Language(bluishcoder.co.nz)
2 points by typish 11y ago|0 comments
3.
Using Freenet for Static Websites(bluishcoder.co.nz)
2 points by typish 11y ago|0 comments
4.
ATS/LF for Coq Users(slideshare.net)
3 points by typish 11y ago|0 comments
5.
by typish 11y ago
"ipfs dht findprovs <hash>" gives the hash of the nodes serving it. I'm not sure how to get from that to an IP.
6.
by typish 11y ago
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 immutable datastore but chat
7.
Freenet Communication Primitives: Part 2, Service Discovery and Communication(draketo.de)
5 points by typish 11y ago|0 comments
8.
by typish 11y ago
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 Microsoft demo.
9.
by typish 11y ago
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 certificate on the site" warning when they do it.
10.
by typish 11y ago
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 type system is based on a core that rese
11.
by typish 11y ago
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 CPU resources. An example of doing this with
12.
by typish 11y ago
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 their software to bring it to Windows, Astoria wil
13.
Verified Efficient Programs in ATS: Qsort(illtyped.com)
2 points by typish 11y ago|0 comments
14.
by typish 11y ago
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 time I was there until another arrived to pick me
15.
by typish 11y ago
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 story, having been retrieved from Tahiti after the mutiny. On
16.
by typish 11y ago
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 <=v } type Pos = {v:Int | 0 < v } d
17.
by typish 11y ago
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 wariness I think with outsiders amongst them - especially t