trebla [at] vex [dot] net | |

Google+ | Albert Lai |

GitHub | treblacy |

Haskell Wiki | Treblacy |

ICQ | 309948010 |

MSN | trebla [at] vex [dot] net |

Slashdot | Albert Y.C. Lai |

LtU | Albert Y.C. Lai |

無聊聊聊 | 墨色 |

Academic interests: program derivation methods such as refinement calculi, functional programming, programming contests, mathematical arguments.

Hobbies: classical music (listening), reading (popular math, popular science, C. S. Lewis, Issac Asimov, 畢華流), IRC (I'm monochrom in EFnet #compsci and Freenode #haskell), computer war games (The Age of Kings (Age of Empires II), The Age of Mythology, Command & Conquer, Civilization Revolution, Age of Empires III), some board games, certain movies (mostly Hollywood; I'm not critical or deep), dining.

- CV (pdf file) and computer programming portfolio
- blog (sporadic)
- haskell notes and examples
- math homework help
- Usenet posts
- humour
- number theory stuff
- favourite articles of E. W. Dijkstra
- EFnet #compsci homepage