doublec

16 ms·

61.
by doublec 9y ago
I like Shen too. I'd like to do a "basic proofs" Shen article comparing it to ATS.
62.
by doublec 9y ago
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
63.
Writing basic proofs in ATS(bluishcoder.co.nz)
2 points by doublec 9y ago|0 comments
64.
by doublec 9y ago
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.
65.
by doublec 9y ago
Oz is a great language, good to see it getting some use. It's a pity it hasn't got more popular.
66.
by doublec 9y ago
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 fo
67.
by doublec 9y ago
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 ZeroN
68.
by doublec 9y ago
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.
69.
by doublec 9y ago
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.
70.
by doublec 9y ago
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.
71.
by doublec 9y ago
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
72.
by doublec 9y ago
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.
73.
by doublec 9y ago
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
74.
ZeroMe – Decentralized Microblogging on ZeroNet(bluishcoder.co.nz)
79 points by doublec 9y ago|37 comments
75.
by doublec 9y ago
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...
76.
by doublec 9y ago
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 mor
77.
by doublec 9y ago
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...
78.
by doublec 9y ago
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 abou
79.
by doublec 9y ago
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, ser
80.
by doublec 9y ago
Not to mention the changes to the SPARK subset of Ada for doing proofs on parts of your code have improved a lot.
81.
by doublec 9y ago
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
82.
by doublec 10y ago
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 Z
83.
by doublec 10y ago
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 Onio
84.
by doublec 10y ago
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 Fre
85.
by doublec 10y ago
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.
86.
by doublec 10y ago
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
87.
by doublec 10y ago
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
88.
by doublec 10y ago
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://s
89.
by doublec 10y ago
No. The addresses used for the sites are compatible with bitcoin addresses, that's about it.
90.
by doublec 10y ago
There's also no blockchain in ZeroNet.

More ›