Bluishcoder - bluishcoder.co.nz - Bluishcoder
General Information:
Latest News:
HTML Media support in Firefox 21 Aug 2013 | 08:00 am
Some time ago I wrote a dev-media post outlining the media formats we support and requesting discussion on future formats. This post summarizes the results of that and changes that have occurred since...
Progress Towards Media Source Extensions in Firefox 20 Aug 2013 | 04:00 am
There is a W3C editors draft for Media Source Extensions that provides a way for web applications to generate media streams for playback from JavaScript. This allows a number of new use cases on the w...
Phantom Types in Rust 15 Aug 2013 | 11:00 am
I attended an overview of how the Servo browser engine, written in the Rust programming language, implements the task of laying out of elements on a web page. Patrick Walton gave the talk and highligh...
Linking and calling Rust functions from C 7 Aug 2013 | 06:00 pm
At a recent functional programming meetup I was discussing with a colleague about how nice it would be to be able to use Rust in Gecko. This made me curious if it was possible to implement libraries i...
Constructing Proofs with dataprop in ATS 30 Jun 2013 | 06:00 pm
My last post that covered using proofs in ATS implemented a stack. In this post I step back a bit and go through some smaller examples using dataprop with proofs using prfun. The examples I work throu...
Editing remote files with Acme in Inferno OS 10 Jun 2013 | 06:00 pm
Inferno OS ships with a version of the acme text editor. I’ve tried to use acme on and off for a bit and it never stuck. I’ve always been a vim and emacs user. Recently I watched a video by Russ Cox c...
Remote Shells with Inferno OS 5 Jun 2013 | 11:00 am
Inferno OS provides a mechanism to connect to remote computers and execute commands similar to the way SSH works on Unix systems. The command to do this is cpu. This can be used to execute commands, s...
Building Wasp Lisp and MOSREF for Android 9 May 2013 | 12:00 pm
Wasp Lisp is a small cross platform lisp by Scott Dunlop that I’ve written about before and MOSREF is the secure remote injection framework that is one of the applications written with it. I’ve been ...
Ranged integer types and bounds checking 7 May 2013 | 10:00 am
There’s a discussion going on in the Rust mailing list about ranged integer types and whether they’re useful for safety. Some of the points raised have been about the performance costs of dynamic boun...
Social Engineering Attempt Warning 1 May 2013 | 09:00 am
This morning when I checked my email I got a nice email from my server hosting provider titled “Root password reset”. That’s not usually a good sign when you haven’t done any password resets recently....
