I'm a software engineer working in Silicon Valley. My interests are varied, ranging from advanced type systems for programming languages (e.g., dependent types in Agda, the somewhat simpler type-level computation in Ur) to trying to hack up a heap crawler for the Ruby VM to help track down memory "leaks", to writing interesting gzip files (e.g., two files each of which extracts to the other, or a file named 000000001.gz that extracts to 000000002.gz, and so on up to 999999999.gz).
In the context of Maemo/Meego, I'm mostly interested in porting over programs I like (primarily the Linkx web browser) and trying to get better interaction with a small device. I also played a bit with the DSP on the n900, writing a fixed-point Mandelbrot iterator that could do an iteration on each of four pixels in only 14 cycles.