doublec

8 ms·

31.
by doublec 5y ago
Absolutely! The cost might be prohibitive for the Pitcairners salary though.
32.
by doublec 5y ago
There are Tahitian legends about Pitcairn Island, referred to as Hitiaurevareva, showing that there was travel to and from the island in the past. There are Mangarevan legends also. In the Tahitian legend of Rata, which would be familiar to
33.
by doublec 5y ago
Yes, things have improved. The island is very much moving on from the events of the past. Pitcairn is quite possibly the most surveilled place in the world at the moment with the ratio of islanders to government officials whose remit is to
34.
by doublec 5y ago
Yes! I remember seeing photos of the person doing the google photography. Especially going down an area called "Down Rope" where some pre-european petroglyphs are. You basically have to cling to the side of a rock wall down the cl
35.
by doublec 5y ago
I feel like a broken record, but just because things are different doesn't make it "sad". Sure, it doesn't have the mod cons of modern city life, but it has a lifestyle of growing your own food, fishing, building what yo
36.
by doublec 5y ago
When I was there the power operated until 10pm at night. From that time homes would either run from personal generators, or batteries - to power refrigerators, lights, routers, etc. These days the homes have or are getting solar panels. Int
37.
by doublec 5y ago
I dispute your words that the island is a "rather sad place". It is a place full of people living in a remote island but the place is a warm and vibrant community full of history. Not just the history of the mutiny, but the histor
38.
by doublec 5y ago
I am of Pitcairn descent. My grandmother was born there. I'm a descendant of the mutineers Fletcher Christian, John Mills and Edward Young, and the Tahitian women who went there, Mauatua, Vahineatua, To'ofaiti and Teraura. I'
39.
by doublec 5y ago
From the same author, and in the same family of languages, is FLENG: http://www.call-with-current-continuation.org/fleng/fleng.ht... It lacks Strand's distributed features but includes prolog's unification.
40.
by doublec 6y ago
Tangentstorm’s videos about J have some nice GUI examples. For example https://youtu.be/uL-70fMTVnw
41.
Fun Factor Libraries(bluishcoder.co.nz)
2 points by doublec 6y ago|0 comments
42.
by doublec 7y ago
I have some posts on ATS that might help, some for a slightly older version but the details about linear types, etc remain the same: https://bluishcoder.co.nz/tags/ats/ If you know other languages the documentatio
43.
by doublec 8y ago
There are some libraries for ATS, but it's not a well known language so there is not too many out there. ATS makes it easy to mix C by embedding it within ATS, and defining an interface that makes it harder to unsafely use the C API. S
44.
by doublec 8y ago
If you're looking for more "Why ATS", or where it can be used, I've written a number of blog posts on using features of ATS: https://bluishcoder.co.nz/tags/ats/index.html
45.
by doublec 8y ago
ATS enables declaring the interface to C libraries to a very detailed level for proving. It can make using C libraries more safe than using them from C, once defined. Here is an example I wrote about how to make calling a C library safer fr
46.
by doublec 8y ago
SPARK lets you write proofs - you can write different implementations of a function and prove at compile time they match some specification. An example of this is here: https://blog.adacore.com/gnatprove-tips-and-tricks-prov
47.
by doublec 8y ago
For ethnicity results, yes it's based on models and reference samples that are often updated. You should be taking them with a large grain of salt. For the matching with other people it's useful and accurate and is a great way for
48.
by doublec 8y ago
Adding to the languages that do this, Factor does as well. "1 3 /" produces the rational value "1/3". https://docs.factorcode.org/content/article-rationals.html
49.
by doublec 8y ago
I used Factor a lot in the past. It's a great language. Some blog posts of mine on the subject: https://bluishcoder.co.nz/tags/factor/ And here's a quick screencast I put together that shows using the Fa
50.
by doublec 8y ago
ZeroNet has moderation in that site owners can remove posts. Users can self moderate via mute/block. Freenet's FMS allows moderation using a web of trust. You provide trust to users pseudo-anonymous identities. And you can choose
51.
by doublec 8y ago
Both ZeroNet and Freenet have decentralized forums. Freenet's forum is called FMS. They have decentralized microblogging too - ZeroMe on ZeroNet and Sone on Freenet. This is a post I wrote about ZeroNet's decentralized microbloggi
52.
by doublec 8y ago
Factor used to have ARM support back in the days of Windows Mobile: https://bluishcoder.co.nz/2007/02/17/factor-on-windows-mobil... The ARM backend has bitrot now so no longer works.
53.
by doublec 8y ago
I have a PDF of some of my Factor related blog posts here if interested: https://bluishcoder.co.nz/2008/04/04/collection-of-factor-ar... It gives an overview of using some Factor libraries and features. Some
54.
by doublec 8y ago
You could write the same solution in prolog. The difference between yours and the original solution is the latter follows the original program specification and is easier to compare to it. That is, it defines what the problem is, not how to
55.
by doublec 8y ago
You should be able to open the pipes at the beginning of the session, and close them after, passing the pipe variables around as needed. Prolog wouldn't be any different to other programming languages there. What errors are you getting
56.
by doublec 8y ago
What's the problem you're having with it? I think this was discussed on irc recently? This was the example I gave of using process_create which works: process_create('/bin/cat', [],
57.
by doublec 8y ago
There are sites that don't require a sample, but instead you upload the raw data from a site where you did submit a sample. Gedmatch is one such site. One could construct a file in a compatible format containing DNA data obtained from
58.
by doublec 9y ago
Yes, it's possible in picat. For example, here's factorial in picat that can be computed backwards: http://www.hakank.org/picat/factorial_reversible.pi
59.
by doublec 9y ago
Thanks for the kind words, it's definitely on my plans to write such a post. I'd like to improve the speed of the Wasp Shen port too, it's pretty slow compared to the other ports. Still useable though which is good. I used it
60.
Capturing program invariants in ATS(bluishcoder.co.nz)
3 points by doublec 9y ago|0 comments

More ›