Archive: 2012
- Building and Running Boot To Gecko on the Nexus S
- Travelling to Pitcairn Island
- Back from Pitcairn Island
- Pitcairn Island and Slow Internet
- H.264/AAC/MP3 decoding support for Boot To Gecko
- ATS library reference
- Building Inferno OS for Android Phones
- Visiting the Pitcairn Island Petroglyphs
- Lightweight Tasks Library for ATS
- My mozilla-central git clone is stopping
- H.264/AAC/MP3 decoding support for Firefox for Android
- Safer handling of C memory in ATS
- Implementing a stack with proofs in ATS
- Sharing computer and phone resources using Inferno OS
- Authentication and Encryption in Inferno OS
- Inferno OS IRC client with persistent connections