Recent updates

Thu Feb 05 2015

• On Representing Simply Typed Lambda Calculus using GADTs, and its normalization.

Fri Dec 13 2013

• Building a Hackintosh with Intel Haswell NUC

Fri Nov 23 2012

• Invert the Inversion of Control

Tue Aug 28 2012

• How to Compare Mortgage Plans

Sun May 08 2011

• How I dressed up my iMac: work with XMonad in OS X.

Tue Feb 15 2011

• How I setup (and migrate to) a home server with FreeBSD and ZFS.

Sun Dec 26 2010

• Various settings on my Slackware Linux setup.

Tur Mar 04 2010

• Old documents are finding their ways back home. Here are some of them:
  • How I setup Slackware on my Acer Aspire One.
  • My first impression of iRex iLiad.
  • Chinese system setup in Linux.
  • Food for thought.
  • A modified version of AwkiAwki.

Wed Feb 17 2010

• For a start, a very crude prototype of the site tool is what I’m using. You may try it out for your own documentation needs.

Fri Nov 06 2009

• As an example, here is a technical document I wrote a while ago: How to setup an encrypted backup volume through a loop device.