HNHacker News
TopNewBestAskShowJobs

doublec

1,389 karma · joined September 11, 2008

submissionscomments
doublec··on Live the Dream, Make the Change, Move to Pitcairn Island (2018)
When I was there I was having lunch with some of my cousins. I was chatting about what a great place it was to grow up, being able to be in the country, swimming, explore the island, etc. One of the officials popped in to say hi and overheard that part. They immediately said "What?! Kids are playing outside unsupervised?! That's how bad things happen, who were they, when did it happen." etc etc. I explained I was talking in the hypothetical and they left. We joked that we'd get a visit by the government social worker soon. Probably a coincidence but 5 minutes later the social worker comes in "Just passing by, thought I'd chat and see how things are going" lol.

One downside, in my opinion, of the way the government jobs are advertised is they attract missionaries and people who want to "save" the islanders from their lives. I remember watching a presentation one official did before going to the island - it was a presentation to their church group, about the opportunity they had to save the islanders, etc which seemed to me inappropriate for someone who is supposed to be there to do a specific job - in this case the teaching position.

doublec··on Live the Dream, Make the Change, Move to Pitcairn Island (2018)
Absolutely! The cost might be prohibitive for the Pitcairners salary though.
doublec··on Live the Dream, Make the Change, Move to Pitcairn Island (2018)
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 NZ Māori and other Polynesian people, he goes from Tahiti to Pitcairn to rescue his mother. Tupaia who guided Captain Cook around the pacific, and who acted as translator, drew a map of the Islands he knew and visited and this included Pitcairn. Tupaia was a contempory of the Tahitian women who went on the Bounty to Pitcairn so he had been there in recent history before the Bounty arrived. One of the Tahitian men on the Bounty knew of the island and helped guide Fletcher there. I often wonder why no Polynesians went back after the Bounty settled.
doublec··on Live the Dream, Make the Change, Move to Pitcairn Island (2018)
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 report on anything they perceive as suspicious. It's frustrating to us that every time that Pitcairn is mentioned the "You may remember Pitcairn as the island where sex abuse trials happened" comes up. Part of this is due to the media interest in covering events in a remote island - you don't hear with every mention of other places in the world where bad things have happened because that doesn't have the allure of a remote mysterious island.

Yes, the police are often New Zealand police. The Doctor, Teacher and Police positions are advertised in NZ and UK.

doublec··on Live the Dream, Make the Change, Move to Pitcairn Island (2018)
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 cliff to get there - dangerous and tiring! It's safe as long as you stick to the trail, and helpful to have a guide, but sometimes things go wrong https://jimmyaroundtheworld.blogspot.com/2010/09/life-and-de...
doublec··on Live the Dream, Make the Change, Move to Pitcairn Island (2018)
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 you need and living in the country.

People have applied for the ability to live there but the reality is that there are many people dreaming of an idyllic lifestyle but when faced with the realisation of how hard they have to work to survive on a remote island and having to integrate into an established community they don't progress further.

doublec··on Live the Dream, Make the Change, Move to Pitcairn Island (2018)
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.

Internet was terrible at the time. I wrote about it here: https://bluishcoder.co.nz/2012/05/29/pitcairn-island-and-slo...

It has improved but is still relatively slow and expensive.

doublec··on Live the Dream, Make the Change, Move to Pitcairn Island (2018)
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 history of the Tahitian ancestry pre-mutiny. They have a local government where local laws are enacted but as you say, they are British ruled due to a an encounter in the 1838 of a British ship where the Pitcairners asked for some laws to be drafted. Many administration aspects are managed from New Zealand for convenience but it is not administered by New Zealand. The High Commissioner in Auckland is a represents the UK.
doublec··on Live the Dream, Make the Change, Move to Pitcairn Island (2018)
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've been to the island and I'm active in the Pitcairn community here in New Zealand. The island is a vibrant community of people working. When I was there they were very warm and welcoming. The island itself is small but with mountainous areas and there is much to see and do. The vibe on the island is very similar to any small rural town in New Zealand.

I have photos of the trip if anyone is interested http://cd.pn/pn2012/

doublec··on The Strand Programming Language
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.

doublec··on Is APL Dead? Not anymore
Tangentstorm’s videos about J have some nice GUI examples. For example https://youtu.be/uL-70fMTVnw
doublec··on Type-Safe Pointers in ATS
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 documentation is a lot better than it used to be: http://www.ats-lang.org/Documents.html

The approach I took was treating it like an SML variant, then adding the advanced features as I went along.

doublec··on The ATS Programming Language
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. Since it's so easy most people probably just do this when they need a C library.

There are wrappers for libevent which I've used for the network side of long running server side programs in ATS in this manner.

With regards to "Does it compile to JS", the answer is yes. There are backends for different languages, JS being one of them. There's also PHP and Erlang backends IIRC.

doublec··on The ATS Programming Language
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
doublec··on The ATS Programming Language
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 from ATS https://bluishcoder.co.nz/2012/08/30/safer-handling-of-c-mem...
doublec··on Ten Years of Using SPARK to Build CubeSat Nano Satellites with Students
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-proving-t...

Here's another post with some examples: https://blog.adacore.com/taking-on-a-challenge-in-spark

There's a good book, Building High Integrity Applications in SPARK, that goes through things in detail. It's a good read for any programming language user to mine for ideas or explore how similar problems could be solved in their language: https://www.cambridge.org/core/books/building-high-integrity...

doublec··on Surprise DNA Results Are Turning Customer-Service Reps into Therapists
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 doing further genealogical research to back up the paper research.
doublec··on How to Handle Monetary Values in JavaScript
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
doublec··on Concatenative language (2017)
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 Factor GUI to drill down objects and source using the Gopher client as an example: https://www.youtube.com/watch?v=sozwQ7QmOhs

doublec··on Brave files adtech complaint against Google
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 to trust who they trust. Trust scores are computed and any identity below a level will not be seen by your identity.

Freenet's Sone has similar functionality using a web of trust plugin (FMS has its own trust implementation) that can be used by other plugins.

doublec··on Brave files adtech complaint against Google
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 microblogging: https://bluishcoder.co.nz/2017/10/12/zerome-decentralized-mi...
doublec··on Factor: An impressive stack-based language environment
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.

doublec··on Factor: An impressive stack-based language environment
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 have bitrot by now but many still work.

doublec··on The Power of Prolog
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 solve it.
doublec··on The Power of Prolog
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? Maybe post to the swipl mailing list?
doublec··on The Power of Prolog
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',
                   [], 
                   [stdout(pipe(Out)),stdin(pipe(In))]),  
    write(In, "hello"), nl(In), close(In), 
    read_line_to_codes(Out, Codes).
doublec··on Relative's DNA from genealogy websites cracked East Area Rapist case
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 your own laboratory, upload to gedmatch, and analyse matches. This is how "ancient DNA" samples are uploaded to gedmatch to see how you match against thousand year old human DNA samples.
doublec··on Picat: A Logic-Based, Multi-Paradigm, Programming Language
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
doublec··on Casting in ATS
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 in a couple of projects, using the FFI to call Wasp's concurrency routines and it worked well.

doublec··on Casting in ATS
I like Shen too. I'd like to do a "basic proofs" Shen article comparing it to ATS.
← PreviousPage 2 of 13Next →