Programming Languages, Martials Arts and Computers. The Weblog of Chris Double.
Update: 2013-05-07: Minor changes to deal with new and rebased patches. Last year I posted about how to build and run B2G on the Nexus S. Much has changed since then and this post attempts to provide up to date instructions on building Firefox OS and installing the latest Gaia version. I wrote 'attempts' because the support for the Nexus... more →
Unfortunately the server running this site had a hard drive issue which resulted in a number of corrupt files. You'll probably notice that some links to here result in a '404' error due to them being not found. I'm slowly recovering the lost data and hope to have the files restored as soon as I can. more →
The ATS programming language was designed to enable safe systems programming. This requires dealing with pointers safely. In this post I intend to go through the basics of pointer handling in ATS and how this safety is achieved. # Raw Pointers ATS has a basic pointer type called ptr. This is a non-dependent type and is the equivalent to a... more →
I've written before about how Inferno makes it easy to share resources across devices and networks. In this post I show how to use IRC from within Inferno and then how to run the IRC connection handling on a server and the GUI on a client machine. The server can stay connected giving a persistent IRC connection similar to how... more →
In my post about sharing resources in Inferno I used the -A command line switch to commands to disable authentication. This allowed anyone to make connections and the data was passed across them unencrypted. This post explains how to set up an Inferno system to use authentication and to encrypt connections. # Signing Server For authentication to work each machine... more →