doublec

I agree that ATS isn't as user friendly or polished as Rust, but the main reason for that is ATS development is pretty much a one person development team. Hongwei works on the compiler, writes the documentation, the libraries, etc. It hasn't gained a large community yet. Rust has the advantage of a major company backing it, paying developers, writers, etc. Hopefully ATS can build a community and improve on these things.

ATS uses infinite precision ints only for the proof/dependent type checking. The ints used at runtime are machine ints. It's to avoid overflow during type system checking.

Oz is a great language, good to see it getting some use. It's a pity it hasn't got more popular.

I'm not the author of ZeroNet btw, just in case you think I am.

Each site has an area for user content. That is content not generated by the site owner. Users of the site that generate content (posts in a forum or comments on a blog for example) write their content into that area which is a directory for them based on the public key of their pseudo-anonymous identity. The user then signs the data with their private key and this gets sent to other site users through the seeding mechanism. All this is hidden by the API so the user of a site doesn't see the public/private key signing, etc.

It does not use git internally - other than for source code control - and it does not push to a remote bot. There used to be a demo app called ZeroBoard that used an external service that it did an HTTP POST too, back in the days when ZeroNet had not other way to do that type of thing. The app is still around but it's superceded by other things.

It does rely on being able to communicate through that port - UPnP is one of the options it uses to ensure it can receive external requests. If you run using the tor option it evades firewalls via tor.

Yes, I think it's the challenge of critical mass. There's quite a few twitter-likes around, including decentralized ones (ZeroMe, twister, Sone) but building beyond a set of initial users is difficult.

It is not built on ipfs. It uses the bittorrent DHT to associate site addresses with IP addresses (or tor onion addresses if configured to use tor). Actual transfer of data is done via a custom p2p service implemented within ZeroNet.

Onboarding isn't too bad with ZeroNet to get a node up. The post demonstrates getting it from github but there are 'bundles' available for most platforms which include dependencies and are just unzip and run.

There is effort to create identities, etc though. The article is long because ZeroNet has a lot of features.

Freenet is anonymous and is similar to DAT/IPFS. ZeroNet can be anonymous if you configure the node to always use Tor. In that configuration the node will spawn Tor onion sites to seed the ZeroNet sites.

ZeroNet doesn't use a blockchain. Its only bitcoin related technology is that the site addresses are compatible with bitcoin addresses. You can import the private key into bitcoin and receive funds sent to the address used for the site.

Have you seen Alice ML?

It's a Standard ML variant that includes serialization of types and support for distributed programming.

[1] http://www.ps.uni-saarland.de/alice/manual/tour.html#distrib...

Yes it did. I visited in 2012. I put some photos online here http://cd.pn/pn2012/

That covers the trip from Mangareva to Pitcairn and back.

I loved it on Pitcairn. The island is small but very hilly so there's more walking around and things to see than I expected. The people were friendly and welcoming.

I went there via a yacht from Mangareva that was chartered through an island run travel agency. I stayed for about three weeks. There's definitely a feeling of isolation once the yacht left knowing that there's no way to leave until it comes back. I also had to adjust to no mobile phone and power only on half the day. I was constantly checking my pocket for the first few days to check mail and messages only to realise I didn't have a phone!

I stayed with an island couple - accomodation fee covers food, etc. They were great. They have a shop on the island that gets stocked through the three monthly supply ship. Most of the food comes from island gardens, food growing wild and fishing. I fished a lot!

There are artifacts from the Bounty and other shipwrecks around the island. Cannons, anchors, etc. There's a museum with more artifacts and island history. The church holds an original bible from the Bounty.

There were a number of island events while I was there for birthdays and a market day where islanders sell there unwanted goods to other islanders or visitors. I was surprised at the number of visitors to the island. Lots of yachties ticking off their bucket list. And a surprising number of solo sailors visiting. I met a lot of interesting people.

My perception may be coloured by the fact that I'm related to many people there through my grandmother who was born on the island in the early 1900s. I went there to learn about where she lived and my family ancestral history.

There's a study that found Polynesian DNA markers in indigenous Brazilian remains. It's probably what you are referring to by the some evidence. https://www.nature.com/news/dna-study-links-indigenous-brazi...

I've visited Mangareva. It's a lovely island and a step in the journey to get to Pitcairn Island.

I'm not sure about comparing to those languages but I did a post comparing other prototype based languages https://bluishcoder.co.nz/2009/07/16/prototype-based-program...

For me though it's not about the Self language but about the combination of the language and environment. I did a screencast attempting to show some of how Self development is done https://bluishcoder.co.nz/2015/11/18/demo-of-programming-in-...

Rhino was a fun JS system. One of the continuation examples I did for a talk was migrating threads in Rhino: https://bluishcoder.co.nz/2006/06/11/migrating-javascript-th.... Start a thread on one machine, serialize the continuation and send it across the network and resume it on that machine.

Not to mention the changes to the SPARK subset of Ada for doing proofs on parts of your code have improved a lot.

If you don't make it to the end of the article, there's a server running on bluishcoder.co.nz, port 7777:

    nc bluishcoder.co.nz 7777

or with SSL:

    openssl s_client -connect bluishcoder.co.nz:7778

ZeroNet doesn't use the torrent protocol for distributing file. It uses its own TCP service for that so avoids the issues of tunnelling UDP over TCP. Its use of "bittorrent" technology is limited to the protocol for mapping ZeroNet site addresses to IP/Onion addresses.

ZeroNet doesn't use the torrent protocol for distributing files. It uses its own file service that is exposed via a port to receive file requests and send files. It uses torrent trackers for mapping ZeroNet site addresses to IP or Onion addresses.

JavaScript is disabled through the Freenet proxy but it's possible to use the Freenet API to access the raw data and have a proxy that doesn't disable JavaScript. It would be possible to do something very ZeroNet like but with Freenet as the backend.

ZeroNet doesn't really use the torrent protocol. It has its own file sharing service that it runs to receive requests from other users for files. It uses the torrent trackers to map site addresses to IP or onion address.

You know what you're serving initially but the site author can add any files they choose and you'll start serving them if you've visited the site and are seeding it. You have no control over malicious sites that decide to store arbitrary data.

There is a built in function for it in Prolog. But when it's presented as an example of how to implement it in the same way that list classes are often used as examples in OO languages even if they language implementation includes one.

The reversibility of Prolog computations was a big eye opener for me too back when I first encountered it. I recently wrote a post about relational programming using Prolog and Mozart/Oz as examples https://bluishcoder.co.nz/2017/03/20/relational-programming-...

Another interesting language in the same domain is Picat http://picat-lang.org/

There's an implementation of a Minesweeper solver in Mozart/Oz too "Playing the Minesweeper with Constraints": https://www.info.ucl.ac.be/~pvr/minesweeper.pdf

You might be surprised! SWI Prolog has libraries for web applications (http://www.pathwayslms.com/swipltuts/html/index.html) and other modern application development toolkits. Their online IDE (http://swish.swi-prolog.org/) is written in Prolog.

No. The addresses used for the sites are compatible with bitcoin addresses, that's about it.

There's also no blockchain in ZeroNet.

And an example of a Prolog web application would be Swish, the online prolog IDE: http://swish.swi-prolog.org/

It is a bit obscure. I let it build the ones it wants to build by default. This gives me the flexibility of deciding later when building Mercury programs what I want as a backend.

This blog post describes some of them: https://adventuresinmercury.blogspot.co.nz/2011/11/making-gr...

You can create symbols that persist to an external database file when you call 'commit' or rollback changes with 'rollback'.